我在zkvm賽道的一些關注 -zkvm賽道除了已經tge的Boundless @boundless_xyz 和succinct @SuccinctLabs 之外 -還有三個zkvm 值得關注，都有不錯的技術，其中前兩個在場景和合作伙伴拓展上都有一些進展，尤其是Brevis -最後一個也在技術上比較有特點，但沒有太多信息分享出來（包括融資等） Brevis zkvm @brevis_zk -前面介紹過的zkvm，這裡不過多闡述 -在業務場景上有很好的拓展，合作了不少像linea這類的有影響力的合作伙伴 Axiom zkvm @axiom_xyz -主打的是openzkvm，以模塊化可定製zkvm為核心 -他抽象出isa指令集定義（也就是說後續開發可以自定義指令集，方便在他上面進行擴展），有默認實現risc-v， -證明系統算法也不斷的變化，他也實現了這個部分的定義和擴展 -業務拓展上也合作部分頭部合作伙伴，如@worldcoin -融資：2000 萬美元，Paradigm 和 Standard Crypto 領投 -Valida zkvm @valida_xyz -這個主打的是受RISC精簡指令集影響的為zk優化的專屬zk指令集，核心是zk證明速度更快，他自己的評估標準下，達到了最快的證明速度（這個標準是他自己的） -他通過LLVM IR工具鏈把傳統編程語言編譯為 Valida ISA，從而支持傳統的編程語言寫zk程序，如rust，c++，go，c等 -融資，沒有看到任何融資信息 另外就是還沒zk這麼火，生態繁榮的，處於星星之火的FHE， 都屬於區塊鏈裡密碼學的頂級應用， 這裡前面有介紹過龍頭 Zama @zama_fhe