sbellem / qteeLinks
Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.
☆44Updated 7 months ago
Alternatives and similar repositories for qtee
Users that are interested in qtee are comparing it to the libraries listed below
Sorting:
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- ☆45Updated 3 weeks ago
- Diamond iO implementation https://eprint.iacr.org/2025/236☆67Updated last week
- zkSNARKs as a service using secure multi-party computation.☆30Updated last year
- FHE in the Risc0 zkVM☆25Updated last year
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆31Updated 7 months ago
- JWT verification with zero knowledge proofs☆50Updated last year
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆67Updated last month
- Benchmarks of popular zkVMs including Jolt☆60Updated last year
- Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures☆27Updated last year
- ☆45Updated 3 weeks ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆30Updated last year
- Email verification circuit in halo2☆68Updated 11 months ago
- ☆40Updated 2 years ago
- neural network inference standard for zero-knowledge-proof systems☆34Updated last year
- Create MPC apps with TypeScript.☆46Updated last month
- Reef: A zkSNARK system for proving that a committed document matches a regex☆73Updated 11 months ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 2 years ago
- Circom AES-GCM circuits☆30Updated last month
- ☆27Updated 2 weeks ago
- PoC of Revm execution in SGX☆80Updated last year
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆102Updated last month
- ☆112Updated last year
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆49Updated this week
- ☆2Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated last year
- A silent threshold encryption scheme, which does not require any interaction during the setup phase.☆34Updated last week
- ☆65Updated 4 months ago
- ☆19Updated this week