federicobond / c3-linearization
A package for doing Solidity and Python-style C3-linearization in ECMAScript
☆16Updated 6 years ago
Alternatives and similar repositories for c3-linearization:
Users that are interested in c3-linearization are comparing it to the libraries listed below
- Subset of public audit reports issued by ChainSecurity. For more, please visit:☆29Updated last year
- This is a port of the Vyper Eth 2.0 deposit contract to Solidity.☆20Updated 4 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆24Updated last year
- preliminary, high-level eth2-client benchmarks☆16Updated 4 years ago
- AZTEC protocol trusted setup MPC☆32Updated 9 months ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.☆38Updated 3 years ago
- Detect SELFDESTRUCT opcodes in EVM runtime bytecode☆22Updated 2 years ago
- EVM performance tests for a range of clients☆24Updated 5 years ago
- Eth2 CLI debugging tool☆37Updated last month
- A smart contract to enhance the user experience of the `eth2` deposit contract.☆25Updated 8 months ago
- 🎛 Core smart contracts of Uniswap V2, adapted to run on the Optimistic VM (OVM) while maintaining compatibility with the Ethereum VM (EV…☆26Updated 4 years ago
- ☆13Updated 3 years ago
- Intentionally self-destructive Ethereal on-chain-ish Wallet. (Proof-of-Concept bootstrap technique with CREATE2)☆35Updated 5 years ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- Execution environment for managing shard ether☆25Updated 4 years ago
- Solidity Merkle Mountain Range Library☆28Updated 2 years ago
- ☆26Updated 3 years ago
- EVM interpreter compatible with the evm2wasm interface☆46Updated 3 years ago
- Ring signature related implementations for ethereum☆28Updated 3 years ago
- vmstats☆32Updated 3 years ago
- A list of resources relevant to blockchain☆54Updated 10 months ago
- Validation code for the EOF specification☆53Updated this week
- data and charts for Ethereum state analysis☆46Updated 5 years ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆31Updated 2 years ago
- ☆34Updated 4 years ago
- ☆28Updated 2 years ago
- 😈 Demonstration how to manipulate VRF randomness of Chainlink☆29Updated 4 years ago
- ☆22Updated 2 years ago
- A synthetic evm bytecode generation library and cmdline utility to fuzz the ethereum stack machine☆25Updated 6 years ago
- Solidity implementation of the baby jubjub curve☆22Updated 11 months ago