Stars
Orbiter-Finance / rapidsnark
Forked from iden3/rapidsnarkrapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
The ultimate TypeScript environment for Circom development
A repository for my internship at MILES where I train Transformers to learn bigrams
A curated list of awesome things related to learning and programming in Noir.
Demo of login with zk email, with specified oauth scopes.
Foldseek enables fast and sensitive comparisons of large structure sets.
Reader for ICAO 9303 electronic machine readable travel documents.
Middleware to compile Circom circuits to Nova prover
Minimal Anti-Collusion Infrastructure (MACI)
`openpassort-rs` is a server-side Rust implementation designed for verifying zk-SNARK (Groth16) proofs on a Rust server-side..
A set of tools to serialize r1cs and witness native representations into a standardized dataset that can be used to benchmark different provers with an r1cs front-end.
A smart contract wallet controlled using email
A Living Database of Methods to Accelerate Science and Technology
A web tool that helps you compare and visualize the performance of cryptographic operations
Tooling for creating collaborative SNARKs for Circom and Noir circuits.
Big integer arithmetic // secp256k1 & additional P256 ECC operations in circom
Big integer arithmetic and secp256k1 ECC operations in circom
Spartan: High-speed zkSNARKs without trusted setup