reclaimprotocol / zk-symmetric-crypto
A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.
☆13Updated this week
Alternatives and similar repositories for zk-symmetric-crypto:
Users that are interested in zk-symmetric-crypto are comparing it to the libraries listed below
- ☆19Updated 3 months ago
- FHE library☆24Updated 9 months ago
- ☆14Updated this week
- GPU-acceselerated cryptography libraries for ZKsync☆15Updated this week
- Benchmark of ZKVMs and Proving Schemes☆20Updated last month
- ZKM Development Template/Framework☆23Updated last week
- linear-time sumcheck protocol for multilinear polynomials and related addends☆60Updated 3 months ago
- ZK proofs for image authenticity☆34Updated last week
- The entry point for Rust projects to be run on Valida☆10Updated last month
- Mozak RISC-V Virtual Machine☆23Updated this week
- ☆26Updated 2 months ago
- An observatory fork of SP1☆59Updated this week
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- A support library for working with zero knowledge cryptography in Lean 4.☆34Updated 9 months ago
- Elliptic Curve Fast Fourier Transform built on @arkworks-rs☆67Updated last year
- An API compatible port of the Stone prover.☆19Updated 2 months ago
- Cairo-VM STONE STARK Verifier Rust implementation☆37Updated last week
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆77Updated this week
- Benchmarks of popular zkVMs including Jolt☆58Updated 9 months ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆39Updated last week
- A parallel proving service for ZKM.☆20Updated 3 months ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆69Updated this week
- Circom circuits explained in depth.☆24Updated 3 weeks ago
- Nova: Recursive SNARKs without trusted setup☆42Updated last year
- A set of tooling of halo2 circuits verification in Move environments☆16Updated 5 months ago
- ZK Benchmarking Suite☆22Updated 10 months ago
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆17Updated 2 months ago
- A monorepo of reusable Circom circuits.☆22Updated this week
- ☆19Updated this week
- A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…☆29Updated last month