@yamadaidaidai

#zkvm still has innovative products emerging Compared to universal RISC-V zkvm like @boundless_xyz, where all proofs are based on general instruction set circuits for each proof. Brevis zkvm adopted: - Glue stitching solution, which originally came from 's blog post vitalik.eth.limo/general/2024/...… - Identifying high-cost specific operations that constitute most computations (usually hash values and signatures), and then creating specialized modules to efficiently prove these operations. By combining inefficient but universal VM instruction set proof systems with efficient but specialized proof systems, one can leverage the strengths of both. This is somewhat similar to EVM's precompiled technology, which belongs to circuit-level precompilation techniques

0 reply

0 recast

0 reaction