#zkvm ainda tem produtos inovadores surgindo Comparado ao @boundless_xyz, que é um zkvm riscb genérico, todas as provas são baseadas nas provas de cada circuito do conjunto de instruções genérico. O Brevis zkvm adotou - uma solução de colagem, que se originou de um post do Vitalik. - a identificação das operações específicas que compõem a maior parte dos cálculos e que têm um custo elevado (geralmente valores de hash e assinaturas), e então criar módulos especializados para provar essas operações de forma eficiente. Combinando um sistema de provas de um conjunto de instruções de vm genérico, mas ineficiente, com um sistema de provas especializado e eficiente, é possível obter o melhor dos dois mundos. Na verdade, é um pouco semelhante à tecnologia de pré-compilação do evm, que é uma tecnologia de pré-compilação em nível de circuito. - Inovações do lado da cadeia 1) Armazenar provas zk, o problema de custo ainda existe. 2) Provas op-zk, ou seja, só gera a prova zk se for ajustado, e então a cadeia verifica a prova. Se não for ajustado, confirma de forma otimista. Isso deve pertencer a uma nova categoria de opzk. O núcleo resolve dois problemas: o problema do custo das provas zk. É uma solução bastante prática. Introdução detalhada: