sbellem / qteeLinks
Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.
☆44Updated 10 months ago
Alternatives and similar repositories for qtee
Users that are interested in qtee are comparing it to the libraries listed below
Sorting:
- ☆45Updated 3 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆35Updated 10 months ago
- FHE in the Risc0 zkVM☆25Updated 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
- Reef: A zkSNARK system for proving that a committed document matches a regex☆74Updated last year
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆28Updated last month
- ☆112Updated last year
- zkSNARKs as a service using secure multi-party computation.☆31Updated last year
- Benchmarks of popular zkVMs including Jolt☆61Updated last year
- A port of TinySMPC into Rust.☆23Updated 2 weeks ago
- World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.☆34Updated 3 years ago
- ☆25Updated 11 months ago
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Updated last year
- Email verification circuit in halo2☆68Updated last year
- ☆27Updated 2 months ago
- ☆25Updated 2 weeks ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- Arkworks circuits for verifiable time-lock encryption☆91Updated 2 years ago
- JWT verification with zero knowledge proofs☆50Updated last year
- Diamond iO implementation https://eprint.iacr.org/2025/236☆78Updated 2 weeks ago
- neural network inference standard for zero-knowledge-proof systems☆34Updated last year
- A verifiable supercomputer☆72Updated 2 months ago
- A web tool that helps you compare and visualize the performance of cryptographic operations☆91Updated last month
- Spartan on Arkworks☆42Updated last week
- Witness encryption for KZG openings☆28Updated 9 months ago
- ☆55Updated 3 months ago
- Based on https://eprint.iacr.org/2022/1510☆26Updated 10 months ago
- AES-GCM implementation in Circom☆38Updated 3 years ago