今天看到大家都在说succinct项目,看了看他主要正在开发 SP1,一个高性能、开源的零知识虚拟机(zkVM),支持开发者使用 Rust 编写 ZKPs。
主要想要解决三个问题:
1.简化zk的开发门槛,让开发者易于使用,项目方便于接入。
2.提供高性能,低门槛的zk基础设施,同时帮助以太链减负,将执行交易转为验证证明。
3.更好的应对传统web3的三大不可能三角(安全性、去中心化与可扩展性兼顾),使用链下批处理 + 链上轻量验证,即使用微型电脑像树莓派,香橙派也能验证数千笔交易。
目前Morph,Polygon等39个项目已经在用,且获得5500w美元融资,投资方包括bankless Ventures,ZKValidator等,以及获得白宫合规政策背书,其代币 $prove 也即将上线等各大交易所。项目创始人技术背景牛逼, Uma @pumatheuma 毕业于 MIT 数学 + 计算机双学位,曾任职 Google Brain AI 研究组;John @jtguibas毕业于斯坦福计算机系,曾实习于 NVIDIA 并获 Thiel Fellowship 资助,全职创业
从代币角度, $PROVE = ZK 生态的结算货币
$PROVE 并非某一个 ZK 应用的治理代币,而是一个为整个零知识证明网络提供结算、激励与安全保障的基础代币,也是一种围绕 ZK 计算需求设计的代币形态,它