Якщо ви не знали: @GOATRollup покладається на MIPS zkVM( Ziren )ZKM.
І це, напевно, найкращий ZK-дизайн для Bitcoin-роллапів.
Більшість zkVM переслідують нові опкоди.
ZKM закріплює свою базу на MIPS32r2 – стабільна, проста, зріла.
Це означає, що аудити, компілятори та оптимізації доводчиків накопичуються з часом, а не скидаються з кожним оновленням.
Паралель з біткоїном:
• Біткоїн: "не порушуйте консенсус."
• ZKM: “не порушуйте обмеження.”
Обидва зацементовують базу та підштовхують інновації на вищі рівні (syscalls, компілятори, рекурсивні докази). Результат: надійна нейтральність та прогнозов
Переглянути оригінал