我在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