tiktok-privacy-innovation / trustless-attestation-verification
☆47Updated 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
Sorting:
- ☆53Updated 3 months ago
- SMT 2023 Submission; license pending☆55Updated 5 months ago
- Automated verification of uniqueness property for ZKP circuits☆41Updated 11 months ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆43Updated 2 years ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆110Updated 2 years ago
- Benchmarks of popular zkVMs including Jolt☆59Updated last year
- A curated list of educational materials, guides, and research papers for beginners interested in learning about Fully Homomorphic Encrypt…☆10Updated 9 months ago
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆47Updated last month
- Reef: A zkSNARK system for proving that a committed document matches a regex☆73Updated 10 months ago
- ☆47Updated last year
- Automated verification of uniqueness property for ZKP circuits☆76Updated last year
- A silent threshold encryption scheme, which does not require any interaction during the setup phase.☆34Updated this week
- A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes☆22Updated last week
- ☆27Updated 2 weeks ago
- Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.☆42Updated 6 months ago
- neural network inference standard for zero-knowledge-proof systems☆34Updated last year
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆41Updated last week
- ☆77Updated 4 months ago
- A lattice-based non-interactive folding scheme written in Rust☆73Updated this week
- Frobenius sumcheck for vectorized boolean ops☆53Updated last month
- Let's go https://eprint.iacr.org/2022/1763.pdf☆59Updated last year
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆113Updated last year
- JWT verification with zero knowledge proofs☆49Updated last year
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆103Updated last week
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆30Updated 7 months ago
- Verifiable FHE with GKR☆26Updated 7 months ago
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Circom AES-GCM circuits☆29Updated last month
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆36Updated this week