这几乎就像是零知识证明的Uber:应用程序是乘客,证明者是司机,网络确保每个人都公平竞争。
SP1 — zkVM
现在,让我们谈谈SP1。这是Succinct自己的zkVM (零知识虚拟机)。如果你从未接触过它,可以把它想象成一个可以运行普通代码的证明计算机(,比如Rust程序),但也可以输出一个证明,证明它正确地运行了该代码。
我喜欢这里的一点是,SP1并不是被锁定在某种特殊的编码语言中,你可以只用Rust和标准库。如果你是开发者,这非常重要,因为你不必学习某个陌生的系统。他们甚至提供GPU支持来加快证明速度,所以这不仅仅是理论,而是实际上可行的。
$大佬
{future}(PROVEUSDT)
查看原文