Alcuni punti di interesse nel settore zkvm - Oltre a Boundless @boundless_xyz e Succinct @SuccinctLabs, che hanno già effettuato il TGE, ci sono altri tre zkvm da tenere d'occhio, tutti con buone tecnologie. I primi due hanno fatto progressi in termini di scenari e partnership, in particolare Brevis. - L'ultimo ha anche caratteristiche tecniche interessanti, ma non ci sono molte informazioni condivise (compresi finanziamenti, ecc.) Brevis zkvm @brevis_zk - Già presentato in precedenza, non mi dilungherò qui. - Ha una buona espansione nei casi d'uso e ha collaborato con diversi partner influenti come linea. Axiom zkvm @axiom_xyz - Si concentra su openzkvm, con un zkvm modulare e personalizzabile come nucleo. - Ha astratto la definizione del set di istruzioni ISA (il che significa che gli sviluppatori futuri possono personalizzare il set di istruzioni, facilitando l'espansione su di esso), con un'implementazione predefinita di risc-v. - Gli algoritmi del sistema di prova sono in continua evoluzione e ha implementato anche la definizione e l'espansione di questa parte. - Ha collaborato con alcuni partner di alto profilo, come @worldcoin. - Finanziamento: 20 milioni di dollari, guidato da Paradigm e Standard Crypto. - Valida zkvm @valida_xyz - Questo si concentra su un set di istruzioni zk ottimizzato influenzato dal set di istruzioni RISC, con l'obiettivo di velocizzare la prova zk. Secondo i suoi standard di valutazione, ha raggiunto la velocità di prova più rapida (questo standard è il suo). - Utilizza la toolchain LLVM IR per compilare linguaggi di programmazione tradizionali in Valida ISA, supportando così linguaggi di programmazione tradizionali per scrivere programmi zk, come rust, c++, go, c, ecc. - Finanziamento: non ho visto alcuna informazione sui finanziamenti. Inoltre, c'è anche l'FHE, che non è ancora così popolare come zk, ma è un'applicazione di crittografia di alto livello nel blockchain, e in precedenza ho menzionato il leader Zama @zama_fhe.