Оригінальні тексти: Барт Стівенс, Раян Спраул і Юань Хан Лі,
《Демократизація обчислень без знань: потужність мережі Bonsai від RISC Zero》
Редактор: Zen, PANews
19 липня RISC Zero, інфраструктурна компанія, покликана допомагати розробникам розробляти програмне забезпечення, що не відповідає нулю, оголосила про завершення раунду фінансування серії A на суму 40 мільйонів доларів США, який очолює Blockchain Capital за участі Galaxy Digital, IOSG та інших. Blockchain Capital як провідний інвестор написав статтю, в якій аналізує розвиток обчислень без знань, характеристики та переваги RISC Zero, а PANews зібрав її.
Уявіть собі світ, де конфіденційність даних, безпека та довіра більше не є проблемою, де ланцюжки постачання програмного забезпечення є прозорими та такими, що піддаються перевірці, і де нове покоління програм може використовувати потужність обчислень без знань для вирішення деяких із найнагальніших проблем цифрова ера. Це обіцянка обчислень без знань (ZK) і чому ми інвестували в RISC Zero, новаторську компанію, яка прагне демократизувати доступ до ZK через свою мережу Bonsai.
Обчислення без знань — це революційний примітив, який дозволяє програмам і протоколам використовувати три ключові властивості: простоту, правильність і відсутність знань. Це означає, що, перевіряючи ZK-доказ (правильність), верифікатор може знати з майже точною гарантією, що обчислення було виконано правильно.
Крім того, підтверджене доказ буде набагато лаконічнішим, ніж оригінальне обчислення, і властивість доказу з нульовим знанням також можна використовувати, щоб гарантувати, що верифікатор нічого не знає про саме обчислення. Ця унікальна комбінація властивостей має далекосяжні наслідки та забезпечує новий спосіб перевірки інформації. Разом ці властивості врівноважують потребу в конфіденційності, безпеці та довірі, пропонуючи потенціал для безпечнішого та приватнішого цифрового світу. Але є ще деякі перешкоди, перш ніж ZK зможе повністю розкрити свій потенціал.
По-перше, виконання обчислень у ZK займає надто багато часу та витрат. Щоб увімкнути складні обчислення в ZK, необхідно різко скоротити час і вартість перевірки. Хороша новина полягає в тому, що вони різко скорочуються: траєкторії часу та витрат на перевірку ZK відповідають відомим тенденціям в історії технологій — будь то закон Мура (вартість обчислень зменшується вдвічі кожні два роки), закон Флетлі (вартість послідовність повільної швидкості падіння людини) або закон Клайда (щільність диска подвоюється приблизно кожні 13 місяців). Останні архітектурні досягнення в системах доказів (Plonky2, Hyperplonk, STARK) і досягнення в базовій криптографії (Poseidon) зменшують накладні витрати, необхідні для створення ZK-доказів будь-яких обчислень. І прогрес у цих сферах продовжуватиме відбуватися подібними темпами (особливо нещодавній приплив талантів у ZK), доводячи, що накладні витрати також виграють від прогресу в апаратному прискоренні (MSM, NTT), чого досі не використовували.
Ще однією величезною перешкодою для масового впровадження ZK є дуже складна математика та криптографія, притаманна системам ZK. Глибина та рівень досвіду, необхідні для впровадження інновацій ZK, доступні лише невеликій групі висококваліфікованих розробників технологій.
В ідеалі розробники могли б вільно писати програми своєю улюбленою мовою, водночас маючи можливість підтверджувати обчислення з нульовими знаннями без необхідності вручну писати вхідні дані та проектувати схеми на низькорівневій, специфічній мові програмування ZK. Саме тут платформа Bonsai від RISC Zero змінила правила гри для розробників у всьому світі, і чому ми інвестували в RISC Zero.
Створивши віртуальну машину з нульовим знанням (zkVM), яка емулює архітектуру набору інструкцій RISC-V (ISA), RISC Zero побудував систему, здатну підтверджувати виконання коду низького рівня. Оскільки ISA є мостом між зрозумілим для людини кодом і машинно-інтерпретованими інструкціями, це досягнення означає, що мережа Bonsai може довести, що будь-яка програма високого рівня може бути скомпільована до цієї архітектури. Оскільки більшість сучасних мов програмування сумісні з RISC-V, RISC Zero's Bonsai здатний виконувати практично будь-яку довільну комп'ютерну програму без знань.
У майбутньому, коли обчислення з нульовими знаннями (ZK) стануть поширеними, багато раніше неможливих застосувань стануть можливими. Це включає не лише програми на основі Ethereum, які використовують мережу Bonsai RISC Zero як співпроцесор (виконуючи ресурсомістку роботу поза ланцюгом перед перевіркою результатів у ланцюзі), але також поширюватиметься за межі криптовалют. Bonsai, наприклад, дозволяє хакерам «білих капелюхів» довести існування дірок у безпеці та помилок, не розкриваючи їх безпосередньо. Він також може запобігти майбутнім атакам ланцюга поставок на програмне забезпечення, дозволяючи користувачам завантажувати та перевіряти докази ZK, щоб переконатися, що код, який вони запускають, попередньо перевірений у Bonsai. Найбільш захоплюючим є те, що широке впровадження Bonsai може призвести до абсолютно нових випадків використання, яких ще не можна було собі уявити.
Окрім вражаючого технологічного прориву, за RISC Zero стоїть сильна й унікальна команда. **Троє співзасновників, Браян Ретфорд, Джеремі Брюстл і Френк Лауб, знайомі більше 20 років. Їхній спільний досвід включає співзасновництво кількох компаній, останньою з яких стала компанія з оптимізації та компіляції штучного інтелекту, яку зрештою придбала Intel. **
Кожен член тріо привносить багатий досвід у RISC Zero: Брайан працював над системами ціноутворення та вимірювання на Google Cloud Platform; Джеремі все життя захоплюється математикою, працює над прискоренням графічного процесора для генетичного секвенування, а також має досвід криптографії, висока продуктивність обчислювальної техніки (HPC) і безпеки; Френк має великий досвід компіляторів і створив численні кодові бази. Завдяки спільній історії та різноманітним наборам навичок команда RISC Zero має унікальні можливості для того, щоб донести обчислення без знань до мас, потенційно змінюючи цифровий ландшафт у цьому процесі.
Дивлячись у майбутнє, де обчислення без знань будуть широко доступними, можливості для інновацій безмежні. Здатна підтримувати широкий спектр мов програмування, мережа Bonsai від RISC Zero демократизує обчислення ZK і дозволить розробникам створювати безпечні, приватні та ненадійні програми в різних доменах. Від посилення заходів кібербезпеки до підвищення довіри до ланцюгів постачання програмного забезпечення до різкого збільшення обчислювальної потужності, доступної для мережевих додатків, потенційний вплив обчислень без знань є величезним. Швидке скорочення часу та витрат на підтвердження ZK, лояльна команда RISC Zero та поява Bonsai як універсальної обчислювальної платформи є провісниками нової ери обчислень — з конфіденційністю, безпекою та довірою, вбудованими в наш цифровий світ.
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
Blockchain Capital: Чому ми очолили раунд фінансування 40 мільйонів доларів інфраструктурної компанії ZK RISC Zero?
Оригінальні тексти: Барт Стівенс, Раян Спраул і Юань Хан Лі,
《Демократизація обчислень без знань: потужність мережі Bonsai від RISC Zero》
Редактор: Zen, PANews
19 липня RISC Zero, інфраструктурна компанія, покликана допомагати розробникам розробляти програмне забезпечення, що не відповідає нулю, оголосила про завершення раунду фінансування серії A на суму 40 мільйонів доларів США, який очолює Blockchain Capital за участі Galaxy Digital, IOSG та інших. Blockchain Capital як провідний інвестор написав статтю, в якій аналізує розвиток обчислень без знань, характеристики та переваги RISC Zero, а PANews зібрав її.
Уявіть собі світ, де конфіденційність даних, безпека та довіра більше не є проблемою, де ланцюжки постачання програмного забезпечення є прозорими та такими, що піддаються перевірці, і де нове покоління програм може використовувати потужність обчислень без знань для вирішення деяких із найнагальніших проблем цифрова ера. Це обіцянка обчислень без знань (ZK) і чому ми інвестували в RISC Zero, новаторську компанію, яка прагне демократизувати доступ до ZK через свою мережу Bonsai.
Обчислення без знань — це революційний примітив, який дозволяє програмам і протоколам використовувати три ключові властивості: простоту, правильність і відсутність знань. Це означає, що, перевіряючи ZK-доказ (правильність), верифікатор може знати з майже точною гарантією, що обчислення було виконано правильно.
Крім того, підтверджене доказ буде набагато лаконічнішим, ніж оригінальне обчислення, і властивість доказу з нульовим знанням також можна використовувати, щоб гарантувати, що верифікатор нічого не знає про саме обчислення. Ця унікальна комбінація властивостей має далекосяжні наслідки та забезпечує новий спосіб перевірки інформації. Разом ці властивості врівноважують потребу в конфіденційності, безпеці та довірі, пропонуючи потенціал для безпечнішого та приватнішого цифрового світу. Але є ще деякі перешкоди, перш ніж ZK зможе повністю розкрити свій потенціал.
По-перше, виконання обчислень у ZK займає надто багато часу та витрат. Щоб увімкнути складні обчислення в ZK, необхідно різко скоротити час і вартість перевірки. Хороша новина полягає в тому, що вони різко скорочуються: траєкторії часу та витрат на перевірку ZK відповідають відомим тенденціям в історії технологій — будь то закон Мура (вартість обчислень зменшується вдвічі кожні два роки), закон Флетлі (вартість послідовність повільної швидкості падіння людини) або закон Клайда (щільність диска подвоюється приблизно кожні 13 місяців). Останні архітектурні досягнення в системах доказів (Plonky2, Hyperplonk, STARK) і досягнення в базовій криптографії (Poseidon) зменшують накладні витрати, необхідні для створення ZK-доказів будь-яких обчислень. І прогрес у цих сферах продовжуватиме відбуватися подібними темпами (особливо нещодавній приплив талантів у ZK), доводячи, що накладні витрати також виграють від прогресу в апаратному прискоренні (MSM, NTT), чого досі не використовували.
Ще однією величезною перешкодою для масового впровадження ZK є дуже складна математика та криптографія, притаманна системам ZK. Глибина та рівень досвіду, необхідні для впровадження інновацій ZK, доступні лише невеликій групі висококваліфікованих розробників технологій.
В ідеалі розробники могли б вільно писати програми своєю улюбленою мовою, водночас маючи можливість підтверджувати обчислення з нульовими знаннями без необхідності вручну писати вхідні дані та проектувати схеми на низькорівневій, специфічній мові програмування ZK. Саме тут платформа Bonsai від RISC Zero змінила правила гри для розробників у всьому світі, і чому ми інвестували в RISC Zero.
Створивши віртуальну машину з нульовим знанням (zkVM), яка емулює архітектуру набору інструкцій RISC-V (ISA), RISC Zero побудував систему, здатну підтверджувати виконання коду низького рівня. Оскільки ISA є мостом між зрозумілим для людини кодом і машинно-інтерпретованими інструкціями, це досягнення означає, що мережа Bonsai може довести, що будь-яка програма високого рівня може бути скомпільована до цієї архітектури. Оскільки більшість сучасних мов програмування сумісні з RISC-V, RISC Zero's Bonsai здатний виконувати практично будь-яку довільну комп'ютерну програму без знань.
У майбутньому, коли обчислення з нульовими знаннями (ZK) стануть поширеними, багато раніше неможливих застосувань стануть можливими. Це включає не лише програми на основі Ethereum, які використовують мережу Bonsai RISC Zero як співпроцесор (виконуючи ресурсомістку роботу поза ланцюгом перед перевіркою результатів у ланцюзі), але також поширюватиметься за межі криптовалют. Bonsai, наприклад, дозволяє хакерам «білих капелюхів» довести існування дірок у безпеці та помилок, не розкриваючи їх безпосередньо. Він також може запобігти майбутнім атакам ланцюга поставок на програмне забезпечення, дозволяючи користувачам завантажувати та перевіряти докази ZK, щоб переконатися, що код, який вони запускають, попередньо перевірений у Bonsai. Найбільш захоплюючим є те, що широке впровадження Bonsai може призвести до абсолютно нових випадків використання, яких ще не можна було собі уявити.
Окрім вражаючого технологічного прориву, за RISC Zero стоїть сильна й унікальна команда. **Троє співзасновників, Браян Ретфорд, Джеремі Брюстл і Френк Лауб, знайомі більше 20 років. Їхній спільний досвід включає співзасновництво кількох компаній, останньою з яких стала компанія з оптимізації та компіляції штучного інтелекту, яку зрештою придбала Intel. **
Кожен член тріо привносить багатий досвід у RISC Zero: Брайан працював над системами ціноутворення та вимірювання на Google Cloud Platform; Джеремі все життя захоплюється математикою, працює над прискоренням графічного процесора для генетичного секвенування, а також має досвід криптографії, висока продуктивність обчислювальної техніки (HPC) і безпеки; Френк має великий досвід компіляторів і створив численні кодові бази. Завдяки спільній історії та різноманітним наборам навичок команда RISC Zero має унікальні можливості для того, щоб донести обчислення без знань до мас, потенційно змінюючи цифровий ландшафт у цьому процесі.
Дивлячись у майбутнє, де обчислення без знань будуть широко доступними, можливості для інновацій безмежні. Здатна підтримувати широкий спектр мов програмування, мережа Bonsai від RISC Zero демократизує обчислення ZK і дозволить розробникам створювати безпечні, приватні та ненадійні програми в різних доменах. Від посилення заходів кібербезпеки до підвищення довіри до ланцюгів постачання програмного забезпечення до різкого збільшення обчислювальної потужності, доступної для мережевих додатків, потенційний вплив обчислень без знань є величезним. Швидке скорочення часу та витрат на підтвердження ZK, лояльна команда RISC Zero та поява Bonsai як універсальної обчислювальної платформи є провісниками нової ери обчислень — з конфіденційністю, безпекою та довірою, вбудованими в наш цифровий світ.