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:
- Verify a chain of x509 certificates in halo2☆31Updated last year
 - Curdleproofs is a zero-knowledge shuffle argument☆69Updated 2 years ago
 - [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆35Updated last year
 - Elliptic Curve Fast Fourier Transform built on @arkworks-rs☆67Updated 2 years ago
 - Witness encryption for KZG openings☆30Updated 11 months ago
 - A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
 - ☆30Updated 2 months ago
 - Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
 - ☆45Updated 5 months ago
 - FHE in the Risc0 zkVM☆25Updated last year
 - Email verification circuit in halo2☆68Updated last year
 - A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Updated 2 years ago
 - ☆26Updated 3 weeks ago
 - A port of TinySMPC into Rust.☆22Updated last week
 - Diamond iO implementation https://eprint.iacr.org/2025/236☆82Updated last month
 - A verifiable supercomputer☆74Updated 4 months ago
 - ☆42Updated last year
 - Gas-efficient and blazing fast proving for private signaling☆81Updated last year
 - World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.☆35Updated 3 years ago
 - ☆27Updated 6 months ago
 - ☆50Updated last year
 - ☆112Updated last year
 - Let's go https://eprint.iacr.org/2022/1763.pdf☆61Updated 2 years ago
 - Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
 - Testudo: Spartan + Groth16☆52Updated last year
 - A Solidity implementation of Halo2's Pasta curves☆50Updated 2 years ago
 - a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆49Updated 2 years ago
 - ☆63Updated last month
 - ☆26Updated last year
 - Based on https://eprint.iacr.org/2022/1510☆26Updated last year