Modulo-P, anonim oylama ve gizli uygulamalar için Cardano ZK araçlarını kullanıma sunuyor

Modulo-P, Cardano geliştiricilerinin anonim üyelik, gizli oylama ve mahremiyeti koruyan uyumluluk uygulamaları oluşturmak için kullanabileceği açık kaynaklı bir sıfır bilgi yığını sundu. Agustín Salinas, 10 Temmuzda düzenlenen Cardano Developers Office Hours #68 sırasında çalışmayı özetleyerek, erken Plutus V2 ve Hydra deneylerinden yeniden kullanılabilir Aiken sözleşmeleri ve paylaşılan kriptografik kurulum altyapısına uzanan gelişimini anlattı.

Bileşenler tek bir son kullanıcı ürünü oluşturmaz. Kimlik, üyelik ya da işlem özelliklerinin kanıtını gerektiren uygulamalara geliştiricilerin, alttaki özel veriyi ifşa etmeden entegre edebileceği ayrı yapı taşları sağlarlar.

Cardano-Semaphore, Aiken'e anonim üyelik getiriyor

Modulo-P, 2023'te Cardano üzerinde sıfır bilgi ispatlarıyla denemelere başladı, ağın verimli doğrulama için gereken Plutus ilkel bileşenlerine sahip olmasından ve Aiken'in yaygın kullanılan bir akıllı sözleşme dili olarak olgunlaşmasından önce.

Ekibin ilk doğrulayıcısı büyüktü ve hesaplama açısından maliyetliydi, bu da ilk uygulama için Cardano Katman 1'i uygun olmayan hale getirdi. Geliştirme Hydra'ya taşındı, burada Modulo-P, gizli kombinasyonu açıklamadan bir katılımcının bir ipucunun geçerliliğini kanıtlamasına olanak tanıyan Mastermind'ın sıfır bilgi sürümünü oluşturdu.

Daha sonra Plutus V3, yerel BLS12-381 kriptografik fonksiyonlarını tanıttı, Aiken ise derleme ve geliştirme döngülerini önemli ölçüde kısalttı. Modulo-P, bu yetenekleri kullanarak bir Groth16 doğrulayıcısının Aiken uygulaması olan ak-381'i yayımladı, ardından Cardano-Semaphore geldi.

Semaphore, aslen Ethereum ekosisteminde geliştirilen bir sıfır bilgi protokolüdür. Bir kullanıcının tanımlı bir gruba üyeliğini, hangi üye olduğunu açıklamadan kanıtlamasına olanak tanır.

Cardano-Semaphore, bu modeli Aiken akıllı sözleşmeleri aracılığıyla uygular. Doğrulanmış bir üye oy, tercih, mesaj ya da uygulamaya özgü başka bir girdiyi temsil eden anonim bir sinyal gönderebilir. Protokol, göndericinin geçerli bir özel kimliğe sahip olduğunu, yetkili gruba ait olduğunu ve aynı türden bir sinyali daha önce göndermediğini denetler.

Bu uygulama, her ekibin anonim üyelik ve yinelenmeyi önleme mantığını bağımsız biçimde tasarlamasını gerektirmek yerine Cardano uygulamalarına yeniden kullanılabilir bir mahremiyet katmanı sağlar. Olası kullanımlar arasında gizli anketler, kurumsal kararlar, anonim destekler ve her eylemi bir cüzdana ya da kimliğe alenen bağlamadan katılımın sınırlandırılması gereken yönetişim sistemleri bulunur.

Gizli Oylama ve Proof of Innocence araçları kullanıma sokuyor

Modulo-P, Cardano'nun Preprod ortamında çalışan bir oylama uygulaması için temel olarak Cardano-Semaphore'u kullandı.

Mevcut uygulama tek kişi tek oy modelini destekliyor. Katılımcılar uygun gruba ait olduklarını kanıtlar, anonim bir oy kullanır ve hangi kayıtlı üyenin seçtiğini açıklamadan gönderilen tercihe bağlanırlar.

Salinas, mimarinin ağırlıklı oylama ve farklı soru formatlarına da uyarlanabileceğini söyledi. Bu yapılandırmalar, tekil bir uygulamanın grup üyeliğini, oy haklarını ve her oylama penceresini yöneten kuralları nasıl tanımladığına bağlıdır.

Oylama uygulaması, Semaphore'un ve anonim sinyalleştirmenin Cardano uygulamasını finanse eden önceki bir Project Catalyst girişimini takip ediyor. Fund 11 projesi 100,000 ADA aldı ve çıktıları tamamen açık kaynak olacak şekilde tasarlanmış biçimde tamamlandı olarak listeleniyor.

İkinci bir uygulama olan Proof of Innocence, ENCOINS, Modulo-P ve Eryx Cooperative tarafından geliştirildi.

Proof of Innocence, bir kullanıcının, kanıtı üretmek için kullanılan belirli işlemi, kaynak adresi ya da özel geçmişi açıklamadan fonların tanımlı bir kötü niyetli işlem kümesiyle bağlantılı olmadığını göstermesine olanak tanır.

Bir gizlilik protokolü, bir kullanıcı fon çektiğinde bu mekanizmayı uygulayabilir. Tüm işlem yolunu yayımlamak yerine kullanıcı, ilgili mevduatın ya da taahhüdün protokolün kara listesine dahil olmadığını gösteren bir sıfır bilgi kanıtı üretir.

Project Catalyst girişime 150,000 ADA tahsis etti. Proje tamamlandı olarak listeleniyor ve araştırma, sıfır bilgi devreleri, akıllı sözleşmeler, test ve nihai dokümantasyonu kapsıyor. Çıktısı üretim düzeyinde bir uyumluluk hizmeti yerine bir kavram kanıtı olarak kalıyor.

Bu ayrım, kodu değerlendiren geliştiriciler için önemlidir. Uygulama, seçmeli doğrulamanın Cardano üzerinde nasıl çalışabileceğini gösterir ancak ticari bir dağıtım yine de denetlenmiş sözleşmeler, güvenilir veri kaynakları, açıkça tanımlanmış kara liste yönetişimi ve özel işlemleri işleyen uygulama ile entegrasyon gerektirir.

Yeniden kullanılabilir Powers of Tau parametreleri ZK kurulum işini azaltıyor

Groth16 gibi verimli kanıt sistemleri, uygulamaların kanıtları güvenli biçimde üretebilmesi ve doğrulayabilmesi için güvenilen bir kurulum gerektirir.

Bir Powers of Tau töreni sırasında birden çok katılımcı, paylaşılan bir kriptografik parametre setine gizli rastgelelik katkısı yapar. Her katılımcı, katkısı dahil edildikten sonra kendi özel katkısını yok etmelidir. En az bir katkıcı bu süreci dürüstçe tamamladığı sürece nihai çıktı güvenli kalır çünkü hiçbir taraf tam sırrı yeniden oluşturamaz.

Modulo-P ve ENCOINS, yaklaşık 40 topluluk katılımcısıyla Cardano odaklı bir Powers of Tau töreni düzenledi. Salinas, ardışık katkı sürecinin yaklaşık 20 gün sürdüğünü söyledi.

Girişim Project Catalyst aracılığıyla 87,141 ADA aldı ve hazırlık, törenin yürütülmesi, bir açık portal ve nihai teslimatı kapsayan dört kilometre taşını tamamladı. Ortaya çıkan parametreler uyumlu Cardano uygulamaları tarafından yeniden kullanılabilir, böylece her yeni devre için kurulumun ilk aşamasını tekrarlama ihtiyacını ortadan kaldırır.

Groth16 uygulamaları yine de uygulamanın özgül devresine bağlı ikinci bir kurulum aşaması gerektirir. Cardano ve Ethereum sıfır bilgi topluluklarından katkıcılar, bu aşamayı basitleştirmek için Brebaje geliştiriyor.

Protokolden bağımsız bu araç, ekiplerin bir tören oluşturmasına, katkıları koordine etmesine, katılımcı kaydını yayımlamasına ve sürecin denetlenebilir bir kaydını muhafaza etmesine yardımcı olmak üzere tasarlanmıştır. Brebaje aktif geliştirme altında ve henüz tamamlanmış bir üretim hizmeti değildir.

Modulo-P artık deneysel araçların sayısını sürekli genişletmek yerine daha güçlü dokümantasyon, güvenlik incelemesi ve daha kolay geliştirici iş akışlarına öncelik veriyor. Cardano ekipleri halihazırda herkese açık Groth16 doğrulayıcı kodu, Cardano-Semaphore sözleşmeleri, tamamlanmış bir Proof of Innocence başvuru uygulaması ve yeniden kullanılabilir Birinci Aşama parametreleri ile başlayabilir. Kalan çalışma, devre tasarımı, gerekebilecek ikinci aşama töreni, denetimler ve üretim entegrasyonu dahil olmak üzere her uygulamaya özgüdür, tüm sıfır bilgi temelini yeniden inşa etmek yerine.