solidity websites

This tag brings together websites focused on Solidity, including developer tutorials, smart contract libraries, audits, documentation, and blockchain engineering blogs. Visitors can find resources for writing, testing, and deploying Ethereum based contracts. The tag helps users discover sites that support learning and working with one of the main smart contract languages.

Certora Smart Contract Verification and Security Audits

Certora is a code security company focused on formal verification for smart contracts. Its flagship Prover checks contract behavior against precise form...