List your company

ResearchFormerly WizWand

Formal Verification

Benchmarks

DatasetSOTA methodMetricTrendResultsLast updated

Lock-Mint Optimistic Relay (T2)

1Iteration Count

1

Apr 15, 2026

Lock-Mint Reorg Attack (T1)

0Iteration Count

1

Apr 15, 2026

DNSSEC Mixed NSEC NSEC3

109Verification Time (s)

1

Feb 26, 2026

DNSSEC Chain of Trust

17Verification Time (h)

1

Feb 26, 2026

CERN SPS-PPS large ST program

—

—Primary metric

0

Jun 16, 2026

DNSSEC Denial Auth. - NSEC3

—

—Primary metric

0

Feb 26, 2026