Венчурна фірма A16z випускає Jolt, «віртуальну машину без знань»

Венчурний гігант Кремнієвої долини Andreessen Horowitz (a16z) потрапив у новини минулого року, коли оголосив, що пробираючись у глибокі технологічні дослідження – вимикає обмеження для інвесторів, щоб стати дослідником і розробником інформатики на неповний робочий день. У вівторок фірма оприлюднила деякі з перших результатів цієї спроби, випустивши реалізацію відкритого коду для «Jolt», своєї віртуальної машини з нульовим знанням (zkVM).

На додаток до позиціонування a16z як добросовісної науково-дослідної фірми, новий код може допомогти блокчейнам – і деяким власним портфельним компаніям a16z – масштабувати свою діяльність.

Віртуальні машини, у просторіччі відомі як віртуальні машини, є комп’ютерними середовищами на основі програмного забезпечення, які служать основою для блокчейнів та інших програм. BIT «нульового знання» (ZK) Jolt відноситься до форми криптографічного обману, який працює під капотом віртуальної машини a16z, дозволяючи віртуальному комп’ютеру обробляти та перевіряти дані, дотримуючись спеціальних обмежень щодо Політика конфіденційності та безпеки.

Наразі Jolt підтримує архітектуру набору інструкцій RISC-V (ISA) – стандарт з відкритим кодом для проектування комп’ютерних процесорів – і програми, написані мовою програмування Rust. Програмісти можуть запускати програму через Jolt, щоб «перевірити її виконання», — пояснив Едді Лазарін, технічний директор a16z Крипто. Програма «виведе «доказ», який доводить, що результат цієї програми справді був результатом правильного виконання цієї програми». Велика претензія A16z до Jolt полягає в тому, що він «у 10 разів» швидший за RISC Zero, його найближчого конкурента.

ЗК криптографія має програми за межами блокчейну, але дослідження ZK процвітають паралельно зі зростанням галузі. Так звані «докази ZK» – математичні докази, виведені програмами ZK – стали домінуючим методом, який допомагає блокчейнам зменшити комісію, збільшити швидкість і зберегти Політика конфіденційності транзакцій.

Читайте також: Що таке докази з нульовим знанням?

Технологія забезпечує багато з них так звані zkEVM – zkVM, специфічні для середовища виконання Ethereum, відомі як віртуальна машина Ethereum або EVM, які з’явилися в останні роки, щоб зробити цей блокчейн швидшим і безпечнішим. (A16z є інвестором Matter Labs, ONE з провідних виробників zkEVM).

ZK доводить, що «масштабує блокчейни, як би виконуючи важку роботу поза мережею, і тільки блокчейн перевіряє докази», – пояснив в інтерв’ю Джастін Талер, дослідник a16z і доцент Джорджтаунського університету, який є співавтором дослідження Lasso and Jolt. минулого року. За допомогою доказів ZK «ви можете отримати гарантію, що цю роботу виконано правильно, але не всі вузли блокчейну в світі виконають всю роботу».

Хоча Jolt не був налаштований для Ethereum або будь-якого іншого блокчейну, a16z наполягає, що його технологія може бути використана в zkEVM та інших додатках ZK на основі блокчейну. «Тонке налаштування окремих ланцюгів робить їх дуже крихкими. Зробити це належним чином дуже важко й непрозоро», — сказав Лазарін. «Наші методи не просто простіші, а й швидші».

A16z вперше розпочав свою глибоку технологічну подорож у Серпень минулого року коли він оголосив про пару проектів: Jolt, ONE , який запускається сьогодні, і Lasso, спеціальний метод для живлення систем ZK, який лежить в основі програмування Jolt.

Читайте також: Andreessen Horowitz проривається до Крипто досліджень із проектами ZK «Jolt» і «Lasso»

За словами Лаццаріна, a16z почав свою глибоку дослідницьку подорож частково як спосіб покращити свій кеш-пам’ять як інвестора: «Я маю на увазі, навіщо брати гроші в когось, хто є просто грошима, коли ви можете брати гроші в когось, хто поруч із вами на передньому краї, робить найважчі з можливих речей у Крипто?»

Але це не єдиний спосіб, яким Лазарін вважає, що дослідницькі ініціативи a16z можуть допомогти підвищити прибутки фірми. Код для Jolt був відкритим, тобто будь-хто теоретично може використовувати або перепрофілювати його, не сплачуючи a16z. «Оскільки ми є довгостроковими інвесторами, ми T торгуємо день у день, тиждень за тижнем або навіть місяць за місяцем», — сказав Лазарін. «Нам найбільше виграє, якщо космос розвиватиметься найшвидше протягом наступних п’яти-десяти років, тому наш стимул полягає виключно в тому, щоб просувати всіх за допомогою суспільних благ, які ми ніколи не будемо монетизувати».