Python framework for deploying, testing and interacting with Ethereum smart contracts.
Follow the links.
Symbolic execution tool on Smart Contracts and Binaries
Features Input Generation : Manticore automatically generates inputs that trigger unique code paths Error Discovery : Manticore discovers bugs and produces inputs required to trigger them Execution Tracing : Manticore records an instruction-level trace of execution for each generated input
Help build MythX API Libraries in popular languages.
In most cases you’ll want to use an existing client library that abstracts the low-level details of interacting with MythX.
A Step by step guide.
This is complete step by step article to start contributing Ethereum 2.0. Contribution includes Development, Testing, Design, Formal verifications, Participate in network, Documentations, Helping more people to start contributing.
Thank you for your interest in contributing! We welcome all contributions no matter their size. Please read along to learn how to get started. If you get stuck, feel free to reach for help in our Gitter channel.
Ethereum 2.0 and Ethereum 1.0 Implementation in Python.
Trinity is a client for the Ethereum protocol including the existing 1.0 chain as well as emerging support for the upcoming Ethereum 2.0 / Serenity spec written in Python. Goals provide a reference implementation for an Ethereum 1.0 node (alpha) support "full" and "light" modes fully support mainnet