tiktok-privacy-innovation / trustless-attestation-verification
☆34Updated 2 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
- Automated verification of uniqueness property for ZKP circuits☆41Updated 8 months ago
- SMT 2023 Submission; license pending☆53Updated 3 months ago
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆25Updated this week
- The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across diff…☆17Updated this week
- ☆26Updated this week
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆44Updated last month
- Automated verification of uniqueness property for ZKP circuits☆73Updated 11 months ago
- A course on Halo2 in collaboration with Zircuit☆22Updated last month
- Frobenius sumcheck for vectorized boolean ops☆50Updated 3 weeks ago
- Remote Attestation VErification☆31Updated 6 months ago
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆28Updated 4 months ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆35Updated this week
- ☆24Updated 5 months ago
- Benchmarks of popular zkVMs including Jolt☆59Updated 10 months ago
- Verifiable FHE prototype☆22Updated 6 months 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…☆18Updated 2 months ago
- Circom AES-GCM circuits☆27Updated 3 months ago
- ☆47Updated last year
- Reef: A zkSNARK system for proving that a committed document matches a regex☆68Updated 8 months ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆82Updated this week
- ☆21Updated 6 months ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆42Updated last year
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆87Updated this week
- A Symbolic Execution Tool for Cairo☆50Updated 2 years ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated last month
- zero knowledge proof aggregator for general circuit☆72Updated 9 months ago
- Let's go https://eprint.iacr.org/2022/1763.pdf☆58Updated last year
- Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.☆40Updated 4 months ago
- Geth-in-SGX provides an example of running go-ethereum in SGX☆75Updated 11 months ago