У четвертому сезоні «Управління оптимізмом» співтовариство згуртувалося навколо «Колективних намірів», де команди працюють над вузькомасштабними конкретними ініціативами, відомими як «Місія». У рамках цього процесу Фонд Оптимізму визначив Місії для найважливіших областей зростання та розвитку всередині колективу.

Ключовою частиною реалізації наміру технічної децентралізації є реалізація підтвердження з нульовим розголошенням (ZKP) для OP Stack. Для ланцюжків OP у суперланцюжку це важливий компонент для подальшого захисту та додавання міжланцюгового зв'язку з низькою затримкою між L2 та L1, а також безпосередньо між ланцюжками OP. Ця система підтримує варіанти як з високою, так і з низькою затримкою, що необхідно для досягнення повної компонованості та відкриття нових варіантів використання, а також забезпечення загальної масштабованості. ZKP чудово підходить для архітектури набору команд (ISA), яка може підтвердити OP Stack програму захисту від збоїв, виступає як основа для системи, яка може довести будь-який блокчейн на основі OP Stack.

Вибух активності на L2 підкреслює, наскільки сильно користувачі криптовалюти цінують низькі комісії та високу продуктивність, і дві команди представили підходи, які допомогли досягти цього для користувачів. В результаті було прийнято пропозиції від RISC Zero та O(1) Labs для роботи над Місією.

RISC Zero є світом, в якому докази ZK доступні кожному, а розробники можуть доводити та перевіряти будь-які обчислення за допомогою віртуальної машини ZK загального призначення RISC Zero. Щоб реалізувати це бачення, команда використовує стек із відкритим вихідним кодом, який усуває бар'єри, які колись переслідували ZK, і завжди надає пріоритет практичній взаємодії з ZKP. В основі всього цього лежить RISC-V zkVM, який дозволяє розробникам писати свої програми на власному Rust та усуває криптографічні складності ZKP.

RISC Zero відповідає прихильності OP Stack до спільного майбутнього з відкритим вихідним кодом. ZKP дозволять реалізувати наступну парадигму OP Stack, створивши підключену і високу функціональну сумісність суперчейн. Виведення коштів, мости та управління суперчейнами – це області, в яких RISC Zero бачить, що їх ZKP значно покращують досвід користувачів та розробників.

RISC Zero створює засновану на Rust систему перевірки достовірності ZK для стека OP. Для цього вони об'єднують zkVM RISC-V з екосистемою Ethereum/Rust за допомогою таких проектів, як reth, revm, сплав та op-reth. Їхня система підтвердження дійсності ZK побудована на базі Zeth, платформи zkEVM з повністю відкритим вихідним кодом «типу 0», яка дозволяє будь-кому довести достовірність блоків Optimism та Ethereum.

Підтримка OP Mainnet вже додана до Zeth. В даний час RISC Zero розширює це, включивши в нього процес "деривація L1 -> L2", який дозволить Zeth довести, що нові блоки OP сумісні з секвенсор транзакцій OP. Як тільки це буде завершено, буде додано додаткові функції, що дозволяють «об'єднати» цілі епохи OP в єдиний доказ, який можна буде перевірити на L1, використовуючи існуючу підтримку RISC Zero для перевірки доказів у ланцюжку.

O(1) Lab прагне стати каталізатором нового покоління додатків, заснованих на криптографії з нульовим розголошенням шляхом створення основ та інструментів для розробників для створення додатків ZK. Це включає розробку і реалізацію моделі zkApp для протоколу Mina, першого блокчейна, заснованого на ZK, o1js, бібліотеку Typescript та вбудований DSL для додатків на базі zk, а також Kimchi+Pickles, систему доказів та бібліотеку рекурсії.

Тепер робота над MIPS zkVM привнесе до OP Stack можливості нульового розголошення. Це перший крок на шляху до скасування семиденного вікна виведення коштів, що покращує досвід користувача і підвищує «недовірливість» мережі. Ця робота також зближує протокол Mina та OP Stack, відкриваючи шлях для додатків, створених на OP Stack, для взаємодії з протоколом Mina.

Система доказів PLONKish O(1), Kimchi та рекурсивний рівень Pickles забезпечують основу рішення, версія якого захищає блокчейн Mina з 2021 року. Основна частина роботи оптимізує деякі низькорівневі примітиви Ethereum. додавання підтримки kzg-bn128 для ефективної перевірки Ethereum, а потім оптимізація та інтеграція з хеш попереднього зображення ланцюжка OP.

І RISC Zero, і O(1) Labs зобов'язалися регулярно надавати оновлену інформацію про хід роботи. Спільнота може стежити за перебігом діяльності Місії на Сторінка на GitHub та підписатися на RISC Zero і O(1) Labs в Твіттері. Приємно мати дві неймовірні команди з двома унікальними підходами, які працюють над досягненням місії, яка вплине на екосистему Optimism.

Якщо вам потрібна додаткова інформація, RISC Zero та O(1) Labs проведуть семінар із впровадження доказів ZK у стек OP у рамках саміту Optimism Onchain на Devconnect у Стамбулі!

Підписуйтесь на Twitter для отримання оновлень про програмування Devconnect від Optimism.

Офіційна стаття англійською:

Answering the call: How RISC Zero and O(1) Labs are bringing ZK …

https://optimism.mirror.xyz/XS7Ko4sn5Wab0dEWsXie7wO5JhFj5v7G1ckggfoY87U

У четвертому сезоні «Управління оптимізмом» співтовариство згуртувалося навколо «Колективних намірів», де команди працюють над вузькомасштабними конкретними ініціативами, відомими як «Місія». У рамках цього процесу Фонд Оптимізму визначив Місії для найважливіших областей зростання та розвитку всередині колективу.

Ключовою частиною реалізації наміру технічної децентралізації є реалізація підтвердження з нульовим розголошенням (ZKP) для OP Stack. Для ланцюжків OP у суперланцюжку це важливий компонент для подальшого захисту та додавання міжланцюгового зв'язку з низькою затримкою між L2 та L1, а також безпосередньо між ланцюжками OP. Ця система підтримує варіанти як з високою, так і з низькою затримкою, що необхідно для досягнення повної компонованості та відкриття нових варіантів використання, а також забезпечення загальної масштабованості. ZKP чудово підходить для архітектури набору команд (ISA), яка може підтвердити OP Stack програму захисту від збоїв, виступає як основа для системи, яка може довести будь-який блокчейн на основі OP Stack.

Вибух активності на L2 підкреслює, наскільки сильно користувачі криптовалюти цінують низькі комісії та високу продуктивність, і дві команди представили підходи, які допомогли досягти цього для користувачів. В результаті було прийнято пропозиції від RISC Zero та O(1) Labs для роботи над Місією.

RISC Zero є світом, в якому докази ZK доступні кожному, а розробники можуть доводити та перевіряти будь-які обчислення за допомогою віртуальної машини ZK загального призначення RISC Zero. Щоб реалізувати це бачення, команда використовує стек із відкритим вихідним кодом, який усуває бар'єри, які колись переслідували ZK, і завжди надає пріоритет практичній взаємодії з ZKP. В основі всього цього лежить RISC-V zkVM, який дозволяє розробникам писати свої програми на власному Rust та усуває криптографічні складності ZKP.

RISC Zero відповідає прихильності OP Stack до спільного майбутнього з відкритим вихідним кодом. ZKP дозволять реалізувати наступну парадигму OP Stack, створивши підключену і високу функціональну сумісність суперчейн. Виведення коштів, мости та управління суперчейнами – це області, в яких RISC Zero бачить, що їх ZKP значно покращують досвід користувачів та розробників.

RISC Zero створює засновану на Rust систему перевірки достовірності ZK для стека OP. Для цього вони об'єднують zkVM RISC-V з екосистемою Ethereum/Rust за допомогою таких проектів, як reth, revm, сплав та op-reth. Їхня система підтвердження дійсності ZK побудована на базі Zeth, платформи zkEVM з повністю відкритим вихідним кодом «типу 0», яка дозволяє будь-кому довести достовірність блоків Optimism та Ethereum.

Підтримка OP Mainnet вже додана до Zeth. В даний час RISC Zero розширює це, включивши в нього процес "деривація L1 -> L2", який дозволить Zeth довести, що нові блоки OP сумісні з секвенсор транзакцій OP. Як тільки це буде завершено, буде додано додаткові функції, що дозволяють «об'єднати» цілі епохи OP в єдиний доказ, який можна буде перевірити на L1, використовуючи існуючу підтримку RISC Zero для перевірки доказів у ланцюжку.

O(1) Lab прагне стати каталізатором нового покоління додатків, заснованих на криптографії з нульовим розголошенням шляхом створення основ та інструментів для розробників для створення додатків ZK. Це включає розробку і реалізацію моделі zkApp для протоколу Mina, першого блокчейна, заснованого на ZK, o1js, бібліотеку Typescript та вбудований DSL для додатків на базі zk, а також Kimchi+Pickles, систему доказів та бібліотеку рекурсії.

Тепер робота над MIPS zkVM привнесе до OP Stack можливості нульового розголошення. Це перший крок на шляху до скасування семиденного вікна виведення коштів, що покращує досвід користувача і підвищує «недовірливість» мережі. Ця робота також зближує протокол Mina та OP Stack, відкриваючи шлях для додатків, створених на OP Stack, для взаємодії з протоколом Mina.

Система доказів PLONKish O(1), Kimchi та рекурсивний рівень Pickles забезпечують основу рішення, версія якого захищає блокчейн Mina з 2021 року. Основна частина роботи оптимізує деякі низькорівневі примітиви Ethereum. додавання підтримки kzg-bn128 для ефективної перевірки Ethereum, а потім оптимізація та інтеграція з хеш попереднього зображення ланцюжка OP.

І RISC Zero, і O(1) Labs зобов'язалися регулярно надавати оновлену інформацію про хід роботи. Спільнота може стежити за перебігом діяльності Місії на Сторінка на GitHub та підписатися на RISC Zero і O(1) Labs в Твіттері. Приємно мати дві неймовірні команди з двома унікальними підходами, які працюють над досягненням місії, яка вплине на екосистему Optimism.

Якщо вам потрібна додаткова інформація, RISC Zero та O(1) Labs проведуть семінар із впровадження доказів ZK у стек OP у рамках саміту Optimism Onchain на Devconnect у Стамбулі!

Підписуйтесь на Twitter для отримання оновлень про програмування Devconnect від Optimism.

Офіційна стаття англійською:

Answering the call: How RISC Zero and O(1) Labs are bringing ZK …

https://optimism.mirror.xyz/XS7Ko4sn5Wab0dEWsXie7wO5JhFj5v7G1ckggfoY87U