#可验证计算 - RiscZero CEO Podcast Röportajı Yapay zekanın hızlı gelişimi üretkenliği artırdı, ancak aynı zamanda sahtecilik/dolandırıcılık maliyetini de azalttı. Zincirde daha fazla RWA, ancak zincirdeki varlıkların programatik olarak doğrulanıp doğrulanmadığı, doğrulama garantisi yoksa bu RWA varlıkları büyük risklerle karşı karşıyadır, 23-24 yıl içinde bir CEX varlık zk denetimi dalgası olduğunu hatırlıyorum, ancak gelecekte zincirde daha fazla RWA, daha fazla varlık doğrulama ve izleme denetimine ihtiyaç var. Gelecekte, İnternet'in doğrulanabilirliği ve prosedürel şeffaflığı temel özellikler olacaktır. Blok zinciri ve yapay zekanın birleşimi için büyük bir potansiyel vardır ve doğrulanabilir bilgi işlem altyapının çekirdeğini oluşturur. Doğrulanabilir bilgi işlemde zk, RISC-V ve ZK VM aracılığıyla doğrulanabilir hesaplamayı @RiscZero ve @boundless_xyz uygular. 2003'ten Dikkat RiscZero, zkvm'den somut zk L1'e doğru gelişiyor. Ekip ve projenin teknik seçimleri, iş vizyonu ve daha fazlası hakkında daha fazla bilgi edinmek için kurucularıyla @zeroknowledgefm bir podcast röportajını burada bulabilirsiniz. Bu röportaj @boundless_xyz'in yayınlanmasından önce yapıldı, ancak önceki röportajlar L1 için planları ortaya çıkardı. İngilizce'de nasıl iyi dinlersiniz? Doğrudan orijinalini dinleyin: Röportaj Özeti: Risc0'ın çekirdek teknolojisi ZK VM ve RISC-V: Risc0, sanal mikrodenetleyicilere benzer şekilde C, C++, Rust ve diğer dillerde derlenmiş, sıfır bilgi özelliklerine (gizli girdi ve programlar) sahip programları destekleyen RISC-V kodunu çalıştıran bir ZK VM oluşturmuştur. RISC-V seçildi: Açık kaynak kodlu olması, fikri mülkiyet kısıtlamalarından arınmış olması, basit ve verimli olması ve uyumluluk testi ve resmi model desteğine sahip olması nedeniyle ZK devrelerinde uygulama için uygundur. Gizlilik ve genişletilebilirlik: Program yürütmenin ve programın kendisinin sıfır bilgi kanıtını destekleyin, başlangıçta karmaşık uygulama ekolojisini desteklemek için genişletilebilirliğe ve gelecekteki yön olarak gizliliğe (ZK kimliği gibi) odaklanın. Bellek ve deterministik olmayan: Bellek, başlangıç durumunu bir Merkle yapısı aracılığıyla kodlayan 32 bitlik bir sayı olarak temsil edilir; Deterministik olmayan veri istekleri desteklenir ve konuk (ZK VM) ana bilgisayardan veri ister ve gizliliği korumak için doğrular. STARK'ların uygulanmasını ve hızlandırılmasını sağlayacak teknoloji: VM'nin zamanlama yürütme modeline uyan işlemci zaman adımları gibi tekrarlama yapılarını kanıtlamak için STARK'ları kullanın. Özyinelemeli destek: Geliştirme aşamasında, Rust doğrulayıcı, kanıtları doğrulamak ve artımlı kanıtları uygulamak için ZK VM'de çalıştırılabilir (örneğin, genesis bloklarından N+1 bloklarına kadar). Donanım hızlandırma: şu anda M30,000 Pro'da 1 döngü/sn'ye kadar, Metal/CUDA için 1 milyon döngü/sn ve 10 GPU için yaklaşık 3090 milyon döngü/sn. SHA-256 gibi hızlandırıcı devreleri desteklenmektedir ve gelecekte sonlu alan ve büyük tamsayı analog hızlandırıcıların eklenmesi planlanmaktadır. Paralelleştirme: Prova süreçleri paralelleştirilebilir, GPU hızlandırma için uygun olabilir, gecikmeyi azaltabilir ve büyük ölçekli hesaplamayı (örneğin, derleyici çalıştırması) destekleyebilir. Vizyon ve Uygulama Bulutu 2.0: Amaç, DeFi'yi, oyunları, NFT'leri ve karmaşık uygulamaları (SQL veritabanları, sosyal medya gibi) destekleyen ve "işlem maliyetleri o kadar düşük ki ölçüm gerektirmez" sağlayan merkezi olmayan bir genel bulut oluşturmaktır. L1 Blok Zinciri: L1'i geliştirin ve en uzun zinciri belirlemek için işlem sayısı yerine hesaplama miktarını kullanan ve saniyede milyarlarca işlemi destekleyen konsensüs mekanizmasını ("İşlem Kanıtı") optimize etmek için ZK'yı kullanın. Kullanım durumları: Bunlar, tedarik zinciri güvenliğini (ikili dosyaların denetlenmiş kaynak kodundan geldiğini kanıtlama), fiziksel varlık takibi ve daha fazlasını içerir. Ekoloji ve Gelecek Ekolojisi Bağlantısı: Risc0 kanıtlarının doğrulanmasını veya Ethereum'da EVM'lerin çalıştırılmasını desteklemek için köprüler veya doğrulayıcılar aracılığıyla Ethereum gibi diğer blok zincirleriyle entegre edilmesi planlanmaktadır. Yol Haritası: Mevcut sürüm açık kaynak kodludur ve bir sonraki sürüm (özyinelemeli ve GPU hızlandırma dahil) yakında açık kaynak olacaktır. DevNet'in 2022'nin sonlarında veya 2023'ün başlarında piyasaya sürülmesi planlanıyor ve beta kayıtları Twitter ve diğerleri aracılığıyla yayınlanıyor. Risc0, L1 olarak var, diğer ağlarla veya ağ kümeleriyle bağlantı kuracak mı? @VitalikButerin'ın eth'si @gavinwood'ın @Polkadot'si Cosmos gibi bir şey mi? Brian, neredeyse kesinlikle bağlanacağını söylüyor. Risc0 teknolojisi, yaygın olarak uygulanabilir bir araç olarak kabul edilir. Kendi L1 vizyonuna sahip olsa da, bu teknolojinin diğer ekosistemlere de hizmet etmesini istiyor. Programlama Kolaylığı ile İlgili Zorluklar ve Düşünceler: Yeni diller veya aritmetik devreler öğrenmek zorunda kalmadan mevcut dillere ve araç zincirlerine sahip geliştiriciler için giriş engelini azaltın. Donanım Hızlandırma Beklentileri: Kısa vadede, olgunlaşmamış matematik ve uzun ASIC geliştirme döngüleri nedeniyle GPU'lar baskındır. FPGA'lar ve ASIC'ler belirli SNARK devrelerinde kullanılabilir. Rekabet ve Konumlandırma: Diğer ZK VM/EVM projelerinden farklı olarak Risc0, Ethereum ekosistemini ve diğer ağları dikkate alarak çok yönlülüğü ve bulut düzeyinde ölçeklendirmeyi vurgular. Risc0, genel bulutu merkezden uzaklaştırmak ve büyük ölçekli, gizliliği koruyan bilgi işlemi desteklemek amacıyla dağıtılmış sistemlerin ölçeklenebilirlik sorununu çözmek için ZK VM'leri oluşturmak için RISC-V ve STARK'lardan yararlanır. Mevcut açık kaynaklı sürüm mevcut, GPU hızlandırma ve özyineleme desteği yakında kullanıma sunulacak ve L1'in oluşturulması ve DeFi, tedarik zinciri güvenliği ve diğer senaryolar için uygun diğer ekosistemlerle entegre edilmesi planlanıyor Röportajın tamamı: Uzun metin resmi