Это почти как Uber для нулевых доказательств знания: приложения — это пассажиры, проверы — это водители, а сеть следит за тем, чтобы все играли честно.
SP1 — Система zkVM
Теперь давайте поговорим о SP1. Это собственная zkVM (zero-knowledge виртуальная машина) от Succinct. Если вы никогда не имели с ней дела, представьте, что это компьютер-доказатель, который может выполнять обычный код (как программы на Rust), а затем также выдавать доказательство, которое подтверждает, что этот код был выполнен правильно. Что мне нравится здесь, так это то, что SP1 не заблокирован за каким-то специальным языком программирования, вы можете просто использовать Rust с стандартной библиотекой. Если вы разработчик, это имеет большое значение, потому что вам не нужно учить какую-то инопланетную систему. У них даже есть поддержка GPU, чтобы сделать доказательство быстрым, так что это не просто теория, а на самом деле практично.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Это почти как Uber для нулевых доказательств знания: приложения — это пассажиры, проверы — это водители, а сеть следит за тем, чтобы все играли честно.
SP1 — Система zkVM
Теперь давайте поговорим о SP1. Это собственная zkVM (zero-knowledge виртуальная машина) от Succinct. Если вы никогда не имели с ней дела, представьте, что это компьютер-доказатель, который может выполнять обычный код (как программы на Rust), а затем также выдавать доказательство, которое подтверждает, что этот код был выполнен правильно.
Что мне нравится здесь, так это то, что SP1 не заблокирован за каким-то специальным языком программирования, вы можете просто использовать Rust с стандартной библиотекой. Если вы разработчик, это имеет большое значение, потому что вам не нужно учить какую-то инопланетную систему. У них даже есть поддержка GPU, чтобы сделать доказательство быстрым, так что это не просто теория, а на самом деле практично.
$про
{будущее}(ПРОВЕUSDT)