Algunas observaciones sobre la pista zkvm - Además de Boundless @boundless_xyz y succinct @SuccinctLabs, que ya han tenido su TGE, hay tres zkvm que vale la pena seguir, todos con buena tecnología, donde los dos primeros han tenido algunos avances en escenarios y expansión de socios, especialmente Brevis. - El último también tiene características técnicas interesantes, pero no se ha compartido mucha información (incluyendo financiamiento, etc.) Brevis zkvm @brevis_zk - zkvm que se presentó anteriormente, aquí no se profundiza más. - Tiene una buena expansión en escenarios de negocio y ha colaborado con varios socios influyentes como linea. Axiom zkvm @axiom_xyz - Se centra en openzkvm, con un zkvm modular y personalizable como núcleo. - Ha abstraído la definición del conjunto de instrucciones ISA (lo que significa que el desarrollo posterior puede personalizar el conjunto de instrucciones, facilitando la expansión sobre él), con una implementación predeterminada de riscv. - El algoritmo del sistema de prueba también está en constante cambio, y ha implementado la definición y expansión de esta parte. - En términos de expansión de negocios, también ha colaborado con algunos socios destacados, como @worldcoin. - Financiamiento: 20 millones de dólares, liderado por Paradigm y Standard Crypto. - Valida zkvm @valida_xyz - Este se centra en un conjunto de instrucciones zk optimizado influenciado por el conjunto de instrucciones RISC, con el núcleo de que la velocidad de prueba zk es más rápida; bajo su propio estándar de evaluación, ha alcanzado la velocidad de prueba más rápida (este estándar es el suyo propio). - A través de la cadena de herramientas LLVM IR, compila lenguajes de programación tradicionales a Valida ISA, permitiendo escribir programas zk en lenguajes de programación tradicionales como rust, c++, go, c, etc. - Financiamiento, no se ha visto ninguna información de financiamiento. Además, aún no hay un zk tan popular y con un ecosistema próspero, en la fase inicial de FHE, que pertenece a las aplicaciones criptográficas de primer nivel en blockchain. Aquí se ha presentado anteriormente el líder Zama @zama_fhe.