Owner
argumentcomputer
已索引 19 个仓库 · 在 GitHub 查看
-
yatima
A zero-knowledge Lean4 compiler and kernel
Lean · 146 个 star
-
ix
a zero-knowledge proof-carrying code protocol for Lean 4
Rust · 96 个 star
-
LSpec
A Testing Framework for Lean
Lean · 86 个 star
-
sphinx
An observatory fork of SP1
Rust · 80 个 star
-
zk-light-clients
A collection of ZK light client libraries for various blockchains
Rust · 70 个 star
-
Wasm.lean
A WebAssembly implementation in Lean4
Lean · 48 个 star
-
Megaparsec.lean
Lean 4 port of Megaparsec
Lean · 37 个 star
-
RustFFI.lean
Template for Lean<->Rust FFI
Lean · 17 个 star
-
Lean · 9 个 star
-
Lurk.lean
A Lean 4 implementation of the Lurk Language for recursive zkSNARKS
Lean · 9 个 star
-
ZKSnark.lean
https://yatima-inc.github.io/ZKSnark.lean/
Lean · 8 个 star
-
Ipld.lean
a Lean4 implementation of the IPLD format
Lean · 8 个 star
-
straume
State-of-the-art streams for Lean 4
Lean · 6 个 star
-
multi-stark
Implementation of a multicircuit STARK in P3
Rust · 5 个 star
-
Lean · 3 个 star
-
lurk-hs
Haskell Wrappers for Lurk
Haskell · 2 个 star
-
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 个 star
-
ci-workflows
GitHub Actions workflows and templates for use in Argument repos
0 个 star
-
`io_load_info` 未关闭
argumentcomputer/ix#419 · 已指派 1 人 ·
-
难度 4/5 3-5 天 新手友好度 38/100
argumentcomputer/sphinx#206 ·
-
The termination check is under-constrained due to incomplete check of "public_values.next_pc == 0". 未关闭
难度 3/5 1-2 天 新手友好度 72/100
argumentcomputer/sphinx#205 ·
-
难度 5/5 一周以上 新手友好度 15/100
argumentcomputer/ix#389 ·
-
难度 5/5 一周以上 新手友好度 20/100
argumentcomputer/sphinx#204 ·
-
难度 5/5 一周以上 新手友好度 25/100
argumentcomputer/ix#373 ·
-
难度 4/5 3-5 天 新手友好度 35/100
-
难度 5/5 一周以上 新手友好度 28/100
argumentcomputer/ix#350 · 1 个 reaction ·
-
难度 5/5 一周以上 新手友好度 25/100
-
bug enhancement rust
难度 4/5 3-5 天 新手友好度 45/100
argumentcomputer/ix#303 ·
-
难度 4/5 3-5 天 新手友好度 35/100
argumentcomputer/ix#291 ·
-
ix
难度 3/5 1-2 天 新手友好度 55/100
argumentcomputer/ix#277 · 1 条评论 ·
-
难度 4/5 3-5 天 新手友好度 48/100
argumentcomputer/ix#262 · 1 条评论 · 1 个 reaction ·
-
enhancement
难度 3/5 1-2 天 新手友好度 42/100
argumentcomputer/ix#256 ·
-
automated-issues debt
难度 1/5 1 小时以内 新手友好度 45/100
-
enhancement hot-path ix
难度 5/5 一周以上 新手友好度 25/100
argumentcomputer/ix#168 ·
-
难度 4/5 3-5 天 新手友好度 30/100
-
难度 4/5 3-5 天 新手友好度 25/100
-
难度 2/5 1-3 小时 新手友好度 48/100
-
难度 1/5 1 小时以内 新手友好度 52/100
-
难度 2/5 1-3 小时 新手友好度 38/100
-
难度 3/5 1-2 天 新手友好度 48/100
-
documentation
难度 4/5 3-5 天 新手友好度 45/100
-
难度 5/5 一周以上 新手友好度 25/100
argumentcomputer/sphinx#188 ·
-
难度 3/5 1-2 天 新手友好度 35/100
-
难度 4/5 3-5 天 新手友好度 35/100
argumentcomputer/sphinx#181 ·
-
难度 4/5 3-5 天 新手友好度 35/100
-
难度 4/5 3-5 天 新手友好度 35/100
argumentcomputer/sphinx#173 ·
-
难度 5/5 一周以上 新手友好度 25/100
argumentcomputer/lurk-hs#15 ·
-
CI
难度 4/5 3-5 天 新手友好度 35/100
-
CI
难度 4/5 3-5 天 新手友好度 38/100
argumentcomputer/zk-light-clients#217 · 1 条评论 ·
-
难度 5/5 一周以上 新手友好度 15/100
argumentcomputer/sphinx#169 ·
-
难度 5/5 一周以上 新手友好度 35/100
-
难度 4/5 3-5 天 新手友好度 25/100
argumentcomputer/lurk-hs#1 · 5 条评论 ·
-
bug ethereum
难度 4/5 3-5 天 新手友好度 30/100
-
CI
难度 4/5 3-5 天 新手友好度 35/100
argumentcomputer/zk-light-clients#180 · 1 个 reaction ·
-
automated issue debt
难度 3/5 1-2 天 新手友好度 35/100
argumentcomputer/sphinx#136 ·
-
automated-issue
难度 2/5 1-3 小时 新手友好度 48/100
argumentcomputer/sphinx#119 · 1 条评论 ·
-
enhancement ethereum good first issue
难度 4/5 3-5 天 新手友好度 35/100
-
argumentcomputer/sphinx#100 · 已指派 1 人 ·
-
难度 4/5 3-5 天 新手友好度 45/100
-
难度 4/5 3-5 天 新手友好度 35/100
-
难度 4/5 3-5 天 新手友好度 35/100
argumentcomputer/sphinx#60 ·
-
难度 4/5 3-5 天 新手友好度 35/100
argumentcomputer/sphinx#52 ·
-
argumentcomputer/sphinx#39 · 4 条评论 · 已指派 1 人 ·
-
aptos
难度 4/5 3-5 天 新手友好度 35/100
-
aptos
难度 5/5 一周以上 新手友好度 25/100
-
aptos
难度 4/5 3-5 天 新手友好度 25/100
-
aptos
难度 4/5 3-5 天 新手友好度 45/100
-
难度 4/5 3-5 天 新手友好度 35/100
argumentcomputer/sphinx#35 · 1 条评论 ·
只显示最新的 100 条
这个页面只列出最近收录的部分。完整清单在高级筛选里，可以按语言、难度和预计耗时筛选。