mabbamOG / zktls
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
☆12Updated 11 months ago
Alternatives and similar repositories for zktls:
Users that are interested in zktls are comparing it to the libraries listed below
- An implementation of a namespaced merkle tree in Rust.☆29Updated 4 months ago
- Celo Light Client (IBC compatible)☆16Updated 2 years ago
- Repository to verify contributions to the AZTEC Ignition ceremony☆15Updated last year
- ☆20Updated 4 years ago
- FHE in the Risc0 zkVM☆25Updated last year
- CosmWasm + zkVM RISC-V EFI template☆22Updated 2 years ago
- ☆24Updated 10 months ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆47Updated last month
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated last year
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- A very simple router to exchange tokens for the best price on any UniswapV2 like AMM.☆14Updated 3 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆15Updated 4 years ago
- ☆13Updated last year
- Client library for generating and using RLN ZK proofs☆30Updated last year
- Foundry project for the RLN☆17Updated last year
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Updated last year
- Using folding schemes for a provable bitcoin light client☆31Updated 8 months ago
- Solidity verifier for Plonk☆41Updated 5 months ago
- ☆18Updated 2 years ago
- Benchmarking Polynomial Commitments☆47Updated last year
- Implementing Bendersnatch curve using Arkwork's framework in Rust.☆14Updated 3 years ago
- Smart contracts for OPRHub protocol ✌🏻☆12Updated 4 years ago
- ☆23Updated 3 years ago
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆19Updated 2 months ago
- Phase 2 of a multi-party trusted setup ceremony for the Semaphore zk-SNARK circuit☆17Updated 4 years ago
- A Prolog engine written in Solidity.☆16Updated 2 years ago
- circom runtime☆20Updated 3 months ago
- ☆32Updated 2 years ago
- ☆15Updated 3 weeks ago