#zkvm still has innovative products coming out Compared to general-purpose risc-b zkvm like @boundless_xyz, all proofs are based on the proofs of each circuit from a general instruction set. Brevis zkvm adopts - A glue stitching solution, which originated from a blog post by Vitalik Buterin. - Identifying those costly specific operations (usually hash values and signatures) that constitute most of the computation, and then creating dedicated modules to efficiently prove these operations. By combining the inefficient but general vm instruction set proof system with an efficient but specialized proof system, we can achieve the best of both worlds. It’s somewhat similar to the precompiled technology of the EVM, which belongs to circuit-level precompiled technology. - Innovations on the chain side 1) Pure zk proofs, where cost issues still exist. 2) Op-zk proofs, meaning zk proofs are only generated when adjustments are made, allowing the chain to verify the proof. If no adjustments are made, it confirms optimistically. This should belong to a new category of opzk. The core addresses two issues: the cost of zk proofs. It’s a quite pragmatic solution. Detailed introduction:

Only adjusted = 》 Only challenged. Correction of typo.

I just chatted with @brevis_zk, the founder, and they are using the RISC-V instruction set, combined with precompiled precompiles circuits.

I feel that this company is the most likely to scale up because they have done a lot of design on the cost side of their solution.