今天看到大家都在說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 應用生態的底層統一支付與安全基礎設施。

從技術上來看，由用戶、證明者和質押者組成整個生態系統
可以從西幻的角度來更形象的理解，用戶相當於一個小鎮的村民們，發出委托，提供懸賞，證明者相當於勇者上交一定押金，來接懸賞，質押者相當於冒險者酒館官方，通過對接村民和勇者，撮合他們完成任務，最後賺取分成。