Zika nedir?

Basitçe söylemek gerekirse, Zeeka (ℤ), sıfır bilgi kanıtı teknolojisinin yaygın kullanımı yoluyla hafif ve ölçeklenebilir birhm? Sıfır bilgi kanıtı? 🤔

Ayrıntılı teknik bilgi için Zeeka teknik incelemesini okuyun ! Ayrıca Zeeka projesini aktif olarak geliştiriyoruz. GitHub'da bizi takip edin!

@zeeka-network'e abone olun

hm? Sıfır bilgi kanıtı? 🤔

Sıfır bilgi protokolü, birisinin bir sorunun cevabını gerçekten açığa çıkarmadan bildiğini kanıtlayabileceği bir şifreleme tekniğidir . Etkileşimli sıfır bilgi kanıtına çok iyi bir örnek aşağıda verilmiştir:

- Diyelim ki Alice'in gözleri bağlı ve elinde iki top var. Topları görebilen Bob, topların farklı renklerde olduğunu iddia ediyor. Alice, Bob'a güvenmiyor. Bob, Alice'in gözlerini açmadan ( Cevabı Açıklamak) topların farklı renklerde olduğuna ( Problem ) Alice'i nasıl ikna edebilir ?

Sıfır bilgi protokolü, birisinin bir sorunun cevabını gerçekten açığa çıkarmadan bildiğini kanıtlayabileceği bir şifreleme tekniğidir . Etkileşimli sıfır bilgi kanıtına çok iyi bir örnek aşağıda verilmiştir:

İşte Alice'in yaptığı şey: Önce topları arkasına saklar. %50 şansla topları karıştırıyor. Topları Bob'a gösterir ve ona sorar: — Topları karıştırdım mı?

Topların gerçekten doğruysa, Bob Alice'e doğru yanıt verirdi. Renklerini uygunse, yine de Alice'e rastgele bir cevap verebilir ve yanıt verebilir yine de doğru olabilir. Ancak doğru cevap verme şansı %50'dir. Alice tekrar 20 kez tekrarlar. Topların aynısıysa, Bob'un 20 kez de doğru verme'² (1/2)² ( yaklaşık %0,000001). Aslında o kadar güçlü ki, Alice'lik topları gerçekten ayırt edebildiğini ve bu da gerçekten farklı renklere sahip olabilir.

Her yaprağın bir hesabı temsil ettiği bir merkle ağacından oluşan yeni bir ödeme sistemi olduğunu varsayalım (Bir ortak anahtar ve bir bakiye). Sistemin durumunu bu ağacın merkle kökü olarak tanımlıyoruz

İşlemleri ( cevap ) göstermeden sistem durumunu A'dan B'ye ( sorun ) değiştirerek çok sayıda işlemin gerçekleştiğini kanıtlamak istiyoruz . Ve şimdi şok edici gerçek için: Verdiğiniz kanıt , cevap ne kadar büyük olursa olsun , sabit boyuttadır . Örneğin, yanıt milyonlarca işlem olabilir, ancak durum geçişinin gerçekleşmesi için bunları göstermeniz gerekmez. Sabit boyutun kanıtı , herkesi durum geçişinin geçerli olduğuna ikna etmek için yeterlidir! 🤯

Ummm, Ethereum zaten zkRollups ile buna sahip mi? 🙄Bizi yakaladın!

Ama büyük bir fark var. zkRollups'taBizi yakaladın! Ama büyük bir fark var. zkRollups'ta , ana zincire sürekli olarak sıfır bilgi kanıtı gönderen merkezli bir ifade vardır ve ifade bunu yapmayı bırakırsa (yani kullanılamaz hale gelirse), zincir, başka bir ifadenin devam edebileceği önceki bir duruma geri alınır. Bu çok büyük bir zorluk.Ethereum/Bitcoin gibi blok zincirleri, SNARK durumunu değil, zincir geçmişi verilerini kullanılabilir hale getirir. Zeeka düğümleri ve doğrulayıcıları, yalnızca son bloğunun zincirinin durumunu ortaya çıkaran çatalları kabul edecek şekilde uygulanır; bu, sağlanan durumun karmasının, gönderilen durumun karmasıyla sonuçlanıp sonuçlanmadığını kontrol edecekleri anlamına gelir. son blok. Bu mekanizma, son bloğun sıkıştırılmış durumunun her zaman kullanılabilir olmasını sağlar. Köşe durumu mevcut olmayan daha uzun bir alt zincirin hiçbir maliyeti yoktur ve ağ tarafından kabul edilmez. Bu, bahsedilen karmaşıklıkları büyük ölçüde ortadan kaldırır ve aynı zamanda yaratıcılık için alan yaratır.

Tamam, akıllı sözleşmeleri nasıl ele alacaksınız? 😉

Zeeka blok zincirindeki akıllı sözleşmenin eşdeğeri boş sözleşmedir . Zeeka blok zincirindeki sözleşmeler belirli bir sanal makine (örneğin EVM) için yazılmaz, ancak R1CS (zkSNARK zincirlerinin yapı taşı olan) ile yazılır.

Bizi yakaladın! Ama büyük bir fark var. zkRollups'ta

Bizi yakaladın! Ama büyük bir fark var. zkRollups'ta , ana zincire sürekli olarak sıfır bilgi kanıtı gönderen merkezli bir ifade vardır ve ifade bunu yapmayı bırakırsa (yani kullanılamaz hale gelirse), zincir, başka bir ifadenin devam edebileceği önceki bir duruma geri alınır. Bu çok büyük bir zorluk.

Zeeka blok zincirindeki akıllı sözleşmenin eşdeğeri boş sözleşmedir . Zeeka blok zincirindeki sözleşmeler belirli bir sanal makine (örneğin EVM) için yazılmaz, ancak R1CS (zkSNARK zincirlerinin yapı taşı olan) ile yazılır.

Bu şemada, programcı R1CS sözleşmesinin (birden fazla zincir olabilir) doğrulama anahtarlarını blok zincirine yükler ve insanlar bu şemaları kolayca çağırabilir ve küçük bir işlemle (sıkıştırılabilir) bir durumdan diğerine geçebilir. bin işlemin versiyonu).

Zeeka blok zincirindeki akıllı sözleşmenin eşdeğeri boş sözleşmedir . Zeeka blok zincirindeki sözleşmeler belirli bir sanal makine (örneğin EVM) için yazılmaz, ancak R1CS (zkSNARK zincirlerinin yapı taşı olan) ile yazılır.

Bunun bir parçası nasıl olabilirim? ❤️