evernym / coconut-rust
Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers
☆14Updated 5 years ago
Alternatives and similar repositories for coconut-rust:
Users that are interested in coconut-rust are comparing it to the libraries listed below
- Implementation of bulletproofs++ in rust☆15Updated last year
- Fast additive accumulators☆14Updated 4 years ago
- Fun with MuSig2 and Ledger devices 🎵☆13Updated last week
- ☆15Updated 3 years ago
- ☆28Updated 5 months ago
- Helper lib to write complex bitcoin scripts☆18Updated 2 weeks ago
- ☆18Updated last year
- A BIP draft for BIP340-compatible FROST threshold signing protocol☆16Updated last month
- Simple Schnorr Multi-Signatures☆32Updated last year
- Bitcoin DSL for scripting layer two contracts and interactions with bitcoin nodes☆20Updated 6 months ago
- ☆14Updated 3 years ago
- Simple RSA VDF in Rust☆19Updated 3 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Updated 3 years ago
- Elliptic curve operations over secp256k1 *not for production*☆18Updated 2 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- ☆15Updated 5 years ago
- TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation☆14Updated 2 years ago
- Gadgets for covenants: Schnorr trick and txid reflection☆16Updated 5 months ago
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- Zero-knowledge layer-2 payment channels☆24Updated last year
- A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.☆16Updated 2 years ago
- Examples of covenants in Bitcoin script☆15Updated 5 months ago
- ☆11Updated 3 years ago
- ☆15Updated last week
- ☆26Updated 2 years ago
- Arithmetic over the M31 or BabyBear field in Bitcoin Script☆27Updated 7 months ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Updated 3 years ago
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Updated 4 years ago
- Proof of concept snark prover for the minroot vdf.☆11Updated 3 years ago
- ☆15Updated 4 years ago