Propriétaire

argumentcomputer

19 dépôts indexés · Voir sur GitHub

yatima
A zero-knowledge Lean4 compiler and kernel

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

Rust · 96 étoiles
LSpec
A Testing Framework for Lean

Lean · 86 étoiles
sphinx
An observatory fork of SP1

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

Rust · 70 étoiles
Wasm.lean
A WebAssembly implementation in Lean4

Lean · 48 étoiles
Megaparsec.lean
Lean 4 port of Megaparsec

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

Lean · 17 étoiles
YatimaStdLib.lean

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

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

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

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

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

Rust · 5 étoiles
Nova.lean

Lean · 3 étoiles
lurk-hs
Haskell Wrappers for Lurk

Haskell · 2 étoiles
Neptune.lean
Lean Neptune bindings

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

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

0 étoiles

Ouverte Toutes

`io_load_info` Ouverte

argumentcomputer/ix#419 · 1 personne assignée · Ouverte le 19/5/2026
Large start_pc leads to guest programs early exit Ouverte

Difficulté 4/5 3-5 jours Accessibilité débutants 38/100

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

Difficulté 3/5 1-2 jours Accessibilité débutants 72/100

argumentcomputer/sphinx#205 · Ouverte le 14/5/2026
Missing Aiur features Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 15/100

argumentcomputer/ix#389 · Ouverte le 20/4/2026
Potential security issue disclosure Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 20/100

argumentcomputer/sphinx#204 · Ouverte le 17/4/2026
Toward a Verified Aiur Compiler Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

argumentcomputer/ix#373 · Ouverte le 10/4/2026
Can you update the project? Ouverte

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

argumentcomputer/Megaparsec.lean#59 · Ouverte le 31/3/2026
Kernel invariants and optimizations Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 28/100

argumentcomputer/ix#350 · 1 réaction · Ouverte le 26/3/2026
Optimize for circuits that aren't used Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

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

bug enhancement rust

Difficulté 4/5 3-5 jours Accessibilité débutants 45/100

argumentcomputer/ix#303 · Ouverte le 6/2/2026
Bincode dependency unmaintained Ouverte

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

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

ix

Difficulté 3/5 1-2 jours Accessibilité débutants 55/100

argumentcomputer/ix#277 · 1 commentaire · Ouverte le 5/12/2025
Fix build on macOS Ouverte

Difficulté 4/5 3-5 jours Accessibilité débutants 48/100

argumentcomputer/ix#262 · 1 commentaire · 1 réaction · Ouverte le 13/11/2025
Specialized Rust compilation profiles Ouverte

enhancement

Difficulté 3/5 1-2 jours Accessibilité débutants 42/100

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

automated-issues debt

Difficulté 1/5 Moins d'une heure Accessibilité débutants 45/100

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

enhancement hot-path ix

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

argumentcomputer/ix#168 · Ouverte le 27/6/2025
Kadena proof server is not progressing Ouverte

Difficulté 4/5 3-5 jours Accessibilité débutants 30/100

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

Difficulté 4/5 3-5 jours Accessibilité débutants 25/100

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

Difficulté 2/5 1-3 heures Accessibilité débutants 48/100

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

Difficulté 1/5 Moins d'une heure Accessibilité débutants 52/100

argumentcomputer/zk-light-clients#332 · Ouverte le 20/11/2024
Incorrect comment Ouverte

Difficulté 2/5 1-3 heures Accessibilité débutants 38/100

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

Difficulté 3/5 1-2 jours Accessibilité débutants 48/100

argumentcomputer/zk-light-clients#326 · Ouverte le 13/11/2024
Improve documentation Ouverte

documentation

Difficulté 4/5 3-5 jours Accessibilité débutants 45/100

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

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

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

Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

argumentcomputer/ci-workflows#79 · Ouverte le 7/10/2024
SHA-512 improvements Ouverte

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

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

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

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

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

argumentcomputer/sphinx#173 · Ouverte le 18/9/2024
More robust handling of public parameters Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

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

CI

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

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

CI

Difficulté 4/5 3-5 jours Accessibilité débutants 38/100

argumentcomputer/zk-light-clients#217 · 1 commentaire · Ouverte le 11/9/2024
track Fp precompile improvements Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 15/100

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

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

argumentcomputer/zk-light-clients#209 · Ouverte le 9/9/2024
Issue while running Main Ouverte

Difficulté 4/5 3-5 jours Accessibilité débutants 25/100

argumentcomputer/lurk-hs#1 · 5 commentaires · Ouverte le 27/8/2024
SIGSEGV in ethereum `generate_test_assets` in debug mode Ouverte

bug ethereum

Difficulté 4/5 3-5 jours Accessibilité débutants 30/100

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

CI

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

argumentcomputer/zk-light-clients#180 · 1 réaction · Ouverte le 22/8/2024
ci: Nightly tests failed Ouverte

automated issue debt

Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

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

automated-issue

Difficulté 2/5 1-3 heures Accessibilité débutants 48/100

argumentcomputer/sphinx#119 · 1 commentaire · Ouverte le 30/7/2024
Simplifying the serde code for Ethereum `Compact*` data types Ouverte

enhancement ethereum good first issue

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

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

argumentcomputer/sphinx#100 · 1 personne assignée · Ouverte le 24/7/2024
Run nightly benchmarks for Aptos & Ethereum Ouverte

Difficulté 4/5 3-5 jours Accessibilité débutants 45/100

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

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

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

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

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

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

argumentcomputer/sphinx#52 · Ouverte le 18/6/2024
MVP gnark GPU acceleration Ouverte

argumentcomputer/sphinx#39 · 4 commentaires · 1 personne assignée · Ouverte le 12/6/2024
Tracking issue: more test cases Ouverte

aptos

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

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

aptos

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

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

aptos

Difficulté 4/5 3-5 jours Accessibilité débutants 25/100

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

aptos

Difficulté 4/5 3-5 jours Accessibilité débutants 45/100

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

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

argumentcomputer/sphinx#35 · 1 commentaire · Ouverte le 10/6/2024

Affichage des 100 plus récents

Cette page ne liste que les entrées les plus récentes. Le filtre avancé contient l'inventaire complet, affiné par langage, difficulté et durée.

Ouvrir le filtre avancé

argumentcomputer

Affichage des 100 plus récents

Recevez les nouvelles issues par e-mail