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:
- ☆18Updated last week
- ☆13Updated last year
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Updated last year
- These RISC Zero examples have been moved to the main risc0/risc0 repository☆55Updated 2 years ago
- Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures☆27Updated last year
- Base64 encoding for Aztec's noir language☆16Updated last year
- An implementation of a namespaced merkle tree in Rust.☆31Updated 3 months ago
- A verifiable supercomputer☆74Updated 3 months ago
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆58Updated 2 years ago
- Client library for generating and using RLN ZK proofs☆32Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆54Updated last year
- Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography☆52Updated last week
- Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.☆44Updated 11 months ago
- Arkworks circuits for verifiable time-lock encryption☆91Updated 2 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 3 years ago
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated 2 years ago
- Semaphore v4 implemented in Rust☆10Updated last week
- CosmWasm + zkVM RISC-V EFI template☆23Updated 2 years ago
- ☆22Updated 2 months ago
- FHE in the Risc0 zkVM☆25Updated last year
- A port of TinySMPC into Rust.☆23Updated last month
- Zero Knowledge Proof for Schnorr☆13Updated 6 months ago
- examples and utilities of Dstack applications☆18Updated this week
- Anonymous Proof of Ethereum Address Ownership☆43Updated last year
- ☆42Updated 3 years ago
- Spartan on Arkworks☆42Updated last month
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- A toolkit to compile and debug circom circuit.☆27Updated 2 years ago
- A system for managing privacy-preserving groups.☆76Updated 6 months ago