obscuren / mutan
Compiler & Language definition for the Ethereum project
☆61Updated 9 years ago
Alternatives and similar repositories for mutan:
Users that are interested in mutan are comparing it to the libraries listed below
- ERC721 in Vyper☆43Updated 6 years ago
- You will find an index of our research work here.☆26Updated 4 years ago
- Golang implementation and extension of the Minimum Viable Plasma specification☆70Updated 3 years ago
- Elliptic Curve Implementation in Solidity☆80Updated 7 years ago
- zDai.io - confidential Dai transactions on Burner wallet☆29Updated 6 years ago
- Multi-Signature Aggregation in a Large Byzantine Committees☆53Updated 9 months ago
- ☆32Updated 6 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆108Updated 2 years ago
- ☆61Updated 3 years ago
- Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.☆26Updated 5 years ago
- 0x Protocol v2 Audit☆25Updated 5 years ago
- 311 byte EIP712 Signing Compliant Delegate-Call Enabled MultiSignature Wallet for the Ethereum Virtual Machine☆60Updated last year
- FVyper: A collection of useful Vyper contracts developed with formal methods☆55Updated 3 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- LazyLedger academic prototype☆48Updated 4 years ago
- A program that annotates a vm trace with dataflow information☆35Updated 3 years ago
- Zero-knowledge proof verification contract in Solidity! #zkpontheblockchain☆53Updated 5 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆78Updated 6 years ago
- A DNSSEC oracle for Ethereum☆60Updated 2 years ago
- 😈 Eth2 Network Agent 😈☆31Updated 4 years ago
- data and charts for Ethereum state analysis☆46Updated 5 years ago
- Boilerplate and tests for the first Solidity Gas Golfing Contest☆51Updated 6 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆102Updated 2 years ago
- Modular Ethereum client☆75Updated 3 years ago
- Simple bonding curve contract based on bancor formula☆80Updated 6 years ago
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆39Updated 5 years ago
- This is a port of the Vyper Eth 2.0 deposit contract to Solidity.☆20Updated 4 years ago
- Plasma Winter - an account model Plasma with with zkSNARK proved state transitions. Started on ETH Singapore☆31Updated 6 years ago
- ☆34Updated 4 years ago
- Sample payment channel using whisper☆36Updated 9 years ago