#zkvm Все ще виходять інноваційні продукти На відміну від загальних RISC-B zkvm, таких як @boundless_xyz, всі докази базуються на доведенні кожної схеми в загальному наборі команд. Бревіс zkvm прийнято - Схема зшивання клеєм, ця схема вперше прийшла з допису в блозі V God - Визначте ті дорогі конкретні операції (зазвичай хеші та підписи), які складають більшу частину обчислень, а потім створіть спеціалізовані модулі для ефективної перевірки цих операцій. Поєднання неефективної, але загальної системи перевірки набору інструкцій віртуальної машини з ефективною, але спеціалізованою системою перевірки дає вам найкраще з обох світів. Насправді, існує також трохи технології попередньої компіляції, як-от EVM, яка належить до технології попередньої компіляції на рівні схеми - Інновації в ланцюжку 1) Чистий доказ ZK, проблема вартості завжди існує. 2) Доказ OP-ZK, що означає, що тільки після налаштування генерується доказ ZK, а потім дайте ланцюгу перевірити доказ. Якщо його не коригувати, то це оптимістичне підтвердження. Це має належати до нової категорії ОПЗК. Ядро вирішує дві проблеми, проблему вартості доказу zk. Це дуже прагматичний план Деталі:

Лише скориговано = 》Лише оскаржене виправлення друкарських помилок

Просто поспілкувалися з засновником @brevis_zk, і вони також використовували набір інструкцій RISC-V у поєднанні з попередньо скомпільованими схемами.

Я відчуваю, що цей, швидше за все, буде масштабований, тому що він зробив багато дизайну з точки зору вартості свого плану.