今天看到大家都在說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 計算需求設計的代幣形態,它
查看原文