Sıfır Bilgi Kanıtları: Zcash ve Altcoinler Tam Gizliliği Nasıl Sağlar?

Sıfır-bilgi kanıtları (ZKP’ler), modern blok zinciri sistemlerinde en dönüştürücü kriptografik ilkelere dönüştü. Teknik özünden uzaklaştıran üst düzey makalelerin aksine, bu metin, Zcash, Aleo ve Firo gibi altcoinlerde kullanılan ZK tabanlı gizlilik sistemlerinin arkasındaki gerçek mekanizmaları, gerçek matematiği ve gerçek kısıtlamaları, soyutlamalar veya pazarlama süslemeleri olmadan açıklıyor.

1. Sıfır-Bilgi Kanıtı (Matematiksel Olarak) Nedir?

Bir ZKP, bir ispatlayıcının P, doğrulayıcıyı V bir ifadenin doğru olduğuna hiçbir başka bilgi açığa çıkarmadan ikna etmesini sağlayan etkileşimli veya etkileşimsiz bir protokoldür.

Resmî olarak, bir ZKP şunları sağlamalıdır:

1. Tamlık (Completeness): Eğer ifade doğruysa, dürüst bir doğrulayıcı kabul eder.
2. Sağlamlık (Soundness): Kötü niyetli bir ispatlayıcı, doğrulayıcıyı yanlış bir ifadeye ikna edemez.
3. Sıfır-bilgi (Zero-knowledge): Doğrulayıcı, geçerlilik dışında hiçbir şey öğrenmez.
   Sıfır-bilgi, bir simülatör S kullanılarak tanımlanır:
   Eğer S, tanığı bilmeden ayırt edilemez bir transkript üretebiliyorsa, protokol sıfır-bilgi sayılır.

Blok zinciri kullanımında, ifade genellikle şöyle görünür:

“Bu açık değere hashlenen bir sırrı (tanık) biliyorum.”
veya
“Hangi coinlere ait olduğunu açığa çıkarmadan sahip olduğum coinler var.”

2. Commitment Şemaları — ZK Gizlilik Coinlerinin Temeli

Çoğu gizlilik coini, işlem değerlerini ve sahipliğini gizlemek için commitment’lar kullanır.

Bir commitment şu şekilde tanımlanır:
C = Commit(değer, rastgelelik)

Özellikler:

• Gizleme (Hiding): değeri C’den çıkarmak mümkün değildir.
• Bağlama (Binding): ispatlayıcı değeri daha sonra değiştiremez.

Yaygın şemalar:

• Pedersen commitment’ları:
  C = v·G + r·H eliptik eğri gruplarında (Firo Lelantus / MimbleWimble’de kullanılır).
• SHA-256 tabanlı commitment’lar: bazı zk-SNARK devrelerinde verimlilik için kullanılır.

Pedersen commitment’ları şunları sağlar:

• Toplam homomorfizm: C1 + C2 = Commit(v1 + v2, r1 + r2).
  → Gizli işlemler toplam arzı böyle korur.

3. zk-SNARK ve zk-STARK — Neden Gizlilik Coinleri Birini Kullanır

3.1 zk-SNARK’lar (Succinct Non-Interactive Argument of Knowledge)

Kullanıldığı yerler:

• Zcash (Sapling)
• Horizen
• Firo Lelantus Spark

Özellikler:

• Çok küçük kanıtlar (~192 byte Sapling’de).
• Çok hızlı doğrulama (~10 ms).
• Güvenilir kurulum gerektirir (toxic waste problemi).
• Eliptik eğri eşleşmeleri kullanır (özellikle BLS12-381).

Sıklıkla atlanan teknik detay:
Zcash başlangıçta BN254 (Jubjub) kullandı, ancak alt grup güvenlik zayıflıkları ve 128-bit güvenlik endişeleri nedeniyle BLS12-381’e geçti.

3.2 zk-STARK’lar (Scalable Transparent ARguments of Knowledge)

Kullanıldığı yerler:

• Aleo
• StarkNet (coin değil ama ilgili)

Özellikler:

• Güvenilir kurulum yok.
• Post-kuantum güvenli (eşleşmelere değil hash fonksiyonlarına dayanır).
• Kanıtlar büyük (~100–500 KB).
• Doğrulama hızlı ve ölçeklenebilir.

Az bilinen bir gerçek:
Erken Aleo testnet kanıtları o kadar büyüktü ki ağ bant genişliği tıkanıklığına yol açtı; optimizasyonlar mainnet öncesi kanıt boyutunu ~%80 azalttı.

4. Gizlilik İşleminde Sıfır-Bilgi Nerede Görünür

Gizlilik odaklı bir altcoin genellikle ZKP’leri aşağıdakilerden biri veya daha fazlası için kullanır:

4.1 Göndereni Gizleme

Mekanizmalar:

• Ring signature’lar (Monero — ZK değil ama ilgili).
• Sıfır-bilgi üyelik kanıtları (Zcash, Lelantus).

Örnek (basitleştirilmiş):
İspatlayıcı, bir commitment setindeki bir öğenin gizli anahtarını hangi öğe olduğunu açığa çıkarmadan bildiğini gösterir.

4.2 Alıcıyı Gizleme

Stealth adresler veya çeşitlendirilmiş adresler kullanılır.
Zcash, seçici şeffaflık için payment addresses ve incoming viewing keys kullanır.

4.3 Miktarı Gizleme

Pedersen commitment’ları + bir ZKP ile:

• commitment’lar doğru toplamı verir,
• miktarlar negatif değildir (range proof),
• enflasyon oluşmaz.

Eski range proof’lar (Confidential Transactions, Bitcoin önerileri):
çıktı başına ~2–3 KB.

Bulletproofs:
çıktı başına ~700 byte (Monero bunları kullanır).

zk-SNARK’lar:
Zcash miktarları 192 byte kadar küçük kanıtlarla gizler.

5. Somut Bir İşlem Örneği: Zcash Sapling

Bir Zcash Sapling shielded işlemi şunları kanıtlar:

1. Harcayan bir notee (gizli coin) sahiptir.
2. Note daha önce harcanmamıştır (nullifier ZKP).
3. Toplam çıkış değeri toplam giriş değerine eşittir (balance ZKP).
4. Çıkış notları doğru oluşturulmuş commitment’lardır.

Gerçekte ne kanıtlanır?

İspatlayıcı aşağıdaki devreyi kurar:

• Note commitment’larının hash’leri (BLAKE2s)
• Pedersen hash’leri
• Merkle ağacı yol doğrulaması
• Nullifier hesaplaması
• Değer koruma denklemleri

Tam devre karmaşıklığı ~2 milyon kısıt.
Kanıt üretimi Groth16 kullanır, gereksinimler:

• FFT hesaplamaları
• Çoklu skaler çarpımlar
• EC eşleşmeleri

Bir dizüstü bilgisayarda, bir kanıt üretmek ~1–2 saniye sürer (Orchard’da Pallas/Vesta eğrileriyle optimize edilmiştir).

Az bilinen gerçek:
Sapling devresi, range constraint’ler için bit decomposition kullanır ve kısıt sayısını önemli ölçüde artırır; Orchard bunu Halo 2’nin PLONKish aritmetik yöntemiyle değiştirdi ve karmaşıklığı dramatik şekilde azalttı.

6. Lelantus Spark (Firo) — Az Değer Verilen Bir ZK Sistemi

Firo’nun “Spark” sistemi, teknik olarak en ileri düzeydeki sistemlerden biri olmasına rağmen daha az bilinir.

Temel yenilikler:

• Tamamen ZK (ring signature yok).
• One-of-Many Kanıtları kullanır:
  İspatlayıcı, N içindeki bir notun kendisine ait olduğunu kanıtlar, kanıt boyutu N’ye logaritmik olarak artar.
• Güvenilir kurulum yok.
• Miktarlar Pedersen commitment’ları ile gizlenir.
• Spark adresleri, zincir analizini yapan düğümlere bile bağlantısızdır.

Spark ayrıca şunları içerir:

• Adres Yenileme (Address Reissuing):
  Sahipler adresleri yenileyebilir ve kontrolü korur, metadata sızıntısını azaltır.
• Evrenel Bağlama (Universal Binding):
  Aynı commitment’a birden fazla kriptografik bağlama kullanarak kötü niyetli enflasyonu engeller.

Az bilinen bir gerçek:
Spark tasarımı, “kısmi harcama kanıtları” nedeniyle önceki bazı gizlilik protokollerinin belirli sezgisel durumlarda bağlantılı hale gelmesini önler.

7. Aleo — Sadece ZK İşlemler Değil, ZK Yürütme

Aleo sadece özel bir coin değildir — tamamen gizli akıllı kontratlara sahip bir L1 blok zinciridir.

Nasıl çalışır:

• Programlar, R1CS’ye derlenen Rust benzeri bir DSL olan Leo ile yazılır.
• Yürütme zincir dışında gerçekleşir.
• Tüm yürütme izi temsil eden bir zk-STARK kanıtı üretilir.
• Madenciler/doğrulayıcılar kanıtı doğrular ve durumu günceller.

Bu, etkin bir şekilde:

Küresel, doğrulanabilir, şifrelenmiş bir sanal makine anlamına gelir.

Az bilinen bir gerçek:
Aleo hibrit bir ispat sistemi kullanır:

• Şeffaflık için STARK’lar
• Kanıt boyutunu küçültmek için SNARK rekürsiyonu (Kimchi/Halo tarzı)

Bu hibrit yaklaşım nadirdir ve teknik olarak karmaşıktır.

8. ZKP’lerin Altcoin Ölçeğinde Uygulanmasının Zor Olmasının Sebepleri

8.1 Kanıt Maliyeti

Bir zk-SNARK kanıtı üretmek şunları gerektirir:

• Milyonlarca aritmetik kısıt
• Büyük sonlu alanlarda FFT hesaplamaları
• Çoklu skaler EC çarpımları

Optimizasyonlara rağmen:

• Kanıt üretimi CPU’ya bağlı olabilir.
• Bellek kullanımı yüksektir (eski sistemlerde birkaç yüz MB).

8.2 Güvenilir Kurulum Sorunları

Groth16 kullanan coinler güvenilir kurulum gerektirir.
Eğer toxic waste yok edilmezse, bir saldırgan:
→ sınırsız sahte coin yaratabilir
ve tespit edilmez.

Zcash aslında bir çok taraflı seremoni kullandı; son toxic waste (raporlara göre) fiziksel entropi ve sıkı OPSEC ile yok edildi…
Ama tek bir kötü niyetli katılımcı sistemi tehlikeye atmak için yeterli olurdu.

8.3 Devre Hataları Coin’i Bitirebilir

Bir gizlilik sisteminin devresinde enflasyona izin veren tespit edilmeyen bir hata varsa, düğümler sahte coinleri tespit edemez.
Bu, erken Zcash’de yaşandı (istismardan önce düzeltildi).

İnce bir aritmetik kısıt hatası tüm ekosistemi iflas ettirebilir.

9. ZK Coin’lerin Geleceği

Teknik olarak muhtemel trendler:

• Toplu işlem doğrulaması için rekürsif kanıtlar.
• Aleo’da olduğu gibi Hibrit STARK–SNARK sistemleri, kanıt boyutunu küçültmek için.
• Kanıt üretimi için GPU ve ASIC ile donanım hızlandırma.
• Seçmeli açıklama imkânı sağlayan programlanabilir gizlilik.
• Mobil dostu ZK devreleri (mevcut devreler çok ağır).

Bazı araştırma deneyleri:

• ZK şifreli mempool’lar
• ZK tabanlı P2P eşleştirme motorları
• ZK tabanlı DEX’ler (order book’ları açığa çıkarmadan)

Bunlar zaten Penumbra ve Mina gibi projelerde prototiplenmektedir.

10. ZK Tabanlı Gizlilik Coin’lerinde Gerçek Dünya Saldırıları ve Zayıflıklar

ZK sistemleri gizlilik ve doğruluğu garanti etmeyi hedeflese de, tarih gösteriyor ki kriptografik karmaşıklık çoğu zaman yeni saldırı yüzeyleri yaratıyor.

Aşağıda en önemli gerçek, belgelendirilmiş ve çoğunlukla yeterince tartışılmamış sorunlar yer almaktadır.

10.1 Zcash Sahte Para Açığı (2018)

Zcash Sapling devresinde ciddi bir güvenlik açığı keşfedildi:

• zk-SNARK devresindeki bir parametre yanlış kısıtlanmıştı.
• Bu, saldırganın sahte shielded coin’ler yaratmasına izin verdi.
• Tüm shielded değerler gizlendiği için bu coin’ler tespit edilemez olurdu.

Ana bilgiler:

• Kriptograf Ariel Gabizon tarafından keşfedildi.
• Sapling’de kamuya açılmadan önce düzeltildi.
• Zcash, Sprout havuzunda kaç sahte coin yaratıldığını açıklamadı, çünkü matematiksel olarak kontrol etmek imkânsızdı.

Bu olay, en güçlü gerçek örnektir:

ZK sistem hataları = felaket, tespit edilemez enflasyon.

Ayrıca protokol değişimlerini teşvik etti:

• Yeni devreler (Sapling, Orchard)
• Daha modüler kısıt sistemleri
• Yayına almadan önce daha fazla peer-review

10.2 MimbleWimble’a Akademik Saldırı (2019)

MimbleWimble (Grin/Beam tarafından kullanılır) zk-SNARK kullanmaz ama Pedersen commitment + cut-through + adres yok yöntemi uygular.

Araştırmacı Ivan Bogatyy şunu gösterdi:

• Ağda gerçek zamanlı ~200 düğüm izleyerek,
• Grin işlemlerinin %96’sını gönderen ve alıcı ile ilişkilendirebildi.

Bu, ZK matematiğinin hatası değil, şu hatalardan kaynaklandı:

• İşlem toplama modeli
• “Sahte” giriş eksikliği
• Ağ düzeyinde metadata sızıntısı

Önemli ders:

Gizlilik sadece kanıtlarda değildir — ağ topolojisi sızıntıları mükemmel ZK matematiğini bile anonimliği bozabilir.

10.3 Prover Uygulamalarındaki Zamanlama Sızıntıları

Bazı ZKP uygulamaları (özellikle eski SNARK devreleri) zamanlama desenlerini sızdırır:

Örnek:

• Birden çok girişi olan bir işlemi kanıtlayınca, CPU veya GPU’lar tespit edilebilir zamanlama değişiklikleri üretir.
• Düğüm düzeyinde erişimi olan bir gözlemci, harcanan not sayısını tahmin edebilir ve gizlilik setini azaltır.

Bu, erken Zcash istemcilerinde optimizasyon öncesi kısmen gözlemlendi.

Sebep:
SNARK prover’ları genellikle FFT ve çoklu skaler çarpımlar kullanır; girişe bağlı yapı çalışma süresini etkiler.

10.4 Hibrit Sistemlerde Çoklu Eğri Riskleri

Aleo gibi projeler şunları kullanır:

• STARK → sonra SNARK rekürsiyonu ile sıkıştırma (Kimchi/Halo/KZG polinom commitment’ları)

Nadir tartışılan bir risk:
Eğer rekürsiyon yığını içindeki herhangi bir eğri veya polinom commitment yöntemi kırılırsa,
tüm sistem savunmasız hale gelir.

Bu “çoklu eğri kırılganlığı” pazarlama materyallerinde neredeyse hiç bahsedilmez.

11. Bir Gizlilik Coin ZK Devresi Tasarlamak (Genel Taslak)

İşte geliştiricilerin gerçek teknik olarak bir ZK gizlilik protokolünü nasıl kurduklarının dökümü.

Adım 1: Aritmetik model seçimi

• R1CS (Zcash Sapling)
• PLONKish (Halo 2, Orchard)
• AIR/FRI (STARK’lar)

Her birinin avantaj ve dezavantajları vardır:

• R1CS → anlaşılması kolay, kısıtlar ağır.
• PLONK → esnek, özel kapıları destekler.
• STARK → güvenilir kurulum yok, ama kanıtlar büyük.

Adım 2: Sonlu alan seçimi

Örnekler:

• SNARK’lar için BLS12-381 skaler alan (255-bit)
• STARK’lar için Goldilocks alanı (64-bit dostu, Polygon Miden, RISC Zero’da kullanılır)

Alan seçimi doğrudan etkiler:

• Devre boyutu
• Donanım hızlandırması
• Kanıt üretim hızı

Adım 3: Kriptografik commitment’lar oluşturma

Tipik bir altcoin şunları kullanır:

• Değerler için Pedersen commitment’lar
• Merkle yolları için SHA tabanlı commitment’lar
• Devre içinde Poseidon/Rescue hash (FFT dostu)

Az bilinen detay:
Zcash, SHA-256’yı devre içinde bıraktı çünkü SHA-256 kısıt sayısı açısından çok maliyetliydi — her hash için 25.000’den fazla kısıt.
Poseidon bunu ~150 kısıta düşürür.

Adım 4: Sahiplik kanıtı (harcama yetkilendirmesi) uygula

Bu genellikle şunları içerir:

• Anahtar türetmelerini kontrol etme
• Özel anahtar bilgisini doğrulama
• Tekrar oynatma (replay) saldırılarını önleme

Zcash, SNARK-dostu imza şeması olan RedJubjub kullanır (EdDSA tarzı, ancak SNARK için optimize edilmiş).

Adım 5: Nullifier mantığını uygula

Nullifier = harcanmış bir not için deterministik benzersiz etiket.

ZK devresi şunları garanti etmelidir:

• Her not tam olarak bir nullifier üretir.
• Nullifier notun kimliğini açığa çıkarmaz.
• Nullifier birden fazla harcama oluşturmayı engeller.

Bu kısım çok hata-prone’dur — Zcash’in en büyük hatasının kaynağıdır.

Adım 6: Bakiye denklemi oluştur

Kanıtla:
inputs_commitments_sum = outputs_commitments_sum

Artı range kanıtları:

• Değerler ≥ 0
• Değerler < 2⁶⁴

Modern sistemlerde, range kısıtları şunları kullanır:

• PLONK lookup argümanları
• Devre içinde Bulletproofs
• Özel kapılar

Adım 7: Son toplama & kanıt üretimi

SNARK örneği:

• Devreyi derle → QAP polinomu
• Polinom değerlendirmeleri için FFT yap
• Çoklu skaler çarpımlar yap
• Kanıtı üret
• Zincir üzerinde/doğrulayıcı düğümler milisaniyeler içinde doğrular

STARK örneği:

• Yürütme izini oluştur
• FRI commitment uygula
• Büyük ama şeffaf kanıt üret
• Hash işlemleri ile doğrula

12. ZK Donanım Hızlandırması (Oyun Değiştirici)

Çoğu kullanıcı farkında değil ama ZKP kanıt üretimi yavaş yavaş bir donanım yarışı haline geliyor:

GPU ile Kanıt Üretimi

• FFT ve MSM işlemleri GPU’lara son derece uygun.
• Aleo testnetinde kanıt üretiminin >%50’si tüketici sınıfı GPU’larda (RTX serisi) yapıldı.

ASIC ile Kanıt Üretimi

Bazı şirketler (Ingonyama, Cysic) ZKP odaklı ASIC’ler tasarlıyor:

• MSM birimleri
• Polinom değerlendirmeleri
• Merkle yol hesaplamaları

İstatistiksel olarak önemli detay:

• Özel bir ASIC prover, SNARK kanıtlarını CPU’dan 20–50× daha hızlı üretebilir.

Bu, gizlilik coin’lerinin geleceğinin Bitcoin madenciliğine benzer şekilde özel donanım ekosistemlerine dayanabileceği anlamına geliyor.

13. ZK Coin’lerde Şeffaf Denetim Problemi

Gizlilik coin’leri bir paradoksla karşı karşıya:

1. Kullanıcılar gizlilik ister.
2. Geliştiriciler enflasyon veya gizli zayıflık olmadığını garanti etmek ister.
3. ZK her şeyi gizler.

Bu sorunu çözmeye çalışan bazı teknikler:

13.1 Görüntüleme Anahtarları (Zcash, Aztec)

Denetçilere belirli hesapları diğerlerini açığa çıkarmadan inceleme imkânı verir.

13.2 Arz Denetimleri

• Zcash, şeffaf havuz arzını denetleyebilir.
• Shielded havuz arzı doğrudan denetlenemez.
• Geliştiriciler enflasyon olmadığını garanti etmek için devre doğruluğuna güvenir.

Bu yüzden ZK protokol hataları varoluşsal tehdit oluşturur.

14. Nadir Ama Önemli Kriptografik Gerçekler

14.1 İlk ZKP Makaleleri Etkileşimli Protokoller Kullanıyordu

Modern SNARK’lar etkileşimsizdir (Fiat–Shamir kestirimiyle).
Ama en eski ZKP’ler birçok iletişim turu gerektiriyordu.

14.2 Fiat–Shamir Kanıtlanabilir Güvenli Değil

Eğer Fiat–Shamir’de kullanılan hash fonksiyonu kırılır veya değiştirilebilir ise,
doğruluk çökebilir.

Bu durum, tüm SNARK tabanlı gizlilik coin’lerini etkiler.

14.3 STARK’lar Saf Hash Fonksiyonlarına Dayanır

Anlamı:

• Post-quantum güvenli olduklarına inanılır.
• Güvenlikleri yalnızca hash’in çarpışma direncine bağlıdır (ör. Rescue, Poseidon).

14.4 Rekürsif Kanıtlar Blockchain Yükünü Azaltır

Halo 2 (Zcash Orchard’da kullanılır) şunları sağlar:

• Kanıtların diğer kanıtları doğrulaması
• Sonsuz rekürsiyon
• Güvenilir kurulum gerektirmez

Bu, SNARK sistemlerindeki önceki birçok sınırlamayı ortadan kaldırır.

15. Karşılaştırma Tablosu: Büyük Gizlilik Altcoin’lerinde ZK Sistemleri

Monero yalnızca karşılaştırma amacıyla dahil edilmiştir — sıfır bilgi kanıtı kullanmaz ve bu birçok yeni başlayanı şaşırtır.

16. Gizlilik Coin’lerinde ZKP Kullanmanın Gerçek Takasları

Avantajlar

• Matematiksel garantilerle maksimum gizlilik.
• Gönderici, alıcı ve miktarı aynı anda gizleme yeteneği.
• Kanıtlar herkes tarafından doğrulanabilir.

Dezavantajlar

• Yüksek hesaplama maliyeti.
• Devre hatalarından kaynaklı riskler (enflasyon).
• Daha büyük işlemler (Groth16 hariç).
• Hafif cüzdanlara entegrasyon zor.
• Daha karmaşık kriptografi → daha az uzman anlar → denetimler yavaşlar.

Nadiren bahsedilen bir sorun:

ZK sistemleri cüzdan deterministik sızıntılarını artırır:
kanıt üretim kalıpları cüzdan donanımı, CPU/GPU türü veya hatta işletim sistemi hakkında ipuçları verebilir; bu da zincir izleme ajansları için metadata sunar.

17. Önümüzdeki 5 Yılda ZK Tabanlı Gizlilik Nerelere Evrilecek

En muhtemel yönler:

17.1 Evrensel Gizlilik Katmanları

Gizliliği L1’e gömmek yerine:

• Aztec, Penumbra ve RAILGUN gibi ağlar mevcut zincirlere gizlilik sağlamayı hedefliyor.
• Bu, altcoin’ler arasında parçalanmayı önler.

17.2 ZK Yardımcı İşlemciler

Cüzdanlar veya düğümler için tüm SNARK/STARK hesaplamalarını yapan yan cihazlar.

17.3 Uyarlanabilir Gizlilik (Kullanıcı Seçimli)

Kullanıcılar seçici olarak açığa çıkarabilir:

• Miktar
• Gönderici
• Alıcı
• Not alanları (memo)

Sadece yasal veya ticari olarak gerektiğinde.

17.4 Tam gizli akıllı kontrat ekosistemleri

Aleo, Aztec 3 ve Penumbra bu yönde aktif olarak öncülük ediyor.

17.5 SNARK-dostu token standartları

Örneğin, ZK-ERC20 ile:

• Şifrelenmiş bakiyeler
• ZK transfer kanıtları
• Ethereum araçlarıyla uyumluluk

Bu, muhtemelen ilk gerçek anlamda yaygın ZK benimsemesi olacaktır.

18. Son Düşünceler

Sıfır bilgi kanıtları, blockchain ekosistemlerinde “gizlilik” kavramını temelinden yeniden tanımlar.
Bunlar sihir değildir ve mühendislik riskleri, kriptografik karmaşıklık ve operasyonel tehlikelerle birlikte gelir.
Ama başka hiçbir sistemin başaramayacağı bir şeyi mümkün kılarlar:

matematiksel olarak kanıtlanabilir gizlilik ile matematiksel olarak kanıtlanabilir doğruluk.

Gizliliğe odaklı altcoin’ler için ZKP’ler, kötü uygulanırsa hem en büyük kalkan hem de en büyük sorumluluk kaynağıdır.
Gizlilik coin’lerini pazarlama anlatımlarının ötesinde değerlendirmek için, taahhütler, devreler, aritmetizasyon ve kanıt sistemleri gibi tam kriptografik mekanizmaları anlamak kritik öneme sahiptir.