Joitakin huolenaiheitani zkvm-radalla -zkvm track lisäksi Boundless @boundless_xyz ja ytimekkäät @SuccinctLabs, jotka ovat jo tge:tä - On myös kolme huomion arvoista zkvm:ää, joissa kaikissa on hyvä tekniikka, joista kaksi ensimmäistä ovat edistyneet skenaarioissa ja kumppaneiden laajentamisessa, erityisesti Brevis - Jälkimmäinen on myös teknisesti erottuvampi, mutta tietoa ei jaeta paljoa (mukaan lukien rahoitus jne.) Brevis zkvm @brevis_zk - Aiemmin mainittua zkvm:ää ei ole kuvattu yksityiskohtaisesti tässä -Meillä on hyvä liiketoimintaskenaarioiden laajentuminen ja olemme tehneet yhteistyötä monien vaikutusvaltaisten kumppaneiden, kuten LINEA:n, kanssa Axiom zkvm @axiom_xyz - Pääpaino on OpenZKVM:ssä, jonka ytimenä on modulaarinen ja muokattavissa oleva ZKVM - Hän abstraktoi ISA-käskyjoukon määritelmän (eli käskyjoukkoa voidaan mukauttaa myöhempää kehitystä varten helpottamaan laajennuksia hänen päällään), ja hänellä on oletustoteutus risc-v. - Myös todistusjärjestelmän algoritmi muuttuu jatkuvasti, ja hän toteuttaa myös tämän osan määrittelyn ja laajennuksen -Liiketoiminnan kehittämisen osalta yhtiö tekee yhteistyötä myös joidenkin johtavien kumppaneiden kanssa, kuten @worldcoin - Rahoitus: 20 miljoonaa dollaria, Paradigmin ja Standard Crypton johdolla -Valita zkvm @valida_xyz - Tämä pääpaino on eksklusiivinen zk-käskysarja, joka on optimoitu zk:lle, johon RISC-virtaviivaistettu käskysarja vaikuttaa, ydin on, että zk osoittautuu nopeammaksi, ja omien arviointikriteeriensä mukaan hän on saavuttanut nopeimman todistusnopeuden (tämä standardi on hänen omansa) - Hän kääntää perinteisiä ohjelmointikieliä Valida ISA:ksi LLVM IR -työkaluketjun kautta tukeakseen zk-ohjelmien kirjoittamista perinteisillä ohjelmointikielillä, kuten rust, c++, go, c jne - Rahoitus, rahoitustietoja ei näy Lisäksi FHE:llä, joka ei ole vielä yhtä suosittu kuin zk, on vauras ekosysteemi ja se on kipinän kipinässä, kaikki kuuluvat lohkoketjun kryptografian parhaisiin sovelluksiin, ja johtava Zama @zama_fhe on esitelty aiemmin