Solidity

Solidity

An object-oriented, high-level language for implementing smart contracts on various blockchain platforms, most notably Ethereum.

Solidity is the primary language for building smart contracts on Ethereum and other EVM-compatible blockchains. It's designed to target the Ethereum Virtual Machine (EVM) and is essential for anyone looking to build decentralized applications (dApps).
Testing Solidity Contract Upgrades with Storage Layout Diff Checks

Testing Solidity Contract Upgrades with Storage Layout Diff Checks

Preventing ERC-4626 Share Inflation Attacks in Solidity

Preventing ERC-4626 Share Inflation Attacks in Solidity

Building a Safe ERC-4626 Vault Adapter Library in Solidity

Building a Safe ERC-4626 Vault Adapter Library in Solidity

Testing Solidity Contract Interactions with Mock Contracts

Testing Solidity Contract Interactions with Mock Contracts

Solidity Fallback and Receive Functions: Building Robust Contract Entry Points

Solidity Fallback and Receive Functions: Building Robust Contract Entry Points

Testing Solidity Upgradeable Contracts with Storage Gaps and Initialization Safety

Testing Solidity Upgradeable Contracts with Storage Gaps and Initialization Safety

Preventing Read-Only Reentrancy in Solidity

Preventing Read-Only Reentrancy in Solidity

Building a Safe ERC-20 Permit Helper Library in Solidity

Building a Safe ERC-20 Permit Helper Library in Solidity

Testing Solidity Revert Reasons and Panic Codes with Targeted Assertions

Testing Solidity Revert Reasons and Panic Codes with Targeted Assertions

Solidity Interfaces and Contract Composition: Designing Clean, Decoupled Smart Contract Systems

Solidity Interfaces and Contract Composition: Designing Clean, Decoupled Smart Contract Systems

Testing Solidity Arithmetic Edge Cases with Overflow, Underflow, and Rounding Assertions

Testing Solidity Arithmetic Edge Cases with Overflow, Underflow, and Rounding Assertions

Preventing Unchecked Low-Level Call Failures in Solidity

Preventing Unchecked Low-Level Call Failures in Solidity

Building a Safe ERC-721 Metadata Resolver Library in Solidity

Building a Safe ERC-721 Metadata Resolver Library in Solidity

Testing Solidity Storage Packing and Slot Boundaries with Deterministic Layout Checks

Testing Solidity Storage Packing and Slot Boundaries with Deterministic Layout Checks

Solidity Custom Structs and Nested Data Models: Designing Rich On-Chain State

Solidity Custom Structs and Nested Data Models: Designing Rich On-Chain State