sec-bit / ckb-zkp
Zero Knowledge Proofs Toolkit for CKB
☆67Updated 2 years ago
Alternatives and similar repositories for ckb-zkp:
Users that are interested in ckb-zkp are comparing it to the libraries listed below
- A generalized merkle mountain range implementation.☆57Updated 2 months ago
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- zk-STARK for fibonacci sequence in Rust☆38Updated 5 years ago
- Threshold BLS Signatures and DKG☆76Updated 9 months ago
- Poseidon hash function☆74Updated last year
- Rust library for BLS signatures, MuSig, PS signatures☆66Updated 2 years ago
- BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust☆41Updated last year
- A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.☆159Updated 2 years ago
- BLS Signatures in Rust☆79Updated 3 months ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆87Updated 2 years ago
- examples for bellman zk-snarks library☆77Updated 6 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆52Updated 9 months ago
- Recursive SNARKs based on Plonk and Halo☆116Updated 3 years ago
- Rust implementation of the Modified Patricia Tree (aka Trie).☆72Updated 11 months ago
- Pairing cryptography library in Rust☆32Updated last year
- Aggregatable Distributed Key Generation☆46Updated 2 years ago
- Zero knowledge succinct arguments of knowledge, written in Rust☆57Updated 2 years ago
- Composable proof transcripts for public-coin arguments of knowledge☆48Updated 6 months ago
- Network layer for MPC (Secure Multi-Party Computation) based on Tendermint☆102Updated 4 years ago
- Open source implementation of zkSTARKs in pure Rust☆82Updated last year
- Implementations of proof-carrying data☆33Updated 2 years ago
- An implementation of ZEXE on Ethereum☆37Updated 5 years ago
- altbn128 twisted ewards curve point addion, point multiplicaion, eddsa signature verificaion and pedersen commiments☆65Updated 5 years ago
- Bulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves☆75Updated 2 years ago
- Implementation of the Zcash Orchard Protocol☆55Updated last week
- BLS12-381 cryptography using Apache Milagro☆29Updated last year
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 5 years ago
- Threshold BLS signatures in Rust☆73Updated 3 years ago
- ☆26Updated 2 years ago
- This repository contains a tutorial on how to build roll_up with Circom☆84Updated 5 years ago