Proprietário

argumentcomputer

19 repositórios indexados · Ver no GitHub

yatima
A zero-knowledge Lean4 compiler and kernel

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

Rust · 96 estrelas
LSpec
A Testing Framework for Lean

Lean · 86 estrelas
sphinx
An observatory fork of SP1

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

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

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

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

Lean · 17 estrelas
YatimaStdLib.lean

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

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

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

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

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

Rust · 5 estrelas
Nova.lean

Lean · 3 estrelas
lurk-hs
Haskell Wrappers for Lurk

Haskell · 2 estrelas
Neptune.lean
Lean Neptune bindings

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

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

0 estrelas

Para iniciantes Tudo

Abertas Todas

`io_load_info` Aberta

argumentcomputer/ix#419 · 1 responsável · Aberta em 19/5/2026
Large start_pc leads to guest programs early exit Aberta

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 38/100

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

Dificuldade 3/5 1-2 dias Facilidade para iniciantes 72/100

argumentcomputer/sphinx#205 · Aberta em 14/5/2026
Missing Aiur features Aberta

Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 15/100

argumentcomputer/ix#389 · Aberta em 20/4/2026
Potential security issue disclosure Aberta

Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100

argumentcomputer/sphinx#204 · Aberta em 17/4/2026
Toward a Verified Aiur Compiler Aberta

Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

argumentcomputer/ix#373 · Aberta em 10/4/2026
Can you update the project? Aberta

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

argumentcomputer/Megaparsec.lean#59 · Aberta em 31/3/2026
Kernel invariants and optimizations Aberta

Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 28/100

argumentcomputer/ix#350 · 1 reação · Aberta em 26/3/2026
Optimize for circuits that aren't used Aberta

Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

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

bug enhancement rust

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100

argumentcomputer/ix#303 · Aberta em 6/2/2026
Bincode dependency unmaintained Aberta

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

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

ix

Dificuldade 3/5 1-2 dias Facilidade para iniciantes 55/100

argumentcomputer/ix#277 · 1 comentário · Aberta em 5/12/2025
Fix build on macOS Aberta

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 48/100

argumentcomputer/ix#262 · 1 comentário · 1 reação · Aberta em 13/11/2025
Specialized Rust compilation profiles Aberta

enhancement

Dificuldade 3/5 1-2 dias Facilidade para iniciantes 42/100

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

automated-issues debt

Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 45/100

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

enhancement hot-path ix

Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

argumentcomputer/ix#168 · Aberta em 27/6/2025
Kadena proof server is not progressing Aberta

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 30/100

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

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100

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

Dificuldade 2/5 1-3 horas Facilidade para iniciantes 48/100

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

Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 52/100

argumentcomputer/zk-light-clients#332 · Aberta em 20/11/2024
Incorrect comment Aberta

Dificuldade 2/5 1-3 horas Facilidade para iniciantes 38/100

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

Dificuldade 3/5 1-2 dias Facilidade para iniciantes 48/100

argumentcomputer/zk-light-clients#326 · Aberta em 13/11/2024
Improve documentation Aberta

documentation

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100

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

Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

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

Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100

argumentcomputer/ci-workflows#79 · Aberta em 7/10/2024
SHA-512 improvements Aberta

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

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

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

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

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

argumentcomputer/sphinx#173 · Aberta em 18/9/2024
More robust handling of public parameters Aberta

Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

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

CI

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

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

CI

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 38/100

argumentcomputer/zk-light-clients#217 · 1 comentário · Aberta em 11/9/2024
track Fp precompile improvements Aberta

Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 15/100

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

Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100

argumentcomputer/zk-light-clients#209 · Aberta em 9/9/2024
Issue while running Main Aberta

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100

argumentcomputer/lurk-hs#1 · 5 comentários · Aberta em 27/8/2024
SIGSEGV in ethereum `generate_test_assets` in debug mode Aberta

bug ethereum

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 30/100

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

CI

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

argumentcomputer/zk-light-clients#180 · 1 reação · Aberta em 22/8/2024
ci: Nightly tests failed Aberta

automated issue debt

Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100

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

automated-issue

Dificuldade 2/5 1-3 horas Facilidade para iniciantes 48/100

argumentcomputer/sphinx#119 · 1 comentário · Aberta em 30/7/2024
Simplifying the serde code for Ethereum `Compact*` data types Aberta

enhancement ethereum good first issue

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

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

argumentcomputer/sphinx#100 · 1 responsável · Aberta em 24/7/2024
Run nightly benchmarks for Aptos & Ethereum Aberta

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100

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

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

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

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

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

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

argumentcomputer/sphinx#52 · Aberta em 18/6/2024
MVP gnark GPU acceleration Aberta

argumentcomputer/sphinx#39 · 4 comentários · 1 responsável · Aberta em 12/6/2024
Tracking issue: more test cases Aberta

aptos

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

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

aptos

Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

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

aptos

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100

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

aptos

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100

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

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

argumentcomputer/sphinx#35 · 1 comentário · Aberta em 10/6/2024

Mostrando os 100 mais recentes

Esta página lista apenas o que foi indexado mais recentemente. O filtro avançado tem o inventário completo, refinado por linguagem, dificuldade e duração.

Abrir o filtro avançado

argumentcomputer

Mostrando os 100 mais recentes

Receba novas issues na sua caixa de entrada