ZKM - MIPS tabanlı bir ZKVM @ProjectZKM yakın zamanda Ziren kod adlı yeni bir sürümle güncellendi ZKM, mips komut setine sahip birkaç ZKVM ürününden biridir, nispeten daha az kalabalık bir parça seçtiler (zk-risc-v komut setine kıyasla), mips uzun süredir kurulmuş bir azaltılmış komut setidir, avantaj komut setinin sayısı ve ölçeklenebilirliği değil, talimatın sabitlenmesi ve kararlılığıdır, bu nedenle ZK-EVM'den önceki en büyük zorluk, EVM talimatlarının sürekli değişmesidir ve değişiklikten sonra yeni devre kısıtlamaları yükseltilecektir. Finans ve kripto için istikrar ve güvenlik daha önemlidir, bu nedenle ZK-MIPS'in istikrarı temel değer noktasıdır. Bu projenin CTO'su @sd_eigen, ilk günlerde Eigen_Network başka bir ZKVM projesi yaptı ve o sırada mahremiyete odaklandı ve ayarlama yönünün hala edinilip edinilmediği bilinmiyor. MIPs32'yi RISC-V komut seti ile karşılaştıralım: RV32I, esnek genişletme seçenekleri (örneğin, M, A, F, D, C) ve 16/32 biti destekleyen basit komut kodlaması ile basitleştirilmiştir. Çekirdek komut seti: RISC-V'nin RV32I'si (47 giriş), MIPS32'nin çekirdek tamsayı talimatlarından (~ 150 giriş) çok daha azdır ve RISC-V minimalist tasarım felsefesini yansıtır. Uzantılarla: RISC-V için yaygın yapılandırmalar (RV32IMAFC veya RV32G gibi) yaklaşık 100-150 talimata sahiptir, bu hala tipik olarak MIPS200'nin 32+'sından (kayan nokta ve genişletilmiş dahil) daha azdır. Komut karmaşıklığı: MIPS32 komut seti daha karmaşıktır, bazı özel talimatlar (örneğin, dal gecikme yuvaları, yardımcı işlemci talimatları) içerirken, RISC-V basitlik peşinde koşar, modülerliği genişletir ve yedekliliği azaltır. Tasarım konseptlerindeki farklılıklar MIPS32: 1980'lerde sabit bir komut seti ile yüksek performanslı RISC işlemcileri hedeflemek için tasarlanmıştır. Dal gecikme yuvalarının dahil edilmesi (ek talimat yönetimi gerektiren donanım özellikleri) uygulamaya karmaşıklık katar. Komut seti bol miktarda bulunur, ancak bazı talimatlar belirli donanım senaryolarına özgüdür ve modern hafif tasarımlar için uygun olmayabilir. Ekosistem olgunlaşmıştır, ancak kapalı kaynaklıdır ve genişlemesi sınırlıdır. RISC-V: 2010'larda tasarlanmış, modülerlik ve esnekliğe vurgu yapan modern bir açık kaynaklı ISA. Dal gecikme yuvası yoktur ve talimat kodlaması özlüdür, bu da donanım uygulaması ve yazılım optimizasyonu için kolaydır. Komut seti, düşük güçlü gömülü bilgisayardan yüksek performanslı bilgi işleme kadar uzantı ile özelleştirilebilir. Açık kaynak ekosistemi, hızlı yineleme ve özelleştirmeyi destekleyen aktif bir topluluğa sahiptir. Ziren'in yükseltmesi hakkında bazı bilgiler: Ziren = zkMIPS v1.1.0 GPU + Ağ Doğrulayıcı ile -30x GPU hızlandırma - Ağ Kanıtı paralel kanıtları destekler - Büyük kısıtlamaların optimizasyonu - Araç zinciri ve derleme öncesi yükseltmeler - Kritik hata düzeltmeleri ve denetim iyileştirmeleri Çekirdek kanıtlama süreci artık GPU ile hızlandırıldı ve bu da önemli hızlar sağlıyor: - 30 kat daha hızlı çekirdek prova üretimi 15 kat daha hızlı toplu provalar -bn254 ambalaj kanıtı da 30 kat daha hızlıdır Daha fazla güncelleme detayı: Ziren'i çalıştıran ilk proje, @GOATRollup adı verilen Bitcoin tabanlı bir Katman 2 ağıdır. GOAT Network, zkMIPS (Sıfır Bilgi MIPS Komut Seti), BitVM3 ve merkezi olmayan bir sıralayıcıya dayalı ilk Bitcoin Katman 2 ağıdır. Bitcoin'in Katman 1 güvenliğini korurken Bitcoin'in ölçeklenebilirlik, işlem hızı ve maliyetindeki sınırlamalarını ele almak amacıyla Optimistic Challenge Protocol (GOAT-OCP) aracılığıyla güveni en aza indirilmiş tasarım uygular. Temel özellikler: Ademi merkeziyetçilik: GOAT Network, merkezi olmayan Sıralayıcı Düğüm Operatörleri aracılığıyla topluluk odaklı ağ operasyonları uygulayarak harici düğüm katılımcılarının blok üretimini ve işlem sıralamasını ortaklaşa yönetmesine ve geliri paylaşmasına olanak tanır. Güvenlik: Proje, sıfır bilgi kanıtları (ZKP'ler) aracılığıyla işlemlerin güvenliğini ve gizliliğini sağlamak için BitVM3 köprü şemasını ve zkRollup teknolojisini kullanır. zkMIPS, Rust ve Golang gibi üst düzey dillerde yazılmış programları destekler, bu nedenle geliştiricilerin sıfır bilgi kanıtı devrelerini denetlemesine gerek kalmaz, yalnızca iş mantığını doğrulaması, geliştirme engelini azaltması ve güvenliği artırması gerekir. Ölçeklenebilirlik: GOAT Network, bazı işlemleri zincir dışı işlenmek üzere taşıyarak, Bitcoin ana zincirinin güvenliğini devralırken, Bitcoin'in işlem hızını önemli ölçüde artırır ve işlem maliyetlerini azaltır. %100 EVM uyumluluğunu destekleyerek geliştiricilerin Web3 merkezi olmayan uygulamaları (DApp'ler) verimli bir şekilde oluşturmasına olanak tanır. Sürdürülebilir Getiri: GOAT Network, Bitcoin sahiplerine sürdürülebilir getiri fırsatları sağlamayı ve Bitcoin kullanımını bir değer deposu olarak kullanımının ötesine genişletmeyi taahhüt eder.