A Solidity smart contract auditing checklist
The main features of cryptofinlabs/audit-checklist are: Smart Contract Development, Smart Contract Patterns.
Open-source alternatives to cryptofinlabs/audit-checklist include: rari-capital/solmate — Solmate is a Solana program framework and smart contract library providing gas-optimized blockchain primitives. It… openzeppelin/openzeppelin-contracts — OpenZeppelin Contracts is a library of modular, secure, and reusable smart contract components designed for the… dapphub/dappsys — Composable building blocks for Ethereum contracts. bkrem/awesome-solidity — This project is a curated directory and index of resources for Solidity smart contract development. It provides a… fuellabs/sway — Sway is a smart contract development language and programming environment designed for writing, compiling, and… yeasy/blockchain_guide — This is an educational resource that provides a comprehensive guide to blockchain and distributed ledger technologies,…
Solmate is a Solana program framework and smart contract library providing gas-optimized blockchain primitives. It serves as a development kit for implementing SPL tokens and secure access control systems on the Solana blockchain. The project focuses on reducing compute unit usage and transaction costs through resource-efficient building blocks. It provides standardized components for token logic, balance tracking, and authorization primitives designed to restrict sensitive smart contract functions. The framework employs opinionated patterning and primitive-based composition to structure pro
OpenZeppelin Contracts is a library of modular, secure, and reusable smart contract components designed for the development of decentralized applications. It provides a foundational framework for building standard-compliant contracts, offering battle-tested implementations for token standards, access control, and common utility patterns. The project distinguishes itself through its comprehensive support for complex architectural patterns, including proxy-based upgradeability, role-based access control, and account abstraction. It enables developers to implement modular logic injection via hoo
Sway is a smart contract development language and programming environment designed for writing, compiling, and deploying secure blockchain programs. It serves as a type-safe language for building on-chain logic and a static analysis toolchain that validates contracts before they are executed on a network. The ecosystem provides a development environment focused on blockchain application logic and web3 backend engineering. It integrates a type-safe programming approach to reduce vulnerabilities and ensure reliable state transitions for decentralized services. The toolchain incorporates static
