lambdaclass / AES_zero_knowledge_proof_circuit
☆72Updated last year
Alternatives and similar repositories for AES_zero_knowledge_proof_circuit:
Users that are interested in AES_zero_knowledge_proof_circuit are comparing it to the libraries listed below
- An elastic proof system based on arkworks☆80Updated last year
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated last year
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated last year
- Rust implementation for zcash/pasta☆82Updated last year
- Composable proof transcripts for public-coin arguments of knowledge☆48Updated 6 months ago
- Poseidon hash function☆74Updated last year
- ☆23Updated this week
- Elliptic Curve Fast Fourier Transform built on @arkworks-rs☆68Updated last year
- ☆39Updated 2 years ago
- ☆112Updated last year
- ☆42Updated 3 years ago
- Elliptic curve group traits and utilities.☆95Updated last year
- Testudo: Spartan + Groth16☆51Updated last year
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆53Updated 6 months ago
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- ☆49Updated last year
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆24Updated last year
- Collection of mathematics routines and cryptography for the twenty-first century☆78Updated last week
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆92Updated 2 years ago
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆87Updated this week
- FS-DKR: One Round Distributed Key Rotation☆32Updated last year
- Fiat-Shamir for the masses.☆52Updated 2 weeks ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆82Updated this week
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆38Updated last year
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆56Updated last year
- A SNARK using towers of binary fields, implemented in Rust☆85Updated this week
- zkSNARKs as a service using secure multi-party computation.☆29Updated last year
- Curve ecGFp5☆68Updated 2 years ago
- Spartan on Arkworks☆40Updated 2 months ago