Danny Willems
Danny Willems worked as a cryptography engineer at o1Labs on o1VM, a virtual machine for proving the correct execution of MIPS programs. The team’s approach combined techniques for bitwise operations, folding and memory lookups to handle long execution traces, including work with Optimism on validity proofs for the OP Stack.