Security
Scribble
Specification language and instrumentation tool for annotating Solidity contracts with properties and runtime checks.
Specification language and instrumentation tool for annotating Solidity contracts with properties and runtime checks.
Scribble is useful for builders evaluating Security across Ethereum, Base, Polygon.