#zkvm continue d'avoir des produits innovants qui sortent Comparé à @boundless_xyz, ce type de zkvm risqué-b général, toutes les preuves sont basées sur les preuves de chaque circuit d'un ensemble d'instructions général. Brevis zkvm adopte - une solution de collage, qui provient à l'origine d'un article de blog de Vitalik Buterin. - identifier les opérations spécifiques qui constituent la majeure partie des calculs et qui sont coûteuses (généralement des valeurs de hachage et des signatures), puis créer des modules spécialisés pour prouver efficacement ces opérations. En combinant un système de preuve d'un ensemble d'instructions vm général mais inefficace avec un système de preuve efficace mais spécialisé, on peut bénéficier des deux. Cela ressemble en fait un peu à la technologie de précompilation de l'evm, qui appartient à la technologie de précompilation au niveau du circuit. - Innovations côté chaîne 1) Preuves zk pures, le problème des coûts existe toujours. 2) Preuves op-zk, c'est-à-dire que seules les preuves ajustées génèrent des preuves zk, puis la chaîne vérifie la preuve. Si cela n'est pas ajusté, on confirme de manière optimiste. Cela devrait appartenir à une nouvelle catégorie opzk. Le cœur résout deux problèmes, le problème du coût des preuves zk. C'est une solution assez pragmatique. Présentation détaillée :

Seulement ajusté = 》 Seulement contesté Correction des fautes d'orthographe

Je viens de discuter avec @brevis_zk, le fondateur, et ils utilisent également un jeu d'instructions RISC-V, combiné avec des circuits précompilés.

Je pense que cette entreprise est la plus susceptible de se développer à grande échelle, car elle a fait beaucoup de conceptions du côté des coûts de son projet.