< Blog />

From Workshop to Main Track: What Changed in NanoZK

The VerifAI @ ICLR version and the ICICS main-track version answer the same question. Only one of them proved it at a size anyone cares about.