sbellem / qtee
Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.
☆42Updated 6 months ago
Alternatives and similar repositories for qtee:
Users that are interested in qtee are comparing it to the libraries listed below
- 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☆29Updated 7 months ago
- PoC of Revm execution in SGX☆80Updated last year
- ☆45Updated this week
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated last month
- Create MPC apps with TypeScript.☆42Updated this week
- JWT verification with zero knowledge proofs☆49Updated last year
- Reef: A zkSNARK system for proving that a committed document matches a regex☆73Updated 10 months ago
- A curated list of resources on zkECDSA☆37Updated last year
- My personal notebook for various zk-related topics☆48Updated 4 months ago
- ☆64Updated 3 months ago
- Arkworks circuits for verifiable time-lock encryption☆89Updated 2 years ago
- Benchmarks of popular zkVMs including Jolt☆59Updated last year
- examples and utilities of Dstack applications☆15Updated this week
- ☆31Updated 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
- A port of TinySMPC into Rust.☆22Updated last year
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…☆17Updated last week
- ☆17Updated last month
- ☆27Updated last week
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆101Updated 2 weeks ago
- Workbook for Introduction to Programmable Cryptography☆34Updated last week
- Fiat-Shamir for the masses.☆63Updated last month
- ☆20Updated 2 years ago
- Email verification circuit in halo2☆68Updated 10 months ago
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆39Updated last year
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆20Updated 6 months ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 2 years ago