Cardano Foundation Cardano üzerinde bir sıfır bilgi kanıtının nasıl doğrulanacağını gösteriyor

Bir Cardano akıllı sözleşmesi, sayıları almadan birinin bir denklemi sağlayan sekiz sayıyı bilip bilmediğini kontrol edebilir. Cardano Foundation bu örneği sıfır bilgi kanıtları üzerine yeni dizisini tanıtmak için kullanıyor. İlk eğitim, denklemi bir kısıtlar kümesi olarak yazmaktan kanıtı zincir dışında üretmeye ve bunu bir Aiken testinde doğrulamaya kadar süreci izliyor.

Sekiz Özel Sayı, Tek Bir Açık Sonuç

Örnek, sekiz sayıyı dört ikili gruba ayırır. Kanıtlayıcı, her çifti oluşturan iki sayıyı çarpar ve dört çarpımı toplar. Toplamın 100'e eşit olması gerekir. Bu sonuç açıktır, sekiz sayı ise özel kalır.

Eğitim, hesabı beş matematiksel kısıt olarak ifade ediyor. Dördü tek tek çarpımları kontrol eder, beşincisi ise bunların açık sonuca toplandığını denetler. Geçerli bir kanıt, kanıtlayıcının bu kısıtları sağlayan bir sayı kümesini bildiğini, hangi kümeyi kullandığını ifşa etmeden ortaya koyar.

Aiken 192 baytlık bir Groth16 kanıtını nasıl doğrular

Eğitim kanıtı zincir dışında üretir. Groth16 kanıtı, örnekte kullanılan sıkıştırılmış BLS12-381 formatında 192 bayt yer kaplayan üç eliptik eğri noktasından oluşur. Doğrulayıcı, kanıtı açık girdilere ve devreye bağlı bir doğrulama anahtarına karşı doğrular.

Adım adım anlatım, Cardano ana ağındaki Plutus V3 betiklerinde mevcut olanlarla aynı BLS12-381 işlemlerini kullanan bir Aiken testiyle sona erer. Örneğin yeniden üretilebilir olması için eğitim, normalde gizli olan kurulum bölümüne ait sabit ve herkesçe bilinen değerleri kullanır. Üretim ortamındaki bir Groth16 kurulumunda, bu gizli kurulum değerlerini elinde bulunduran herhangi biri sahte kanıtlar üretebilir.

Zincir üstü doğrulama Cardano için neden önemlidir

Cardano geliştiricileri, mevcut Plutus V3 işlemlerini kullanarak bir Aiken akıllı sözleşmesine bir Groth16 doğrulayıcı yerleştirebilir. Bir uygulama kanıtı zincir dışında üretebilir, ardından doğrulayıcının bir işlemin bir koşulu karşılayıp karşılamadığına karar verebilmesi için bunu sözleşmeye aktarabilir. Kanıt ve gerekli açık girdiler doğrulayıcıya sunulur, altta yatan özel veriler ise zincir dışında kalabilir.

Bir kimlik bilgisi uygulamasında bu ayrım, bir kullanıcının neyi açıklaması gerektiğini belirler. Devre ve kimlik bilgisi tasarımı kanıtlanan iddiayı zorunlu kıldığı sürece, bir sözleşme bir kimlik bilgisi sahibinin yaş gereksinimini karşılayıp karşılamadığını doğum tarihini almadan kontrol edebilir.

[NEWSBREAK]

Sonraki dört bölüm neleri kapsayacak

İkinci bölüm, kanıt üretiminin nasıl hızlandırılacağını ve üretim kurulum törenlerinin nasıl çalıştığını gösterecek. Ayrıca Groth16'yı diğer kanıt sistemleriyle karşılaştıracak ve geliştiricilerin elle devre tasarlamasını gerektirmeden bir programın doğru çalıştığını kanıtlayabilen sıfır bilgi sanal makinelerinin nasıl işlediğini inceleyecek.

Üçüncü bölüm, anahtar sahipliği kanıtlarının Cardano adreslerine nasıl bağlanabileceğini gösterecek. Dördüncü bölüm seçimli açıklamaya yönelecek. Planlanan bir örnekte bir kimlik bilgisi sahibi, doğum tarihini ya da blok zinciri adresini açıklamadan en az 21 yaşında olduğunu kanıtlayacak.

Son bölüm, Groth16'da kullanılan eliptik eğri varsayımlarının yerini alabilecek kafes tabanlı yaklaşımlara odaklanarak kuantuma dayanıklı kanıt sistemlerini inceleyecek.