tiktok-privacy-innovation / trustless-attestation-verification
☆43Updated last month
Alternatives and similar repositories for trustless-attestation-verification:
Users that are interested in trustless-attestation-verification are comparing it to the libraries listed below
- ☆51Updated 2 months ago
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆47Updated 3 weeks ago
- Automated verification of uniqueness property for ZKP circuits☆41Updated 10 months ago
- ☆12Updated 2 months ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆26Updated last year
- ☆26Updated last year
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆28Updated 6 months ago
- Frobenius sumcheck for vectorized boolean ops☆52Updated 2 weeks ago
- ☆27Updated last week
- Verifiable FHE with GKR☆26Updated 6 months ago
- Proof system backends for OpenVM.☆30Updated this week
- A curated list of educational materials, guides, and research papers for beginners interested in learning about Fully Homomorphic Encrypt…☆10Updated 8 months ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆99Updated this week
- ☆33Updated 2 months ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆43Updated 2 years ago
- SMT 2023 Submission; license pending☆53Updated 5 months ago
- Diamond iO implementation https://eprint.iacr.org/2025/236☆49Updated this week
- ☆41Updated last year
- Nova-based SHA256 benchmarks☆31Updated last year
- Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.☆41Updated 6 months ago
- building blocks for accelerating ZK proofs over binary fields☆45Updated 8 months ago
- ☆2Updated last year
- A library for fast NTTs over the Goldilocks prime field☆76Updated 7 months ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆112Updated last year
- Circom AES-GCM circuits☆29Updated 2 weeks ago
- Benchmarks of popular zkVMs including Jolt☆59Updated last year
- Automated verification of uniqueness property for ZKP circuits☆76Updated last year
- A collection of comparison-benchmarks for Nova & related Proving systems☆43Updated 2 years ago
- Verify a chain of x509 certificates in halo2☆31Updated last year
- UPA is the proof aggregation engine built by NEBRA team.☆30Updated 3 weeks ago