|
|
|
|
|
|
by pegasus
483 days ago
|
|
|
Because a proof verifier has a fixed complexity, regardless of the proofs it needs to check. Also, a minimal proof verifier is of almost trivial complexity. More advanced and performant verifiers can bootstrap from the minimal one by provably reducing to it. |
|
|