Owner
argumentcomputer
19 indexierte Repositories · Auf GitHub ansehen
-
yatima
A zero-knowledge Lean4 compiler and kernel
Lean · 146 Sterne
-
ix
a zero-knowledge proof-carrying code protocol for Lean 4
Rust · 96 Sterne
-
LSpec
A Testing Framework for Lean
Lean · 86 Sterne
-
sphinx
An observatory fork of SP1
Rust · 80 Sterne
-
zk-light-clients
A collection of ZK light client libraries for various blockchains
Rust · 70 Sterne
-
Wasm.lean
A WebAssembly implementation in Lean4
Lean · 48 Sterne
-
Megaparsec.lean
Lean 4 port of Megaparsec
Lean · 37 Sterne
-
RustFFI.lean
Template for Lean<->Rust FFI
Lean · 17 Sterne
-
Lean · 9 Sterne
-
Lurk.lean
A Lean 4 implementation of the Lurk Language for recursive zkSNARKS
Lean · 9 Sterne
-
ZKSnark.lean
https://yatima-inc.github.io/ZKSnark.lean/
Lean · 8 Sterne
-
Ipld.lean
a Lean4 implementation of the IPLD format
Lean · 8 Sterne
-
straume
State-of-the-art streams for Lean 4
Lean · 6 Sterne
-
multi-stark
Implementation of a multicircuit STARK in P3
Rust · 5 Sterne
-
Lean · 3 Sterne
-
lurk-hs
Haskell Wrappers for Lurk
Haskell · 2 Sterne
-
Neptune.lean
Lean Neptune bindings
Lean · 1 Stern
-
template-rust-lib
Base template for a Rust library crate with CI, config files, and branch protection
Rust · 0 Sterne
-
ci-workflows
GitHub Actions workflows and templates for use in Argument repos
0 Sterne
-
`io_load_info` Offen
argumentcomputer/ix#419 · 1 zugewiesene Person ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 38/100
argumentcomputer/sphinx#206 ·
-
The termination check is under-constrained due to incomplete check of "public_values.next_pc == 0". Offen
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 72/100
argumentcomputer/sphinx#205 ·
-
Missing Aiur features Offen
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 15/100
argumentcomputer/ix#389 ·
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100
argumentcomputer/sphinx#204 ·
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
argumentcomputer/ix#373 ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 28/100
argumentcomputer/ix#350 · 1 Reaktion ·
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
-
bug enhancement rust
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100
argumentcomputer/ix#303 ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
argumentcomputer/ix#291 ·
-
ix
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 55/100
argumentcomputer/ix#277 · 1 Kommentar ·
-
Fix build on macOS Offen
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 48/100
argumentcomputer/ix#262 · 1 Kommentar · 1 Reaktion ·
-
enhancement
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 42/100
argumentcomputer/ix#256 ·
-
automated-issues debt
Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 45/100
-
enhancement hot-path ix
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
argumentcomputer/ix#168 ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 30/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 48/100
-
Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 52/100
-
Incorrect comment Offen
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 38/100
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 48/100
-
Improve documentation Offendocumentation
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
argumentcomputer/sphinx#188 ·
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
-
SHA-512 improvements Offen
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
argumentcomputer/sphinx#181 ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
-
ci: Move to merge queue Offen
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
argumentcomputer/sphinx#173 ·
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
argumentcomputer/lurk-hs#15 ·
-
CI
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
-
CI
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 38/100
argumentcomputer/zk-light-clients#217 · 1 Kommentar ·
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 15/100
argumentcomputer/sphinx#169 ·
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100
-
Issue while running Main Offen
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100
argumentcomputer/lurk-hs#1 · 5 Kommentare ·
-
bug ethereum
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 30/100
-
CI
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
argumentcomputer/zk-light-clients#180 · 1 Reaktion ·
-
ci: Nightly tests failed Offenautomated issue debt
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
argumentcomputer/sphinx#136 ·
-
automated-issue
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 48/100
argumentcomputer/sphinx#119 · 1 Kommentar ·
-
enhancement ethereum good first issue
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
-
argumentcomputer/sphinx#100 · 1 zugewiesene Person ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
argumentcomputer/sphinx#60 ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
argumentcomputer/sphinx#52 ·
-
argumentcomputer/sphinx#39 · 4 Kommentare · 1 zugewiesene Person ·
-
aptos
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
-
aptos
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
-
aptos
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100
-
aptos
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
argumentcomputer/sphinx#35 · 1 Kommentar ·
Die neuesten 100 werden angezeigt
Diese Seite listet nur das zuletzt Erfasste. Der vollständige Bestand steht im erweiterten Filter, eingegrenzt nach Sprache, Schwierigkeit und Aufwand.