Це майже як Uber для нульових доказів: програми - це пасажири, провери - це водії, а мережа забезпечує чесну гру для всіх.
SP1 — ЗКВМ
Тепер давайте поговоримо про SP1. Це власна zkVM (нульової обізнаності віртуальна машина) Succinct. Якщо ви ніколи не мали справи з нею раніше, уявіть собі її як комп'ютер-доказчик, який може виконувати звичайний код (такі як програми Rust), але при цьому також генерувати доказ, що підтверджує, що він правильно виконав цей код. Мені подобається тут те, що SP1 не заблоковано за якоюсь спеціальною мовою програмування, ви можете просто використовувати Rust з стандартною бібліотекою. Якщо ви розробник, це велика справа, адже вам не потрібно вивчати якусь чужу систему. Вони навіть мають підтримку GPU, щоб прискорити доказування, тому це не лише теорія, а насправді практично.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
Це майже як Uber для нульових доказів: програми - це пасажири, провери - це водії, а мережа забезпечує чесну гру для всіх.
SP1 — ЗКВМ
Тепер давайте поговоримо про SP1. Це власна zkVM (нульової обізнаності віртуальна машина) Succinct. Якщо ви ніколи не мали справи з нею раніше, уявіть собі її як комп'ютер-доказчик, який може виконувати звичайний код (такі як програми Rust), але при цьому також генерувати доказ, що підтверджує, що він правильно виконав цей код.
Мені подобається тут те, що SP1 не заблоковано за якоюсь спеціальною мовою програмування, ви можете просто використовувати Rust з стандартною бібліотекою. Якщо ви розробник, це велика справа, адже вам не потрібно вивчати якусь чужу систему. Вони навіть мають підтримку GPU, щоб прискорити доказування, тому це не лише теорія, а насправді практично.
$про
{майбутнє}(ПРОVEUSDT)