DENEYSEL GELİŞTİRME AĞI · BELGELER
Gizlilik — çalışanlar ve eksikler
V2 güncellemesi
sis-private ağında gerçek Orchard/Halo2 proof, note membership/ownership, nullifier seti, şifreli alıcı notları, local tarama, view key ve havuz değer korunumu entegre edildi. İki ayrı süreçte mine → shield → private send → unshield → restart testi geçti. Ağ ve veri formatı v1'den ayrıdır. Protokol, açık giriş/çıkış verileri ve sınırlar için PRIVATE_DEVNET.md. Bağımsız denetim yoktur. Aşağıdaki eski miktar-kanıtı araştırması ve şeffaflık açıklamaları v1 için geçerlidir; v2'yi tamamlanmış mainnet ürünü olarak sunmayın.
Node v0.1 şeffaftır. Gönderen public key'i, alıcı adresi, tutar, ücret ve hesap geçmişi zincirde açıktır. Gizli transfer türü kabul edilmez. Explorer bu gerçeği açıkça gösterir. Bakiye gizleyen bir arayüz anonimlik sayılmaz.
research/bulletproofs-lab bağımsız araştırma crate'i gerçek Ristretto Pedersen commitments ve Dalek Bulletproofs ile izole miktar kanıtları üretir. Hem v hem MAX_SUPPLY-v için 64 bit range proof doğrulanır; ikinci commitment MAX_SUPPLY*B-C olarak türetilir. Böylece yalnız negatif olmama değil 0..MAX_SUPPLY aralığı da kanıtlanır. Transcript ağ, kullanım domain'i ve caller context'i ile ayrılır. Testler değiştirilmiş kanıtı, yanlış context'i ve hatalı commitment'ı reddeder. Pedersen aritmetiğiyle tek bir örnek miktar/ücret denklemi kontrol edilir. Bu bir harcama protokolü veya gizli işlem entegrasyonu değildir.
| Yaklaşım | Sağladığı | Gerekli ek yapı / bedel |
|---|---|---|
| Pedersen + Bulletproofs | Tutar gizleme ve aralık kanıtı; trusted setup gerekmez | Yetkilendirme, commitment dengesi, anonim üyelik ve çift harcama önleme ayrıca gerekir |
| Ring imza + one-time adres | Ring içindeki gönderen belirsizliği; alıcının doğrudan bağlanmasını azaltma | Güvenli decoy seçimi, key image bağlama, küçük ring ve metadata saldırıları |
| Note commitment ağacı + zk üyelik/harcama kanıtı + nullifier | Daha geniş note havuzunda harcama kaynağını gizleme | İncelenmiş circuit, witness dağıtımı, wallet tarama, proof maliyeti ve denetim |
Hedef araştırma yönü note tabanlı modeldir: ağaç anchor'ı, sahiplik ve değer korunumunu tek yetkilendirme ifadesinde bağlayan olgun proof sistemi seçilecek. Nullifier türetmesi ve sahiplik bağını kendi algoritmamızla icat etmek yerine yayımlanmış yapı izlenecek. Bu seçim henüz kesinleşmedi. Mevcut şeffaf hesabı arayüzden gizleyip anonim ilan etme yaklaşımı kullanılmaz.
Eksikler: nullifier seti, membership/ownership kanıtları, double-spend bağları, one-time recipient addresses, şifreli note memo, view keys, wallet tarama ve reorg witness güncellemesi. Anonimlik kümesi şu anda yoktur. İleride küçük havuz, zamanlama, tutar açıklama, borsa giriş çıkışları ve metadata korelasyonu belgelenmeli.
SSH taşıma şifrelemesi IP anonimliği sağlamaz. Yerel/uzak node operatörü bağlantı metadata'sını görebilir; ağ gözlemcisi zamanlama korelasyonu yapabilir. Tor entegrasyonu yoktur. Bağımsız denetimden önce mutlak anonimlik veya kriptografik güvenlik garantisi verilmez.
Birincil kaynaklar: Bulletproofs makalesi, Dalek Bulletproofs, Zcash Sapling protokolü. Bu kaynakların güvenlik iddiaları Sis uygulamasına otomatik olarak taşınmaz.