ZK-Proof on OP Stack