Alberto Centelles
Alberto Centelles authored Compiling to ZKVMs, research published through Anoma on improving the efficiency of zero-knowledge virtual machines. The work examines how compilers can use a program’s structure to select or construct proof-system instructions, instead of applying the same instruction set to every program. Centelles compared approaches using recursive proofs and folding schemes, which impose different constraints on how programs are split into provable computations.