Zkvm still has innovative products coming out Compared to general risc-b zkvm like @ boundless_xyz, all proofs are based on the proof of each circuit in the general instruction set. Brevis zkvm adopts -Glue stitching scheme, this scheme originated from a blog post by V God https://vitalik.eth.limo/general/2024/09/02/gluecp.htm -Identify the high cost specific operations (usually hash values and signatures) that make up the majority of the computation, and then create specialized modules to efficiently prove these operations. By combining an inefficient but universal proof system for VM instruction sets with an efficient but professional proof system, one can achieve both advantages. Actually, it's a bit like EVM's precompilation technology, which belongs to the circuit level precompilation technology -Innovation in Chain 1) The existence of zk proof shows that the cost issue still exists. 2) OP ZK proof, which means that only when it is adjusted, a ZK proof is generated, and then the chain is used to verify the proof. If not adjusted, optimistically confirm. This should belong to the OPZK new product category. The core solution is to address two issues: the problem of zk proof cost. A very pragmatic plan Detailed introduction: https://coprocessor-docs.brevis.network/developer-guide/introduction/brevis-cochain