Anoma'nın yükseliş düşüş oyununun en yüksek puanı nedir?
Önce kırmızı topu kazandım, bugün de sarı top geldi, üzerinde daha var mı bilmiyorum?
Sıfır bilgi kanıtlarıyla ilk tanıştığımda klasik bir oyun hakkında bilgi edinmiştim 👇 A, kör B'nin sağ ve sol eline birer top koyar. Bu iki top, renkleri dışında her şeyin aynı olduğu, ağırlık, dokunma hissi gibi. B, A'ya sayısız soru sorabilir, ancak sorular renk ile ilgili olamaz. Kör B, bu iki topun aynı renk mi yoksa farklı renk mi olduğunu nasıl anlayabilir?
Kör B, A'nın hareketlerini görememesi için ellerini arkasında tutabilir, ardından B arkada iki topunu değiştirebilir veya değiştirmeyebilir, sonra öne alıp A'ya sorar: Topu değiştirdim mi? Eğer toplar farklı renkteyse, A kesinlikle B'nin değiştirdiğini bilir. Eğer toplar aynı renkteyse, A değiştirilip değiştirilmediğini anlayamaz ve muhtemelen yanlış tahmin eder. Bu şekilde, aynı soruyu tekrar tekrar sorarak, A bir kez bile yanlış cevap verirse, iki topun renginin aynı olduğunu kesinleştirebilir.
Oyun: "İki topun farklı renklerini" belirlerken her birinin renklerinin kesin değerlerini ifşa etmemek. Anoma'daki ZK kullanımı: "Bu niyet setinin varlık korunumu + kısıtlamaları karşıladığını" ispatlamak ve iç detayları (miktar, tam tercih) ifşa etmemek. Benzerlik eşlemesi: 1⃣Gizli değer: Topun belirli rengi ↔ Hesabın kesin bakiyesi / İçsel parametreler. 2⃣ Açıklanması gereken özellik: Farklı renk olup olmadığı ↔ Eşleştirme yasal/ Bakiyenin yeterli olması/ Kısıtların karşılanması. 3⃣Kanıtlama Yöntemi: Ayırt edici permütasyon (değiştirmenin görünürlüğü) ↔ Sıfır bilgi devresinin kısıtlanabilirlik kanıtı. Temel ortak nokta: Sadece gerekli boolean/kısıtlama gerçekliğini açığa çıkarmak, orijinal sırrı açığa çıkarmamak.
Anoma, gerçek zincir üzerinde sıfır bilgi kanıtları ile bu düşünceyi ölçeklendirir: yalnızca 'eşleştirme ve kısıtlamaların geçerliliği' özelliğini ortaya çıkarırken, niyet ve varlık detaylarını gizli tutarak gizlilik ve doğrulanabilirliğin birleşimini sağlar.
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.
Anoma'nın yükseliş düşüş oyununun en yüksek puanı nedir?
Önce kırmızı topu kazandım, bugün de sarı top geldi, üzerinde daha var mı bilmiyorum?
Sıfır bilgi kanıtlarıyla ilk tanıştığımda klasik bir oyun hakkında bilgi edinmiştim 👇
A, kör B'nin sağ ve sol eline birer top koyar. Bu iki top, renkleri dışında her şeyin aynı olduğu, ağırlık, dokunma hissi gibi. B, A'ya sayısız soru sorabilir, ancak sorular renk ile ilgili olamaz. Kör B, bu iki topun aynı renk mi yoksa farklı renk mi olduğunu nasıl anlayabilir?
Kör B, A'nın hareketlerini görememesi için ellerini arkasında tutabilir, ardından B arkada iki topunu değiştirebilir veya değiştirmeyebilir, sonra öne alıp A'ya sorar: Topu değiştirdim mi? Eğer toplar farklı renkteyse, A kesinlikle B'nin değiştirdiğini bilir. Eğer toplar aynı renkteyse, A değiştirilip değiştirilmediğini anlayamaz ve muhtemelen yanlış tahmin eder. Bu şekilde, aynı soruyu tekrar tekrar sorarak, A bir kez bile yanlış cevap verirse, iki topun renginin aynı olduğunu kesinleştirebilir.
Oyun: "İki topun farklı renklerini" belirlerken her birinin renklerinin kesin değerlerini ifşa etmemek. Anoma'daki ZK kullanımı: "Bu niyet setinin varlık korunumu + kısıtlamaları karşıladığını" ispatlamak ve iç detayları (miktar, tam tercih) ifşa etmemek.
Benzerlik eşlemesi:
1⃣Gizli değer: Topun belirli rengi ↔ Hesabın kesin bakiyesi / İçsel parametreler.
2⃣ Açıklanması gereken özellik: Farklı renk olup olmadığı ↔ Eşleştirme yasal/ Bakiyenin yeterli olması/ Kısıtların karşılanması.
3⃣Kanıtlama Yöntemi: Ayırt edici permütasyon (değiştirmenin görünürlüğü) ↔ Sıfır bilgi devresinin kısıtlanabilirlik kanıtı. Temel ortak nokta: Sadece gerekli boolean/kısıtlama gerçekliğini açığa çıkarmak, orijinal sırrı açığa çıkarmamak.
Anoma, gerçek zincir üzerinde sıfır bilgi kanıtları ile bu düşünceyi ölçeklendirir: yalnızca 'eşleştirme ve kısıtlamaların geçerliliği' özelliğini ortaya çıkarırken, niyet ve varlık detaylarını gizli tutarak gizlilik ve doğrulanabilirliğin birleşimini sağlar.