An external prover, one who I am not in contact with, has generated a 50B cycle proof of Ethereum consensus. For context this is 50x+ more work than proving an Ethereum block @boundless_xyz lets people spin up their own prover networks in under an hour using the most powerful distributed proving code on the market right now. Higher🍓