zigguratt / lll-dispatcher
An LLL-based smart contract function dispatcher and example contract.
☆47Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for lll-dispatcher
- An implementation of Ethereum ERC20 tokens in LLL☆67Updated 7 years ago
- district0x dapp for district voting☆16Updated 3 years ago
- Lightweight ENS resolver and library☆24Updated 7 years ago
- Dr. Y's Ethereum Contract Analyzer☆42Updated 2 years ago
- An Order Statistic Tree in the Ethereum Solidity Language☆50Updated 6 years ago
- ☆32Updated 6 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- Continuous Splitting Token Auction☆21Updated 3 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 8 years ago
- Indexes Ethereum contracts with Elasticsearch☆27Updated 8 years ago
- [DEPRECATED] A wrapper library around the Ledger line of devices that attempts to simplify usage and handle various failure modes/problem…☆14Updated 5 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 5 years ago
- ☆11Updated 3 years ago
- Smart contracts for trustless bridges☆75Updated 4 years ago
- Sample payment channel using whisper☆36Updated 8 years ago
- Porvable's Proof-of-Identity Dapp + eWallet☆33Updated last year
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- Sikorka client and smart contract☆36Updated 2 years ago
- Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.☆25Updated 5 years ago
- Interface Specifications inside Ethereum☆36Updated 8 years ago
- Some example patterns for building fault-tolerant Ethereum smart contracts☆56Updated 7 years ago
- DSAuth-protected ERC20 token vault☆24Updated 3 years ago
- This repository contains the Hive Commons implementation of liquid democracy that is used for community governance and dispute arbitratio…☆19Updated 6 years ago
- Notes and stuff related to the study group☆15Updated 7 years ago
- A typed, functional language that targets the EVM.☆55Updated 7 years ago
- A program that annotates a vm trace with dataflow information☆35Updated 2 years ago
- JS - Solidity sha3 merkle tree bridge. Generate proofs in JS; verify in Solidity.☆111Updated 8 months ago
- Documentation for the Ethereum LLL compiler☆11Updated last year