Kleros V2

CertoraCode version: not recorded (see the report)

Certora reviewed Kleros (Kleros V2) on 19 Dec 2025: 15 findings, 0 critical; 8 marked fixed, 5 acknowledged, 2 open.

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

Report hosted on GitHub.

Trustblock does not review code.

Findings18

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

SeverityOpenAcknowledgedFixed
Critical000
High101
Medium134
Low023
HighAnyone can inflate totalStaked without depositing tokensFixed

The report gives no description here.

MediumChange of court parameters can disrupt ongoing disputesFixed

The report gives no description here.

MediumInflated totalStaked accountingFixed

The report gives no description here.

MediumMalicious arbitrated contract can DoS executeRuling and prevent feeFixed

The report gives no description here.

MediumTied rounds make everyone coherent in >=3 choice disputesFixed

The report gives no description here.

LowMissing staleness check to calculate dispute feesFixed

The report gives no description here.

LowMissing whenNotPaused modifier in core functionsFixed

The report gives no description here.

LowStake reward bypasses maxStakePerJuror limit in setStakeReward()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 Kleros’s security record

Kleros
Audits1 audit by 1 firmLast audit Dec 2025, by Certora.
Critical findingsNo open critical findingsIn 1 report.
Open Kleros’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