dgpv / SASwap_TLAplus_spec
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
- A list of sidechain resources☆43Updated last year
- A detailed description of how Bitcoin Elements Alpha Confidential Transactions works☆58Updated 6 years ago
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆21Updated 5 years ago
- ☆32Updated 5 months ago
- Summary of mempool design, challenges, and proposals (re: fees)☆41Updated 2 years ago
- 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
- Balzac is a domain-specific language to write Bitcoin transactions.☆24Updated this week
- Taproot security proof☆23Updated 5 years ago
- utxos.org site☆26Updated 3 months ago
- Proof of concept for the A2L protocol on top of Bitcoin.☆18Updated 4 years ago
- 2P-ECDSA: Two-Party ECDSA MultiSignatures☆48Updated 5 years ago
- ☆34Updated 4 months ago
- Cryptoeconomically-safe trustless high-load computing on top of Bitcoin☆34Updated 3 years ago
- The modular protocol framework based on Universal Composability☆18Updated 4 years ago
- Fast additive accumulators☆14Updated 4 years ago
- Website to collect open bitcoin research problems.☆72Updated 2 years ago
- Schnorr related examples (Schnorr, BN, MuSig, discreet log contracts)☆36Updated 6 years ago
- BP Core Lib: consensus data structures and client-side-validation library for bitcoin protocol☆24Updated 2 weeks ago
- One-Time Verifiably Encrypted Signatures A.K.A. Adaptor Signatures☆25Updated 4 years ago
- Compiler for BitML☆27Updated 2 years ago
- Simple implementation of Bitcoin CoinSwap, client-server☆32Updated 6 years ago
- library for utreexo accumulator in c++☆20Updated last year
- Documentation about scriptless scripts☆163Updated last month
- Onchain security and performance analysis of Bitcoin's second-layer protocols☆43Updated 3 years ago
- Trustless Lightning Network <-> tBTC swaps☆26Updated 4 years ago
- A webapp for writing credible anonymized confessions☆22Updated 2 years ago
- Documentation for Bitcoin's assumeutxo proposal☆16Updated 5 years ago
- A collection of various writeups on research topics☆55Updated last month
- A wiki for the Lightning Network and Lightning Network ecosystem☆29Updated 2 years ago
- Cross-chain Atomic Swaps in Grin☆23Updated last year