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
Sorting:
- zk-STARK for fibonacci sequence in Rust☆38Updated 5 years ago
- A generalized merkle mountain range implementation.☆57Updated 2 months ago
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- Zero knowledge succinct arguments of knowledge, written in Rust☆59Updated 2 years ago
- Threshold BLS signatures in Rust☆72Updated 3 years ago
- Aggregatable Distributed Key Generation☆46Updated 3 years ago
- Open source implementation of zkSTARKs in pure Rust☆83Updated last year
- Threshold BLS Signatures and DKG☆76Updated last week
- Pairing cryptography library in Rust☆34Updated last year
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆90Updated 2 years ago
- BLS12-381 cryptography using Apache Milagro☆28Updated last year
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆53Updated 11 months ago
- Poseidon hash function☆75Updated 2 years ago
- Implementation of the Zcash Orchard Protocol☆55Updated this week
- Multy-party threshold ECDSA (GG20) Substrate node☆60Updated last year
- Recursive SNARKs based on Plonk and Halo☆116Updated 3 years ago
- examples for bellman zk-snarks library☆77Updated 6 years ago
- Rust library for BLS signatures, MuSig, PS signatures☆66Updated 3 years ago
- ☆42Updated 3 years ago
- ☆26Updated 2 years ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 5 years ago
- Composable proof transcripts for public-coin arguments of knowledge☆49Updated 8 months ago
- BLS Signatures in Rust☆79Updated last month
- An implementation of ZEXE on Ethereum☆37Updated 6 years ago
- An elastic proof system based on arkworks☆82Updated last year
- Elliptic curve group traits and utilities.☆94Updated 3 weeks ago
- Implementations of proof-carrying data☆35Updated 2 years ago
- A threshold cryptography library in Rust☆113Updated 10 months ago
- Aggregatable BLS sigantures☆72Updated last month
- Argument systems for inner pairing products☆42Updated 9 months ago