. @alexand_belling delivering the technical talk around @LineaBuild prover architecture from real-time proof systems to zk-EVM progress and scaling L1 with SNARKs