Powdr is a ZK compiler framework that accelerates and secures zkVMs automatically. We apply advanced compiler techniques to identify performance-critical parts of the program being proved, and replace...