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
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆21Updated 6 years ago
- 2P-ECDSA: Two-Party ECDSA MultiSignatures☆48Updated 6 years ago
- Fast additive accumulators☆14Updated 5 years ago
- The modular protocol framework based on Universal Composability☆18Updated 5 years ago
- Compiler for BitML☆27Updated 3 years ago
- Personal fork of -zkp. Has some old mimblewimble stuff but mostly I just PR everything upstream now.☆85Updated last year
- Accountable Watching Service☆28Updated 3 years ago
- A proof-of-concept for stateless Bitcoin nodes.☆31Updated 6 years ago
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers☆14Updated 6 years ago
- Supporting evidence for security of the Jubjub curve to be used in Zcash☆18Updated 4 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Updated 10 years ago
- GooSig: short signatures from RSA that hide the signer's RSA public key☆12Updated 6 years ago
- One-Time Verifiably Encrypted Signatures A.K.A. Adaptor Signatures☆27Updated 5 years ago
- A detailed description of how Bitcoin Elements Alpha Confidential Transactions works☆60Updated 7 years ago
- Website!☆22Updated 3 years ago
- Research and implementation for non-interactive blockchain proofs of proofs of work☆51Updated 3 years ago
- Ethereum Smart Contracts for Arwen payment channels☆14Updated 4 years ago
- Proof of concept for the A2L protocol on top of Bitcoin.☆19Updated 5 years ago
- Cross-chain Atomic Swaps in Grin☆23Updated 2 years ago
- zkChannels: Anonymous Payment Channels for Bitcoin, Zcash, Tezos and more☆71Updated 3 years ago
- ECDSA based construction for Anonymous Multi-Hop Locks (https://eprint.iacr.org/2018/472.pdf)☆44Updated 2 years ago
- 6.858 final project.☆18Updated 10 years ago
- Verify your NIPoPoWs efficiently, here☆11Updated 3 years ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Updated 5 years ago
- A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+☆18Updated 5 years ago
- A PRF with low multiplicative complexity☆20Updated 5 years ago
- Hackathon project for Snarky workshop.☆11Updated 6 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated 3 years ago
- Blind signatures over secp256k1 elliptic curve☆17Updated 3 years ago