mabbamOG / zktlsLinks
Repository for development of the TLS 1.2 and TLS 1.3 stacks in Noir, to produce ZKPs that can be published to the blockchain
☆17Updated last year
Alternatives and similar repositories for zktls
Users that are interested in zktls are comparing it to the libraries listed below
Sorting:
- Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures☆27Updated last year
- ☆13Updated last year
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Updated last year
- An implementation of a namespaced merkle tree in Rust.☆31Updated last month
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆51Updated 11 months ago
- FHE in the Risc0 zkVM☆25Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- A verifiable supercomputer☆60Updated last week
- ☆15Updated last week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Updated last month
- ☆30Updated last year
- Based on https://eprint.iacr.org/2022/1510☆26Updated 7 months ago
- Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography☆51Updated 3 weeks ago
- Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…☆20Updated last month
- Stress Testing ZK Systems Through Maximum Pain☆22Updated last month
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆21Updated 6 months ago
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆31Updated 7 months ago
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- ☆19Updated this week
- The V0 rust IMAP + SMTP server that reads email via imap, generates a zk proofs either locally or on an on-demand AWS machine with modal,…☆12Updated last year
- Pluto Web Prover 🦀☆35Updated 2 months ago
- CosmWasm + zkVM RISC-V EFI template☆23Updated 2 years ago
- JSON parser written in Lurk☆29Updated last year
- banyan's hot on-chain data storage zk proofs☆14Updated 2 weeks ago
- Installation tooling for Noir☆25Updated this week
- Base64 encoding for Aztec's noir language☆16Updated last year
- Polymath: Groth16 Is Not The Limit☆29Updated 3 months ago
- Integration of IBC with Starknet☆19Updated last week
- World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.☆34Updated 3 years ago
- ☆11Updated 6 months ago