今天看到大家都在说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 计算需求设计的代币形态，它突破了传统意义上服务单链的限制，同时服务于Eth主网，sol zk brige，BTC brige，它是整个 ZK 应用生态的底层统一支付与安全基础设施。

从技术上来看，由用户、证明者和质押者组成整个生态系统
可以从西幻的角度来更形象的理解，用户相当于一个小镇的村民们，发出委托，提供悬赏，证明者相当于勇者上交一定押金，来接悬赏，质押者相当于冒险者酒馆官方，通过对接村民和勇者，撮合他们完成任务，最后赚取分成。