generalized-channels / gc
A proof-of-concept implementation to evaluate a UTXO-based generalized channel construction in Bitcoin.
☆12Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for gc
- Implementation of anonymous atomic locks described in https://eprint.iacr.org/2019/589☆23Updated 2 years ago
- Linearly Homomorphic Time Lock Puzzle Library☆28Updated 4 years ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆37Updated 4 years ago
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆57Updated 3 years ago
- A proof-of-concept for stateless Bitcoin nodes.☆31Updated 5 years ago
- 2P-ECDSA: Two-Party ECDSA MultiSignatures☆47Updated 5 years ago
- Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders☆63Updated last year
- Rust implementation of multi-party Schnorr signatures over elliptic curves.☆170Updated 3 years ago
- Proof of concept for the A2L protocol on top of Bitcoin.☆17Updated 4 years ago
- ECDSA based construction for Anonymous Multi-Hop Locks (https://eprint.iacr.org/2018/472.pdf)☆43Updated last year
- A library for generating non-interactive proofs of knowledge without trusted setup☆29Updated 5 years ago
- ☆44Updated 6 years ago
- Accumulators and Vector Commitments☆42Updated last year
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆52Updated 5 months ago
- Implementation of the ZKB++ proof system☆20Updated 5 years ago
- Implementation of bulletproofs++ in rust☆15Updated last year
- Sage implementation of the isogeny-and-pairing based VDF☆24Updated 3 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆84Updated last year
- A libsnark's tutorial on sudoku☆17Updated 6 years ago
- Crypto application code for the zkSNARKs toolbox ZoKrates☆52Updated 8 months ago
- Learning how to bulletproofs☆34Updated 5 years ago
- ☆24Updated 5 years ago
- From Zero (Knowledge) to Bulletproofs - writeup☆157Updated last year
- Schnorr related examples (Schnorr, BN, MuSig, discreet log contracts)☆36Updated 6 years ago
- DEPRECATED☆22Updated 3 years ago
- Accountable Watching Service☆28Updated last year
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 5 years ago
- Scriptless atomic cross-chain (and cross-curve) swap protocol based on a fair exchange of secrets.☆33Updated 3 years ago
- pinocchio from Microsoft Research - this is rehosted on github only because Codeplex went down!☆18Updated 7 years ago
- An example usage as a standalone CLI of https://github.com/KZen-networks/multi-party-ecdsa library which is a Rust implementation of {t,n…☆36Updated 5 months ago