Anyone knows how Starket’s proof is verified on Ethereum? How do theu reduce the proof size to fit into the calldata?