這幾乎就像是零知識證明的Uber:應用程序是乘客,證明者是司機,網路確保每個人都公平競爭。



SP1 — zkVM

現在,讓我們談談SP1。這是Succinct自己的zkVM (零知識虛擬機)。如果你從未接觸過它,可以把它想象成一個可以運行普通代碼的證明計算機(,比如Rust程序),但也可以輸出一個證明,證明它正確地運行了該代碼。
我喜歡這裏的一點是,SP1並不是被鎖定在某種特殊的編碼語言中,你可以只用Rust和標準庫。如果你是開發者,這非常重要,因爲你不必學習某個陌生的系統。他們甚至提供GPU支持來加快證明速度,所以這不僅僅是理論,而是實際上可行的。

$大佬
{future}(PROVEUSDT)
ZERO-3.01%
PROVE-2.2%
OWN-0.01%
查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 讚賞
  • 留言
  • 轉發
  • 分享
留言
0/400
暫無留言
交易,隨時隨地
qrCode
掃碼下載 Gate App
社群列表
繁體中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)