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
HighFaulty hook location can lead to drains from legitimate hooks.Fixed

The report gives no description here.

HighMax repay front run griftFixed

The report gives no description here.

MediumTransition Collateral fails when the user is insolvent.Fixed

The report gives no description here.

Low_beforeTokenTransfer for debtToken does not reduce currentAllowance.Fixed

The report gives no description here.

LowwithdrawFees is not protected by the reentrancy guard.Fixed

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