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☆42Updated last year
- Fast additive accumulators☆14Updated 4 years ago
- 2P-ECDSA: Two-Party ECDSA MultiSignatures☆48Updated 6 years ago
- One-Time Verifiably Encrypted Signatures A.K.A. Adaptor Signatures☆27Updated 5 years ago
- Ethereum Smart Contracts for Arwen payment channels☆14Updated 3 years ago
- Cross-chain Atomic Swaps in Grin☆23Updated 2 years ago
- Proof of concept for the A2L protocol on top of Bitcoin.☆19Updated 5 years ago
- A detailed description of how Bitcoin Elements Alpha Confidential Transactions works☆58Updated 7 years ago
- ☆17Updated last month
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers☆14Updated 6 years ago
- zkChannels: Anonymous Payment Channels for Bitcoin, Zcash, Tezos and more☆71Updated 3 years ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Updated 5 years ago
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆21Updated 6 years ago
- Collection of useful links for getting started with blockchain technology☆60Updated 6 years ago
- Supporting evidence for security of the Jubjub curve to be used in Zcash☆18Updated 4 years ago
- Website to collect open bitcoin research problems.☆71Updated 2 years ago
- Website!☆22Updated 3 years ago
- Documentation about scriptless scripts☆168Updated 9 months ago
- Compiler for BitML☆27Updated 3 years ago
- An implementation for fair auditing and contingent payments in Bitcoin☆23Updated 8 years ago
- Trustless Lightning Network <-> tBTC swaps☆24Updated 5 years ago
- GooSig: short signatures from RSA that hide the signer's RSA public key☆12Updated 5 years ago
- ECDSA based construction for Anonymous Multi-Hop Locks (https://eprint.iacr.org/2018/472.pdf)☆44Updated 2 years ago
- Research and implementation for non-interactive blockchain proofs of proofs of work☆50Updated 3 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated 2 years ago
- ☆22Updated 9 months ago
- interBTC specification for a trust-minimized Bitcoin to Polkadot (and beyond) bridge☆17Updated 3 years ago
- An experimental implementation of state channels from IC3-ETH. Combines Sprites/Pisa/Perun/L4 dispute process.☆35Updated 2 years ago
- A PRF with low multiplicative complexity☆20Updated 5 years ago
- javascript code for one-round single bulletproof☆21Updated 6 years ago