Propietario

ProvableHQ

11 repositorios indexados · Ver en GitHub

leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Rust · 4824 estrellas
snarkOS
A Decentralized Operating System for ZK Applications

Rust · 4527 estrellas
snarkVM
A zkVM for Decentralized Private Computations (DPC)

Rust · 1165 estrellas
sdk
Javascript & Typescript SDK for Zero-Knowledge Application Development

TypeScript · 632 estrellas
python-sdk

Python · 45 estrellas
leo-examples

Leo · 9 estrellas
aleo-dev-toolkit
The Aleo developer toolkit (wallet adaptor, hooks packages)

TypeScript · 4 estrellas
leo.nix
A Nix flake for the Leo language.

Nix · 2 estrellas
aleo-devnode
A standalone Aleo development node for local development and testing

Rust · 1 estrella
leo-lsp-clients
IDE integrations and language server clients for the Leo programming language.

JavaScript · 1 estrella
veil
A Typescript interface for Aleo

TypeScript · 0 estrellas

Para principiantes Todo

Abierto Todos

[Bug] Spurious ERROR log: Attempted to decrease GC round from 36 to 34 Abierto

bug

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

ProvableHQ/snarkOS#4466 · Abierto el 18/9/2026
[Bug] rocksdb key count Abierto

bug

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

ProvableHQ/snarkVM#3434 · Abierto el 15/9/2026
[Feature] [Perf] Extend partially_verified_transactions cache Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

ProvableHQ/snarkVM#3426 · Abierto el 10/9/2026
[Feature] Use Gungraun for regression tests Abierto

enhancement

ProvableHQ/snarkVM#3424 · 1 asignado · Abierto el 9/9/2026
[Feature] Move regression tests to Gungraun Abierto

enhancement feature

ProvableHQ/snarkOS#4446 · 1 asignado · Abierto el 9/9/2026
v1 REST error middleware renders every failure as "Failed to convert error", hiding rate limiting behind what looks like missing data Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 72/100

ProvableHQ/snarkOS#4443 · Abierto el 9/9/2026
History does not record deletions, so removed mapping keys are served as live forever Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 28/100

ProvableHQ/snarkVM#3418 · Abierto el 9/9/2026
[Feature] Reduce transaction latency variance Abierto

ProvableHQ/snarkVM#3415 · 1 comentario · 1 asignado · Abierto el 8/9/2026
Global OnceLock caches per-network consensus heights: first network queried wins for the whole process Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 42/100

ProvableHQ/snarkVM#3411 · 1 comentario · Abierto el 7/9/2026
[Feature] Persist every batch proposal Abierto

feature

Dificultad 4/5 3-5 días Aptitud para principiantes 50/100

ProvableHQ/snarkOS#4437 · Abierto el 7/9/2026
[Bug] External call inside a conditional branch executes unconditionally and mints a record for the untaken branch Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

ProvableHQ/leo#29630 · Abierto el 4/9/2026
[Bug] BFT gateway disconnects a peer the moment our own outbound queue to it is full Abierto

bug

Dificultad 5/5 Más de una semana Aptitud para principiantes 45/100

ProvableHQ/snarkOS#4431 · 2 comentarios · Abierto el 1/9/2026
[Proposal] Improvements around gateway's per-peer outbound rate limiter Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

ProvableHQ/snarkOS#4429 · Abierto el 1/9/2026
[Bug] BFT proposal sends outlive the round they were spawned for, with no bound and no cancellation Abierto

bug

Dificultad 4/5 3-5 días Aptitud para principiantes 52/100

ProvableHQ/snarkOS#4428 · 1 comentario · Abierto el 1/9/2026
[Proposal] Instrument gateway outbound queue depth and rate-limiter engagement Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 52/100

ProvableHQ/snarkOS#4427 · 1 comentario · Abierto el 1/9/2026
[Proposal] Reduce the router's exposure to `Ping` Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

ProvableHQ/snarkOS#4424 · 1 comentario · Abierto el 31/8/2026
[Bug] Halted validator in snarkos prerelease testing Abierto

bug

Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

ProvableHQ/snarkOS#4410 · Abierto el 25/8/2026
[Proposal] Replace transaction constraint limits to a static block-wide density limit Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

ProvableHQ/snarkVM#3384 · Abierto el 18/8/2026
veil-core: requestRecords returns transactionId padded with trailing spaces, so equality never matches Abierto

bug

Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100

ProvableHQ/veil#129 · Abierto el 14/8/2026
shield-swap-sdk: blinded identity counters leak on failed submission, and a lost store cannot be rebuilt Abierto

bug

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

ProvableHQ/veil#128 · Abierto el 14/8/2026
Use an array for handling values that change between consensus versions Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

ProvableHQ/snarkVM#3378 · 1 comentario · Abierto el 13/8/2026
[Bug] Delegated proving drops dynamic record data, causing `get.record.dynamic` to fail Abierto

bug

Dificultad 3/5 1-2 días Aptitud para principiantes 72/100

ProvableHQ/sdk#1393 · 3 comentarios · Abierto el 13/8/2026
[Proposal] Permit a change of record output registers on program upgrade Abierto

enhancement

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

ProvableHQ/snarkVM#3376 · Abierto el 13/8/2026
[Proposal] Review serialization/deserialization across the codebase to detect unnecessary round trips Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100

ProvableHQ/snarkOS#4388 · 16 comentarios · Abierto el 10/8/2026
[Bug] LATEST_MAX_TRANSACTION_SIZE Fragility Abierto

bug

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

ProvableHQ/snarkOS#4387 · Abierto el 10/8/2026
[Bug] Deployments fail on devnet Abierto

bug

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

ProvableHQ/snarkVM#3363 · 1 comentario · Abierto el 10/8/2026
[Proposal] Review locking practices in snarkOS Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 28/100

ProvableHQ/snarkOS#4380 · 2 comentarios · Abierto el 7/8/2026
[Bug] Cross-library interface checking accepts mismatched const-generic types Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 64/100

ProvableHQ/leo#29617 · 1 comentario · Abierto el 5/8/2026
[Bug] LSP drops module definitions from saved source dependencies Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 75/100

ProvableHQ/leo#29616 · Abierto el 5/8/2026
[Bug] ABI misclassifies a module struct as a record Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

ProvableHQ/leo#29615 · Abierto el 5/8/2026
[Bug] Inherited interface functions cannot be used through dynamic dispatch Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

ProvableHQ/leo#29614 · Abierto el 5/8/2026
[Bug] Dynamic calls reject records from module-qualified interfaces Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 65/100

ProvableHQ/leo#29613 · Abierto el 5/8/2026
snarkVM v4.9.0 is available (SDK on v4.8.1) Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 68/100

ProvableHQ/sdk#1386 · Abierto el 29/7/2026
[Bug] upgrade-test failed Abierto

bug

Dificultad 4/5 3-5 días Aptitud para principiantes 42/100

ProvableHQ/snarkVM#3340 · Abierto el 28/7/2026
[Proposal] Comprehensive Leo CLI reliability, usability, and workflow enhancements Abierto

🖥️ CLI proposal

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

ProvableHQ/leo#29602 · Abierto el 25/7/2026
InputObject's literal-only type and ID declarations cannot represent values produced by transaction summaries and repository fixtures Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100

ProvableHQ/sdk#1379 · Abierto el 25/7/2026
Verification omits supported bond_validator and transfer_public_as_signer locators, rejecting correct cached keys Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

ProvableHQ/sdk#1378 · Abierto el 25/7/2026
The public API promises RecordPlaintext objects while the underlying decrypt operation returns strings Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 55/100

ProvableHQ/sdk#1377 · Abierto el 25/7/2026
[Proposal] Merkle Tree in the standard library Abierto

proposal

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

ProvableHQ/leo#29600 · 1 comentario · Abierto el 24/7/2026
Update finalize operation pricing Abierto

ProvableHQ/snarkVM#3332 · 1 comentario · 1 asignado · Abierto el 22/7/2026
[Docs] No error code / error reference anywhere across the docs Abierto

documentation

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

ProvableHQ/leo#29596 · Abierto el 21/7/2026
leo add: --network is a source flag, but the verification network is env-only Abierto

🐛 bug 🖥️ CLI

Dificultad 4/5 3-5 días Aptitud para principiantes 54/100

ProvableHQ/leo#29591 · Abierto el 16/7/2026
FinalizeTypes::matches_struct rejects valid cast to external struct with member-access operands Abierto

ProvableHQ/snarkVM#3330 · 1 asignado · Abierto el 16/7/2026
Deploy worker swallows an out-of-scope identifier as “program not found” Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100

ProvableHQ/sdk#1359 · Abierto el 16/7/2026
Local execution passes an unresolved imports Promise Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 76/100

ProvableHQ/sdk#1358 · Abierto el 16/7/2026
ECLI0377047: "generated invalid Aleo bytecode" for a test calling nested tuple/struct-returning functions Abierto

🐛 bug

ProvableHQ/leo#29586 · 1 comentario · 1 asignado · Abierto el 14/7/2026
veil-core: export publicActions/walletActions decorators; extend() drops prototype-level props when composing clients Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 72/100

ProvableHQ/veil#92 · Abierto el 14/7/2026
codegen: support array types everywhere (struct/record fields, mapping values, function I/O), recursively Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 65/100

ProvableHQ/python-sdk#48 · Abierto el 13/7/2026
shield-swap-sdk: ApiClient.getRoute types amount_in as bigint but the AMM API parses human units Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

ProvableHQ/veil#90 · Abierto el 10/7/2026
Upstream Aleo dependencies are stale Abierto

upstream-stale

Dificultad 2/5 1-3 horas Aptitud para principiantes 58/100

ProvableHQ/veil#89 · 73 comentarios · Abierto el 10/7/2026

Mostrando los 100 más recientes

Esta página solo lista lo indexado más recientemente. El filtro avanzado tiene el inventario completo, acotado por lenguaje, dificultad y duración.

Abrir el filtro avanzado

ProvableHQ

Mostrando los 100 más recientes

Recibe los nuevos issues en tu correo