obscuren / mutan
Compiler & Language definition for the Ethereum project
☆61Updated 9 years ago
Related projects: ⓘ
- Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.☆25Updated 5 years ago
- ☆32Updated 5 years ago
- zDai.io - confidential Dai transactions on Burner wallet☆28Updated 5 years ago
- ☆18Updated this week
- Golang implementation and extension of the Minimum Viable Plasma specification☆70Updated 2 years ago
- Zero-knowledge proof verification contract in Solidity! #zkpontheblockchain☆53Updated 5 years ago
- An LLL-based smart contract function dispatcher and example contract.☆47Updated 7 years ago
- Elliptic Curve Implementation in Solidity☆80Updated 6 years ago
- ERC721 in Vyper☆40Updated 6 years ago
- LazyLedger academic prototype☆48Updated 4 years ago
- ☆23Updated this week
- A series of attack tests on commonly used libraries and contracts in the ethereum web space☆20Updated 6 years ago
- 😈 Eth2 Network Agent 😈☆31Updated 3 years ago
- You will find an index of our research work here.☆25Updated 3 years ago
- Generates Ethereum vanity addresses☆16Updated 7 years ago
- Golang library and utility for extracting erc20 token balances from EVM storage proofs☆32Updated 4 months ago
- A program that annotates a vm trace with dataflow information☆35Updated 2 years ago
- 0x Protocol v2 Audit☆25Updated 5 years ago
- A data structure to perform weighted sortition in Solidity.☆21Updated 6 months ago
- ☆61Updated 2 years ago
- ☆11Updated 6 years ago
- ☆27Updated this week
- 311 byte EIP712 Signing Compliant Delegate-Call Enabled MultiSignature Wallet for the Ethereum Virtual Machine☆60Updated last year
- Fast, efficient, queryable storage for ethereum contracts.☆54Updated 6 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- ☆38Updated 3 years ago
- [DEPRECATED] Common tests for all Eth2.0 implementations☆18Updated 5 years ago
- Misc repo for draft Solidity contracts.☆11Updated 6 years ago
- Minimal Viable Data Sync Implementation☆13Updated last year
- Set of functions for golang verification of zkSNARKs☆31Updated 6 years ago