Спецвипуск ZKM @ProjectZKM випустила zkMIPS 1.0, першу повністю готову до виробництва версію своєї віртуальної машини на базі MIPS, призначену для високопродуктивних перевірених обчислень: Це найзначніше оновлення з початку проекту, яке забезпечило приріст продуктивності від 6 до 19 разів порівняно з версією 0.3.0 завдяки повній технічній переробці. Деякі ключові аспекти оновлення включають: • Архітектура була оновлена з MIPS2 до MIPS32r2, що дозволило отримати доступ до більш широкого набору інструкцій і розблокувати оптимізацію на рівні компілятора і менші розміри програм. • zkMIPS тепер працює на серверній частині Plonky3 - сучасній системі STARK, що використовує протокол FRI - і отримує вигоду від переходу на 31-бітне поле простого числа KoalaBear, пропонуючи більш швидку арифметику, ніж попередня 64-бітна установка Goldilocks. • Дерева Меркла були замінені на багатомножинне хешування для стабільності пам'яті, зменшення розміру свідків і підтримки паралельної перевірки. Модульна архітектура схеми на основі мікросхем мінімізує область обмежень, а операції гарячого шляху, такі як Keccak і польова арифметика, були вивантажені в попередні компіляції для зниження витрат на доведення. Система вже інтегрована в мережу ZKM Proof Network і використовується для доказу в реальному часі @ethereum блоків основної мережі в рамках ініціативи @eth_proofs @ethereumfndn. Він також працює в режимі реального часу з @GOATRollup, Bitcoin L2, побудованим на BitVM2. Реакція Багато ЗМІ відразу підхопили цю новину, а @Utoday_en опублікували ексклюзивну статтю про те, що відрізняє проект від інших zkVM: У статті висловлюється загальна похвала команді ZKM та її помітній інженерній якості, а також підкреслюється, що вибір MIPS32r2 замість RISC-V дає архітектурні переваги: коротші програми, менша кількість обмежень і краще узгодження зі схемами ZK. Під час запуску також були прокоментовані Ethproofs, @a16zcrypto та власними @0x1164 House of ZK: ZKM оголосив про публічне обговорення релізу zkMIPS 1.0, в якому технічний директор проекту @sd_eigen обговорив оптимізацію, результати бенчмарків, архітектуру системи та плани майбутніх розробок. Захід відбудеться 12 травня о 12 годині за київським часом: Інженерні інсайти У нещодавній статті проєкт пояснив, чому при розробці своєї віртуальної машини zkMIPS команда обрала архітектуру MIPS32r2, а не RISC-V — хоча остання є вибором за замовчуванням для більшості сучасних zkVM. У статті йдеться, що рішення полягало не в тому, щоб бути іншим, а в тому, щоб вибрати найефективнішу основу для масштабованих обчислень, що піддаються перевірці. Однією з основних причин була більш висока щільність команд MIPS32r2. За допомогою таких операцій, як MOVZ, MOVN і MADDU, складна логіка може бути виражена за меншу кількість кроків, зменшуючи довжину траси виконання. На противагу цьому, та сама логіка в RISC-V часто вимагає більше інструкцій, збільшуючи навантаження на докази. Ще одним фактором стала зрілість і стабільність екосистеми MIPS. Завдяки десятиліттям використання та фіксованим специфікаціям, MIPS добре протестований – навіть використовується в критично важливих системах, таких як захищена від шахрайства віртуальна машина Optimism. RISC-V, хоча і швидко зростає, все ще розвивається і фрагментується. З повним текстом статті можна ознайомитися тут: