skyrock

@gluk64 @zksync So the assumption here is that the operator should use the official binary to execute transactions? Will zksync has the plan to move to permissionless manner? If that happens is there some mechanism to prevent or at least detect the malicious operators?

@Jinwei07 @zksync The proof must match the code, not only the inputs. Change of code => proof does not verify.