Thank you for highlighting this important tradeoff! > In zk Ethereum, bugs can be silent: the proof validates the wrong execution and everyone downstream accep

Thank you for highlighting this important tradeoff! > In zk Ethereum, bugs can be silent: the proof validates the wrong execution and everyone downstream accepts it as truth. Are there any write-ups by folks who have run into this scenario? Maybe Linea while developing their zkEVM?