obscuren / mutanLinks
Compiler & Language definition for the Ethereum project
☆60Updated 10 years ago
Alternatives and similar repositories for mutan
Users that are interested in mutan are comparing it to the libraries listed below
Sorting:
- Golang implementation and extension of the Minimum Viable Plasma specification☆70Updated 3 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆78Updated 6 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 4 years ago
- Benchmarking data for EVM ops and precompiles☆21Updated 2 years ago
- A program that annotates a vm trace with dataflow information☆35Updated 3 years ago
- Elliptic Curve Implementation in Solidity☆81Updated 7 years ago
- A library for encoding CBOR in Solidity.☆66Updated last year
- A DNSSEC oracle for Ethereum☆60Updated 2 years ago
- Sikorka client and smart contract☆36Updated 2 years ago
- Solidity compiler wraper to generate JS.☆15Updated 2 years ago
- State Machine☆18Updated 7 years ago
- Zero-knowledge proof verification contract in Solidity! #zkpontheblockchain☆53Updated 6 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 6 years ago
- Solidity Contract Function Profiler☆82Updated 6 years ago
- Plasma Winter - an account model Plasma with with zkSNARK proved state transitions. Started on ETH Singapore☆31Updated 6 years ago
- This utility library has been moved to the EthereumJS VM monorepo.☆12Updated 4 years ago
- A state channels ICO auction contract.☆23Updated 7 years ago
- Contracts for a wallet that is recoverable via backup keys.☆51Updated 5 months ago
- A solidity library for performing arithmetic.☆16Updated 6 years ago
- Automatic market maker with batched buy & sell orders☆32Updated 2 years ago
- Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.☆28Updated 6 years ago
- zDai.io - confidential Dai transactions on Burner wallet☆29Updated 6 years ago
- 🐍 Vyper language support in Atom☆11Updated 3 years ago
- Dr. Y's Ethereum Contract Analyzer☆41Updated 3 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆103Updated 2 years ago
- ☆79Updated 5 years ago
- A Solidity delegate call proxy that also `delegatecall`'s its constructor☆22Updated 7 years ago
- Modular Ethereum client☆75Updated 3 years ago
- ☆40Updated 4 years ago
- Implementation of the Perun protocol☆49Updated 5 years ago