dgpv / SASwap_TLAplus_specLinks
TLA+ specification for Succinct Atomic Swap smart contract
☆23Updated 5 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
- 2P-ECDSA: Two-Party ECDSA MultiSignatures☆48Updated 6 years ago
- Fast additive accumulators☆14Updated 5 years ago
- Proof of concept for the A2L protocol on top of Bitcoin.☆19Updated 5 years ago
- Compiler for BitML☆27Updated 3 years ago
- One-Time Verifiably Encrypted Signatures A.K.A. Adaptor Signatures☆27Updated 5 years ago
- A webapp for writing credible anonymized confessions☆23Updated 3 years ago
- ☆23Updated last year
- Proof-of-Reserves tool for Bitcoin☆50Updated 2 years ago
- A detailed description of how Bitcoin Elements Alpha Confidential Transactions works☆60Updated 7 years ago
- zkChannels: Anonymous Payment Channels for Bitcoin, Zcash, Tezos and more☆71Updated 3 years ago
- The modular protocol framework based on Universal Composability☆18Updated 5 years ago
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆21Updated 6 years ago
- Documentation about scriptless scripts☆169Updated last year
- Ethereum Smart Contracts for Arwen payment channels☆14Updated 3 years ago
- Bounds on divsteps iterations in safegcd☆57Updated last year
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers☆14Updated 6 years ago
- message signing and verifying for Lightning Network☆11Updated 3 years ago
- A wiki for the Lightning Network and Lightning Network ecosystem☆29Updated 3 years ago
- library for utreexo accumulator in c++☆20Updated 2 years ago
- Simple implementation of Bitcoin CoinSwap, client-server☆33Updated 7 years ago
- Schnorr related examples (Schnorr, BN, MuSig, discreet log contracts)☆35Updated 7 years ago
- Summary of mempool design, challenges, and proposals (re: fees)☆41Updated 3 years ago
- Website to collect open bitcoin research problems.☆72Updated 3 years ago
- ☆18Updated 4 months ago
- Cross-chain Atomic Swaps in Grin☆23Updated 2 years ago
- A PoC implementation of a multiparty vault architecture☆29Updated 4 years ago
- A Cryptoeconomic Traffic Analysis of Bitcoin's Lightning Network☆36Updated last year
- Bulletproofs++: Even Shorter Range Proofs☆30Updated 3 years ago
- A PRF with low multiplicative complexity☆20Updated 5 years ago