Resolved-without-proof findings
Spiko's assessment for RD-F-003 — scored yellow on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
Halborn: 5 findings (1 critical, 1 low, 3 informational), all resolved with commit-level evidence (FIND-001 through FIND-005 fixed Sep-22-2025 in stellar-contracts repo). Halborn states 100% remediation. ToB EVM and Nethermind Cairo resolution confirmed at protocol level by Arbitrum STEP-2 application but individual finding-to-commit mapping not independently verifiable without PDF access. Yellow because per-finding on-chain proof is not independently confirmed for ToB/Nethermind.
Sources #
- GovernanceArbitrum STEP-2 Spiko USTBL applicationArbitrum STEP-2 application citing Trail of Bits and Nethermind audits as completedretrieved 2026-05-16
- Halborn Spiko Stellar Contracts Audit resolutionHalborn Stellar audit 100% findings resolved with FIND-001 through FIND-005 fix commitsretrieved 2026-05-16
- spiko-tech/stellar-contracts fix commits Sep-2025Stellar contracts fix commits FIND-001 through FIND-005 dated September 22 2025retrieved 2026-05-16
Methodology #
Count the number of findings the audit report marks "Resolved" or "Fixed" where no matching on-chain bytecode change or verifiable commit can be found.
See the full factor methodology and distribution across all protocols →