tiktok-privacy-innovation / trustless-attestation-verification-circomLinks
☆71Updated 3 weeks ago
Alternatives and similar repositories for trustless-attestation-verification-circom
Users that are interested in trustless-attestation-verification-circom are comparing it to the libraries listed below
Sorting:
- Diamond iO implementation https://eprint.iacr.org/2025/236☆81Updated 3 weeks ago
- Benchmarks of popular zkVMs including Jolt☆62Updated last year
- Circom AES-GCM circuits☆33Updated 2 months ago
- Frobenius sumcheck for vectorized boolean ops☆56Updated 6 months ago
- A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…☆50Updated 2 months ago
- Email verification circuit in halo2☆68Updated last year
- ☆38Updated last year
- SMT 2023 Submission; license pending☆56Updated 10 months ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Updated 2 years ago
- RSA verification circuit using halo2 library.☆57Updated 2 years ago
- Crypto Gadgets for Plonky2☆73Updated last year
- Proof system backends for OpenVM.☆32Updated this week
- Honk Verifier in Solidity☆50Updated 11 months ago
- ☆30Updated last month
- A Risc-V CPU implemented as a zk-SNARK☆50Updated 3 years ago
- Let's go https://eprint.iacr.org/2022/1763.pdf☆61Updated 2 years ago
- ☆54Updated 6 months ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated 2 years ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆113Updated last year
- A framework for SPDZ-style maliciously-secure MPC.☆53Updated 8 months ago
- Binary Proofs, Blazing Fast☆80Updated this week
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated last year
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆39Updated 7 months ago
- ☆63Updated last week
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆55Updated 2 months ago
- ☆30Updated 2 years ago
- zero knowledge proof aggregator for general circuit☆72Updated last year
- Proving shortest paths with recursive SNARKs☆15Updated 2 years ago
- ☆26Updated last year