sbellem / qteeLinks
Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.
☆44Updated last year
Alternatives and similar repositories for qtee
Users that are interested in qtee are comparing it to the libraries listed below
Sorting:
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆35Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- A verifiable supercomputer☆76Updated 5 months ago
- Diamond iO implementation https://eprint.iacr.org/2025/236☆85Updated 2 months ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆76Updated last week
- FHE in the Risc0 zkVM☆25Updated 2 years ago
- ☆31Updated 2 weeks ago
- ☆45Updated 6 months ago
- Benchmarks of popular zkVMs including Jolt☆63Updated last year
- Email verification circuit in halo2☆68Updated last year
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
- Testudo: Spartan + Groth16☆53Updated last year
- ☆27Updated 7 months ago
- A port of TinySMPC into Rust.☆22Updated last week
- A Risc-V CPU implemented as a zk-SNARK☆51Updated 3 years ago
- Based on https://eprint.iacr.org/2022/1510☆26Updated last year
- JWT verification with zero knowledge proofs☆50Updated last year
- Cryptographic protocols☆38Updated 2 years ago
- neural network inference standard for zero-knowledge-proof systems☆34Updated 2 years ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- Witness encryption for KZG openings☆30Updated last year
- zkSNARKs as a service using secure multi-party computation.☆30Updated last year
- ☆25Updated last year
- Fiat-Shamir for the masses.☆82Updated last week
- Circom interpreter to arithmetic circuit description☆58Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆86Updated 2 years ago
- ☆112Updated last year
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.☆35Updated 3 years ago