Open-source FPGA proving could cut ZK rollup costs, diversify prover infrastructure and make faster Ethereum settlement more economically competitive.