Bilmiyorsanız: @GOATRollup, Ziren (ZKM’nin MIPS zkVM)'ine dayanıyor.
Ve bu muhtemelen Bitcoin rollupları için en iyi ZK tasarımı.
Çoğu zkVM yeni opkodları peşinden koşuyor.
ZKM, temelini MIPS32r2'ye sabitliyor - istikrarlı, basit, olgun.
Bu, denetimlerin, derleyicilerin ve kanıtlayıcı optimizasyonlarının her yükseltmede sıfırlanmak yerine zamanla birikmesi anlamına gelir.
Bitcoin benzeri:
• Bitcoin: "konsensusu bozma."
• ZKM: "kısıtlamaları çiğneme."
Her ikisi de temeli sertleştirir ve yeniliği daha yüksek katmanlara taşır (syscalls, derleyiciler, yinelemeli kanıtlar). Sonuç: güvenilir
View Original