Son iki yılda, zkVM (sıfır bilgi sanal makinesi) teknolojisinde kaydedilen ilerleme gerçekten hızla gelişti; başlangıçta "kanıtlayabilen" olmaktan günümüzde "gerçek zamanlı kanıt" aşamasına geçmesi, bu alandaki önemli bir sıçramayı işaret ediyor.
Succinct şirketinin bu Mayıs ayında piyasaya sürdüğü SP1 Hypercube sistemi, sektörde geniş bir ilgi uyandırdı. Bu sistem, yenilikçi çok lineer çok terimli mimarisi ile kanıt sistemini yeniden tasarlayarak, önceki versiyonu SP1 Turbo'ya kıyasla gecikme ve maliyet açısından olağanüstü bir artış sağladı. Resmi verilere göre, %93'e kadar Ethereum blokları 12 saniye içinde kanıtlanabiliyor ve genel performans iyileştirme oranı şaşırtıcı bir şekilde 5 katına ulaştı.
Bu突破 yalnızca kod optimizasyonuna dayanarak gerçekleştirilemez, aynı zamanda tüm sistem mimarisinin tamamen yeniden yapılandırılmasını gerektirir. Mühendisler, her zaman diliminde üretilen blokları sürdürülebilir bir şekilde işlenebilir gerçek zamanlı nesneler olarak değerlendiren kısıtlama sistemini ve boru hattını yeniden tasarladılar, böylece sistem verimliliğini önemli ölçüde artırdılar.
SP1 sisteminin temel optimizasyon düşüncesi, "uygulama→izleme→kısıtlama→kanıtlama" sürecini en aza indirmektir. Stanford Üniversitesi'nin ilgili ders materyalleri, RISC-V talimat yürütümünden izleme toplamaya, ardından AIR/polinom kısıtları ve nihai kanıt üretimine kadar SP1'in kanıt sürecini derinlemesine analiz ederek her adımın önemini ve doğrulanabilirliğini ayrıntılı bir şekilde açıklamaktadır.
Dikkat çekici bir nokta, modern zkVM optimizasyonlarının geleneksel derleyici optimizasyonları alanını aşmış olduğudur. En son araştırmalar, standart LLVM optimizasyonlarının RISC-V türü zkVM'ler (örneğin, RISC Zero ve SP1) üzerinde hala önemli bir etkisi olduğunu göstermektedir (performans artışı %40'tan fazla), ancak bu artış oranı geleneksel CPU'larda elde edilen optimizasyon etkisinden çok daha düşüktür. Bu fenomenin başlıca nedeni, zkVM'nin performans darboğazlarının esasen kendine özgü kısıtlama sistemlerinden kaynaklanmasıdır, geleneksel CPU'lardaki önbellek yönetimi veya dal tahmini gibi donanım özelliklerinden değil.
zkVM teknolojisinin sürekli evrimiyle birlikte, gelecekte daha fazla çığır açıcı gelişme görebileceğimizi umuyoruz. Bu, blockchain teknolojisinin uygulanması ve yaygınlaşması için yeni olanaklar getirecektir.
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.
13 Likes
Reward
13
5
Repost
Share
Comment
0/400
RugResistant
· 08-29 11:09
Yine teknikle oynayan boğa insanlar, biraz gerçekçi olabilir misiniz?
View OriginalReply0
AirdropHarvester
· 08-27 22:41
Boğa! On iki saniyede iş bitti!
View OriginalReply0
PumpingCroissant
· 08-27 22:41
Beş kat performans Al, al, al
View OriginalReply0
MoonRocketman
· 08-27 22:34
Aya doğru motoru önceden ısıtıldı, %93 doğrulama hızı neredeyse atmosferi aşacak.
Son iki yılda, zkVM (sıfır bilgi sanal makinesi) teknolojisinde kaydedilen ilerleme gerçekten hızla gelişti; başlangıçta "kanıtlayabilen" olmaktan günümüzde "gerçek zamanlı kanıt" aşamasına geçmesi, bu alandaki önemli bir sıçramayı işaret ediyor.
Succinct şirketinin bu Mayıs ayında piyasaya sürdüğü SP1 Hypercube sistemi, sektörde geniş bir ilgi uyandırdı. Bu sistem, yenilikçi çok lineer çok terimli mimarisi ile kanıt sistemini yeniden tasarlayarak, önceki versiyonu SP1 Turbo'ya kıyasla gecikme ve maliyet açısından olağanüstü bir artış sağladı. Resmi verilere göre, %93'e kadar Ethereum blokları 12 saniye içinde kanıtlanabiliyor ve genel performans iyileştirme oranı şaşırtıcı bir şekilde 5 katına ulaştı.
Bu突破 yalnızca kod optimizasyonuna dayanarak gerçekleştirilemez, aynı zamanda tüm sistem mimarisinin tamamen yeniden yapılandırılmasını gerektirir. Mühendisler, her zaman diliminde üretilen blokları sürdürülebilir bir şekilde işlenebilir gerçek zamanlı nesneler olarak değerlendiren kısıtlama sistemini ve boru hattını yeniden tasarladılar, böylece sistem verimliliğini önemli ölçüde artırdılar.
SP1 sisteminin temel optimizasyon düşüncesi, "uygulama→izleme→kısıtlama→kanıtlama" sürecini en aza indirmektir. Stanford Üniversitesi'nin ilgili ders materyalleri, RISC-V talimat yürütümünden izleme toplamaya, ardından AIR/polinom kısıtları ve nihai kanıt üretimine kadar SP1'in kanıt sürecini derinlemesine analiz ederek her adımın önemini ve doğrulanabilirliğini ayrıntılı bir şekilde açıklamaktadır.
Dikkat çekici bir nokta, modern zkVM optimizasyonlarının geleneksel derleyici optimizasyonları alanını aşmış olduğudur. En son araştırmalar, standart LLVM optimizasyonlarının RISC-V türü zkVM'ler (örneğin, RISC Zero ve SP1) üzerinde hala önemli bir etkisi olduğunu göstermektedir (performans artışı %40'tan fazla), ancak bu artış oranı geleneksel CPU'larda elde edilen optimizasyon etkisinden çok daha düşüktür. Bu fenomenin başlıca nedeni, zkVM'nin performans darboğazlarının esasen kendine özgü kısıtlama sistemlerinden kaynaklanmasıdır, geleneksel CPU'lardaki önbellek yönetimi veya dal tahmini gibi donanım özelliklerinden değil.
zkVM teknolojisinin sürekli evrimiyle birlikte, gelecekte daha fazla çığır açıcı gelişme görebileceğimizi umuyoruz. Bu, blockchain teknolojisinin uygulanması ve yaygınlaşması için yeni olanaklar getirecektir.