Veda Incentive Teller System

CertoraCode version: not recorded (see the report)

Certora reviewed Veda (Veda Incentive Teller System) on 21 Apr 2026: 7 findings, 0 critical; 2 marked fixed, 5 acknowledged.

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

Report hosted on GitHub.

Trustblock does not review code.

Findings7

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

SeverityOpenAcknowledgedFixed
Critical000
High000
Medium011
Low041
MediumWhen solving a boring queue withdrawal, the checkpointed withdraw value is over/under estimated due to using the wrong rateAcknowledged

The report gives no description here.

LowBridge compliance check doesn’t include destination / bridgeWildCardAcknowledged

The report gives no description here.

LowBridged mints bypass normal teller-side deposit checks on the destination chainAcknowledged

The report gives no description here.

LowUsers can grief rescueTokens() by temporarily changing queue stateAcknowledged

The report gives no description here.

LowWhenever reward checkpointing is enabled, P2P transfers and routing should be disabledAcknowledged

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 Veda’s security record

Veda
Audits2 audits by 1 firmLast audit Apr 2026, by Certora.
Critical findingsNo open critical findingsAcross 2 reports.
Open Veda’s security record

Security firm

Certora

9 projects reviewed · 17 reports · latest Jun 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