defirisk.co
rubric v1.7.0

Deployed bytecode reproducibility

Symbiotic's assessment for RD-F-145 — scored yellow on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.

Evidence summary #

Etherscan Exact Match verification implies reproducibility from verified source + compiler settings (Solidity 0.8.25, viaIR=true per data cache). Independent rebuild not performed in this assessment window. Cantina competition + Certora FV provide corroboration. Partial evidence of reproducibility.

Sources #

  • Internal
    Data Cache — Compiler Settings.research/protocols/symbiotic/00-data-cache.json — solidity_version: 0.8.25, via_ir: trueretrieved 2026-05-16
  • Etherscan
    OperatorRegistry — Verification MetadataOperatorRegistry — Exact Match verification with Solidity 0.8.25 compilerretrieved 2026-05-16

Methodology #

Determine whether anyone can independently reproduce the deployed bytecode from the repo and declared build toolchain.

See the full factor methodology and distribution across all protocols →

rubric_version v1.7.0 protocol symbiotic factor RD-F-145 score yellow collected_at 2026-05-16 09:25:24