Yazar: 1912212.eth, Öngörü Haberleri
ZK altyapısı, bu yılın Nisan ayında 2,6 milyon dolarlık bir başlangıç finansman turunu yeni tamamlayan risk sermayesinden destek almaya devam ediyor ve 20 milyon dolarlık bir A Serisi finansman turunu iki aydan kısa bir sürede tamamladı. Başlangıç turu, StarkWare, O(1)Labs ve diğer kurumların katılımıyla Lemniscap tarafından yönetildi. A turu, dao5 ve diğerlerinin katılımıyla Hack VC tarafından yönetildi.
Aligned'ın bu kadar çok risk sermayesi yatırımcısını cezbeden özellikleri neler?
Aligned'a Giriş
Aligned'ın görüşüne göre "kanıt üretimi" gelecekte sektördeki en büyük darboğaz değil, zincir üzerinde kanıt doğrulama olacak. Şu anda ZK tabanlı uygulamalar, yüksek doğrulama maliyetleri nedeniyle Ethereum üzerinde verimli bir şekilde çalışamıyor.
Hizalanmış, Ethereum doğrulayıcılarının güvenliğinden yararlanarak herhangi bir SNARK kanıtının uygun maliyetli doğrulanmasını sağlayan, EigenLayer'ın üzerine inşa edilmiş bir doğrulama ve toplama katmanıdır. Aligned, Ethereum dışında daha fazla uygulamaya sahip olabilir ve diğer zincirlerin verileri doğrulamasına yardımcı olabilir. Aligned Layer, bu yılın Ocak ayında 1 milyon dolar fon toplayan Ethereum altyapı girişimi Yet Another Company tarafından yaratıldı ve geliştirildi.
Genel bakış şemasından görülebileceği gibi, katman 0 Bitcoin, Ethereum ve DA katmanıdır, Hizalanmış katman 1 doğrulama katmanıdır ve seviye 2 ise uygulama zinciri, zkML, zkEVM Rollup vb. gibi diğer katmanlardır.
Hizalama nasıl çalışır?
Modüler tasarım dalgasında, birden çok işlemi birden çok özel katmana bölmek yaygın bir uygulamadır. Doğrulama, uzlaşma ve fikir birliğinden sorumlu tek bir katmandan DA'ya kadar, bölme sonrasındaki modüler tasarım verimliliği artırır ve maliyetleri azaltır.
Aligned temel olarak dört temel öğeyi içerir. Bunların arasında Aligned temel olarak farklı ispat sistemlerinden deliller alır ve bunları doğrular. Bu deliller farklı ispat sistemleri kullanılarak oluşturulabilir. Farklı kanıt boyutlarına, doğrulama sürelerine ve farklı doğrulama mantıklarına sahiptirler. Ancak tüm kanıtların ortak bir yanı vardır: Doğrulanmaları hızlıdır.
Aligned, her doğrulayıcının geçerliliğini kontrol etmek ve sonuçları Ethereum'da yayınlamak için kullanılabilecek özel doğrulayıcılara sahiptir. Kanıtlar, uygun maliyetli bir depolama stratejisi sağlayan veri kullanılabilirliği katmanında depolanır. Aligned'daki operatörler kanıt için verileri bu katmandan alır.
Ethereum, Aligned'dan doğrulama sonuçlarını alıyor. Ancak Ethereum'un kendisi yüksek maliyet nedeniyle kanıtları doğrulayamıyor. Bunun yerine normal Rust kanıtlayıcı, belirli bir zaman dilimindeki tüm kanıtlar için doğrulama kanıtları oluşturur.
Tüm kanıtları bir araya getirmek için, ilk adımda tüm kanıtlar sanal bir makine tarafından yürütülen kanıtlara dönüştürülür, böylece kanıtların tekdüzeliği sağlanır. Daha sonra ağaç diyagramında gösterildiği gibi yinelemeli olarak kanıtlayarak kanıt boyutunu küçültebiliriz:
Uygulama durumları
Aligned, olası uygulama yönlerinin, Toplamaların ve uygulama zincirlerinin yumuşak nihailiği, hızlı köprüleme, ödeme sistemleri ve sosyal ağlar gibi SNARK tabanlı P2P protokolleri, Ethereum ile birlikte çalışan halka açık zincirler ve makineler gibi çeşitli kategorileri içerdiğini belirtti. öğrenme, ZK oracle, kimlik doğrulama protokolü, zincir üstü oyunlar vb.
Şu anda Aligned, Cairo STARK'ın Platinum Prover'ını, gnark'ın Plonk'unu, Mina'nın Kimchi'sini, SuccintLabs'ın SP1'ini ve a16z'nin Jolt'unu destekliyor. Doğrulama maliyeti kanıtın türüne ve boyutuna bağlıdır.
Ayrıca Aligned, Mart ayında Cosmos SDK'yı temel alan basit bir test ağını başlattı ve EigenLayer test ağına geçiş yapacak.
