Repository History
4 repositories tagged with ethereum
EthList: The Comprehensive Ethereum Reading List
EthList is a comprehensive, crowdsourced Ethereum reading list maintained by Scanate, offering an invaluable resource for anyone interested in the Ethereum ecosystem. It organizes a vast collection of articles, videos, whitepapers, and tutorials across various categories. This repository makes it easy to navigate the complex world of Ethereum, from foundational concepts to advanced technical details.
EDB: Source-Level Time-Travel Debugger for Ethereum Smart Contracts
EDB is a powerful source-level time-travel debugger designed for Ethereum smart contracts, bridging the gap between high-level Solidity code and low-level EVM execution. It offers essential features like step-by-step execution, local variable inspection, custom expression evaluation, and breakpoints, significantly enhancing the debugging experience for Web3 developers.
Wake: A Python Framework for Secure Solidity Development and Fuzz Testing
Wake is a robust Python-based framework designed for secure Solidity development and comprehensive fuzz testing. It provides built-in vulnerability detectors, helping developers build more secure Ethereum dApps. With features like a VS Code extension and CI/CD integration, Wake streamlines the smart contract development workflow.
CertoraProver: State-of-the-Art Formal Verification for Smart Contracts
The Certora Prover is a leading security tool for automated formal verification of smart contracts. It supports EVM-based chains, Solana, and Stellar, ensuring robust security for decentralized applications. This open-source project, written in Kotlin, provides developers with powerful capabilities to enhance smart contract integrity.