dgpv / SASwap_TLAplus_spec
TLA+ specification for Succinct Atomic Swap smart contract
☆25Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for SASwap_TLAplus_spec
- Proof of concept for the A2L protocol on top of Bitcoin.☆17Updated 4 years ago
- A list of sidechain resources☆43Updated 8 months ago
- utxos.org site☆19Updated 5 months ago
- Fast additive accumulators☆14Updated 4 years ago
- A detailed description of how Bitcoin Elements Alpha Confidential Transactions works☆57Updated 6 years ago
- ☆31Updated 3 weeks ago
- Summary of mempool design, challenges, and proposals (re: fees)☆41Updated 2 years ago
- Bounds on divsteps iterations in safegcd☆52Updated last month
- ☆32Updated last month
- My poster for Financial Crypto 2020 analysing the hash function requirements for Taproot to be secure in the generic group model.☆11Updated 4 years ago
- Onchain security and performance analysis of Bitcoin's second-layer protocols☆43Updated 2 years ago
- One-Time Verifiably Encrypted Signatures A.K.A. Adaptor Signatures☆25Updated 4 years ago
- 2P-ECDSA: Two-Party ECDSA MultiSignatures☆47Updated 5 years ago
- Schnorr related examples (Schnorr, BN, MuSig, discreet log contracts)☆36Updated 6 years ago
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆20Updated 5 years ago
- Naive implementation of ROAST protocol for robust threshold signatures☆31Updated 2 months ago
- Anonymous usage tokens from curve trees☆20Updated last week
- Taproot security proof☆23Updated 4 years ago
- Generate a logical circuit for BitVM Bitcoin from a C like source code☆13Updated 2 months ago
- A community R&D process about covenants, transaction introspections and new class of Bitcoin contracting applications☆37Updated last year
- Implementation of bulletproofs++ in rust☆15Updated last year
- library for utreexo accumulator in c++☆20Updated last year
- Compiler for BitML☆26Updated 2 years ago
- Unsafe 3-round MuSig in Python for experimentation☆11Updated last year
- Protocols that use simple covenants to scale Lightning☆19Updated last year
- Fun with MuSig2 and Ledger devices 🎵☆14Updated 2 weeks ago
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers☆14Updated 5 years ago
- ☆30Updated 2 months ago
- JavaScript bindings of libsecp256k1-zkp with support for pedersen commitments and range proofs.☆15Updated 10 months ago
- ☆16Updated 3 months ago