VIProgram

Protocol Engineering

How production systems are written, tested, and hardened.

  • 601Course

    Advanced Solidity

    The language, at production depth.

    2 lessons·Expert
    Advanced language features
  • 602Course

    Testing

    The discipline of proving a contract works.

    2 lessons·Expert
    The pyramid
  • 603Course

    Foundry

    The modern smart-contract toolchain.

    3 lessons·Expert
    Forge, cast, anvil
  • 604Course

    Hardhat

    The alternative toolchain.

    2 lessons·Expert
    Hardhat, in one course
  • 605Course

    Auditing

    The profession of finding what the developer missed.

    7 lessons·Expert
    The engagementThe findings
  • 606Course

    Security

    The discipline that runs alongside engineering.

    3 lessons·Expert
    The vulnerability catalogueDefensive engineering
  • 607Course

    Formal Verification

    Proving properties, not testing them.

    2 lessons·Expert
    The idea
  • 608Course

    Gas Optimization

    Making expensive code cheap.

    3 lessons·Expert
    The techniques
  • 609Course

    Protocol Architecture

    How large systems are designed.

    3 lessons·Expert
    Modularity