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 #
- InternalData Cache — Compiler Settings.research/protocols/symbiotic/00-data-cache.json — solidity_version: 0.8.25, via_ir: trueretrieved 2026-05-16
- 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