這幾乎就像是零知識證明的Uber:應用程序是乘客,證明者是司機,網路確保每個人都公平競爭。
SP1 — zkVM
現在,讓我們談談SP1。這是Succinct自己的zkVM (零知識虛擬機)。如果你從未接觸過它,可以把它想象成一個可以運行普通代碼的證明計算機(,比如Rust程序),但也可以輸出一個證明,證明它正確地運行了該代碼。
我喜歡這裏的一點是,SP1並不是被鎖定在某種特殊的編碼語言中,你可以只用Rust和標準庫。如果你是開發者,這非常重要,因爲你不必學習某個陌生的系統。他們甚至提供GPU支持來加快證明速度,所以這不僅僅是理論,而是實際上可行的。
$大佬
{future}(PROVEUSDT)
查看原文