etairi / A2L
Implementation of anonymous atomic locks described in https://eprint.iacr.org/2019/589
☆23Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for A2L
- A proof-of-concept implementation to evaluate a UTXO-based generalized channel construction in Bitcoin.☆12Updated 2 years ago
- BlockMaze: An Efficient Privacy-Preserving Account-Model Blockchain Based on zk-SNARKs☆38Updated 4 years ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆37Updated 4 years ago
- Confidentiality-Preserving Smart Contract Platform☆21Updated 4 years ago
- (Towards) Scalable Threshold Crypto: BLS threshold signatures with millions of signers and a scalable Distributed Key Generation (and VSS…☆31Updated 9 months ago
- ☆8Updated 2 years ago
- ☆38Updated 6 years ago
- Cryptographic accumulator based on the strong RSA assumption, Python & Solidity☆74Updated 5 years ago
- ☆24Updated 6 years ago
- A simple Python implementation of threshold BLS signatures.☆39Updated 7 months ago
- Sage implementation of the isogeny-and-pairing based VDF☆24Updated 3 years ago
- Learning how to bulletproofs☆34Updated 5 years ago
- Linearly Homomorphic Time Lock Puzzle Library☆28Updated 4 years ago
- Example to create merkle path proof using libsnark☆45Updated 4 years ago
- A libsnark's tutorial on sudoku☆17Updated 6 years ago
- Robust MPC-based confidentiality layer for blockchains☆133Updated 3 years ago
- A Platform for Robust Threshold Cryptography based on Asynchronous Publicly Verifiable Secret Sharing with Tunable Security☆95Updated 2 years ago
- Rust implementation of multi-party Schnorr signatures over elliptic curves.☆170Updated 3 years ago
- Boneh–Lynn–Shacham signature scheme.☆36Updated 6 years ago
- Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders☆63Updated last year
- A collection of Paillier cryptosystem zero knowledge proofs☆114Updated last year
- Research implementation of cryptographic accumulators☆29Updated 3 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆84Updated last year
- ☆44Updated 6 years ago
- ☆79Updated 8 years ago
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆57Updated 3 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆52Updated 5 months ago
- Simulation of several BFT consensus algorithms for benchmarking☆24Updated 5 years ago
- Bitcoin Network Probing Tool☆14Updated 6 years ago
- traces and simulation/testbed code for offchain routing☆16Updated 2 years ago