#zkvm ainda tem produtos inovadores a surgir Comparado com @boundless_xyz, que é um zkvm riscv 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 constituem a maior parte dos cálculos e que têm custos elevados (geralmente valores de hash e assinaturas), e então criar módulos especializados para provar essas operações de forma eficiente. Ao combinar 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 à técnica de pré-compilação do evm, que é uma técnica de pré-compilação a nível de circuito. - Inovações em relação à cadeia 1) Provas zk puras, o problema de custo ainda existe. 2) Provas op-zk, ou seja, só gera uma prova zk se for ajustado, e então a cadeia verifica a prova. Se não for ajustado, confirma-se 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:

Somente ajustado = 》 Somente desafiado Correção de erro de digitação

Acabei de conversar com @brevis_zk, o fundador, e eles também utilizam um conjunto de instruções RISC-V, combinado com circuitos pré-compilados.

Sinto que esta empresa é a mais provável de escalar, pois fez muitos designs do lado do custo da sua proposta.