#zkvm ci sono ancora prodotti innovativi in arrivo Rispetto a @boundless_xyz, un zkvm risic-b generico, tutte le prove sono basate sulle prove di ogni circuito dell'insieme di istruzioni generico. Brevis zkvm adotta - una soluzione di cucitura con colla, questa soluzione proviene originariamente da un post di V God - identificare le operazioni specifiche che costituiscono la maggior parte dei calcoli e che sono costose (di solito hash e firme), quindi creare moduli specializzati per dimostrare queste operazioni in modo efficiente. Combinando un sistema di prove inefficiente ma generico dell'insieme di istruzioni vm con un sistema di prove efficiente ma specializzato, si possono ottenere i vantaggi di entrambi. In effetti, è un po' simile alla tecnologia di precompilazione dell'evm, che appartiene a questa tecnologia di precompilazione a livello di circuito. - innovazioni nel lato della catena 1) prove zk pure, il problema dei costi esiste sempre. 2) prove op-zk, cioè solo se viene modificato, viene generata la prova zk, e poi la catena verifica la prova. Se non viene modificato, si conferma in modo ottimista. Questo dovrebbe appartenere a una nuova categoria di opzk. Il nucleo risolve due problemi, il problema dei costi delle prove zk. È una soluzione piuttosto pragmatica. Dettagli:

Solo corretto = 》 Solo sfidato Correzione di errore di battitura

Ho appena parlato con @brevis_zk, il fondatore, e mi ha detto che il set di istruzioni che utilizzano è RISC-V, combinato con circuiti precompilati.

Sembra che questa azienda sia la più probabile per scalare, perché ha fatto molte progettazioni sul lato dei costi della sua soluzione.