Nova, Microsoft tarafından geliştirilen yeni bir zk-SNARKs sistemidir. Kanıtların verimliliğini ve esnekliğini artırmak için gevşek rütbe bir kısıtlama sistemi (Relaxed R1CS) teknolojisini kullanır.
Nova'nın ana avantajı, gevşek R1CS teknolojisini kullanmasıdır. Geleneksel R1CS sistemleri, kanıtlama sürecinde büyük miktarda rastgelelik kullanmayı gerektirir, bu da kanıt oluşturma ve doğrulama sürecini karmaşık ve zaman alıcı hale getirir. Nova, gevşek R1CS kullanarak, kanıtlarda daha az rastgelelik kullanılmasına izin verir ve böylece kanıt verimliliğini büyük ölçüde artırır.
Ayrıca, Nova artımlı hesaplamayı destekler, bu sayede karmaşık fonksiyonları adım adım hesaplayabilir, tüm fonksiyonu bir seferde hesaplamak zorunda kalmazsınız. Bu, büyük ölçekli veriler veya karmaşık hesaplamalarla çalışırken son derece faydalıdır. Nova ayrıca daha karmaşık kanıt görevlerini işleyebilen çok terimli hesaplamayı da destekler.
Nova'nın dezavantajı, gevşek R1CS kullanımı nedeniyle, kanıtlarının geleneksel R1CS sistemleri kadar güçlü olmaması olabilir. Gevşek R1CS, daha az rastgelelik kullanılmasına izin verir, bu da kanıt güvenliğini azaltabilir. Ancak, Nova geliştiricileri bu sorunu çözmek için daha güçlü kriptografik algoritmalar ve daha karmaşık kanıt stratejileri kullanma gibi önlemler almıştır.
Ayrıca, Nova'nın uygulanması nispeten karmaşıktır, bu da kullanım ve bakım zorluğunu artırabilir. Nova, birçok ileri düzey kriptografi tekniği kullanır, bu teknikleri etkili bir şekilde kullanmak ve değiştirmek için derinlemesine bir anlayış gerektirir.
Genel olarak, Nova sıfır bilgi kanıtları alanında önemli bir konumda yer almaktadır. Gevşek R1CS teknolojisi, kanıt oluşturma ve doğrulama süreçlerini daha verimli hale getirerek büyük ölçekli sıfır bilgi kanıtı uygulamaları için kritik bir öneme sahiptir. Nova ayrıca artımlı hesaplama ve çok terimli hesaplamayı destekleyerek sıfır bilgi kanıtlarının uygulama alanını daha da genişletmektedir.
Nova'nın kaynak kodu esas olarak aşağıdaki birkaç temel modülü içerir:
bellperson: R1CS ile ilgili işlevleri gerçekleştirin.
gadgets: zk-SNARKs kanıtlarını oluşturan araçları içerir.
spartan: Spartan protokolüne ilişkin işlevleri gerçekleştirmek.
özellikler: Group, CommitmentTrait gibi bazı genel özellikleri tanımladı.
r1cs.rs: R1CS ile ilgili veri yapıları ve yöntemleri tanımlamak.
nifs.rs: Etkileşimsiz katlama çözümü uygulamak.
ipa_pc.rs: IPA tabanlı çok terimli taahhüt şemasını uygulayın.
Bu modüller, R1CS kısıt sistemi, çok terimli taahhüt, zk-SNARKs oluşturma ve doğrulama gibi Nova'nın temel işlevlerini bir araya getirir. Nova, bu modüllerin kombinasyonu sayesinde etkili bir zk-SNARKs sistemi gerçekleştirmiştir.
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.
15 Likes
Reward
15
9
Share
Comment
0/400
GasWrangler
· 07-15 08:59
teknik olarak konuşursak, nova'nın gevşek r1cs'i sağlam güvenlik garantileri için alt optimaldir...
View OriginalReply0
Rugpull幸存者
· 07-14 14:27
Microsoft'un gücü çok yüksek.
View OriginalReply0
PretendingSerious
· 07-13 22:56
boğa müthiş, Microsoft sonunda iyi bir şey yaptı.
View OriginalReply0
CryptoTarotReader
· 07-13 18:34
Microsoft geldi! ZK güçlü bir şekilde halka açılmayı mı düşünüyor?
View OriginalReply0
BlockchainTalker
· 07-13 18:29
aslında, microsoft zk kanıtları yapıyor mu? gerçekten bir oyun değiştirici, dürüst olmak gerekirse... çok fazla insan bunun farkında değil
Nova: Rahat R1CS teknolojisi zk-SNARKs yeni verimliliğini önderlik ediyor
Nova: Verimli bir zk-SNARKs sistemi
Nova, Microsoft tarafından geliştirilen yeni bir zk-SNARKs sistemidir. Kanıtların verimliliğini ve esnekliğini artırmak için gevşek rütbe bir kısıtlama sistemi (Relaxed R1CS) teknolojisini kullanır.
Nova'nın ana avantajı, gevşek R1CS teknolojisini kullanmasıdır. Geleneksel R1CS sistemleri, kanıtlama sürecinde büyük miktarda rastgelelik kullanmayı gerektirir, bu da kanıt oluşturma ve doğrulama sürecini karmaşık ve zaman alıcı hale getirir. Nova, gevşek R1CS kullanarak, kanıtlarda daha az rastgelelik kullanılmasına izin verir ve böylece kanıt verimliliğini büyük ölçüde artırır.
Ayrıca, Nova artımlı hesaplamayı destekler, bu sayede karmaşık fonksiyonları adım adım hesaplayabilir, tüm fonksiyonu bir seferde hesaplamak zorunda kalmazsınız. Bu, büyük ölçekli veriler veya karmaşık hesaplamalarla çalışırken son derece faydalıdır. Nova ayrıca daha karmaşık kanıt görevlerini işleyebilen çok terimli hesaplamayı da destekler.
Nova'nın dezavantajı, gevşek R1CS kullanımı nedeniyle, kanıtlarının geleneksel R1CS sistemleri kadar güçlü olmaması olabilir. Gevşek R1CS, daha az rastgelelik kullanılmasına izin verir, bu da kanıt güvenliğini azaltabilir. Ancak, Nova geliştiricileri bu sorunu çözmek için daha güçlü kriptografik algoritmalar ve daha karmaşık kanıt stratejileri kullanma gibi önlemler almıştır.
Ayrıca, Nova'nın uygulanması nispeten karmaşıktır, bu da kullanım ve bakım zorluğunu artırabilir. Nova, birçok ileri düzey kriptografi tekniği kullanır, bu teknikleri etkili bir şekilde kullanmak ve değiştirmek için derinlemesine bir anlayış gerektirir.
Genel olarak, Nova sıfır bilgi kanıtları alanında önemli bir konumda yer almaktadır. Gevşek R1CS teknolojisi, kanıt oluşturma ve doğrulama süreçlerini daha verimli hale getirerek büyük ölçekli sıfır bilgi kanıtı uygulamaları için kritik bir öneme sahiptir. Nova ayrıca artımlı hesaplama ve çok terimli hesaplamayı destekleyerek sıfır bilgi kanıtlarının uygulama alanını daha da genişletmektedir.
Nova'nın kaynak kodu esas olarak aşağıdaki birkaç temel modülü içerir:
bellperson: R1CS ile ilgili işlevleri gerçekleştirin.
gadgets: zk-SNARKs kanıtlarını oluşturan araçları içerir.
spartan: Spartan protokolüne ilişkin işlevleri gerçekleştirmek.
özellikler: Group, CommitmentTrait gibi bazı genel özellikleri tanımladı.
r1cs.rs: R1CS ile ilgili veri yapıları ve yöntemleri tanımlamak.
nifs.rs: Etkileşimsiz katlama çözümü uygulamak.
ipa_pc.rs: IPA tabanlı çok terimli taahhüt şemasını uygulayın.
Bu modüller, R1CS kısıt sistemi, çok terimli taahhüt, zk-SNARKs oluşturma ve doğrulama gibi Nova'nın temel işlevlerini bir araya getirir. Nova, bu modüllerin kombinasyonu sayesinde etkili bir zk-SNARKs sistemi gerçekleştirmiştir.