How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. Learn more on our About page.
Smart Contract Security Verification Standard
The main features of securing/scsvs are: Smart Contract Security.
Projects with overlapping indexed features include: quipnetwork/hashsigs-solidity — hashsigs-solidity is a cryptographic signature library and security utility for Ethereum smart contracts. It functions… vyperlang/vyper — Vyper is a security-focused, typed programming language and compiler designed for creating smart contracts that… bkrem/awesome-solidity — This project is a curated directory and index of resources for Solidity smart contract development. It provides a… foundry-rs/foundry — Foundry is an Ethereum smart contract development toolkit and blockchain simulator designed for compiling, testing,… kadenzipfel/smart-contract-vulnerabilities — This project serves as a comprehensive knowledge base and technical reference for identifying and mitigating security… inoutcode/ethereum_book — This project is a comprehensive educational guide and technical manual for the Ethereum blockchain. It provides…
hashsigs-solidity is a cryptographic signature library and security utility for Ethereum smart contracts. It functions as a hash-based signature verifier designed to confirm data origin and integrity within a virtual machine environment. The project focuses on on-chain cryptographic authentication, specifically the verification of one-time signatures to prevent replay attacks. It implements signature validation for Winternitz One-Time Signatures Plus to ensure that data has not been tampered with before it is processed by a contract. The library covers a broad range of cryptographic capabili
Foundry is an Ethereum smart contract development toolkit and blockchain simulator designed for compiling, testing, and deploying contracts for the Ethereum Virtual Machine. It provides a local environment for simulating blockchain state and forking live networks to execute code without modifying the actual chain. The project features a property-based fuzzing engine to identify edge-case failures in contract logic and a transaction debugger for analyzing detailed execution traces and gas consumption. It enables developers to mirror the state of a remote chain locally to test against real-worl
This project is a curated directory and index of resources for Solidity smart contract development. It provides a categorized collection of libraries, development frameworks, security tools, and educational materials used to build and deploy decentralized applications. The repository functions as a comprehensive catalog for the software development lifecycle, featuring a specific index of community-vetted modular building blocks and token standard implementations. It also maintains a dedicated list of security resources, including static analyzers and fuzzers, to assist in auditing and securi
This project serves as a comprehensive knowledge base and technical reference for identifying and mitigating security vulnerabilities in smart contracts. It provides a structured catalog of common attack vectors, logic errors, and insecure coding patterns, offering developers and auditors a centralized resource for implementing secure decentralized applications. The repository distinguishes itself by covering the full lifecycle of contract security, from low-level arithmetic safety and compiler constraints to high-level architectural patterns. It details specific defensive strategies for mana