Chủ sở hữu
argumentcomputer
Đã lập chỉ mục 19 kho mã nguồn · Xem trên 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` Đang mở
argumentcomputer/ix#419 · 1 người được giao ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100
argumentcomputer/sphinx#206 ·
-
The termination check is under-constrained due to incomplete check of "public_values.next_pc == 0". Đang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 72/100
argumentcomputer/sphinx#205 ·
-
Missing Aiur features Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 15/100
argumentcomputer/ix#389 ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100
argumentcomputer/sphinx#204 ·
-
Toward a Verified Aiur Compiler Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
argumentcomputer/ix#373 ·
-
Can you update the project? Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 28/100
argumentcomputer/ix#350 · 1 reaction ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
bug enhancement rust
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
argumentcomputer/ix#303 ·
-
Bincode dependency unmaintained Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
argumentcomputer/ix#291 ·
-
ix
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100
argumentcomputer/ix#277 · 1 bình luận ·
-
Fix build on macOS Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
argumentcomputer/ix#262 · 1 bình luận · 1 reaction ·
-
enhancement
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 42/100
argumentcomputer/ix#256 ·
-
automated-issues debt
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 45/100
-
enhancement hot-path ix
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
argumentcomputer/ix#168 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100
-
Kadena LC panics out of bound Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 48/100
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 52/100
-
Incorrect comment Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 38/100
-
Network ID needs to be dynamic Đang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100
-
Improve documentation Đang mởdocumentation
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
argumentcomputer/sphinx#188 ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
-
SHA-512 improvements Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
argumentcomputer/sphinx#181 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
ci: Move to merge queue Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
argumentcomputer/sphinx#173 ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
argumentcomputer/lurk-hs#15 ·
-
CI
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
CI
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100
argumentcomputer/zk-light-clients#217 · 1 bình luận ·
-
track Fp precompile improvements Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 15/100
argumentcomputer/sphinx#169 ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Issue while running Main Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
argumentcomputer/lurk-hs#1 · 5 bình luận ·
-
bug ethereum
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100
-
ci: Test STARK proof generation Đang mởCI
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
argumentcomputer/zk-light-clients#180 · 1 reaction ·
-
ci: Nightly tests failed Đang mởautomated issue debt
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
argumentcomputer/sphinx#136 ·
-
automated-issue
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 48/100
argumentcomputer/sphinx#119 · 1 bình luận ·
-
enhancement ethereum good first issue
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Running Docker tests in CI Đang mở
argumentcomputer/sphinx#100 · 1 người được giao ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
argumentcomputer/sphinx#60 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
argumentcomputer/sphinx#52 ·
-
MVP gnark GPU acceleration Đang mở
argumentcomputer/sphinx#39 · 4 bình luận · 1 người được giao ·
-
Tracking issue: more test cases Đang mởaptos
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
aptos
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
aptos
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
-
aptos
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
argumentcomputer/sphinx#35 · 1 bình luận ·
Đang hiển thị 100 mục mới nhất
Trang này chỉ liệt kê những gì được lập chỉ mục gần đây. Bộ lọc nâng cao có toàn bộ kho, thu hẹp theo ngôn ngữ, độ khó và thời lượng.