ZisK, an open-source ZK proving toolstack built around a zkVM, is proving OP Mainnet live with an average proving time of 11 seconds on four consumer GPUs. ZisK lets developers build circuits in high-level languages such as Rust, and the milestone points to low-cost, consumer-hardware ZK verification for OP Stack chains (source).