#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 - à déterminer 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. C'est en fait un peu comme la technologie de précompilation de l'evm, qui appartient à la technologie de précompilation au niveau des circuits. - Innovations côté chaîne 1) Stockage de preuves zk, le problème des coûts existe toujours. 2) Preuves op-zk, c'est-à-dire que seules les preuves zk sont générées lorsqu'elles sont ajustées, puis la chaîne vérifie la preuve. Si elles ne sont pas ajustées, on confirme de manière optimiste. Cela devrait appartenir à une nouvelle catégorie de opzk. Le cœur résout deux problèmes, celui du coût des preuves zk. C'est une solution assez pragmatique. Présentation détaillée :