#zkvm 仍然還有創新的產品出來 相比 @boundless_xyz 這類通用的risc-b zkvm，所有證明都是基於通用指令集每個電路的證明。Brevis zkvm 採用了 - 膠水縫合方案，這個方案最早來源v神的一篇博文 - 確定構成大部分計算的那些開銷高昂的特定操作（通常是哈希值和簽名），然後創建專門的模塊來高效地證明這些操作。將低效但通用的 vm 指令集 的證明系統與高效但專業的證明系統結合起來，就能兼得兩者之長。其實也有點像evm的預編譯技術，這類屬於電路級的預編譯技術 - 鏈方面創新 1）純zk證明，成本問題始終還是存在的。 2）op-zk證明，也就是說只有被調整了，才生成zk證明，然後讓鏈去驗證證明。如果不被調整就樂觀的確認。這個應該屬於opzk新品類。 核心解決兩個問題，zk證明成本的問題。挺務實的方案 詳細介紹：

只有被調整了 = 》只有被挑戰了 錯別字更正

剛跟@brevis_zk，founder聊了下，他們採用的指令集也是RISC-V ，結合預編譯 precompiles電路。

感覺這家是最有可能規模化的，因為他的方案成本側做了很多設計。