As a developer, I want to fully verify every applied block (and as soon as possible during bootstrap)

[tizoc]

Currently we are not verifying the proofs that come inside applied blocks (completed works and zkapp transaction proofs). Before enabling, the logic needs to be updated so that for blocks applied during the catchup phase of the bootstrap process are not verified at application, since that would make bootstrap considerably slower. I am investigating what the OCaml node did here, because IIRC it somehow batched such verifications (in addition to verifying each block as soon as possible instead of waiting to do so at apply time).

We are also not using batching during proof verification, maybe thats all we need: MinaProtocol/mina#12356 (comment)

According to @sebastiencs to get batch verification working we would need to first group the inputs and then use https://github.com/o1-labs/proof-systems/blob/fce56d75862f4af1358b584c084e10ece90305fa/kimchi/src/verifier.rs#L1198 instead of the plain verify we currently use.

[tizoc]

batch verification implemented here, but for blocks it is still not enabled (will do after I have improved the catchup sequence so that verification can happen earlier).

A pending improvement in batch verification is the use of threads to speed up the step where we prepare the batched inputs which is the most expensive part in the OCaml implementation when the batch contains many proofs: MinaProtocol/mina#12356 (comment)

[tizoc]

This is enabled already, closing. Leaving the optimization for later.