Contract

• Input: smart contract code / requirements.
• Output: review artifact.
• Side effects: none.
• Dependencies: none.
• Stop condition: deployment recommendation explicit.
• Risk: medium — security-sensitive; careful review required.
• Boundary: design/review only; no deployment execution.

Smart Contract Design & Review

Design or review a smart contract — state, access control, gas, upgrade path — and subject it to an adversarial review before any deployment recommendation.

When to use