Güvenlik Garantileri

PiNS mimarisi mutlak güvenliği, değişmezliği ve merkezi olmayan yönetimi garanti ederek hiçbir varlığın etki alanı veritabanını bozamayacağını garanti eder.

ZK-SNARK'lar: Kriptografik Bütünlük Kanıtı

Standart veritabanı sistemlerinde, kayıtları değiştirmemesi konusunda veritabanı yöneticisine (veya sıralayıcıya) güvenmeniz gerekir. PiNS'de güvenin yerini matematik almıştır.

• Arbitrum akıllı sözleşmesi, yalnızca geçerli bir ZK kanıtının eşlik etmesi durumunda kök güncellemeyi kabul edecektir.
• zkVM Rust misafir programı alan adı sahipliğini ve işlem kurallarını sıkı bir şekilde uyguladığından, sıralayıcı bir alanı keyfi olarak farklı bir sahibe atayamaz, imza olmadan bir adresi değiştiremez veya bir listeyi iki kez harcayamaz. Eğer denerlerse, ZK kanıtının oluşturulması başarısız olacak ve Arbitrum sözleşmesi güncellemeyi reddedecektir.

Egemen Bir Toplama Modeli

PiNS kavramsal olarak ZK-Rollup ile aynıdır:

• Veri Kullanılabilirliği: Ham işlem verileri PIVX üzerinde tutulur ve PIVX'nin yerel güvenliğinden ve değişmezliğinden yararlanılır.
• Yürütme: İşleme, zincir dışı SP1 zkVM'ye aktarılır.
• Yerleştirme: Arbitrum, durum kökünü sabitleyen, matematiği milisaniyeler içinde doğrulayan yüksek verimli bir konsensüs koordinatörü görevi görür.

Uzlaşmayı Sürdürmek (Bölünmüş Beyin Sorununu Çözmek)

Dağıtılmış sistemlerde yaygın bir sorun, farklı sunucuların aynı etki alanı için farklı hedef adresler göstermesiyle oluşan "bölünmüş beyin"dir. PiNS bunu Arbitrum Kontrol Noktalarını kullanarak çözer:

1. Arbitrum sözleşmesindeki doğrulanmış her durum kök güncellemesi, temsil ettiği tam PIVX Blok Yüksekliği ile eşlenir.
2. Dizinleyiciler bu belirli blok yüksekliğine senkronize olur ve kendi yerel Merkle Ağacını hesaplar.
3. Dizin oluşturucunun yerel kökü sözleşmenin kontrol noktasından farklıysa, dizin oluşturucu bir işlemi kaçırdığını, verileri sıra dışı işlediğini veya bir veritabanı hatasıyla karşılaştığını hemen anlar.
4. Dizin oluşturucu daha sonra doğrulanmış geçmişe güvenli bir şekilde geri senkronize edebilir, böylece tüm çözümleyicilerin küresel olarak tek ve tutarlı bir durumu sürdürmesini sağlar.

Güvenilmez Denetlenebilirlik (Dışardan Denetim)

Tüm ham işlem verileri halka açık PIVX blok zincirine kaydedildiğinden ve konuk programı kuralları açık kaynak olduğundan, sistem tamamen denetimden bağımsız ve şeffaftır:

• Doğrulama Anahtarı (vkey) Garantisi: Herkes açık kaynaklı Rust konuk programını indirebilir, standart SP1 araçlarını kullanarak yerel olarak derleyebilir ve oluşturulan vkey dosyasının PiNSAnchor akıllı sözleşmesinde saklanan programVkey ile eşleşip eşleşmediğini kontrol edebilir. Bu, akıllı sözleşmenin gizli boşluklar veya arka kapılar olmadan tam, değiştirilmemiş protokol kurallarını uyguladığını kanıtlıyor.
• Durum Geçiş Doğrulaması: Herkes PiNS Genesis Block'tan PIVX blok zincirini tarayabilir, tüm ad hizmeti işlemlerini çıkarabilir ve bunları konuk programı aracılığıyla yerel olarak çalıştırabilir.
• Durum Kök Eşleştirme: İşlemleri tekrar oynatarak, yerel dizin oluşturucunuz, Arbitrum akıllı sözleşmesinde kayıtlı doğrulanmış köklerle eşleşen bir Merkle Kökü hesaplayacaktır.
• Durum Doğrulaması: Bu, herhangi bir üçüncü tarafın, geliştiricinin veya denetçinin, adlandırma hizmetinin geçerli, güvenli olduğunu ve oluşturulduğundan bu yana tahrif edilmediğini kriptografik olarak kanıtlamasına olanak tanır.

Bu Neden Akıllı Sözleşme Dışı Zincirler için En İyi Çözüm?

Bitcoin veya PIVX gibi akıllı sözleşmelere göre güvenlik ve işlem hızına öncelik veren blok zincirleri için karmaşık uygulamaları yerel olarak oluşturmak imkansızdır. Standart alternatif, tek bir hata noktası ve sansür getiren güvenilir bir merkezi sunucu kullanmaktır.

PiNS üçüncü bir yol sağlar: sıfır bilgi doğrulaması ile merkezi olmayan zincir dışı yürütme. PIVX'nin çekirdek protokolünü değiştirmeden PIVX'ya EVM düzeyinde güvenlik ve adlandırma özellikleri getirir, kullanıcının özel anahtarlarını güvende tutar ve mutlak merkezi olmayan mülkiyeti korur.