vega-prover: Low-latency client-side ZK proving over signed data
⑂ 42◎ 16
Archive
Realistic first-contribution target: active project, 25 open issues, small enough for a newcomer PR to land.
Derived from this repo's Cargo dependencies and activity — difficulty is an estimate from codebase size and scope.
Matched by dependency overlap in Cargo manifests — each card notes the most distinctive crates both projects share.
vega-prover: Low-latency client-side ZK proving over signed data
Rust crypto w/ zero default deps: BLAKE3, Ed25519/X25519, hashes, MACs, KDFs, AEADs, and checksums w/ full SIMD/ASM acceleration
Minimalist, performant and auditable verifiable RISC-V vm written in Rust
Implementation of Prio in Rust.
Space and Time | Proof of SQL
Common cryptographic library used in software at Mysten Labs.
Big integer types for Rust
An independent Rust rewrite of QuickJS targeting semantic feature parity
A Rust library for random number generation.
ALP floating point compression in Rust