tiktok-privacy-innovation / trustless-attestation-verificationLinks
☆49Updated 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
Sorting:
- ☆53Updated last week
- Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.☆44Updated 7 months ago
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆13Updated this week
- Ecne: An engine for verifying the soundness of R1CS constraints☆110Updated 2 years ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆43Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆76Updated last year
- Circom AES-GCM circuits☆31Updated 2 months ago
- Automated verification of uniqueness property for ZKP circuits☆42Updated last year
- ☆39Updated 3 months ago
- ☆27Updated 2 weeks ago
- Benchmarks of popular zkVMs including Jolt☆60Updated 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 5 months ago
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆49Updated this week
- Let's go https://eprint.iacr.org/2022/1763.pdf☆59Updated 2 years ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆113Updated last year
- Create MPC apps with TypeScript.☆46Updated last month
- For practice to using halo2☆22Updated 2 years ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆112Updated last week
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆26Updated last year
- building blocks for accelerating ZK proofs over binary fields☆45Updated 9 months ago
- A library for fast NTTs over the Goldilocks prime field☆78Updated 8 months ago
- Frobenius sumcheck for vectorized boolean ops☆53Updated last month
- ☆43Updated 3 weeks ago
- A Risc-V CPU implemented as a zk-SNARK☆48Updated 2 years ago
- ☆76Updated 5 months ago
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆36Updated last week
- Reef: A zkSNARK system for proving that a committed document matches a regex☆75Updated 11 months ago
- SMT 2023 Submission; license pending☆55Updated 6 months ago
- Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures☆27Updated last year
- Verifiable FHE with GKR☆26Updated 8 months ago