tiktok-privacy-innovation / trustless-attestation-verificationLinks
☆54Updated 6 months ago
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:
- ☆71Updated 3 weeks ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆112Updated 3 years ago
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆55Updated 2 months ago
- Benchmarks of popular zkVMs including Jolt☆62Updated last year
- Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.☆44Updated 11 months ago
- ☆25Updated last year
- Automated verification of uniqueness property for ZKP circuits☆88Updated last year
- Let's go https://eprint.iacr.org/2022/1763.pdf☆61Updated 2 years ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆75Updated last year
- Awesome SGX and TEE on Blockchain Resources☆24Updated 2 years ago
- AES-GCM implementation in Circom☆38Updated 3 years ago
- A Risc-V CPU implemented as a zk-SNARK☆50Updated 3 years ago
- ☆30Updated last month
- Oblivious key-value store based on Circuit ORAM☆31Updated 6 months ago
- Write-ups submitted by CTF participants☆35Updated 2 years ago
- A course on Halo2 in collaboration with Zircuit☆32Updated 8 months ago
- ☆48Updated 2 years ago
- SMT 2023 Submission; license pending☆56Updated 10 months ago
- DPC with Universal Setup☆46Updated 2 years ago
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆68Updated 2 years ago
- A lattice-based non-interactive folding scheme written in Rust☆105Updated last week
- Diamond iO implementation https://eprint.iacr.org/2025/236☆81Updated 3 weeks ago
- The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…☆27Updated 9 months ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 10 months ago
- Automated verification of uniqueness property for ZKP circuits☆42Updated last year
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆44Updated 5 months ago
- Circom AES-GCM circuits☆33Updated 2 months ago
- UPA is the proof aggregation engine built by NEBRA team.☆36Updated this week
- Geth-in-SGX provides an example of running go-ethereum in SGX☆75Updated last year
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago