TrueBitProject / lanai
☆32Updated 7 years ago
Alternatives and similar repositories for lanai:
Users that are interested in lanai are comparing it to the libraries listed below
- A program that annotates a vm trace with dataflow information☆35Updated 2 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 8 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 6 years ago
- [DEPRECATED] On-chain interpreter for WebAssembly written in Solidity☆67Updated 4 years ago
- Continuous Splitting Token Auction☆21Updated 3 years ago
- Solidity sha3 in Javascript.☆44Updated 6 years ago
- Something to play with while we wait☆20Updated 5 years ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Updated 4 years ago
- Simple Ethereum event tracking☆54Updated 6 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- Template for implementing Plasma child chains with Truebit☆50Updated 6 years ago
- DSAuth-protected ERC20 token vault☆24Updated 3 years ago
- A state channels ICO auction contract.☆23Updated 7 years ago
- Financial instruments on the Ethereum blockchain☆19Updated 8 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- [DEPRECATED] Incentive layer contracts and deployment information.☆31Updated 6 years ago
- A zkSNARK tutorial and development environment☆16Updated 6 years ago
- Ethereum-Zcash Integration effort☆66Updated 5 years ago
- ☆13Updated 8 years ago
- zDai.io - confidential Dai transactions on Burner wallet☆29Updated 5 years ago
- ☆18Updated last year
- Tools and instructions for Raiden workshops☆23Updated last year
- Smart contracts for trustless bridges☆75Updated 4 years ago
- State Machine☆18Updated 6 years ago
- Transaction Relay enables transaction fees of Ethereum contracts and transactions to be paid by any Currency☆40Updated 8 years ago
- Classic source for Truebit documentation☆59Updated 3 years ago
- ☆75Updated 6 years ago