generalized-channels / gc
A proof-of-concept implementation to evaluate a UTXO-based generalized channel construction in Bitcoin.
☆12Updated 3 years ago
Alternatives and similar repositories for gc:
Users that are interested in gc are comparing it to the libraries listed below
- Implementation of anonymous atomic locks described in https://eprint.iacr.org/2019/589☆24Updated 3 years ago
- Linearly Homomorphic Time Lock Puzzle Library☆29Updated 5 years ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆39Updated 4 years ago
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆58Updated 4 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆53Updated 11 months ago
- Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders☆64Updated 2 years ago
- Schnorr related examples (Schnorr, BN, MuSig, discreet log contracts)☆36Updated 6 years ago
- 2P-ECDSA: Two-Party ECDSA MultiSignatures☆48Updated 6 years ago
- A proof-of-concept for stateless Bitcoin nodes.☆31Updated 6 years ago
- Accumulators and Vector Commitments☆43Updated 2 years ago
- pinocchio from Microsoft Research - this is rehosted on github only because Codeplex went down!☆18Updated 7 years ago
- Verkle trees with inner product argument (IPA) based polynomial commitment [Prototype]☆15Updated 3 years ago
- ☆11Updated 2 years ago
- Implementation of bulletproofs++ in rust☆15Updated 2 years ago
- Learning how to bulletproofs☆35Updated 6 years ago
- Rust implementation of multi-party Schnorr signatures over elliptic curves.☆172Updated 3 years ago
- ☆30Updated 6 months ago
- A simple Python implementation of threshold BLS signatures.☆41Updated last year
- ☆25Updated 6 years ago
- Proof of concept for the A2L protocol on top of Bitcoin.☆19Updated 4 years ago
- Documentation about scriptless scripts☆166Updated 3 months ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆90Updated 2 years ago
- This project implements twisted ElGamal PKE, which is additively homomorphic and zero-knowledge proof friendly.☆7Updated 2 years ago
- Sage implementation of the isogeny-and-pairing based VDF☆24Updated 4 years ago
- A PRF with low multiplicative complexity☆21Updated 5 years ago
- A library for generating non-interactive proofs of knowledge without trusted setup☆29Updated 6 years ago
- A collection of Paillier cryptosystem zero knowledge proofs☆118Updated last year
- ☆12Updated 2 years ago
- ZKP fork for rust-secp256k1, adds wrappers for range proofs, pedersen commitments, etc☆57Updated 11 months ago
- One-Time Verifiably Encrypted Signatures A.K.A. Adaptor Signatures☆26Updated 4 years ago