Projects sharing features with Oyente

Static Analyzer for Solidity and Vyper

This repository is a comprehensive educational curriculum and programming guide designed to teach Solidity development and smart contract testing. It provides a structured set of instructional materials and tutorials for writing, deploying, and auditing secure programmable contracts on the Ethereum Virtual Machine. The course focuses on the Foundry toolkit, providing an Ethereum tooling curriculum that covers compiling and testing smart contracts locally. It emphasizes a professional development workflow, moving from initial Solidity programming to the implementation of decentralized applicat

This project is a collection of instructional resources and manuals providing strategic defense frameworks for protecting cryptocurrency assets and digital identities. It serves as a security guide for mitigating blockchain-based exploits, managing digital wallets, and implementing risk frameworks to prevent the theft of digital assets. The documentation provides detailed handbooks on wallet security, including the management of private keys, the use of hardware wallets, and secure transaction signing. It offers specialized guidance on anti-phishing defense and the identification of social en