Answering the call: How RISC Zero and O(1) Labs are bringing ZK proofs to the OP Stack