Nova, Microsoft Research tarafından geliştirilen yeni bir tür rekürsif zk-SNARK( sıfır bilgili, basit ve etkileşimsiz bilgi kanıtlama) sistemidir. Kanıtların verimliliğini ve esnekliğini artırmak için Relaxed Rank-1 Constraint Systems, Relaxed R1CS( adı verilen bir tekniği kullanmaktadır.
Nova'nın Ana Avantajları
Rahatlatılmış R1CS teknolojisi kullanarak, rastgelelik gereksinimlerini azalttı ve kanıt verimliliğini büyük ölçüde artırdı.
Artımlı hesaplamayı destekler, karmaşık fonksiyonları adım adım hesaplayabilir, tüm hesaplamayı bir kerede tamamlamaya gerek yoktur.
Çok terimli hesaplamayı destekler, daha karmaşık kanıt görevlerini işleyebilir
Kanıt oluşturma ve doğrulama süreci daha verimli hale getirilmiştir, büyük ölçekli uygulama senaryolarına uygundur.
Nova'nın Potansiyel Sınırlamaları
Rahat R1CS, kanıt güvenliğinin geleneksel R1CS sistemlerinden biraz daha düşük olmasına neden olabilir.
Göreceli olarak karmaşık, kullanımı ve bakımı daha zor
Etkili bir şekilde kullanmak ve değiştirmek için ileri düzey kriptografi tekniklerini derinlemesine anlamak gerekmektedir.
Nova'nın Temel Bileşenleri
R1CS ve Gevşek R1CS: Sıfır Bilgi Kanıtları oluşturmak için kısıtlama sistemleri
Polinom Taahhüt Protokolü: Polinom değerlendirme değerlerini kanıtlamak için kullanılır.
Etkileşimsiz katlama çözümü ) NIFS (: Artan hesaplamanın her adımının doğruluğunu kanıtlamak için
Sumcheck algoritması: Çok terimli toplamayı doğrulamak için kullanılır.
Eliptik Kümeler Kriptografisi ) ECC (: Temel kriptografik ilkelere sağlar.
Keccak256 hash fonksiyonu: kanıt sürecinde transcript işlemek için kullanılır.
Büyük tam sayılar hesaplama: Normal tam sayı aralığını aşan hesaplamaları destekler.
Nova, bu bileşenlerin yenilikçi kombinasyonu sayesinde, verimli bir özyinelemeli kanıt sistemi gerçekleştirmiştir ve sıfır bilgi kanıtı teknolojisinin büyük ölçekli uygulamaları için bir temel oluşturmuştur.
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.
Nova: Yeni nesil yüksek verimli yeniden dönüşümlü zk-SNARK sistemi ve avantajları
Nova: Verimli Rekürsif zk-SNARK Sistemi
Nova, Microsoft Research tarafından geliştirilen yeni bir tür rekürsif zk-SNARK( sıfır bilgili, basit ve etkileşimsiz bilgi kanıtlama) sistemidir. Kanıtların verimliliğini ve esnekliğini artırmak için Relaxed Rank-1 Constraint Systems, Relaxed R1CS( adı verilen bir tekniği kullanmaktadır.
Nova'nın Ana Avantajları
Nova'nın Potansiyel Sınırlamaları
Nova'nın Temel Bileşenleri
R1CS ve Gevşek R1CS: Sıfır Bilgi Kanıtları oluşturmak için kısıtlama sistemleri
Polinom Taahhüt Protokolü: Polinom değerlendirme değerlerini kanıtlamak için kullanılır.
Etkileşimsiz katlama çözümü ) NIFS (: Artan hesaplamanın her adımının doğruluğunu kanıtlamak için
Sumcheck algoritması: Çok terimli toplamayı doğrulamak için kullanılır.
Eliptik Kümeler Kriptografisi ) ECC (: Temel kriptografik ilkelere sağlar.
Keccak256 hash fonksiyonu: kanıt sürecinde transcript işlemek için kullanılır.
Büyük tam sayılar hesaplama: Normal tam sayı aralığını aşan hesaplamaları destekler.
Nova, bu bileşenlerin yenilikçi kombinasyonu sayesinde, verimli bir özyinelemeli kanıt sistemi gerçekleştirmiştir ve sıfır bilgi kanıtı teknolojisinin büyük ölçekli uygulamaları için bir temel oluşturmuştur.