Progress Currently, we support transaction validity proofs for Ethereum, Arbitrum, Optimism, and zkSync Era. In addition to this, we also provide services for historical block validity proofs and account state proofs. Advantages Low-gas: Due to our usage of PLONK for recursive proof composition in Halo2, the current gas consumption for on-chain…