We have a pretty good progress natively ZK-proving Ethereum state on Liquid. Claude managed to optimize the crap of a Simplicity EC pairing program, so the sync committee signature aggregation and check now fits in the transaction. Next stop is a trustless bridge.