SiloCore V2

CertoraCode version: not recorded (see the report)

Audit · firm’s term: security assessment & formal verification · Includes formal verification

Certora reviewed Silo (SiloCore V2) on 25 Nov 2024: 6 findings, 0 critical; 5 marked fixed, 1 open.

No open critical findings
Open the reportOpen Silo’s security record

Report hosted on GitHub.

Trustblock does not review code.

Findings10

Statuses are the security firm’s own, from its report.

SeverityOpenAcknowledgedFixed
Critical000
High002
Medium101
Low002

Marked Informational by the firm. Not counted as findings.

InformationalBorrow and Repay within the same block might Grief some actions for that block.Acknowledged

The report gives no description here.

InformationalImplement a view alternative to beforeQuote.Acknowledged

The report gives no description here.

InformationalLiquidationCall Might want to turn on the reentrancy guard.Fixed

The report gives no description here.

InformationalPossible gas optimization in accrueInterestForAssetFixed

The report gives no description here.

Contracts in scope

No deployed address is recorded for this audit.

The report names a repository or files. Open the report to see its scope.

Part of Silo’s security record

Silo
Audits2 audits by 2 firmsLast audit Nov 2024, by Certora.
Critical findingsNo open critical findingsAcross the 2 reports, 2 critical findings were reported. Each is marked fixed by the firm that reported it.
Open Silo’s security record

Security firm

Certora

29 projects reviewed · 56 reports · latest Aug 2026

See Certora’s audits

Something wrong on this page? A missing report, a wrong date, a finding that was fixed since. Tell us and we check it against its source.

Tell us