ethereum / public-attacknets
Public attacknets available for eth2
☆72Updated 3 years ago
Alternatives and similar repositories for public-attacknets:
Users that are interested in public-attacknets are comparing it to the libraries listed below
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆31Updated 2 years ago
- Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence☆41Updated 4 years ago
- Ethereum/EVM Node Security Toolkit☆70Updated 7 months ago
- Visualize your Aragon DAO Templates☆29Updated 7 months ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆24Updated last year
- Merge Mock - testing tool for the Ethereum Merge☆40Updated 2 years ago
- 😈 Eth2 Network Agent 😈☆31Updated 4 years ago
- ☆48Updated 2 years ago
- Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.☆70Updated 4 years ago
- data and charts for Ethereum state analysis☆46Updated 5 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated last year
- A command line interface for the MythX smart contract security analysis API☆88Updated 10 months ago
- ERC721 in Vyper☆41Updated 6 years ago
- Subset of public audit reports issued by ChainSecurity. For more, please visit:☆29Updated last year
- This is a repo which serves to design and develop the website which contains ETHSecurity resources.☆25Updated 6 years ago
- Schematic of the Ethereum 2.0 Beacon Chain specification☆51Updated 6 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.☆36Updated 3 years ago
- Collection of articles about the Solidity language and compiler☆63Updated last year
- Compile Solidity source code and verify its bytecode matches the blockchain☆88Updated 7 months ago
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆60Updated 4 years ago
- Hermez node Go implementation☆61Updated 9 months ago
- MythX smart contract security verification plugin for Truffle Framework☆125Updated 3 years ago
- Articles☆20Updated last year
- ☆17Updated 10 months ago
- Collection of published audits☆26Updated 4 years ago
- ☆51Updated 4 years ago
- Execution environment for managing shard ether☆25Updated 4 years ago
- Collection of research papers written within Gnosis☆91Updated 3 years ago
- Automatic market maker with batched buy & sell orders☆32Updated 2 years ago
- a mechanism for incentivizing full nodes☆24Updated 6 years ago