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:
- Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures☆27Updated last year
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Updated last year
- A verifiable supercomputer☆74Updated 3 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated 2 years ago
- ☆19Updated 2 weeks ago
- An implementation of a namespaced merkle tree in Rust.☆31Updated 4 months ago
- Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.☆44Updated last year
- These RISC Zero examples have been moved to the main risc0/risc0 repository☆56Updated 2 years ago
- Base64 encoding for Aztec's noir language☆16Updated last year
- super cheap solidity schnorr sig verification using only ecrecover and keccak256☆53Updated 3 years ago
- CosmWasm + zkVM RISC-V EFI template☆23Updated 3 years ago
- A system for managing privacy-preserving groups.☆76Updated 6 months ago
- examples and utilities of Dstack applications☆18Updated last week
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆35Updated last year
- Client library for generating and using RLN ZK proofs☆32Updated 2 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 3 years ago
- ☆13Updated 2 years ago
- FHE in the Risc0 zkVM☆25Updated last year
- An observatory fork of SP1☆75Updated 8 months ago
- Arkworks circuits for verifiable time-lock encryption☆91Updated 3 years ago
- A port of TinySMPC into Rust.☆23Updated 2 months ago
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated 2 years ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆55Updated last year
- EigenTrust - A distributed reputation system☆113Updated last year
- 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
- ☆45Updated 5 months ago
- Semaphore v4 implemented in Rust☆10Updated 2 weeks ago
- ☆22Updated 2 months ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆62Updated 5 months ago
- ☆30Updated last month