So you only have to understand or trust your proof-checking code, which could be just a few hundred lines long.
Por lo tanto, solo tiene que entender o confiar en su código de verificación, que puede tener solo unos cientos de líneas.