Succinct, en üst düzey ZK projesidir ve ana ürünü SP1, şu anda en hızlı zkVM'dir. Bu proje 55 milyon dolar fon aldı.
SP1'in aşağıdaki özellikleri vardır:
• Performans lideri, diğer zkVM'lere göre kanıtlama hızı en fazla 28 kat daha yüksek, maliyet büyük ölçüde düşürülmüştür.
• Rust ile ZKP yazımını destekler, mevcut kod kütüphanesinin yeniden kullanımını sağlar ve geliştirme verimliliğini 100 kat artırır.
• Üretim düzeyindeki uygulamaları destekler, profesyonel denetimden geçmiştir ve birden fazla büyük proje tarafından benimsenmiştir.
I. SP1 Tanıtımı
SP1, geliştiricilerin Rust veya LLVM derleyicisini destekleyen diğer dilleri kullanarak normal kod yazmalarına ve programın doğru bir şekilde çalıştığını doğrulamak için verimli sıfır bilgi kanıtları üretmelerine olanak tanıyan genel bir sıfır bilgi sanal makinesidir (zkVM).
SP1'in temel yeniliği, sıfır bilgi kanıtlarının geliştirme eşiğini önemli ölçüde düşürmesidir; aynı zamanda mükemmel performansı ve esnekliği korur. Bu, ZKP geliştirmeyi sıradan yazılım yazmak kadar basit hale getirir, böylece blockchain altyapıları ( gibi Rollup, çapraz zincir köprüler, oracle'lar vb. ) sürdürülebilir kod aracılığıyla doğrulanabilirlik elde edebilir.
Sıfır Bilgi Kanıtı ( ZKP ), herhangi bir girdi verisini ifşa etmeden belirli bir hesaplamanın doğruluğunu kanıtlayabilir. Bu teknoloji, blockchain alanında geniş bir uygulama yelpazesine sahiptir; ölçeklenebilirlik, birlikte çalışabilirlik, gizlilik koruma ve köprüler ile oracle'lar gibi.
Ancak, geleneksel ZKP geliştirme çok karmaşık olup, uzman bir kriptografi ekibi, uzun geliştirme süreleri ve yüksek bakım maliyetleri gerektirmektedir. SP1'in ortaya çıkışı bu durumu tamamen değiştirdi.
İkincisi, SP1'in Özellikleri
1. Üstün performans
Gerçek blockchain iş yükleri (, hafif istemci doğrulama, Rollup gibi ) üzerinde, SP1 diğer zkVM'lere göre 4-28 kat daha hızlıdır, performansı özel devrelerin manuel optimizasyonuyla bile karşılaştırılabilir. En son sürüm SP1 Turbo (v4.0.0), GPU kümeleri üzerinde çalışırken, Ethereum ana ağ bloklarını yalnızca 40 saniyede doğrulamakta ve maliyeti birkaç sent kadar düşmektedir.
2. Rust geliştirmeyi destekliyor
SP1, geliştiricilerin ZKP mantığını Rust ile yazmasına ve mevcut Rust ekosistem kütüphanelerini doğrudan yeniden kullanmalarına olanak tanır. Geliştiriciler, mevcut blockchain düğüm kodlarını basit bir şekilde değiştirerek ZKP oluşturabilirler; bu, karmaşık devreleri sıfırdan yazma zahmetini ortadan kaldırır.
3. Önceden Derleme Mekanizması
SP1, yaygın şifreleme işlemleri için "önceden derleme" mekanizmasını tanıttı ( keccak, sha256, imza doğrulama gibi ) yüksek optimizasyon sağladı. Bu önceden derlemeler, hesaplama maliyetini önemli ölçüde azaltarak, SP1'in karmaşık blok zinciri iş yüklerini işleme verimliliğini artırdı. Örneğin, SP1 ZK Tendermint hafif istemcisini çalıştırarak doğrulama süresini 2.2 saatten 4.6 dakikaya indirdi.
4. Açık Kaynak ve Güvenlik
SP1 tamamen açık kaynaklı bir projedir ( MIT/Apache 2.0 lisansı ). Modüler mimarisi, geliştiricilerin "önceden derlenmiş" özelleştirmesine ve belirli kullanım durumlarının performansını optimize etmesine olanak tanır. SP1, birçok tanınmış projeden gelen geliştiricileri bir araya getirerek geliştirilmiştir.
Ayrıca, SP1 birçok üst düzey ZK güvenlik şirketi tarafından defalarca denetlenmiş ve kamuya açık denetim yarışmasında "sıfır yüksek riskli açık" ile mükemmel bir sonuç elde etmiştir.
5. Geniş Ortaklıklar
Birçok tanınmış proje, ZKP oluşturmak için SP1'i kullanarak 10 milyar dolardan fazla zincir üstü varlığı (TVL) güvence altına aldı. Rollup'tan köprüye, oracle'dan gizlilik protokollerine kadar, SP1 blockchain altyapısının standart konfigürasyonu haline geliyor.
Üç, SP1'in Uygulama Senaryoları
SP1'in blockchain alanında birçok uygulaması vardır:
Rollup: SP1 kullanarak ZK Rollup oluşturma, durum geçişlerinin sıfır bilgi kanıtlarını üretme, Ethereum veya Bitcoin gibi ana zincirlerle bağlantı kurma, yüksek verim ve düşük maliyet sağlama.
Köprü: SP1, Tendermint veya Ethereum hafif istemcisi gibi Layer 1'in konsensüsünü ( doğrulayabilir ve güvenli, verimli bir köprü inşa eder.
İnteroperabilite: SP1 aracılığıyla, Rollup'lar arasında hızlı bir belirlilik ve karşılıklı etkileşim sağlanabilir.
Oracle: SP1, büyük ölçekli dış hesaplamaları destekler ), tarihi durum sorgulamaları, zincir üzerinde makine öğrenimi ( ve zincir üzerinde doğrulanabilir kanıtlar üretir, Gas maliyetlerini önemli ölçüde düşürür.
Gizlilik: SP1, kullanıcı verilerinin güvenliğini koruyarak özel işlemler ve durumlar gerçekleştirebilir.
Birleştirme: SP1, benzer ZKP'leri bir araya getirerek zincir üzerindeki doğrulama maliyetlerini daha da düşürebilir.
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.
25 Likes
Reward
25
9
Repost
Share
Comment
0/400
LeekCutter
· 07-29 03:45
Yani bir programcı, hala Kripto Para Trade yapıyor.
View OriginalReply0
SchrodingerWallet
· 07-28 07:18
Bu 28 kat, onlarca zkvm'yi mahvedebilir.
View OriginalReply0
RugpullTherapist
· 07-26 04:26
zkVM sihirbazı yine iş başında
View OriginalReply0
ZkProofPudding
· 07-26 04:25
28 kat hızlı olduğunu biraz inanamıyorum.
View OriginalReply0
GateUser-c802f0e8
· 07-26 04:25
28 kat gerçekten dövüyor.
View OriginalReply0
SoliditySlayer
· 07-26 04:20
rust gerçekten harika
View OriginalReply0
SnapshotBot
· 07-26 04:13
Bu adam Aya doğru gitti.
View OriginalReply0
NFTArtisanHQ
· 07-26 04:02
sıfır bilgi estetiği ve ölçeklenebilirlik paradigmalarının büyüleyici kesişimi... gerçekten nefes kesici
View OriginalReply0
Hash_Bandit
· 07-26 04:00
yirmi sekiz kat daha hızlı, öyle mi? tıpkı '13'te asic ve gpu madenciliği gibi... etkileyici hashrate optimizasyonu, inkar edemem.
SP1: Mevcut en hızlı zkVM performansı rakiplerini 28 kat geride bırakıyor.
Succinct'in SP1'i: Şu anda en hızlı zkVM
Succinct, en üst düzey ZK projesidir ve ana ürünü SP1, şu anda en hızlı zkVM'dir. Bu proje 55 milyon dolar fon aldı.
SP1'in aşağıdaki özellikleri vardır:
• Performans lideri, diğer zkVM'lere göre kanıtlama hızı en fazla 28 kat daha yüksek, maliyet büyük ölçüde düşürülmüştür.
• Rust ile ZKP yazımını destekler, mevcut kod kütüphanesinin yeniden kullanımını sağlar ve geliştirme verimliliğini 100 kat artırır.
• Üretim düzeyindeki uygulamaları destekler, profesyonel denetimden geçmiştir ve birden fazla büyük proje tarafından benimsenmiştir.
I. SP1 Tanıtımı
SP1, geliştiricilerin Rust veya LLVM derleyicisini destekleyen diğer dilleri kullanarak normal kod yazmalarına ve programın doğru bir şekilde çalıştığını doğrulamak için verimli sıfır bilgi kanıtları üretmelerine olanak tanıyan genel bir sıfır bilgi sanal makinesidir (zkVM).
SP1'in temel yeniliği, sıfır bilgi kanıtlarının geliştirme eşiğini önemli ölçüde düşürmesidir; aynı zamanda mükemmel performansı ve esnekliği korur. Bu, ZKP geliştirmeyi sıradan yazılım yazmak kadar basit hale getirir, böylece blockchain altyapıları ( gibi Rollup, çapraz zincir köprüler, oracle'lar vb. ) sürdürülebilir kod aracılığıyla doğrulanabilirlik elde edebilir.
Sıfır Bilgi Kanıtı ( ZKP ), herhangi bir girdi verisini ifşa etmeden belirli bir hesaplamanın doğruluğunu kanıtlayabilir. Bu teknoloji, blockchain alanında geniş bir uygulama yelpazesine sahiptir; ölçeklenebilirlik, birlikte çalışabilirlik, gizlilik koruma ve köprüler ile oracle'lar gibi.
Ancak, geleneksel ZKP geliştirme çok karmaşık olup, uzman bir kriptografi ekibi, uzun geliştirme süreleri ve yüksek bakım maliyetleri gerektirmektedir. SP1'in ortaya çıkışı bu durumu tamamen değiştirdi.
İkincisi, SP1'in Özellikleri
1. Üstün performans
Gerçek blockchain iş yükleri (, hafif istemci doğrulama, Rollup gibi ) üzerinde, SP1 diğer zkVM'lere göre 4-28 kat daha hızlıdır, performansı özel devrelerin manuel optimizasyonuyla bile karşılaştırılabilir. En son sürüm SP1 Turbo (v4.0.0), GPU kümeleri üzerinde çalışırken, Ethereum ana ağ bloklarını yalnızca 40 saniyede doğrulamakta ve maliyeti birkaç sent kadar düşmektedir.
2. Rust geliştirmeyi destekliyor
SP1, geliştiricilerin ZKP mantığını Rust ile yazmasına ve mevcut Rust ekosistem kütüphanelerini doğrudan yeniden kullanmalarına olanak tanır. Geliştiriciler, mevcut blockchain düğüm kodlarını basit bir şekilde değiştirerek ZKP oluşturabilirler; bu, karmaşık devreleri sıfırdan yazma zahmetini ortadan kaldırır.
3. Önceden Derleme Mekanizması
SP1, yaygın şifreleme işlemleri için "önceden derleme" mekanizmasını tanıttı ( keccak, sha256, imza doğrulama gibi ) yüksek optimizasyon sağladı. Bu önceden derlemeler, hesaplama maliyetini önemli ölçüde azaltarak, SP1'in karmaşık blok zinciri iş yüklerini işleme verimliliğini artırdı. Örneğin, SP1 ZK Tendermint hafif istemcisini çalıştırarak doğrulama süresini 2.2 saatten 4.6 dakikaya indirdi.
4. Açık Kaynak ve Güvenlik
SP1 tamamen açık kaynaklı bir projedir ( MIT/Apache 2.0 lisansı ). Modüler mimarisi, geliştiricilerin "önceden derlenmiş" özelleştirmesine ve belirli kullanım durumlarının performansını optimize etmesine olanak tanır. SP1, birçok tanınmış projeden gelen geliştiricileri bir araya getirerek geliştirilmiştir.
Ayrıca, SP1 birçok üst düzey ZK güvenlik şirketi tarafından defalarca denetlenmiş ve kamuya açık denetim yarışmasında "sıfır yüksek riskli açık" ile mükemmel bir sonuç elde etmiştir.
5. Geniş Ortaklıklar
Birçok tanınmış proje, ZKP oluşturmak için SP1'i kullanarak 10 milyar dolardan fazla zincir üstü varlığı (TVL) güvence altına aldı. Rollup'tan köprüye, oracle'dan gizlilik protokollerine kadar, SP1 blockchain altyapısının standart konfigürasyonu haline geliyor.
Üç, SP1'in Uygulama Senaryoları
SP1'in blockchain alanında birçok uygulaması vardır:
Rollup: SP1 kullanarak ZK Rollup oluşturma, durum geçişlerinin sıfır bilgi kanıtlarını üretme, Ethereum veya Bitcoin gibi ana zincirlerle bağlantı kurma, yüksek verim ve düşük maliyet sağlama.
Köprü: SP1, Tendermint veya Ethereum hafif istemcisi gibi Layer 1'in konsensüsünü ( doğrulayabilir ve güvenli, verimli bir köprü inşa eder.
İnteroperabilite: SP1 aracılığıyla, Rollup'lar arasında hızlı bir belirlilik ve karşılıklı etkileşim sağlanabilir.
Oracle: SP1, büyük ölçekli dış hesaplamaları destekler ), tarihi durum sorgulamaları, zincir üzerinde makine öğrenimi ( ve zincir üzerinde doğrulanabilir kanıtlar üretir, Gas maliyetlerini önemli ölçüde düşürür.
Gizlilik: SP1, kullanıcı verilerinin güvenliğini koruyarak özel işlemler ve durumlar gerçekleştirebilir.
Birleştirme: SP1, benzer ZKP'leri bir araya getirerek zincir üzerindeki doğrulama maliyetlerini daha da düşürebilir.