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:
- ☆13Updated 2 years ago
- ☆19Updated this week
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Updated last year
- CosmWasm + zkVM RISC-V EFI template☆23Updated 3 years ago
- These RISC Zero examples have been moved to the main risc0/risc0 repository☆56Updated 2 years ago
- ☆22Updated 4 months ago
- Base64 encoding for Aztec's noir language☆16Updated last year
- An implementation of a namespaced merkle tree in Rust.☆31Updated 6 months ago
- examples and utilities of dstack applications☆18Updated 2 weeks ago
- Arkworks circuits for verifiable time-lock encryption☆90Updated 3 years ago
- Zero Knowledge Proof for Schnorr☆13Updated 9 months ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆64Updated 7 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
- Implementation of polynomial KZG proofs and 257-ary verkle trie☆24Updated 4 years ago
- Semaphore v4 implemented in Rust☆10Updated 2 months ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆55Updated last year
- FHE in the Risc0 zkVM☆25Updated 2 years ago
- An erc-20 token with EIP750 style zk private transactions and a new nullifier scheme to allow partial spends☆11Updated 8 months ago
- A system for managing privacy-preserving groups.☆76Updated 8 months ago
- Client library for generating and using RLN ZK proofs☆32Updated 2 years ago
- ☆20Updated 4 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- Bitcoin as a Data Availability layer☆58Updated 10 months ago
- Pluto Web Prover 🦀☆38Updated 8 months ago
- A verifiable supercomputer☆76Updated 5 months ago
- Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.☆44Updated last year
- EigenTrust - A distributed reputation system☆114Updated 2 years ago
- Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography☆57Updated 2 weeks ago
- Spartan on Arkworks☆44Updated 3 months ago
- super cheap solidity schnorr sig verification using only ecrecover and keccak256☆55Updated 3 years ago