GREENWICH 00:00:00 EUROPE/LONDON

CLOSED-FORM SUM-CHECK

POWER HOUSE

Seventy verifier rounds close a domain larger than one sextillion Boolean points without enumerating it.

READY 70 ROUNDS

LOCAL VERIFIER READY Run the 70-round browser proof

The browser checks every round equation over the field and computes a certificate SHA-256 digest.

ROUND0 / 70

CLAIMWAITING

DIGESTPENDING

RELEASEv0.2.1

ENGINERUST + PYTHON