The following reflects the views of L2BEAT’s governance team, composed of @kaereste, @Sinkas, and @Manugotsuka, and it’s based on their combined research, fact-checking, and ideation.
We are voting FOR the proposal.
After having our research team look into the proposal, we are voting in its favor since the EVM emulator that will be introduced will improve developers’ experience with better tooling, and the fflonk verifier allows making savings that can be handed down to users through cheaper L2 transactions.
From a risk perspective, nothing should change in the grand scheme of things. However, we recognise this is a big and rather complex upgrade for the ZKsync devs to build and for the auditors (OpenZeppelin) to cover.
Lastly, as commented in the audit as well, it would be appreciated if we could have more transparency around how to reproduce the onchain L1VerifierFflonk.sol from the source zk circuits (e.g. for L2BEAT’s zk catalog).