Proprietario

argumentcomputer

19 repository indicizzati · Vedi su GitHub

yatima
A zero-knowledge Lean4 compiler and kernel

Lean · 146 stelle
ix
a zero-knowledge proof-carrying code protocol for Lean 4

Rust · 96 stelle
LSpec
A Testing Framework for Lean

Lean · 86 stelle
sphinx
An observatory fork of SP1

Rust · 80 stelle
zk-light-clients
A collection of ZK light client libraries for various blockchains

Rust · 70 stelle
Wasm.lean
A WebAssembly implementation in Lean4

Lean · 48 stelle
Megaparsec.lean
Lean 4 port of Megaparsec

Lean · 37 stelle
RustFFI.lean
Template for Lean<->Rust FFI

Lean · 17 stelle
YatimaStdLib.lean

Lean · 9 stelle
Lurk.lean
A Lean 4 implementation of the Lurk Language for recursive zkSNARKS

Lean · 9 stelle
ZKSnark.lean
https://yatima-inc.github.io/ZKSnark.lean/

Lean · 8 stelle
Ipld.lean
a Lean4 implementation of the IPLD format

Lean · 8 stelle
straume
State-of-the-art streams for Lean 4

Lean · 6 stelle
multi-stark
Implementation of a multicircuit STARK in P3

Rust · 5 stelle
Nova.lean

Lean · 3 stelle
lurk-hs
Haskell Wrappers for Lurk

Haskell · 2 stelle
Neptune.lean
Lean Neptune bindings

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

Rust · 0 stelle
ci-workflows
GitHub Actions workflows and templates for use in Argument repos

0 stelle

Adatte ai principianti Tutto

Aperta Tutte

`io_load_info` Aperta

argumentcomputer/ix#419 · 1 assegnatario · Aperta il 19/5/2026
Large start_pc leads to guest programs early exit Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100

argumentcomputer/sphinx#206 · Aperta il 14/5/2026
The termination check is under-constrained due to incomplete check of "public_values.next_pc == 0". Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 72/100

argumentcomputer/sphinx#205 · Aperta il 14/5/2026
Missing Aiur features Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

argumentcomputer/ix#389 · Aperta il 20/4/2026
Potential security issue disclosure Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

argumentcomputer/sphinx#204 · Aperta il 17/4/2026
Toward a Verified Aiur Compiler Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

argumentcomputer/ix#373 · Aperta il 10/4/2026
Can you update the project? Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

argumentcomputer/Megaparsec.lean#59 · Aperta il 31/3/2026
Kernel invariants and optimizations Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 28/100

argumentcomputer/ix#350 · 1 reazione · Aperta il 26/3/2026
Optimize for circuits that aren't used Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

argumentcomputer/multi-stark#42 · Aperta il 13/2/2026
Rewrite decoding for Lean datatypes Aperta

bug enhancement rust

Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

argumentcomputer/ix#303 · Aperta il 6/2/2026
Bincode dependency unmaintained Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

argumentcomputer/ix#291 · Aperta il 15/1/2026
Remove `BuiltIn`-related data from `Ixon` Aperta

ix

Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100

argumentcomputer/ix#277 · 1 commento · Aperta il 5/12/2025
Fix build on macOS Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

argumentcomputer/ix#262 · 1 commento · 1 reazione · Aperta il 13/11/2025
Specialized Rust compilation profiles Aperta

enhancement

Difficoltà 3/5 1-2 giorni Idoneità per principianti 42/100

argumentcomputer/ix#256 · Aperta il 31/10/2025
chore: rust toolchain needs an upgrade Aperta

automated-issues debt

Difficoltà 1/5 Meno di un'ora Idoneità per principianti 45/100

argumentcomputer/template-rust-lib#7 · Aperta il 29/7/2025
Efficient arithmetic operations in the IxVM Aperta

enhancement hot-path ix

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

argumentcomputer/ix#168 · Aperta il 27/6/2025
Kadena proof server is not progressing Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100

argumentcomputer/zk-light-clients#335 · Aperta il 21/11/2024
Kadena LC panics out of bound Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

argumentcomputer/zk-light-clients#334 · Aperta il 20/11/2024
Kadena LC prepending http for proof-server Aperta

Difficoltà 2/5 1-3 ore Idoneità per principianti 48/100

argumentcomputer/zk-light-clients#333 · Aperta il 20/11/2024
Kadena (and Ethereum) light-client instructions are not correct Aperta

Difficoltà 1/5 Meno di un'ora Idoneità per principianti 52/100

argumentcomputer/zk-light-clients#332 · Aperta il 20/11/2024
Incorrect comment Aperta

Difficoltà 2/5 1-3 ore Idoneità per principianti 38/100

argumentcomputer/zk-light-clients#328 · Aperta il 14/11/2024
Network ID needs to be dynamic Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 48/100

argumentcomputer/zk-light-clients#326 · Aperta il 13/11/2024
Improve documentation Aperta

documentation

Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

argumentcomputer/zk-light-clients#324 · Aperta il 13/11/2024
Enabling too many chips leads to errors in the recursive verifier Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

argumentcomputer/sphinx#188 · Aperta il 15/10/2024
Integrate crates.io release with GitHub release action Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

argumentcomputer/ci-workflows#79 · Aperta il 7/10/2024
SHA-512 improvements Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

argumentcomputer/sphinx#181 · Aperta il 30/9/2024
Move to a more flexible hardware definition for Helm Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

argumentcomputer/zk-light-clients#234 · Aperta il 19/9/2024
ci: Move to merge queue Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

argumentcomputer/sphinx#173 · Aperta il 18/9/2024
More robust handling of public parameters Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

argumentcomputer/lurk-hs#15 · Aperta il 14/9/2024
Automated publication of docker images on release Aperta

CI

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

argumentcomputer/zk-light-clients#220 · Aperta il 12/9/2024
Automatically updating the repl file with the fixtures Aperta

CI

Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100

argumentcomputer/zk-light-clients#217 · 1 commento · Aperta il 11/9/2024
track Fp precompile improvements Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

argumentcomputer/sphinx#169 · Aperta il 10/9/2024
feat: use Stwo Blake2 arithmetization for Blake2 circuit Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

argumentcomputer/zk-light-clients#209 · Aperta il 9/9/2024
Issue while running Main Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

argumentcomputer/lurk-hs#1 · 5 commenti · Aperta il 27/8/2024
SIGSEGV in ethereum `generate_test_assets` in debug mode Aperta

bug ethereum

Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100

argumentcomputer/zk-light-clients#184 · Aperta il 23/8/2024
ci: Test STARK proof generation Aperta

CI

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

argumentcomputer/zk-light-clients#180 · 1 reazione · Aperta il 22/8/2024
ci: Nightly tests failed Aperta

automated issue debt

Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

argumentcomputer/sphinx#136 · Aperta il 4/8/2024
chore: some installed deps are not needed Aperta

automated-issue

Difficoltà 2/5 1-3 ore Idoneità per principianti 48/100

argumentcomputer/sphinx#119 · 1 commento · Aperta il 30/7/2024
Simplifying the serde code for Ethereum `Compact*` data types Aperta

enhancement ethereum good first issue

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

argumentcomputer/zk-light-clients#128 · Aperta il 29/7/2024
Running Docker tests in CI Aperta

argumentcomputer/sphinx#100 · 1 assegnatario · Aperta il 24/7/2024
Run nightly benchmarks for Aptos & Ethereum Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

argumentcomputer/zk-light-clients#117 · Aperta il 23/7/2024
Improve `LightClientStore` update after sync committee change proof generation Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

argumentcomputer/zk-light-clients#99 · Aperta il 16/7/2024
Lower values of `fixed_log2_rows` for the wrap machine Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

argumentcomputer/sphinx#60 · Aperta il 19/6/2024
Add tests with more than a single shard Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

argumentcomputer/sphinx#52 · Aperta il 18/6/2024
MVP gnark GPU acceleration Aperta

argumentcomputer/sphinx#39 · 4 commenti · 1 assegnatario · Aperta il 12/6/2024
Tracking issue: more test cases Aperta

aptos

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

argumentcomputer/zk-light-clients#9 · Aperta il 11/6/2024
Generalize with a `ProvableProgram` trait Aperta

aptos

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

argumentcomputer/zk-light-clients#7 · Aperta il 11/6/2024
Dummy client: Better handling of tasks Aperta

aptos

Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

argumentcomputer/zk-light-clients#2 · Aperta il 11/6/2024
Dummy client: Allow for initialization at an earlier epoch Aperta

aptos

Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

argumentcomputer/zk-light-clients#3 · Aperta il 11/6/2024
Automated circuit artifact upload for release workflows Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

argumentcomputer/sphinx#35 · 1 commento · Aperta il 10/6/2024

Vengono mostrati i 100 più recenti

Questa pagina elenca solo ciò che è stato indicizzato di recente. Il filtro avanzato contiene l'inventario completo, ristretto per linguaggio, difficoltà e durata.

Apri il filtro avanzato

argumentcomputer

Vengono mostrati i 100 più recenti

Ricevi le nuove issue nella tua casella