Mijn aandacht voor de zkvm-ruimte - Naast de al gelanceerde TGE van Boundless @boundless_xyz en succinct @SuccinctLabs, zijn er nog drie zkvm-projecten die de moeite waard zijn om te volgen, allemaal met goede technologie. De eerste twee hebben enige vooruitgang geboekt in hun toepassingen en partnerschappen, vooral Brevis. - De laatste heeft ook enkele technische kenmerken, maar er is niet veel informatie beschikbaar (inclusief financiering en dergelijke). Brevis zkvm @brevis_zk - Zoals eerder besproken, zal ik hier niet verder op ingaan. - Het heeft een goede uitbreiding in zakelijke toepassingen en heeft samengewerkt met verschillende invloedrijke partners zoals linea. Axiom zkvm @axiom_xyz - Dit richt zich op openzkvm, met een modulair en aanpasbaar zkvm als kern. - Het heeft een ISA-instructiesetdefinitie geabstraheerd (wat betekent dat ontwikkelaars in de toekomst hun eigen instructieset kunnen definiëren, wat uitbreiding vergemakkelijkt), met een standaardimplementatie van riscv. - Het bewijsalgoritme verandert ook voortdurend, en ze hebben deze definitie en uitbreiding gerealiseerd. - In zakelijke uitbreiding hebben ze ook samengewerkt met enkele toonaangevende partners, zoals @worldcoin. - Financiering: 20 miljoen dollar, geleid door Paradigm en Standard Crypto. - Valida zkvm @valida_xyz - Dit richt zich op een exclusieve zk-instructieset die is geoptimaliseerd voor zk, beïnvloed door de RISC-architectuur, met als kern een snellere zk-bewijs snelheid. Volgens zijn eigen evaluatiestandaard heeft het de snelste bewijs snelheid bereikt (deze standaard is van henzelf). - Ze gebruiken de LLVM IR-toolchain om traditionele programmeertalen te compileren naar Valida ISA, zodat traditionele programmeertalen zoals rust, c++, go, c, enz. kunnen worden gebruikt om zk-programma's te schrijven. - Financiering: er zijn geen financieringsinformatie beschikbaar. Daarnaast is er nog FHE, dat nog niet zo populair is als zk en zich in een vroeg stadium bevindt, maar behoort tot de toptoepassingen van cryptografie binnen blockchain. Hier is eerder de toonaangevende Zama @zama_fhe besproken.