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ı

• 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

1. R1CS ve Gevşek R1CS: Sıfır Bilgi Kanıtları oluşturmak için kısıtlama sistemleri

2. Polinom Taahhüt Protokolü: Polinom değerlendirme değerlerini kanıtlamak için kullanılır.

3. Etkileşimsiz katlama çözümü ) NIFS (: Artan hesaplamanın her adımının doğruluğunu kanıtlamak için

4. Sumcheck algoritması: Çok terimli toplamayı doğrulamak için kullanılır.

5. Eliptik Kümeler Kriptografisi ) ECC (: Temel kriptografik ilkelere sağlar.

6. Keccak256 hash fonksiyonu: kanıt sürecinde transcript işlemek için kullanılır.

7. 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.