federicobond / c3-linearization
A package for doing Solidity and Python-style C3-linearization in ECMAScript
☆15Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for c3-linearization
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆24Updated last year
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- WorkInProgress Contract on Ropsten that verifies Rinkeby transactions☆14Updated last year
- zDai.io - confidential Dai transactions on Burner wallet☆29Updated 5 years ago
- Profile Solidity gas consumption line-wise.☆23Updated 3 years ago
- preliminary, high-level eth2-client benchmarks☆16Updated 4 years ago
- This is a port of the Vyper Eth 2.0 deposit contract to Solidity.☆18Updated 4 years ago
- Random research and simulations☆16Updated 5 years ago
- ☆22Updated last year
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation☆14Updated last year
- SPV-based ETH/BTC swaps☆11Updated 2 years ago
- data and charts for Ethereum state analysis☆47Updated 4 years ago
- Solidity Parser for Solium☆29Updated last year
- 😈 Eth2 Network Agent 😈☆31Updated 4 years ago
- A collection of smart contracts to save gas on Ethereum to deploy other contracts leveraging CHI tokens.☆19Updated 4 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated last year
- A collection of videos, reading materials and tools for learning all about the ZK side of crypto.☆19Updated 6 years ago
- Subset of public audit reports issued by ChainSecurity. For more, please visit:☆29Updated last year
- vmstats☆29Updated 2 years ago
- Sparse Merkle Trees implementation☆9Updated 4 years ago
- Markdown documentation generator for Solidity☆34Updated 2 years ago
- Benchmarking data for EVM ops and precompiles☆22Updated last year
- Online ERC20 verifier based on tinchoabbate's slither-scripts☆13Updated 5 years ago
- Schedule function calls that can only be executed once some delay has elapsed☆27Updated 2 years ago
- EVM performance tests for a range of clients☆24Updated 4 years ago
- The Ethereum Research companion: research summary, impacts, specifications, status, resources, implementations☆16Updated 6 years ago
- Translations of standard contracts from Solidity to Vyper.☆12Updated 6 years ago
- Automatic market maker with batched buy & sell orders☆32Updated last year