dgpv / SASwap_TLAplus_spec
TLA+ specification for Succinct Atomic Swap smart contract
☆25Updated 4 years ago
Related projects: ⓘ
- A list of sidechain resources☆43Updated 6 months ago
- Fast additive accumulators☆14Updated 3 years ago
- Taproot security proof☆23Updated 4 years ago
- 2P-ECDSA: Two-Party ECDSA MultiSignatures☆47Updated 5 years ago
- Summary of mempool design, challenges, and proposals (re: fees)☆41Updated last year
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆20Updated 5 years ago
- Schnorr related examples (Schnorr, BN, MuSig, discreet log contracts)☆36Updated 6 years ago
- Proof of concept for the A2L protocol on top of Bitcoin.☆17Updated 4 years ago
- Website!☆21Updated 2 years ago
- A detailed description of how Bitcoin Elements Alpha Confidential Transactions works☆56Updated 6 years ago
- Cross-chain Atomic Swaps in Grin☆23Updated last year
- One-Time Verifiably Encrypted Signatures A.K.A. Adaptor Signatures☆25Updated 3 years ago
- utxos.org site☆19Updated 3 months ago
- 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
- 6.858 final project.☆18Updated 8 years ago
- DSL for Secure DApps☆33Updated last year
- zkChannels: Anonymous Payment Channels for Bitcoin, Zcash, Tezos and more☆70Updated 2 years ago
- Compiler for BitML☆25Updated 2 years ago
- Trustless Lightning Network <-> tBTC swaps☆24Updated 3 years ago
- Lightning Network Daemon ⚡️☆10Updated 3 years ago
- ☆43Updated 6 years ago
- A proof-of-concept for stateless Bitcoin nodes.☆31Updated 5 years ago
- A PoC implementation of a multiparty vault architecture☆29Updated 3 years ago
- Simple Schnorr Multi-Signatures☆29Updated 9 months ago
- OBSOLETE: Standardized way of making distributed backups of some secret using Shamir secret sharing technique☆11Updated 5 years ago
- ☆32Updated last month
- ☆10Updated this week
- A webapp for writing credible anonymized confessions☆22Updated 2 years ago
- Coq definitions and lemmas for verification of Casper☆17Updated 5 years ago
- Website to collect open bitcoin research problems.☆71Updated last year