Daniel Tehrani's repositories
circom-secq
zkSnark circuit compiler
Spartan-secq
Spartan: High-speed zkSNARKs without trusted setup
algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
Language:RustApache-2.0000
curves
Rust implementation for zcash/pasta
Language:RustNOASSERTION000
elliptic-curves
Collection of pure Rust elliptic curve implementations: NIST P-256, P-384, secp256k1
Language:Rust000
ethereumjs-monorepo
Monorepo for the Ethereum VM TypeScript Implementation
Language:TypeScript000
Language:RustNOASSERTION000
halo2-lib
Monorepo of halo2 crates
Language:RustMIT000
Language:RustNOASSERTION000
libsecp256k1
Pure Rust Implementation of secp256k1.
Language:RustApache-2.0000
Nova-Scotia
Middleware to compile Circom circuits to Nova prover
Language:RustMIT000
rust-bloom-filter
A fast Bloom filter implementation in Rust
Language:RustBSD-2-Clause000
Language:RustApache-2.0000
Language:Rust000
winterfell
A STARK prover and verifier for arbitrary computations
Language:RustMIT000