dgpv / SASwap_TLAplus_specLinks
TLA+ specification for Succinct Atomic Swap smart contract
☆25Updated 4 years ago
Alternatives and similar repositories for SASwap_TLAplus_spec
Users that are interested in SASwap_TLAplus_spec are comparing it to the libraries listed below
Sorting:
- A list of sidechain resources☆43Updated last year
- My poster for Financial Crypto 2020 analysing the hash function requirements for Taproot to be secure in the generic group model.☆11Updated 5 years ago
- One-Time Verifiably Encrypted Signatures A.K.A. Adaptor Signatures☆26Updated 4 years ago
- A detailed description of how Bitcoin Elements Alpha Confidential Transactions works☆58Updated 6 years ago
- Compiler for BitML☆28Updated 3 years ago
- Cross-chain Atomic Swaps in Grin☆23Updated last year
- Proof of concept for the A2L protocol on top of Bitcoin.☆19Updated 4 years ago
- Implementation of bulletproofs++ in rust☆15Updated 2 years ago
- Trustless Lightning Network <-> tBTC swaps☆26Updated 4 years ago
- Taproot security proof☆22Updated 5 years ago
- A PRF with low multiplicative complexity☆21Updated 5 years ago
- Fast additive accumulators☆14Updated 4 years ago
- A PoC implementation of a multiparty vault architecture☆29Updated 4 years ago
- 2P-ECDSA: Two-Party ECDSA MultiSignatures☆48Updated 6 years ago
- Documentation about scriptless scripts☆167Updated 4 months ago
- ☆35Updated 7 months ago
- Fun with MuSig2 and Ledger devices 🎵☆13Updated 2 months ago
- A community R&D process about covenants, transaction introspections and new class of Bitcoin contracting applications☆38Updated last year
- Website to collect open bitcoin research problems.☆73Updated 2 years ago
- Give LND's watchtowers a shot with your own simulated channel breach☆16Updated 5 years ago
- Schnorr related examples (Schnorr, BN, MuSig, discreet log contracts)☆36Updated 6 years ago
- Simple implementation of Bitcoin CoinSwap, client-server☆32Updated 7 years ago
- Trustless sidechains for Bitcoin network. Lightning ⚡️ brings thunderbolt 🌩 – Typhon 🐉 brings typhoon🌪☆19Updated 6 years ago
- ☆32Updated 2 years ago
- The modular protocol framework based on Universal Composability☆18Updated 4 years ago
- Wasabi Research Club☆41Updated last year
- ☆59Updated this week
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers☆14Updated 5 years ago
- Bulletproofs++: Even Shorter Range Proofs☆27Updated 3 years ago
- ☆32Updated 2 months ago