Owner
argumentcomputer
19 indexed repositories · View on GitHub
-
yatima
A zero-knowledge Lean4 compiler and kernel
Lean · 146 stars
-
ix
a zero-knowledge proof-carrying code protocol for Lean 4
Rust · 93 stars
-
LSpec
A Testing Framework for Lean
Lean · 84 stars
-
sphinx
An observatory fork of SP1
Rust · 80 stars
-
zk-light-clients
A collection of ZK light client libraries for various blockchains
Rust · 70 stars
-
Wasm.lean
A WebAssembly implementation in Lean4
Lean · 48 stars
-
Megaparsec.lean
Lean 4 port of Megaparsec
Lean · 37 stars
-
RustFFI.lean
Template for Lean<->Rust FFI
Lean · 17 stars
-
Lean · 9 stars
-
Lurk.lean
A Lean 4 implementation of the Lurk Language for recursive zkSNARKS
Lean · 9 stars
-
ZKSnark.lean
https://yatima-inc.github.io/ZKSnark.lean/
Lean · 8 stars
-
Ipld.lean
a Lean4 implementation of the IPLD format
Lean · 8 stars
-
straume
State-of-the-art streams for Lean 4
Lean · 6 stars
-
multi-stark
Implementation of a multicircuit STARK in P3
Rust · 5 stars
-
Lean · 3 stars
-
lurk-hs
Haskell Wrappers for Lurk
Haskell · 2 stars
-
Neptune.lean
Lean Neptune bindings
Lean · 1 star
-
template-rust-lib
Base template for a Rust library crate with CI, config files, and branch protection
Rust · 0 stars
-
ci-workflows
GitHub Actions workflows and templates for use in Argument repos
0 stars
-
aptos
argumentcomputer/zk-light-clients#2 · 0 comments · 0 reactions · 0 assignees ·
-
aptos
argumentcomputer/zk-light-clients#3 · 0 comments · 0 reactions · 0 assignees ·
-
aptos
argumentcomputer/zk-light-clients#7 · 0 comments · 0 reactions · 0 assignees ·
-
aptos
argumentcomputer/zk-light-clients#9 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/zk-light-clients#99 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/zk-light-clients#117 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement ethereum good first issue
argumentcomputer/zk-light-clients#128 · 0 comments · 0 reactions · 0 assignees ·
-
CI
argumentcomputer/zk-light-clients#180 · 0 comments · 1 reaction · 0 assignees ·
-
bug ethereum
argumentcomputer/zk-light-clients#184 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/zk-light-clients#209 · 0 comments · 0 reactions · 0 assignees ·
-
CI
argumentcomputer/zk-light-clients#217 · 1 comment · 0 reactions · 0 assignees ·
-
CI
argumentcomputer/zk-light-clients#220 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/zk-light-clients#234 · 0 comments · 0 reactions · 0 assignees ·
-
documentation
argumentcomputer/zk-light-clients#324 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/zk-light-clients#326 · 0 comments · 0 reactions · 0 assignees ·
-
Incorrect comment Open
argumentcomputer/zk-light-clients#328 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/zk-light-clients#332 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/zk-light-clients#333 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/zk-light-clients#334 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/zk-light-clients#335 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/sphinx#14 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/sphinx#15 · 1 comment · 0 reactions · 0 assignees ·
-
argumentcomputer/sphinx#17 · 1 comment · 0 reactions · 0 assignees ·
-
argumentcomputer/sphinx#19 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/sphinx#20 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/sphinx#21 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/sphinx#22 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/sphinx#33 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/sphinx#35 · 1 comment · 0 reactions · 0 assignees ·
-
argumentcomputer/sphinx#39 · 4 comments · 0 reactions · 1 assignee ·
-
argumentcomputer/sphinx#52 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/sphinx#60 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/sphinx#100 · 0 comments · 0 reactions · 1 assignee ·
-
automated-issue
argumentcomputer/sphinx#119 · 1 comment · 0 reactions · 0 assignees ·
-
automated issue debt
argumentcomputer/sphinx#136 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/sphinx#169 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/sphinx#173 · 0 comments · 0 reactions · 0 assignees ·
-
SHA-512 improvements Open
argumentcomputer/sphinx#181 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/sphinx#188 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/sphinx#204 · 0 comments · 0 reactions · 0 assignees ·
-
The termination check is under-constrained due to incomplete check of "public_values.next_pc == 0". Open
argumentcomputer/sphinx#205 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/sphinx#206 · 0 comments · 0 reactions · 0 assignees ·
-
automated-issues debt
argumentcomputer/template-rust-lib#7 · 0 comments · 0 reactions · 0 assignees ·
-
bug enhancement
argumentcomputer/LSpec#26 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/ci-workflows#7 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/ci-workflows#8 · 1 comment · 0 reactions · 0 assignees ·
-
argumentcomputer/ci-workflows#10 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/ci-workflows#15 · 0 comments · 0 reactions · 0 assignees ·
-
Automate MSRV fixes Open
argumentcomputer/ci-workflows#42 · 0 comments · 0 reactions · 0 assignees ·
-
argumentcomputer/ci-workflows#43 · 0 comments · 0 reactions · 0 assignees ·
Showing the newest 100
This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.