m0leCon 2025 - Robin Jadoul - How to prove that 42 is prime скачать в хорошем качестве

m0leCon 2025 - Robin Jadoul - How to prove that 42 is prime

m0leCon 2025 Turin, Italy - 22/03/2025 Cryptographic protocols and zero-knowledge proofs are making huge strides, both on the theory and practice side. But where time-to-market constraints and security-critical components meet, is exactly where impactful bugs like to pop up. This talk looks at a zkVM — a virtual machine enabling zero-knowledge proofs of correct execution — targeting a RISC-V architecture, and some bugs we discovered within the code base. These bugs range from malicious guest programs behaving entirely unexpectedly from what one would expect coming from "real hardware", to losing all soundness and being able to prove arbitrary and incorrect statements. While the former bugs can be argued to not be flaws in the VM, since malicious programs can naturally pervert the execution in numerous ways, their presence may enable or simplify full exploitation of otherwise hard-to-use bugs that don't need malicious programs. In particular, as a proof of concept, the primality of the number 42 is proven, as well as knowledge of Satoshi's private keys.