tiktok-privacy-innovation / trustless-attestation-verificationLinks
☆49Updated 3 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:
- ☆53Updated 3 weeks ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆44Updated 2 years ago
- Benchmarks of popular zkVMs including Jolt☆60Updated last year
- Circom AES-GCM circuits☆32Updated 2 weeks ago
- Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.☆44Updated 8 months ago
- ☆12Updated 4 months ago
- Oblivious key-value store based on Circuit ORAM☆26Updated 3 months ago
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆13Updated last week
- Reef: A zkSNARK system for proving that a committed document matches a regex☆74Updated last year
- Automated verification of uniqueness property for ZKP circuits☆42Updated last year
- The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…☆24Updated 6 months ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆27Updated last year
- Automated verification of uniqueness property for ZKP circuits☆76Updated last year
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆116Updated this week
- ☆27Updated 2 weeks ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆109Updated 2 years ago
- Let's go https://eprint.iacr.org/2022/1763.pdf☆61Updated 2 years ago
- SMT 2023 Submission; license pending☆55Updated 7 months ago
- Frobenius sumcheck for vectorized boolean ops☆54Updated 2 months ago
- For practice to using halo2☆22Updated 2 years ago
- Remote Attestation VErification☆33Updated 10 months ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆113Updated last year
- A Risc-V CPU implemented as a zk-SNARK☆49Updated 2 years ago
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆37Updated this week
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆49Updated 3 weeks ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆47Updated last year
- neural network inference standard for zero-knowledge-proof systems☆34Updated last year
- Verifiable FHE prototype☆24Updated 10 months ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆38Updated 4 months ago