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
☆18Updated last year
Alternatives and similar repositories for zktls
Users that are interested in zktls are comparing it to the libraries listed below
Sorting:
- A verifiable supercomputer☆73Updated 3 weeks ago
- An implementation of a namespaced merkle tree in Rust.☆31Updated last month
- ☆15Updated this week
- Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography☆52Updated 2 months ago
- Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures☆27Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- ☆30Updated last year
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆57Updated 2 months ago
- banyan's hot on-chain data storage zk proofs☆14Updated last month
- An observatory fork of SP1☆71Updated 5 months ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆51Updated last year
- ☆13Updated last year
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 10 months ago
- Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.☆44Updated 8 months ago
- FHE in the Risc0 zkVM☆25Updated last year
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Updated last year
- Circom AES-GCM circuits☆32Updated last month
- JSON parser written in Lurk☆29Updated 2 years ago
- ☆29Updated 10 months ago
- A system for managing privacy-preserving groups.☆77Updated 3 months ago
- Leader election support in Optimism. Optimism is Ethereum, scaled.☆10Updated 10 months ago
- Implementation of polynomial KZG proofs and 257-ary verkle trie☆24Updated 3 years ago
- These RISC Zero examples have been moved to the main risc0/risc0 repository☆55Updated 2 years ago
- A collection of ZK light client libraries for various blockchains☆53Updated 7 months ago
- Verifiable RPC for Ethereum state, in-browser, no node☆45Updated 2 years ago
- ☆24Updated last week
- On-chain Ethereum light client built with SP1☆60Updated 2 weeks ago
- 凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform☆27Updated last year
- CosmWasm + zkVM RISC-V EFI template☆23Updated 2 years ago
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆34Updated 9 months ago