Демократизація обчислень без знань: потужність мережі Bonsai від RISC Zero - Blockchain Capital

Перевидано Платоном

читають: 0

By Барт Стівенс, Раян Спраул та Юань Хань Лі

Уявіть собі світ, де конфіденційність даних, безпека та довіра більше не є предметом занепокоєння, де ланцюги постачання програмного забезпечення є прозорими та такими, що піддаються перевірці, і де нове покоління додатків може використовувати потужність обчислень із нульовим знанням для вирішення деяких із найнагальніших проблем цифрова ера. Це обіцянка обчислень без знань (ZK) і причина, чому ми інвестуємо в RISC Нуль, новаторська компанія, яка прагне демократизувати доступ до ЗК через свою мережу Bonsai.

Обчислення з нульовим знанням (ZK) — це революційний примітив, який дозволяє програмам і протоколам використовувати три ключові властивості: стислість, правильність і нульове знання. Це означає, що, перевіряючи ZK-доказ (правильність), верифікатор знає — з майже математичною гарантією — що обчислення було виконано правильно.

Крім того, підтверджене доказ буде набагато меншим (короткий), ніж оригінальне обчислення, і властивість доказу нульового знання також може бути використана, щоб гарантувати, що верифікатор нічого не дізнається про саме обчислення. Це унікальне поєднання властивостей має далекосяжні наслідки та забезпечує новий спосіб перевірки інформації. Разом ці властивості врівноважують потреби в конфіденційності, безпеці та довірі, пропонуючи потенціал для більш безпечного та приватного цифрового світу. Але кілька перешкод залишаються перед тим, як ZK зможе повністю розкрити свій потенціал.

По-перше, виконання обчислень у ZK займає надто багато часу та є занадто дорогим. Перш ніж комплексні обчислення в ZK стануть практичними, час і вартість перевірки повинні різко скоротитися. Хороша новина полягає в тому, що вони різко скорочуються: траєкторія часу та витрат на перевірку ZK відповідає відомій тенденції в історії технологій — будь то закон Мура, згідно з яким витрати на обчислення зменшувалися вдвічі кожні два роки, чи закон Флетлі, коли вартість для секвенування геному людини впав із ще більшою швидкістю, або закон Крайдера, згідно з яким щільність магнітних дисків подвоюється приблизно кожні 13 місяців. Останні архітектурні досягнення в системах підтвердження (Plonky2, Hyperplonk, STARKs) разом із досягненнями в базовій криптографії (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, де він працював над системами ціноутворення та обліку; Джеремі, ентузіаст математики протягом усього життя, працював над прискоренням GPU для секвенування генів і має досвід у криптографії, HPC і безпеці; і Френк, який має великий досвід компіляторів і створив численні кодові бази. З їхньою спільною історією та різноманітним набором навичок, RISC Нуль Команда унікально готова надати масам обчислення з нульовим знанням і, потенційно, змінити цифровий ландшафт у процесі.

Дивлячись у майбутнє, де широко поширені обчислення з нульовими знаннями, можливості для інновацій безмежні. Мережа Bonsai від RISC Zero, яка підтримує широкий спектр мов програмування, демократизує обчислення ZK і дозволить розробникам створювати безпечні, приватні та ненадійні програми в різних областях. Від посилення заходів кібербезпеки до підвищення довіри до ланцюгів постачання програмного забезпечення та різкого збільшення обчислювальної потужності, доступної для мережевих додатків, потенційний вплив обчислень без знань є величезним. Поєднання швидкого скорочення часу та витрат на перевірку ZK, відданої команди в RISC Zero та появи Bonsai як універсальної обчислювальної платформи віщує нову еру в обчисленнях, де конфіденційність, безпека та довіра вбудовані в саму структуру нашого цифрового світу.

Розкриття інформації: Blockchain Capital є інвестором у декілька згаданих вище протоколів.

Погляди, висловлені в кожній публікації в блозі, можуть бути особистими поглядами кожного автора та не обов’язково відображати погляди Blockchain Capital та його філій. Ні Blockchain Capital, ні автор не гарантують точності, адекватності чи повноти інформації, наданої в кожній публікації блогу. Blockchain Capital, автор або будь-яка інша особа не надає жодних заяв чи гарантій, явних чи непрямих, щодо точності та повноти чи чесності інформації, що міститься в будь-якій публікації блогу, і не бере на себе жодної відповідальності чи відповідальності від її імені. за будь-яку таку інформацію. Ніщо, що міститься в кожній публікації в блозі, не є інвестиційною, нормативною, юридичною, податковою або іншою консультацією, і на неї не можна покладатися при прийнятті інвестиційного рішення. Публікації в блозі не слід розглядати як поточні або минулі рекомендації чи прохання про пропозицію купити чи продати будь-які цінні папери або прийняти будь-яку інвестиційну стратегію. Повідомлення в блозі можуть містити прогнози або інші прогнозні заяви, які базуються на переконаннях, припущеннях і очікуваннях, які можуть змінитися в результаті багатьох можливих подій або факторів. У разі зміни фактичні результати можуть суттєво відрізнятися від тих, що виражені в прогнозних заявах. Усі прогнозні заяви стосуються лише дати, коли такі заяви були зроблені, і ні Blockchain Capital, ні кожен автор не беруть на себе зобов’язань оновлювати такі заяви, за винятком випадків, передбачених законом. Оскільки будь-які документи, презентації чи інші матеріали, створені, опубліковані чи іншим чином поширені Blockchain Capital, містять посилання в будь-якому дописі в блозі, такі матеріали слід читати з особливою увагою до будь-яких наведених у них застережень.