Венчурна фірма 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» – математичні докази, виведені програмами 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 Projects «Jolt» і «Lasso»

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

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