Comparison Models

Evidence labels on this page: [S] verified against a primary source; [A] argued. This page compares approaches on the prover envelope: proving time, proving memory, and the hardware proving runs on. It makes no proof-size claim for zkFOL, in any direction.