ZKM - ZKVM на базі MIPS Нещодавно @ProjectZKM була оновлена новою версією під кодовою назвою Ziren ZKM - один з небагатьох продуктів ZKVM з набором інструкцій MIPS, вони вибрали відносно менш завантажену трасу (в порівнянні з набором інструкцій ZK-RISC-V), MIPS - це давно встановлений скорочений набір команд, перевага не в кількості та масштабованості набору команд, а в фіксації та стабільності інструкції, найбільшим викликом перед ZK-EVM є безперервна зміна інструкцій EVM, а нові обмеження схеми будуть модернізовані після зміни. Для фінансів і криптовалют стабільність і безпека є більш важливими, тому стабільність ZK-MIPS є його основною цінністю. @sd_eigen, технічний директор цього проекту, зробив ще один проект ZKVM Eigen_Network в перші дні, зосередившись на конфіденційності в той час, і невідомо, чи був ще придбаний напрямок коригування. Порівняємо MIPs32 з набором інструкцій RISC-V: RV32I спрощений, з гнучкими можливостями розширення (наприклад, M, A, F, D, C) і простим кодуванням команд, що підтримує 16/32 біта. Основний набір інструкцій: RV32I RISC-V (47 записів) набагато менше, ніж основні цілі інструкції MIPS32 (~150 записів), що відображає філософію мінімалістичного дизайну RISC-V. З розширеннями: Поширені конфігурації для RISC-V (такі як RV32IMAFC або RV32G) мають близько 100-150 інструкцій, що все ще зазвичай менше, ніж 200+ (включаючи плаваючі та розширені) MIPS32. Складність інструкцій: Набір інструкцій MIPS32 є більш складним, містить деякі спеціалізовані інструкції (наприклад, слоти затримки розгалуження, інструкції співпроцесора), тоді як RISC-V прагне до простоти, розширює модульність і зменшує надмірність. Відмінності в концепціях дизайну MIPS32: розроблений у 1980-х роках для високопродуктивних RISC-процесорів із фіксованим набором інструкцій. Включення слотів затримки розгалуження (апаратні особливості, що вимагають додаткового управління інструкціями) додає складності реалізації. Набір інструкцій багатий, але деякі інструкції специфічні для конкретних сценаріїв обладнання і можуть не підходити для сучасних легких конструкцій. Екосистема зріла, але вона є закритою і обмеженою в розширенні. RISC-V: Сучасний ISA-провайдер з відкритим вихідним кодом, розроблений у 2010-х роках, з акцентом на модульність та гнучкість. Слоти затримки розгалуження відсутні, а кодування інструкцій лаконічне, що легко для апаратної реалізації та оптимізації програмного забезпечення. Набір інструкцій може бути налаштований за розширенням, від вбудованих з низьким енергоспоживанням до високопродуктивних обчислень. Екосистема з відкритим вихідним кодом має активну спільноту, яка підтримує швидку ітерацію та налаштування. Трохи інформації про оновлення Ziren: Ziren = zkMIPS v1.1.0 з GPU + Network Validator -30-кратне прискорення графічного процесора - Network Proof підтримує паралельну перевірку - Оптимізація основних обмежень - Оновлення набору інструментів і попередньої компіляції - Виправлення критичних помилок та покращення аудиту Процес атестації ядра тепер прискорюється за допомогою графічного процесора, що призводить до значної швидкості: - У 30 разів швидша генерація основного захисту У 15 разів швидші агреговані докази - Пруф упаковки bn254 також у 30 разів швидший Більше деталей оновлення: Першим проектом, на якому працює Ziren, є мережа рівня 2 на основі Bitcoin, яка називається @GOATRollup. GOAT Network — це перша мережа Bitcoin рівня 2, заснована на zkMIPS (Zero-Knowledge MIPS Instruction Set), BitVM3 та децентралізованому секвенсері. Він реалізує мінімізований до довіри дизайн за допомогою протоколу Optimistic Challenge Protocol (GOAT-OCP) з метою усунення обмежень Bitcoin щодо масштабованості, швидкості транзакцій та вартості, зберігаючи при цьому безпеку рівня 1 Bitcoin. Основні особливості: Децентралізація: GOAT Network реалізує мережеві операції, керовані спільнотою, за допомогою децентралізованих операторів вузлів-секвенсерів, що дозволяє зовнішнім учасникам вузлів спільно керувати виробництвом блоків і послідовністю транзакцій, а також ділитися доходами. Безпека: У проекті використовується мостова схема BitVM3 і технологія zkRollup для забезпечення безпеки і конфіденційності транзакцій за допомогою доказів з нульовим розголошенням (ZKP). zkMIPS підтримує програми, написані на мовах високого рівня, таких як Rust і Golang, тому розробникам не потрібно проводити аудит схем доказу з нульовим розголошенням, а потрібно лише перевіряти бізнес-логіку, знижуючи бар'єр розробки та покращуючи безпеку. Масштабованість: Переміщуючи деякі транзакції для обробки в офчейн, GOAT Network значно збільшує швидкість транзакцій і знижує транзакційні витрати Bitcoin, успадковуючи при цьому безпеку основного ланцюга Bitcoin. Він підтримує 100% сумісність з EVM, що дозволяє розробникам ефективно створювати децентралізовані програми Web3 (DApps). Стабільний дохід: GOAT Network прагне надати власникам біткойнів можливості стабільного доходу, розширюючи використання біткойнів за межі його використання як засобу заощадження.