Skip to content

Latest commit

 

History

History
18 lines (17 loc) · 826 Bytes

Explicit over Implicit.md

File metadata and controls

18 lines (17 loc) · 826 Bytes

While Solidity has progressively adopted explicit declarations of intent for e.g. with function visibility and variable storage, it is recommended to do the same at the application level where all requirements should be explicitly validated (e.g. input parameters) and assumptions should be documented and checked.

Implicit requirements and assumptions should be flagged as dangerous.


Slide Screenshot

0164.jpg


Slide Text

  • Favor Explicit Over Implicit
  • Solidity -> Explicit Visibility/Location
  • App -> Explicit Spec + Regs + Validation + Docs
  • Implicit Regs + Assumptions -> Dangerous

References


Tags