leithaus / casperLinks
Formal specification and reference implementation of Casper
☆15Updated 10 years ago
Alternatives and similar repositories for casper
Users that are interested in casper are comparing it to the libraries listed below
Sorting:
- Wouldn't you like to know.☆39Updated 10 years ago
- Sample payment channel using whisper☆34Updated 10 years ago
- Interledger protocol demo☆74Updated 8 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 9 years ago
- ☆11Updated 9 years ago
- Oracle and client source code [START HERE]☆114Updated 10 years ago
- A marketplace for trustless off chain computation.☆54Updated 7 years ago
- Ethereum-Zcash Integration effort☆66Updated 6 years ago
- ☆51Updated 10 years ago
- An Order Statistic Tree in the Ethereum Solidity Language☆50Updated 8 years ago
- Something to play with while we wait☆20Updated 6 years ago
- a JavaScript Implementation of Primea HyperVisor☆41Updated 5 years ago
- KVyper: Semantics of Vyper in K☆41Updated 7 years ago
- ☆12Updated 9 years ago
- RWOT2 for the ID2020 UN Summit (May 2016)☆91Updated 3 years ago
- A Universal ÐApp Interface☆36Updated 9 years ago
- ☆42Updated 9 years ago
- RWOT3 in San Francisco, California (October 2016)☆108Updated 3 years ago
- Identity platform for Ethereum☆14Updated 10 years ago
- ☆26Updated 8 years ago
- Gravity Network: a distributed computing architecture for resilience and interoperability☆37Updated 8 years ago
- (Summed) Merklized Binary Radix Tree library☆17Updated 9 years ago
- 🔏 Simple Keystore Generator☆12Updated 6 years ago
- The Mobile Client for the Ethereum Network DEPRECATED☆11Updated 10 years ago
- OBSOLETE prototype Vat host: use SwingSet instead☆29Updated 6 years ago
- Wrapper for node-ipfs-api☆42Updated 9 years ago
- An EVM code verification framework in Coq☆44Updated 9 years ago
- a public objective non-economic reputation system☆13Updated 10 years ago
- A tool for creating IDs on top of the Bitcoin blockchain with proof of existence.☆31Updated 10 years ago
- A highly performant merkle set data structure. To be ported to C later.☆75Updated 7 years ago