19 Temmuz'da, geliştiricilerin sıfır korumalı yazılım geliştirmelerine yardımcı olmak için tasarlanmış bir altyapı şirketi olan RISC Zero, Galaxy Digital, IOSG ve diğerlerinin katılımıyla Blockchain Capital liderliğindeki 40 milyon dolarlık bir A Serisi finansman turunun tamamlandığını duyurdu. Önde gelen yatırımcı olarak Blockchain Capital, sıfır bilgili bilgi işlemin gelişimini, RISC Zero'nun özelliklerini ve avantajlarını analiz eden bir makale yazdı ve PANews bunu derledi.
Veri gizliliğinin, güvenliğinin ve güveninin artık endişe kaynağı olmadığı, yazılım tedarik zincirlerinin şeffaf ve doğrulanabilir olduğu ve yeni nesil uygulamaların en acil sorunlardan bazılarını çözmek için sıfır bilgili bilgi işlemin gücünden yararlanabildiği bir dünya hayal edin. dijital çağın. Bu, sıfır bilgili (ZK) bilgi işlemin vaadidir ve Bonsai ağı aracılığıyla ZK'ye erişimi demokratikleştirmeyi amaçlayan öncü bir şirket olan RISC Zero'ya neden yatırım yaptık.
Sıfır bilgili bilgi işlem, uygulamaların ve protokollerin basitlik, doğruluk ve sıfır bilgi olmak üzere üç temel özelliği kullanmasına izin veren devrim niteliğinde bir ilkeldir. Bu, bir doğrulayıcının bir ZK kanıtını (doğruluğunu) doğrulayarak, bir hesaplamanın doğru yapıldığını neredeyse kesin bir garantiyle bilebileceği anlamına gelir.
Ayrıca, doğrulanmış kanıt, orijinal hesaplamadan çok daha öz olacaktır ve kanıtın sıfır bilgi özelliği, doğrulayıcının hesaplamanın kendisi hakkında hiçbir şey bilmemesini sağlamak için de kullanılabilir. Bu benzersiz özellik kombinasyonunun geniş kapsamlı sonuçları vardır ve bilgileri doğrulamak için yeni bir yol sağlar. Birlikte, bu özellikler gizlilik, güvenlik ve güven ihtiyacını dengeleyerek daha güvenli ve daha özel bir dijital dünya için potansiyel sunar. Ancak ZK'nın tam potansiyeline ulaşmasının önünde hala bazı engeller var.
İlk olarak, ZK'da hesaplama yapmak çok zaman alıcı ve pahalıdır. ZK'de karmaşık hesaplamalar yapabilmek için prova sürelerinin ve maliyetlerin önemli ölçüde düşmesi gerekir. İyi haber şu ki, bunlar dramatik bir şekilde düşüyor: ZK prova sürelerinin ve maliyetlerinin yörüngesi, teknoloji tarihindeki bilinen eğilimleri takip etti; ister Moore Yasası (bilgisayar maliyeti her iki yılda bir yarıya iner), Flatley Yasası (maliyet) insandaki yavaş düşüş hızını sıralama) veya Clyde Yasası (disk yoğunluğu yaklaşık olarak her 13 ayda bir iki katına çıkar). Kanıt sistemlerindeki (Plonky2, Hyperplonk, STARK) son mimari gelişmeler ve temel kriptografideki (Poseidon) gelişmeler, herhangi bir hesaplamanın ZK kanıtlarını oluşturmak için gereken ek yükü azaltır. Ve bu alanlardaki ilerleme benzer bir hızda olmaya devam edecek (özellikle son zamanlarda ZK'ya yetenek akışı), bu da ek yükün donanım hızlandırmadaki (MSM, NTT) ilerlemelerden de fayda sağlayacağını kanıtlayacak, bu şimdiye kadar yeterince kullanılmayan bir şey.
ZK'nın kitlesel olarak benimsenmesinin önündeki bir diğer büyük engel, ZK sistemlerinin doğasında bulunan oldukça karmaşık matematik ve kriptografidir. ZK inovasyonunu yönlendirmek için gereken derinlik ve uzmanlık düzeyi, yalnızca çok yetenekli teknoloji geliştiricilerinden oluşan küçük bir grup tarafından kullanılabilir.
İdeal olarak, geliştiriciler, girişleri elle yazmak zorunda kalmadan ve düşük seviyeli, ZK'ya özgü bir programlama dilinde devreler tasarlamak zorunda kalmadan sıfır bilgiyle hesaplamaları kanıtlayabilirken favori dillerinde program yazmakta özgür olacaklardır. Burası, RISC Zero'nun Bonsai platformunun dünya çapındaki geliştiriciler için oyunun kurallarını değiştirdiği ve RISC Zero'ya bu nedenle yatırım yaptığımız yer.
RISC Zero, RISC-V komut seti mimarisini (ISA) taklit eden sıfır bilgili bir sanal makine (zkVM) oluşturarak, düşük düzeyde kod yürütmeyi kanıtlayabilen bir sistem oluşturdu. ISA, insan tarafından okunabilen kod ile makine tarafından yorumlanabilen talimatlar arasında bir köprü olduğundan, bu başarı, Bonsai ağının herhangi bir üst düzey programın bu mimaride derlenebileceğini kanıtlayabileceği anlamına gelir. Modern programlama dillerinin çoğu RISC-V uyumlu olduğundan, RISC Zero'nun Bonsai'si sıfır bilgiyle sanal olarak herhangi bir bilgisayar programını çalıştırabilir.
Sıfır bilgi (ZK) bilgi işlemin yaygınlaştığı bir gelecekte, daha önce imkansız olan birçok uygulama mümkün hale gelecektir. Bu, yalnızca RISC Zero'nun Bonsai ağını yardımcı işlemci olarak kullanan (zincir içi sonuçları doğrulamadan önce zincir dışı kaynak yoğun çalışma gerçekleştiren) Ethereum tabanlı uygulamaları değil, aynı zamanda kripto para birimlerinin ötesine uzanacaktır. Örneğin Bonsai, beyaz şapkalı bilgisayar korsanlarının güvenlik açıklarının ve hataların varlığını doğrudan ifşa etmeden kanıtlamasına izin verir. Ayrıca, kullanıcıların çalıştırdıkları kodun Bonsai'de önceden denetlendiğinden emin olmak için ZK kanıtlarını indirmesine ve doğrulamasına izin vererek, yazılıma yönelik gelecekteki tedarik zinciri saldırılarını önleyebilir. En heyecan verici olanı, Bonsai'nin yaygın olarak benimsenmesi, henüz hayal edilmemiş tamamen yeni kullanım durumlarına yol açabilir.
Etkileyici teknolojik buluşa ek olarak, RISC Zero'nun arkasında güçlü ve benzersiz bir ekip var. **Üç kurucu ortak, Brian Retford, Jeremy Bruestle ve Frank Laub, birbirlerini 20 yılı aşkın süredir tanıyorlar. Ortak deneyimleri, en son AI optimizasyonu ve sonunda Intel tarafından satın alınan derlemeye yönelik bir girişim olan birkaç şirketin kurucu ortaklığını içerir. **
Üçlünün her üyesi, RISC Zero'ya zengin bir deneyim getiriyor: Brian, Google Cloud Platform'da fiyatlandırma ve ölçüm sistemleri üzerinde çalıştı; Jeremy, genetik dizileme için GPU hızlandırma üzerinde çalışan ömür boyu bir matematik tutkunu ve kriptografi, yüksek performans geçmişi ile bilgi işlem (HPC) ve güvenlik; Frank'in derleyiciler konusunda güçlü bir geçmişi vardır ve çok sayıda kod tabanı oluşturmuştur. Ortak bir geçmişe ve çeşitli becerilere sahip olan RISC Zero ekibi, sıfır bilgili bilişimi kitlelere ulaştırmak için benzersiz bir konuma sahiptir ve bu süreçte potansiyel olarak dijital manzarayı yeniden şekillendirmektedir.
Sıfır bilgili bilgi işlemin yaygın olarak mevcut olduğu bir geleceğe baktığımızda, inovasyon olasılıkları sonsuzdur. Çok çeşitli programlama dillerini destekleyebilen RISC Zero'nun Bonsai ağı, ZK bilişimini demokratikleştirecek ve geliştiricilerin çeşitli alanlarda güvenli, özel ve güvenilir olmayan uygulamalar oluşturmasını sağlayacaktır. Siber güvenlik önlemlerini güçlendirmekten yazılım tedarik zincirlerine olan güveni artırmaya ve zincir üstü uygulamalar için mevcut bilgi işlem gücünü önemli ölçüde artırmaya kadar, sıfır bilgili bilgi işlemin potansiyel etkisi çok büyüktür. Hızla azalan ZK kanıtlama süreleri ve maliyetleri, RISC Zero'nun sadık ekibi ve Bonsai'nin çok yönlü bir bilgi işlem platformu olarak ortaya çıkışı, dijital dünyamızın yapısına yerleşik gizlilik, güvenlik ve güven ile yeni bir bilgi işlem çağını müjdeliyor.
View Original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Blockchain Capital: ZK altyapı şirketi RISC Zero'nun 40 milyon dolarlık finansman turuna neden liderlik ettik?
Orijinal metinler: Bart Stephens, Ryan Sproule ve Yuan Han Li,
《Sıfır Bilgili Bilişimi Demokratikleştirmek: RISC Zero'nun Bonsai Ağı'nın Gücü》
Editör: Zen, PANews
19 Temmuz'da, geliştiricilerin sıfır korumalı yazılım geliştirmelerine yardımcı olmak için tasarlanmış bir altyapı şirketi olan RISC Zero, Galaxy Digital, IOSG ve diğerlerinin katılımıyla Blockchain Capital liderliğindeki 40 milyon dolarlık bir A Serisi finansman turunun tamamlandığını duyurdu. Önde gelen yatırımcı olarak Blockchain Capital, sıfır bilgili bilgi işlemin gelişimini, RISC Zero'nun özelliklerini ve avantajlarını analiz eden bir makale yazdı ve PANews bunu derledi.
Veri gizliliğinin, güvenliğinin ve güveninin artık endişe kaynağı olmadığı, yazılım tedarik zincirlerinin şeffaf ve doğrulanabilir olduğu ve yeni nesil uygulamaların en acil sorunlardan bazılarını çözmek için sıfır bilgili bilgi işlemin gücünden yararlanabildiği bir dünya hayal edin. dijital çağın. Bu, sıfır bilgili (ZK) bilgi işlemin vaadidir ve Bonsai ağı aracılığıyla ZK'ye erişimi demokratikleştirmeyi amaçlayan öncü bir şirket olan RISC Zero'ya neden yatırım yaptık.
Sıfır bilgili bilgi işlem, uygulamaların ve protokollerin basitlik, doğruluk ve sıfır bilgi olmak üzere üç temel özelliği kullanmasına izin veren devrim niteliğinde bir ilkeldir. Bu, bir doğrulayıcının bir ZK kanıtını (doğruluğunu) doğrulayarak, bir hesaplamanın doğru yapıldığını neredeyse kesin bir garantiyle bilebileceği anlamına gelir.
Ayrıca, doğrulanmış kanıt, orijinal hesaplamadan çok daha öz olacaktır ve kanıtın sıfır bilgi özelliği, doğrulayıcının hesaplamanın kendisi hakkında hiçbir şey bilmemesini sağlamak için de kullanılabilir. Bu benzersiz özellik kombinasyonunun geniş kapsamlı sonuçları vardır ve bilgileri doğrulamak için yeni bir yol sağlar. Birlikte, bu özellikler gizlilik, güvenlik ve güven ihtiyacını dengeleyerek daha güvenli ve daha özel bir dijital dünya için potansiyel sunar. Ancak ZK'nın tam potansiyeline ulaşmasının önünde hala bazı engeller var.
İlk olarak, ZK'da hesaplama yapmak çok zaman alıcı ve pahalıdır. ZK'de karmaşık hesaplamalar yapabilmek için prova sürelerinin ve maliyetlerin önemli ölçüde düşmesi gerekir. İyi haber şu ki, bunlar dramatik bir şekilde düşüyor: ZK prova sürelerinin ve maliyetlerinin yörüngesi, teknoloji tarihindeki bilinen eğilimleri takip etti; ister Moore Yasası (bilgisayar maliyeti her iki yılda bir yarıya iner), Flatley Yasası (maliyet) insandaki yavaş düşüş hızını sıralama) veya Clyde Yasası (disk yoğunluğu yaklaşık olarak her 13 ayda bir iki katına çıkar). Kanıt sistemlerindeki (Plonky2, Hyperplonk, STARK) son mimari gelişmeler ve temel kriptografideki (Poseidon) gelişmeler, herhangi bir hesaplamanın ZK kanıtlarını oluşturmak için gereken ek yükü azaltır. Ve bu alanlardaki ilerleme benzer bir hızda olmaya devam edecek (özellikle son zamanlarda ZK'ya yetenek akışı), bu da ek yükün donanım hızlandırmadaki (MSM, NTT) ilerlemelerden de fayda sağlayacağını kanıtlayacak, bu şimdiye kadar yeterince kullanılmayan bir şey.
ZK'nın kitlesel olarak benimsenmesinin önündeki bir diğer büyük engel, ZK sistemlerinin doğasında bulunan oldukça karmaşık matematik ve kriptografidir. ZK inovasyonunu yönlendirmek için gereken derinlik ve uzmanlık düzeyi, yalnızca çok yetenekli teknoloji geliştiricilerinden oluşan küçük bir grup tarafından kullanılabilir.
İdeal olarak, geliştiriciler, girişleri elle yazmak zorunda kalmadan ve düşük seviyeli, ZK'ya özgü bir programlama dilinde devreler tasarlamak zorunda kalmadan sıfır bilgiyle hesaplamaları kanıtlayabilirken favori dillerinde program yazmakta özgür olacaklardır. Burası, RISC Zero'nun Bonsai platformunun dünya çapındaki geliştiriciler için oyunun kurallarını değiştirdiği ve RISC Zero'ya bu nedenle yatırım yaptığımız yer.
RISC Zero, RISC-V komut seti mimarisini (ISA) taklit eden sıfır bilgili bir sanal makine (zkVM) oluşturarak, düşük düzeyde kod yürütmeyi kanıtlayabilen bir sistem oluşturdu. ISA, insan tarafından okunabilen kod ile makine tarafından yorumlanabilen talimatlar arasında bir köprü olduğundan, bu başarı, Bonsai ağının herhangi bir üst düzey programın bu mimaride derlenebileceğini kanıtlayabileceği anlamına gelir. Modern programlama dillerinin çoğu RISC-V uyumlu olduğundan, RISC Zero'nun Bonsai'si sıfır bilgiyle sanal olarak herhangi bir bilgisayar programını çalıştırabilir.
Sıfır bilgi (ZK) bilgi işlemin yaygınlaştığı bir gelecekte, daha önce imkansız olan birçok uygulama mümkün hale gelecektir. Bu, yalnızca RISC Zero'nun Bonsai ağını yardımcı işlemci olarak kullanan (zincir içi sonuçları doğrulamadan önce zincir dışı kaynak yoğun çalışma gerçekleştiren) Ethereum tabanlı uygulamaları değil, aynı zamanda kripto para birimlerinin ötesine uzanacaktır. Örneğin Bonsai, beyaz şapkalı bilgisayar korsanlarının güvenlik açıklarının ve hataların varlığını doğrudan ifşa etmeden kanıtlamasına izin verir. Ayrıca, kullanıcıların çalıştırdıkları kodun Bonsai'de önceden denetlendiğinden emin olmak için ZK kanıtlarını indirmesine ve doğrulamasına izin vererek, yazılıma yönelik gelecekteki tedarik zinciri saldırılarını önleyebilir. En heyecan verici olanı, Bonsai'nin yaygın olarak benimsenmesi, henüz hayal edilmemiş tamamen yeni kullanım durumlarına yol açabilir.
Etkileyici teknolojik buluşa ek olarak, RISC Zero'nun arkasında güçlü ve benzersiz bir ekip var. **Üç kurucu ortak, Brian Retford, Jeremy Bruestle ve Frank Laub, birbirlerini 20 yılı aşkın süredir tanıyorlar. Ortak deneyimleri, en son AI optimizasyonu ve sonunda Intel tarafından satın alınan derlemeye yönelik bir girişim olan birkaç şirketin kurucu ortaklığını içerir. **
Üçlünün her üyesi, RISC Zero'ya zengin bir deneyim getiriyor: Brian, Google Cloud Platform'da fiyatlandırma ve ölçüm sistemleri üzerinde çalıştı; Jeremy, genetik dizileme için GPU hızlandırma üzerinde çalışan ömür boyu bir matematik tutkunu ve kriptografi, yüksek performans geçmişi ile bilgi işlem (HPC) ve güvenlik; Frank'in derleyiciler konusunda güçlü bir geçmişi vardır ve çok sayıda kod tabanı oluşturmuştur. Ortak bir geçmişe ve çeşitli becerilere sahip olan RISC Zero ekibi, sıfır bilgili bilişimi kitlelere ulaştırmak için benzersiz bir konuma sahiptir ve bu süreçte potansiyel olarak dijital manzarayı yeniden şekillendirmektedir.
Sıfır bilgili bilgi işlemin yaygın olarak mevcut olduğu bir geleceğe baktığımızda, inovasyon olasılıkları sonsuzdur. Çok çeşitli programlama dillerini destekleyebilen RISC Zero'nun Bonsai ağı, ZK bilişimini demokratikleştirecek ve geliştiricilerin çeşitli alanlarda güvenli, özel ve güvenilir olmayan uygulamalar oluşturmasını sağlayacaktır. Siber güvenlik önlemlerini güçlendirmekten yazılım tedarik zincirlerine olan güveni artırmaya ve zincir üstü uygulamalar için mevcut bilgi işlem gücünü önemli ölçüde artırmaya kadar, sıfır bilgili bilgi işlemin potansiyel etkisi çok büyüktür. Hızla azalan ZK kanıtlama süreleri ve maliyetleri, RISC Zero'nun sadık ekibi ve Bonsai'nin çok yönlü bir bilgi işlem platformu olarak ortaya çıkışı, dijital dünyamızın yapısına yerleşik gizlilik, güvenlik ve güven ile yeni bir bilgi işlem çağını müjdeliyor.