Starred repositories
557
stars
written in Rust
Clear filter
A STARK prover and verifier for arbitrary computations
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
A comprehensive library for machine learning and numerical computing. Apply Machine Learning with Rust leveraging first principles.
RustFFT is a high-performance FFT library written in pure Rust.
Spartan: High-speed zkSNARKs without trusted setup
Libraries for finite field, elliptic curve, and polynomial arithmetic
Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2
Nova: High-speed recursive zero-knowledge arguments from folding schemes
solana arbitrage bot across multiple spot dexs
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.
Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
Minimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
Example applications, microservices, and code samples for the Internet Computer
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…
A Rust Implementation of the PLONK ZKP System and Extensions
Performance and security acceleration for zkVMs.
Internet Identity, a blockchain authentication system for the Internet Computer
zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the…
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)