Starknet’te Güvenilir Çapraz Zincir Bilgi Erişimi
Depolama kanıtları, zincirler arasında paylaşılabilmesi için blockchain bilgilerini izlemenin kriptografik bir yoludur. Oracle’lara benzer şekilde, depolama kanıtları bilginin doğru olduğuna dair kanıt sağlar. Ancak, kehanetlerin aksine, onlar Olumsuz bu kanıt için üçüncü bir şahsa güvenmeyi şart koşmak; bunun yerine, depolama kanıtlarıyla güven, depolamanın içine yerleştirilmiştir.
Bazı durumlarda, depolama kanıtları kehanetlerin yerini alabilir. Diğer durumlarda, depolama kanıtları bunları geliştirebilir ve daha önce mümkün olmayan yeni blockchain kullanım durumları açabilir.
Öyleyse, depolama kanıtlarına – ne olduklarına, nasıl çalıştıklarına, kullanım durumlarına ve kehanetleri nasıl geliştirebileceklerine (ve bazen değiştirebileceklerine) ayrıntılı olarak bakalım.
Depolama kanıtları, durumun kriptografik taahhütlerini açmanıza izin verir, S(N/T)ARKS ile birleştirilerek optimize edilebilirler. . Bu geçerlilik kanıtları, geçmişte belirli bir durumun var olduğunu ve belirli bir blokta geçerli olduğunu kanıtlar.
Temel olarak blok zincirleri, Merkle ağaçları, Merkle Patricia ağaçları, Verkle ağaçları vb. kullanılarak kriptografik olarak işlenen verileri içeren veritabanlarıdır. Tüm veriler işlendiğinden, bazı bilgilerin belirli bir durumda kapsüllendiğini kanıtlayabiliriz. Ancak basit taahhüt şemalarında, içerdiği verinin boyutu büyüdükçe bu kanıtın boyutu daha belirgin hale gelmektedir. Zincir üzerinde bu tür kanıtları doğrulamak, pratik olamayacak kadar pahalı hale gelir.
Öte yandan depolama kanıtları, STARK’lar veya SNARK’larla birlikte kullanıldığında nispeten küçük olabilir ve belirli bir durum parçasını, belirli bir zamanda ve herhangi bir etki alanında – üçüncü bir tarafa güvenmeden doğrulamanıza olanak tanır. . Üçüncü taraflar yerine, temel zincirin kendisinin güvenliğine güvenirler.
Bu neden önemli? Bugün Ethereum, birkaç yıl önceki basit yekpare zincir (L1) değil. L2 çözümlerinin ortaya çıkmasıyla, veriler artık birden çok zincire yayılmıştır.
Zincirin durumu hakkında eşzamanlı varsayımlar artık yapılamaz. L1->L2 mesajlaşma sistemleri, zincirler arası köprüler ve oracles gibi veri paylaşımına yönelik birçok çözüm artık yayında. Ancak bu mevcut çözümlerle ilgili sorun, aktarıcılar, çoklu imzalayıcılar ve komiteler gibi bir üçüncü tarafa güven içermesidir. Depolama kanıtları, üçüncü bir tarafa güvenilmediği varsayılarak kriptografik taahhütler kullanarak herhangi bir zamanda bir blok zincirinin durumunu doğrulamamıza olanak tanır.
Depolama kanıtları, bir blok zinciri verimli bir şekilde “sıkıştırmamıza” ve verileri başka bir yere iletmemize izin verdiğinden, epeyce uygulamaları vardır. Saklama kanıtlarının ayrılmaz bir özelliği olan makul doğrulama maliyeti, kanıtın bilgisayarda doğrulanmasına olanak tanır. varış noktası zincirler arası mesajlaşma sistemleri geliştirme ihtiyacını en aza indirir.
Potansiyel kullanım durumları şunları içerir:
- Genel bilgi erişimi blok zincirindeki durum ve işlemler hakkında bir zincirin diğerinden.
- Basitleştirilmiş zincirler arası oylama sistemleri. Sıklıkla kullanıcılar varlıklarını yavaş ama daha güvenli bir zincir A’da tutarlar, ancak daha ucuz işlemlerle bir zincir B’de bazı belirteç tabanlı oylamalar gerçekleşir. Bu, kullanıcıyı ya oylarını atlamaya ya da varlıklarını A noktasından B noktasına bağlamak için büyük işlem ücretleri ödemeye, oylarını kullanmaya ve ardından A noktasına geri döndürmeye zorlar. Bu gibi durumlarda, depolama kanıtları, kullanıcıların A zincirindeki token bakiyelerini kanıtlamalarını sağlar. belirli bir blokta ve sorunsuz bir şekilde B zincirine oy veriyorlar.
- Zincirler arası köprülere alternatif. Şu anda, zincirler arası köprüler, üçüncü bir tarafa bir düzeyde güven varsayıyor çünkü bunlar genellikle bir emanetçi veya merkezi olmayan bir özerk kuruluş (DAO) gibi bir aracı içeriyor. Bu aracı, belli bir miktar tokenın aracı tarafından kaynak zincirine alınmasını sağlamaktan ve varlıkları kaynak zincirde tutmaktan sorumludur. Daha sonra ilgili jetonlar hedef zincirde basılır. Hedef zincirdeki bir akıllı sözleşme uygulaması, varlıkların kaynak zincirdeki köprü akıllı sözleşmesine aktarıldığı ve köprülenmiş varlıkları bastığı bir işlemi doğrulayabildiğinden, depolama kanıtları güvenilir çapraz zincir köprüleri etkinleştirebilir. Bununla birlikte, birçok durumda varlıkların zincirler arasında aktarılması ihtiyacı ortadan kaldırılabilir, çünkü başka bir zincirdeki varlıkların mülkiyeti basitçe depolama kanıtlarıyla kanıtlanabilir.
- Hesap Soyutlama (AA) kullanım örnekleri için Gelişmiş UX. AA, farklı zincirlerde uygulandı ve ilk milyar kullanıcıyı blok zincir alanına dahil etmede çok önemli bir yenilik olarak kabul edildi. Depolama kanıtlarıyla, cüzdanlar, yalnızca cüzdan uzun bir süre boyunca herhangi bir işlem göndermediyse, erişimi geri yükleme ek işlevselliğini içerebilir. Diğer zincirlerden bazı verilerin kullanılmasını gerektiren ek kontroller de uygulanabilir.
Depolama kanıtı örneği
EVM uyumlu zincirlerde depolama kanıtları oluşturmak basittir. Örneğin, Web3.js kitaplığı, Ethereum (ve Polygon veya BSC gibi diğer EVM uyumlu zincirler) üzerindeki bir sözleşmenin durumunun kanıtını oluşturabilen “getProof” işlevine sahiptir. Bir sözleşme adresi ve sözleşme için depolama alanı işleve iletilmelidir.
Ethereum’da akıllı sözleşmeler, verileri depolarında depolamak için bir anahtar-değer deposu kullanır. Her veri parçası, “depolama yuvası” olarak bilinen belirli bir yerde saklanır. Depolama yuvaları, sözleşmenin deposundaki bellek konumlarıdır ve benzersiz bir dizinle tanımlanır. Şu adreste Ethereum ana ağında dağıtılan aşağıdaki kodla örnek bir akıllı sözleşmeye bakalım: 0xcc…da8b.
“sahibi” değişkeni 0 yuvasında saklanacaktır. Şimdi, bu sözleşmenin “sahibi”nin bir A adresi olduğunun kanıtını oluşturmak için “getProof” işlevini şu şekilde kullanabiliriz:
Yukarıdaki kodun çıktısı şuna benzer:
Döndürülen “storageProof”, “sahip” değişkeni için depolama kanıtını içerir. Ethereum, Merkle Patricia Ağaçlarını hesapların durumunu ve depolanma durumunu taahhüt etmek için kullandığından, üretilen depolama, bir depolama alanını (veya hesap durumunu) kanıtlamak için kullanılabilir. Ancak, daha önce de belirtildiği gibi, bu kanıtlar zincirler arası mesaj transferlerini tartışacak kadar ölçeklenebilir değildir. Bunun üzerine karmaşık ZK matematiği kullanmak, ispatı doğrulamak için gereken hesaplamayı azaltabilir.
Tasarım gereği, blok zincirleri zincir dışı verileri alamazlar. Bu, bir blok zincirini güvenilmez tutar, ancak aynı zamanda bir akıllı sözleşmenin gerçek dünya olaylarına dayalı kararlar verme becerisine sınırlar getirir. Kahinler ayrıca, tarihsel blok zinciri bilgilerini elde etmek için yaygın olarak kullanılır, çünkü bu verileri doğrudan elde etmek son derece zordur ve sonuç olarak hatalara açıktır.
Bu sorunu çözmek için, adlı özel varlıklar kahinler bu zincir dışı verileri almak (veya bazı ağır zincir dışı hesaplamalardan sonuçları almak) için oluşturuldu. Şu anda, bu kehanetler, kullanıcılara ve akıllı sözleşmelere açık hale gelen zincir üzerindeki verileri göndermek için bir kurum veya merkezi olmayan bir düğüm operatörleri ağı gibi bir üçüncü tarafa ihtiyaç duyuyor. Bu güven varsayımı şu anda kaçınılmazdır, ancak ideal değildir (Pragma gibi birkaç ekip bu güven gereksinimini en aza indirmek için çalışıyor olsa da)
Zincir bağlantı çok çeşitli gerçek dünya verileri (hisse senedi fiyatları, hava durumu verileri vb.), zincir üzerindeki ağır hesaplamaların maliyetini en aza indirmek için zincir dışı hesaplama hizmetleri ve zincirler arası hizmetler sağlayan bir blockchain oracle örneğidir. farklı blok zincirleri arasında bilgi okuma ve yazma.
Akıllı sözleşmelerin gerçek dünyada neler olup bittiğini bilmenin oracle kullanmaktan başka bir yolu olmadığından, oracles blockchain ekosisteminin vazgeçilmez bir parçası haline geldi.
Starknet test ağında, daha önce bahsedilen Chainlink şu anda yedi çift kripto para birimi için fiyat verisi akışı sağlıyor ve ortak Starkware ekibi ile “StarkNet ekosistemi için uygulama geliştirmeyi ve genel büyümeyi daha da hızlandırmak.” Chainlink, zincir dışı kaynaklardan veri sağlayan merkezi olmayan bir düğüm ağı ile güven varsayımını en aza indirir, ancak veri toplama zincir dışı gerçekleşir.
pragma Ve Leylek Ağı hem ana ağ hem de test ağı üzerinde çalışan Starknet’teki en büyük kehanet sağlayıcılarından ikisidir. Pragma, çoklu kripto para birimi çiftleri için fiyat şeritlerinin yanı sıra, protokollerin zincir üzerinde güvenli rastgelelik talep etmesine izin verecek, ana ağ üzerinde doğrulanabilir bir rastgelelik beslemesi uygulamaya çalışıyor. Pragma’daki fiyat beslemeleri, büyük kurumlar ve piyasa yapıcılar tarafından yapılan fiyat sunumlarına dayanır ve fiyat toplama, verimli ZK teknolojisinden yararlanan zincir üzerinde gerçekleşir.
Bazı durumlarda, evet, bir depolama kanıtı bir kehanetin yerini alabilir.
Kahinler tarafından sağlanan tüm verilerin aslında bir üçüncü tarafça sağlanması gerekmez. Bazı durumlarda, bir kehanet tarafından sağlanan veriler zincirde zaten mevcuttu (zincir üstü depolama veya bir işlem şeklinde) ve blok zincirinin önceki durumuna göz atılarak alınabilir. Bu durumlarda, bir depolama kanıtı, üçüncü bir tarafa ve kehanete olan güven ihtiyacının yerini alabilir ve akıllı sözleşmelerin tamamen kriptografik taahhütlerin güvenliğine dayanmasına izin verebilir.
Depolama kanıtlarının bir kehanetin yerini tamamen alamadığı diğer durumlarda, genellikle yine de kullanılabilirler. genişletmek aşağıdakiler gibi ek işlevlere sahiptir:
- Kahinler, veri sağlayıcılardan veri tüketicilerine bilgi iletir. Ancak, tüm veri tüketicileri aynı zincirde değildir. Depolama kanıtlarının yardımıyla, bazı işlemleri tamamlamak mümkündür. farklı kaynaklardan gelen veriler üzerinde hesaplama ve sonucu diğer zincirlere aktarma.
- Bu tür veriler için tercih edilen kaynak zinciri, ucuz hesaplamalı olanıdır ve kanıtın doğrulanması, diğer hedef zincirlerde uygun maliyetli bir şekilde yapılabilir.
- Herodot bu alandaki araştırma liderlerinden biridir ve depolama kanıtları ve ZK matematiği kullanarak farklı Ethereum zincirlerinde etki alanları arası veri erişimi sunar. Pragma ayrıca yakın gelecekte çapraz zincir kehanet desteği sağlamak için Herodotus ile ortaklık kuruyor.
- Depolama kanıtları şunları yapabilir: birden çok toplamanın durumunu birleştirinve hatta senkronize okumalara izin ver arasında Ethereum katmanları.
- Diğer bir geliştirme, bir zincirde yayınlanan geçmiş verilerin güvenilir olmayan şekilde alınması. Ethereum ve Starknet gibi durum bilgisi olan blok zincirleri, Merkle/Verkle ağaçları ve MPT’ler gibi özel veri yapıları aracılığıyla durumlarını kaydeder ve kriptografik olarak korur. Bu, bu yapılarda depolanan herhangi bir verinin dahil edildiğini kanıtlamayı mümkün kılar. Bu nedenle, zincir üzerinde yayınlanan herhangi bir geçmiş veriye de güvenilebilir, alınabilir ve diğer uygulamalarda kullanılabilir (aynı zincirde olması gerekmez). Bu depolama kanıtları, akıllı sözleşmelerin başlangıç bloğuna kadar uzanan bilgilere erişmesine izin verir.
- Pragma, verilerin diğer zincirlerde “çekilebileceği” ve depolama kanıtları kullanılarak doğrulanabileceği Starknet’te bir L3 olarak bir kehanet geliştirmenin uygulanabilirliğini araştırıyor. Starknet gibi hesaplama açısından ucuz bir ağ üzerinde farklı bir etki alanında kehanete sahip olmanın faydaları şunları içerir:
- L3 son derece özelleştirilebilir bir zincir olabileceğinden, çeşitli parametreler ince ayar yapılabilir. bloklar üzerinde daha hızlı fikir birliğine varmakkehanet için veri gecikmesini büyük ölçüde azaltır.
- Saklama kanıtlarıyla birlikte, düşük gecikmeli veriler eşzamansız olarak diğer zincirlere aktarılabilir, kaynak zincirinde fikir birliğine varıldığında.
- olasılığı verilere olan güveni artırmak dürüst olmayan veri sağlayıcılarını ortadan kaldırmak için L3’te yerleşik bir sistem geliştirerek. Uygun teşvikler verilirse, L3’teki veri sağlayıcıları, doğru verileri yayınlama garantisi olarak varlıklarını paylaşabilir. Diğer zincirlerin verileri kullanabilmesi için L3’teki tüm ağın mutabakatı gerektiğinden, kehanet tarafından sağlanan verilerin L3’teki doğrulayıcı hissesi tarafından güvence altına alındığı düşünülebilir.
Son birkaç aydır, L2’lerin Ethereum’da artan kullanımı bize endüstrinin geleceği hakkında daha net bir görüş sağladı. L2 anlatısı, aşağıdakiler gibi ağlarla çekiş kazanıyor: Starknet, iyimserlikVe Karar. Bununla birlikte, büyümesi için birincil dayanak noktalarından biri, merkezi olmayan bir zincirler arası mesajlaşma sistemi uygulamaktır. Hala yeni bir aşamada olmalarına rağmen, depolama kanıtları bu soruna inanılmaz iyileştirmeler vaat ediyor.
büyük teşekkürler Ozan Marcello & Kaçper Kozyol bu makaleyi incelediğiniz için.