Minhas considerações sobre a pista zkvm - Além do Boundless @boundless_xyz e do succinct @SuccinctLabs, que já tiveram TGE, há três zkvm que merecem atenção, todos com boas tecnologias, sendo que os dois primeiros já avançaram em cenários e parcerias, especialmente o Brevis. - O último também tem características técnicas interessantes, mas não há muitas informações disponíveis (incluindo financiamento, etc). Brevis zkvm @brevis_zk - Já mencionado anteriormente, não vou me aprofundar aqui. - Tem uma boa expansão em cenários de negócios e colaborou com vários parceiros influentes, como a linea. Axiom zkvm @axiom_xyz - Foca no openzkvm, com um zkvm modular e personalizável como núcleo. - Ele abstrai a definição do conjunto de instruções ISA (ou seja, o desenvolvimento futuro pode personalizar o conjunto de instruções, facilitando a expansão sobre ele), com uma implementação padrão em risc-v. - O algoritmo do sistema de prova também está em constante mudança, e ele implementou a definição e expansão dessa parte. - Na expansão de negócios, também colabora com alguns parceiros de destaque, como @worldcoin. - Financiamento: 20 milhões de dólares, liderado pela Paradigm e Standard Crypto. - Valida zkvm @valida_xyz - Este foca em um conjunto de instruções zk otimizado influenciado pelo conjunto de instruções RISC, com o núcleo sendo a velocidade de prova zk mais rápida; segundo seus próprios critérios, alcançou a velocidade de prova mais rápida (este critério é o dele). - Ele usa a ferramenta LLVM IR para compilar linguagens de programação tradicionais para Valida ISA, permitindo que linguagens de programação tradicionais escrevam programas zk, como rust, c++, go, c, etc. - Financiamento: não encontrei informações sobre financiamento. Além disso, ainda não é tão popular quanto zk, com um ecossistema próspero, está em uma fase inicial, o FHE, que pertence às principais aplicações criptográficas no blockchain. Já mencionei anteriormente o líder Zama @zama_fhe.