オーナー

argumentcomputer

索引済みのリポジトリ 19 件 · GitHub で見る

yatima
A zero-knowledge Lean4 compiler and kernel

Lean · スター 146 個
ix
a zero-knowledge proof-carrying code protocol for Lean 4

Rust · スター 96 個
LSpec
A Testing Framework for Lean

Lean · スター 86 個
sphinx
An observatory fork of SP1

Rust · スター 80 個
zk-light-clients
A collection of ZK light client libraries for various blockchains

Rust · スター 70 個
Wasm.lean
A WebAssembly implementation in Lean4

Lean · スター 48 個
Megaparsec.lean
Lean 4 port of Megaparsec

Lean · スター 37 個
RustFFI.lean
Template for Lean<->Rust FFI

Lean · スター 17 個
YatimaStdLib.lean

Lean · スター 9 個
Lurk.lean
A Lean 4 implementation of the Lurk Language for recursive zkSNARKS

Lean · スター 9 個
ZKSnark.lean
https://yatima-inc.github.io/ZKSnark.lean/

Lean · スター 8 個
Ipld.lean
a Lean4 implementation of the IPLD format

Lean · スター 8 個
straume
State-of-the-art streams for Lean 4

Lean · スター 6 個
multi-stark
Implementation of a multicircuit STARK in P3

Rust · スター 5 個
Nova.lean

Lean · スター 3 個
lurk-hs
Haskell Wrappers for Lurk

Haskell · スター 2 個
Neptune.lean
Lean Neptune bindings

Lean · スター 1 個
template-rust-lib
Base template for a Rust library crate with CI, config files, and branch protection

Rust · スター 0 個
ci-workflows
GitHub Actions workflows and templates for use in Argument repos

スター 0 個

初心者向けすべて

オープンすべて

`io_load_info` オープン

argumentcomputer/ix#419 · 担当者 1 名 · 2026年5月19日に作成
Large start_pc leads to guest programs early exit オープン

難易度 4/5 3〜5日初心者へのやさしさ 38/100

argumentcomputer/sphinx#206 · 2026年5月14日に作成
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 · 2026年5月14日に作成
Missing Aiur features オープン

難易度 5/5 1週間以上初心者へのやさしさ 15/100

argumentcomputer/ix#389 · 2026年4月20日に作成
Potential security issue disclosure オープン

難易度 5/5 1週間以上初心者へのやさしさ 20/100

argumentcomputer/sphinx#204 · 2026年4月17日に作成
Toward a Verified Aiur Compiler オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

argumentcomputer/ix#373 · 2026年4月10日に作成
Can you update the project? オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

argumentcomputer/Megaparsec.lean#59 · 2026年3月31日に作成
Kernel invariants and optimizations オープン

難易度 5/5 1週間以上初心者へのやさしさ 28/100

argumentcomputer/ix#350 · リアクション 1 件 · 2026年3月26日に作成
Optimize for circuits that aren't used オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

argumentcomputer/multi-stark#42 · 2026年2月13日に作成
Rewrite decoding for Lean datatypes オープン

bug enhancement rust

難易度 4/5 3〜5日初心者へのやさしさ 45/100

argumentcomputer/ix#303 · 2026年2月6日に作成
Bincode dependency unmaintained オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

argumentcomputer/ix#291 · 2026年1月15日に作成
Remove `BuiltIn`-related data from `Ixon` オープン

ix

難易度 3/5 1〜2日初心者へのやさしさ 55/100

argumentcomputer/ix#277 · コメント 1 件 · 2025年12月5日に作成
Fix build on macOS オープン

難易度 4/5 3〜5日初心者へのやさしさ 48/100

argumentcomputer/ix#262 · コメント 1 件 · リアクション 1 件 · 2025年11月13日に作成
Specialized Rust compilation profiles オープン

enhancement

難易度 3/5 1〜2日初心者へのやさしさ 42/100

argumentcomputer/ix#256 · 2025年10月31日に作成
chore: rust toolchain needs an upgrade オープン

automated-issues debt

難易度 1/5 1時間未満初心者へのやさしさ 45/100

argumentcomputer/template-rust-lib#7 · 2025年7月29日に作成
Efficient arithmetic operations in the IxVM オープン

enhancement hot-path ix

難易度 5/5 1週間以上初心者へのやさしさ 25/100

argumentcomputer/ix#168 · 2025年6月27日に作成
Kadena proof server is not progressing オープン

難易度 4/5 3〜5日初心者へのやさしさ 30/100

argumentcomputer/zk-light-clients#335 · 2024年11月21日に作成
Kadena LC panics out of bound オープン

難易度 4/5 3〜5日初心者へのやさしさ 25/100

argumentcomputer/zk-light-clients#334 · 2024年11月20日に作成
Kadena LC prepending http for proof-server オープン

難易度 2/5 1〜3時間初心者へのやさしさ 48/100

argumentcomputer/zk-light-clients#333 · 2024年11月20日に作成
Kadena (and Ethereum) light-client instructions are not correct オープン

難易度 1/5 1時間未満初心者へのやさしさ 52/100

argumentcomputer/zk-light-clients#332 · 2024年11月20日に作成
Incorrect comment オープン

難易度 2/5 1〜3時間初心者へのやさしさ 38/100

argumentcomputer/zk-light-clients#328 · 2024年11月14日に作成
Network ID needs to be dynamic オープン

難易度 3/5 1〜2日初心者へのやさしさ 48/100

argumentcomputer/zk-light-clients#326 · 2024年11月13日に作成
Improve documentation オープン

documentation

難易度 4/5 3〜5日初心者へのやさしさ 45/100

argumentcomputer/zk-light-clients#324 · 2024年11月13日に作成
Enabling too many chips leads to errors in the recursive verifier オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

argumentcomputer/sphinx#188 · 2024年10月15日に作成
Integrate crates.io release with GitHub release action オープン

難易度 3/5 1〜2日初心者へのやさしさ 35/100

argumentcomputer/ci-workflows#79 · 2024年10月7日に作成
SHA-512 improvements オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

argumentcomputer/sphinx#181 · 2024年9月30日に作成
Move to a more flexible hardware definition for Helm オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

argumentcomputer/zk-light-clients#234 · 2024年9月19日に作成
ci: Move to merge queue オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

argumentcomputer/sphinx#173 · 2024年9月18日に作成
More robust handling of public parameters オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

argumentcomputer/lurk-hs#15 · 2024年9月14日に作成
Automated publication of docker images on release オープン

CI

難易度 4/5 3〜5日初心者へのやさしさ 35/100

argumentcomputer/zk-light-clients#220 · 2024年9月12日に作成
Automatically updating the repl file with the fixtures オープン

CI

難易度 4/5 3〜5日初心者へのやさしさ 38/100

argumentcomputer/zk-light-clients#217 · コメント 1 件 · 2024年9月11日に作成
track Fp precompile improvements オープン

難易度 5/5 1週間以上初心者へのやさしさ 15/100

argumentcomputer/sphinx#169 · 2024年9月10日に作成
feat: use Stwo Blake2 arithmetization for Blake2 circuit オープン

難易度 5/5 1週間以上初心者へのやさしさ 35/100

argumentcomputer/zk-light-clients#209 · 2024年9月9日に作成
Issue while running Main オープン

難易度 4/5 3〜5日初心者へのやさしさ 25/100

argumentcomputer/lurk-hs#1 · コメント 5 件 · 2024年8月27日に作成
SIGSEGV in ethereum `generate_test_assets` in debug mode オープン

bug ethereum

難易度 4/5 3〜5日初心者へのやさしさ 30/100

argumentcomputer/zk-light-clients#184 · 2024年8月23日に作成
ci: Test STARK proof generation オープン

CI

難易度 4/5 3〜5日初心者へのやさしさ 35/100

argumentcomputer/zk-light-clients#180 · リアクション 1 件 · 2024年8月22日に作成
ci: Nightly tests failed オープン

automated issue debt

難易度 3/5 1〜2日初心者へのやさしさ 35/100

argumentcomputer/sphinx#136 · 2024年8月4日に作成
chore: some installed deps are not needed オープン

automated-issue

難易度 2/5 1〜3時間初心者へのやさしさ 48/100

argumentcomputer/sphinx#119 · コメント 1 件 · 2024年7月30日に作成
Simplifying the serde code for Ethereum `Compact*` data types オープン

enhancement ethereum good first issue

難易度 4/5 3〜5日初心者へのやさしさ 35/100

argumentcomputer/zk-light-clients#128 · 2024年7月29日に作成
Running Docker tests in CI オープン

argumentcomputer/sphinx#100 · 担当者 1 名 · 2024年7月24日に作成
Run nightly benchmarks for Aptos & Ethereum オープン

難易度 4/5 3〜5日初心者へのやさしさ 45/100

argumentcomputer/zk-light-clients#117 · 2024年7月23日に作成
Improve `LightClientStore` update after sync committee change proof generation オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

argumentcomputer/zk-light-clients#99 · 2024年7月16日に作成
Lower values of `fixed_log2_rows` for the wrap machine オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

argumentcomputer/sphinx#60 · 2024年6月19日に作成
Add tests with more than a single shard オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

argumentcomputer/sphinx#52 · 2024年6月18日に作成
MVP gnark GPU acceleration オープン

argumentcomputer/sphinx#39 · コメント 4 件 · 担当者 1 名 · 2024年6月12日に作成
Tracking issue: more test cases オープン

aptos

難易度 4/5 3〜5日初心者へのやさしさ 35/100

argumentcomputer/zk-light-clients#9 · 2024年6月11日に作成
Generalize with a `ProvableProgram` trait オープン

aptos

難易度 5/5 1週間以上初心者へのやさしさ 25/100

argumentcomputer/zk-light-clients#7 · 2024年6月11日に作成
Dummy client: Better handling of tasks オープン

aptos

難易度 4/5 3〜5日初心者へのやさしさ 25/100

argumentcomputer/zk-light-clients#2 · 2024年6月11日に作成
Dummy client: Allow for initialization at an earlier epoch オープン

aptos

難易度 4/5 3〜5日初心者へのやさしさ 45/100

argumentcomputer/zk-light-clients#3 · 2024年6月11日に作成
Automated circuit artifact upload for release workflows オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

argumentcomputer/sphinx#35 · コメント 1 件 · 2024年6月10日に作成

argumentcomputer

最新の 100 件のみ表示しています

新しい issue をメールで受け取る