#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 hanno costi elevati (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 settore della blockchain 1) Conservare le prove zk, il problema dei costi esiste sempre. 2) Prove op-zk, cioè solo se viene modificato, viene generata la prova zk, e poi la blockchain 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: