Gate.io PoR
Son denetim zamanı:
(UTC+0)
Fazla rezerv değeri:
$ B
Algoritma:
Merkle Tree + zk-SNARKs
Toplam rezerv oranı:
Merkle Kök Karması:
Müşteri Net Bakiyesi
$
Gate Cüzdan Bakiyesi
$
Fazla rezerv değeri
$
Not Data
%100 Rezerv Kanıtı nedir?
Merkezi bir trade platformu, kullanıcı varlıklarını bir veritabanına kaydetmek için bir ledger yönetir. Bu nedenle, platformlar, tüm kullanıcıların varlıklarının tam gözetiminin iyi durumda olduğunu kanıtlama zorluğuyla karşı karşıyadır.
Gate.io, her kullanıcının hesap varlıklarının hash değerini Merkle ağacının yaprak düğümlerinde depolayarak bu sorunu çözmek için Merkle ağacını uyguladı. Her kullanıcı, Merkle ağacının yaprak düğümlerinde saklanan kullanıcı varlıklarının toplam miktarını denetleyebilir ve fonlarının kalifiye bir üçüncü taraf denetim kuruluşu aracılığıyla dahil edilip edilmediğini doğrulayabilir.
Merkle ağacında depolanan varlıkların %100'den büyük veya eşit olduğu doğrulanırsa, bu, kullanıcıların varlıklarının platformda tam olarak tutulduğu anlamına gelir, yani platform, kullanıcıların varlıkları için %100 Rezerv Kanıtı sağlar.
%100 Rezerv Kanıtı neden bu kadar önemli?
Rezervlerin %100 seviyesini korumayı nasıl başarıyoruz?
Borsa tarafından blok zincirinde yönetilen toplam token sayısı, bir anlık görüntüde yakalandığı gibi tüm kullanıcı hesaplarının toplam bakiyesini karşılar veya aşarsa, platform bu tokenler için %100 marj sağlar
M-cüzdan üzerindeki mülkiyet
Sıcak veya soğuk cüzdan kullandığınızda, cüzdanın size ait olduğunu kanıtlamak için denetim şirketi tarafından belirlenen adreslere rastgele belirlenmiş bir miktar aktarırsınız.
Denetim şirketi, işleme dahil olan toplam tutarı (kullanıcıların varlıkları ve platformun kendine ait varlıkları dahil) hesaplamak için ilgili adreslerin bakiyesini toplayacaktır.
Hashed kullanıcı kimliği ve kullanıcı bakiyesi ile Merkle ağacı nasıl oluşturulur?
Hash edilmiş kullanıcı kimliği (UID) ve kullanıcı bakiyeleri ilk olarak Gate'in veritabanından dışa aktarılır.
Her bir karma UID ve kullanıcı bakiyesi çifti sırasıyla karma hale getirilecek ve ardından temel veri bloğunu oluşturmak için birleştirilecektir.
Her veri bloğu için, Merkle ağacının yaprak düğümlerini oluşturmak üzere aynı hash fonksiyonu uygulanacaktır. Elde edilen hashlenmiş veriler daha sonra yaprak düğümlerinin ana düğümlerini oluşturmak için çiftler halinde birlikte hashlenir.
Bu işlem, merkle kökü olarak bilinen tek bir hash ile sonuçlanana kadar devam eder.
Örnek için lütfen aşağıdaki diyagrama bakın. Merkle ağacı başarıyla oluşturulduktan sonra, yaprak düğümleri bir düz metin dosyasına aktarılacak ve bu dosya denetçi tarafından merkle kök karmasıyla birlikte yayınlanacaktır.
Merkle Ağacı Nedir ?
Kriptografi ve bilgisayar biliminde, bir hash ağacı veya Merkle ağacı, her yaprak düğümün bir veri bloğunun kriptografik hash'i ile etiketlendiği bir ağaçtır. Yaprak olmayan her düğüm, alt düğümlerinin etiketlerinin karma değeriyle etiketlenir. Hash ağaçları, büyük veri yapılarının içeriğinin verimli ve güvenli bir şekilde doğrulanmasına olanak tanır.
Rezerv Kanıtı sağlamak için bir Merkle Ağacını nasıl kullanırız?
Her kullanıcının hesap varlığının hash değerini Merkle Ağacında bir yaprak düğüm olarak kaydediyoruz. Ardından, kullanıcıların tüm varlıklarını tam olarak elimizde tuttuğumuzu doğrulamak için zk-SNARK teknolojisini kullanıyoruz. Bu süreç boyunca hiçbir varlık verisi ifşa edilmemektedir. Doğrulama adımları aşağıdaki gibidir:
1. zk-SNARK, kullanıcıların varlıklarının toplam bakiyesinin Merkle Ağacında yaprak düğümler olarak depolandığını (yani, kullanıcı hesap bakiyesi) denetlemeye yardımcı olur. Her yaprak düğümü için aşağıdaki noktaları onaylarız:
a. Platform tarafından yönetilen toplam varlık miktarı tüm kullanıcıların toplam varlık bakiyesini içerir.
b. Her kullanıcının net bakiyesi sıfıra eşit veya sıfırdan büyüktür.
c. Herhangi bir kullanıcının varlıklarının değiştirilmesi Merkle kök hash değerinin değişmesine neden olacaktır.
2. Kullanıcı doğrulaması: Kullanıcılar, zk-SNARK kullanarak Merkle kök hash değerini doğrulayarak kanıtın gerçekliğini doğrulayabilir. Bu teknoloji, %100 rezerv denetimini verimli ve güvenli bir şekilde tamamlamamızı sağlarken, gizlilik veya ticari sırların sızdırılması risklerinden kaçınmamızı sağlayarak şeffaf operasyonlar taahhüdümüzü yerine getirmemize ve müşterilerin güvenini artırmamıza yardımcı olacaktır.
zk-SNARKs nedir?
Zero-Knowledge Succinct Non-Interactive Argument of Knowledge'ın kısaltması olan zk-SNARK, kriptografide çığır açan bir araçtır. Gelişmiş matematiksel algoritmalar kullanarak, belirli varlık ayrıntılarını ifşa etmeden rezerv miktarını yetkin bir şekilde doğrulayabilir. zk-SNARK yalnızca hızlı varlık doğrulamasını kolaylaştırmakla kalmaz, aynı zamanda gizlilik ihlali risklerini de ortadan kaldırır. Bu avantajları, etkileşimsiz yapısı ve yüksek ölçeklenebilirliği ile birleştiğinde, zincir içi işlem doğrulama, veri gizliliği korumaları ve kimlik doğrulama gibi alanlarda kapsamlı uygulamalar bulur.
Doğrulama süreci.
1. Programı yükleyin ve verileri indirin:
1) Doğrulama programını indirin:
İlk olarak, doğrulama programını sağlanan bağlantı aracılığıyla indirin veya doğrulama programını indirmek için GitHub'a erişin. Ardından main olarak yeniden adlandırın.
2) Gerekli verileri indirin:
Denetim Sayfasına erişin ve doğrulamanız gereken partiyi bulun. Verileri indirmek için [Merkle Ağacını İndir] ve [Kullanıcı Yapılandırmasını İndir] seçeneğini tıklayın.
zkmerkle_cex_xxx.tar.gz sıkıştırılmış dosyasını açın, main programını bu klasörün içine yerleştirin ve user_config.json dosyasını config klasörüne bakın.
Bu artık program klasörüdür
zkmerkle_cex_xxx
Config
cex_config.json
user_config.json
proof.csv
zkpor864.vk.save
main
2. Varlık doğrulaması:
cmd veya terminalden, cd ~/Downloads/zkmerkle_cex_xxx gibi indirilen klasöre gitmek için cd komutunu kullanın.
(Programı çalıştırmadan önce, izinleri vermek veya güvenlik öğelerini ayarlamak için chmod 777 main komutunu çalıştırmanız gerekebilir).
Doğrulamaya başlamak için aşağıdaki komutu yürütün.
./main verify cex
Doğrulama başarılı olduğunda mesaj görüntülenecektir.
All proofs verify passed!!!
Ayrıntılı teknik belgeler ve doğrulama ilkeleri için lütfen GitHub açık kaynak projesini kontrol edin.
Gate.io PoR Uygulaması
HACKEN
Denetim firmasıDenetim zamanı
January 3, 2024
Denetçi
Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski
Repostriler
Denetim Raporu
Gate.io PoR Implementation
