OP Stack tarafından başlatılacak arıza güvenliği sisteminin yorumlanması: Ethereum'dan ilham alınarak teknolojik ademi merkeziyetçiliğe doğru büyük bir adım
Yazar: protolambda, OP Laboratuvarlarında araştırmacı
Derleyen: Frank, Öngörü Haberleri
Optimism Collective, birlikte çalışabilen en güçlü ve güvenli Katman 2 ağını oluşturmak için birçok farklı yoldan merkeziyetsizliğin peşinde koşuyor.
OP Stack'in yaklaşmakta olan arıza korumalı sistemi, teknolojik ademi merkeziyete doğru büyük bir adım olacaktır.OP Stack'in açık kaynak ve modüler tasarımı, L2 ekosisteminin sosyal ademi merkeziyetçiliği için benzeri görülmemiş bir aşama yaratıyor.
Bu makalede, sosyal ademi merkeziyetçilik ilkesini, L2 mimarisinin Katman 2'nin bu ilkeyi kanıt çeşitliliğini ve müşteri çeşitliliğini içerecek şekilde genişletmesini nasıl sağladığını inceleyeceğiz ve Optimism Collective'in arızaya karşı korumalı sistemini oluşturmak için bu mimariyi nasıl kullandığını açıklayacağız.
Ethereum'dan Esinlenen "Sosyal Merkeziyetsizlik"
Ethereum protokolü, özellikle geniş bir katılımcı yelpazesinin sağlam bir merkezi olmayan ağ oluşturmaya katılmasını sağlayan çözümlerde isteğe bağlılık sağlayarak, sosyal ademi merkeziyetçilikten yararlanır.
Düğüm yazılımı için bu, istemci çeşitliliği anlamına gelir: ne kadar çok istemciniz varsa, tek bir hata noktasının doğrulayıcı ağ üzerindeki etkisi o kadar az olur.
Layer1'in çekirdek geliştiricileri, bu katkı modelini gürültülü ve görünüşte kaotik ama çok verimli ve dinamik bir "çarşı" olarak tanımlıyor. Protokol geliştirme konusunda tamamen açık bir yaklaşım benimseyerek, en geniş katılımcı yelpazesi protokole katılabilir ve protokolü geliştirebilir.
Optimism Collective, Ethereum'un sosyal ademi merkeziyet yaklaşımını uygulamak ve yinelemek için benzersiz bir konuma sahiptir: OP Stack, MIT lisansı altında açık spesifikasyonlar ve açık kaynaklı yazılım sağlayarak sosyal ademi merkeziyetçiliği başarır ve Optimism Collective, bunun üzerinde süper zincir yinelemeleri oluşturarak sosyal ademi merkeziyetçiliği başarabilir.
L2 mimarisinin daha ayrıntılı anlaşılması
Ethereum, L1'de açık bir spesifikasyona ve konsensüs katmanı ile yürütme katmanını ayıran modüler bir istemci mimarisine sahiptir.
OP-Stack aynı mimariyi L2'de uygular:
Konsensüs katmanı, L1'i takip eden ve yürütme girdilerini dışa aktaran iki istemci olan op-node ve Magi tarafından desteklenmektedir;
Yürütme katmanı op-geth, op-erigon ve op-reth tarafından desteklenir;
Ancak L2 mimarisi bu yığına yeni bir katman ekler: kanıtlama katmanı.
Bu, L2 çıkışlarını L1'e güvenli bir şekilde bağlayan katmandır. Tıpkı birden fazla istemciye sahip olmanın, hem L1 hem de L2'de fikir birliği ve yürütme sağlamak için en iyi uygulama olduğu gibi, L2'nin doğrulama katmanı için birden fazla doğrulama yöntemine sahip olmak, optimum güvenliği sağlayabilir.
Farklı istemcilere sahip doğrulayıcıların fikir birliğine varmalarına benzer şekilde, zincir üstü onay yeter sayısı, L2 durumu iddialarının farklı yollarla doğrulandığını gösterebilir ve bu da hataların tamamen başarısızlığa yol açma olasılığını büyük ölçüde azaltır.
Şu anda üç yaygın kanıt türü vardır: tasdikler, hata kanıtları (sahtekarlık kanıtları olarak da bilinir) ve sıfır bilgi geçerlilik kanıtları. Son ikisi, L2 durum geçişlerini senkronize bir formda ifade etmeleri ve giriş olarak L1 verileri ve L2'nin önceki durumu göz önüne alındığında yürütülmelerini kanıtlamaları bakımından ortak bir modeli paylaşırlar.
Kanıt çeşitliliği elde etmek için kanıt sistemi bileşenlerini izole edin
Sistemin bağımsız bileşenlere daha da ayrıştırılabileceğini gösterin:
Senkron L2 durum geçişlerini tanımlayan bir "program";
Programı çalıştırmak ve doğrulamak için bir "sanal makine" (VM);
Giriş olarak L1 verilerini ve L2 ön durumunu alan bir "görüntü öncesi kahin";
Günümüzün sıfır bilgi kanıtlarının birçoğu hala bu bileşenleri sıkı bir şekilde birleştirerek tek bir L1 işlem verisi üzerinde çalışan bir ZK-EVM yaratıyor. Bununla birlikte, OP yığını karmaşıklığı izole etmek ve müşteri çeşitliliğini mümkün kılmak için bunları ayrıştırarak bütünü daha güçlü hale getirir.
Etkileşimli hata kanıtları, zincir üzerindeki kanıtları doğrulamak için sanal makine izlerine ikiye bölme oyunları eklerken, sanal makine tabanlı sıfır bilgi kanıtları aritmetiğini yapar ve yürütmeyi katlar ve geçerlilik kanıtları sağlar. (Risc0 ve O(1)-Labs'ın Optimism ZK RFP'lerine yanıt olarak tasarladığı sanal makine tabanlı sıfır bilgi kanıtlarına bakın).
Program, gerçek durum geçişini "istemci" olarak ve giriş edinimini (L1 verileri ve L2 ön durumu) "sunucu" olarak tanımlar. Program, normal bir blockchain düğümü gibi sanal makine olmadan sunucu/istemciden bağımsız olarak çalışır ve çok sayıda kodu paylaşır.
Örneğin, Go op-program istemcisi, op-düğümün çatalını ve EVM'yi op-geth'ten içe aktararak oluşturulurken, sunucu verilerini L1 ve L2 Ethereum RPC'lerinden alır.
FPVM'ye işlevsel genel bakış
Arızaya dayanıklı sanal makine (FPVM), OP Yığınındaki arızaya dayanıklı yığının modüllerinden biridir.
Bu VM, doğru arayüzleri (özellikle görüntü öncesi oracle'larla ilgili olanlar) sağlamak dışında Ethereum veya L2'ye özgü herhangi bir şey uygulamaz.FPVM içinde çalışan Arıza Prova Programı (FPP) istemcisi, L2 durumu dönüşüm kısmını ifade eder.
Bu ayrımla sanal makine minimalist tutulur: Ethereum protokolünde yapılan değişiklikler (EVM işlem kodlarının eklenmesi gibi) sanal makineyi etkilemez.
Bunun yerine, protokol değiştiğinde, FPP, düğüm yazılımındaki yeni durum geçiş bileşenlerini içe aktarmak için kolayca güncellenebilir. Oyunun yeni bir sürümünü aynı oyun konsolunda oynamaya benzer şekilde, L1 doğrulama sistemi, aşağıdakileri doğrulamak üzere güncellenebilir: farklı programlar.
Sanal makine, düşük seviyeli talimatların yürütülmesinden sorumludur ve FPP'yi simüle etmesi gerekir. Sanal makine gereksinimleri daha düşüktür: programlar eşzamanlı olarak gerçekleştirilir ve tüm girişler aynı ön görüntü oracle'ı aracılığıyla yüklenir, ancak tüm bunların yine de L1 EVM zincirinde kanıtlanması gerekir.
Bunu yapabilmek için aynı anda yalnızca bir talimat kanıtlanabilir. İkiye bölme oyunu, tam yürütme izlerini kanıtlama görevini yalnızca tek bir talimata indirecektir.
Talimat kanıtı her FPVM için farklı görünebilir, ancak genellikle Cannon'a benzer, bu da talimatı aşağıdaki şekilde kanıtlar:
Bu talimatı yürütmek için sanal makine, iş parçacığı bağlamının talimat döngüsüne benzer bir şeyi simüle eder: talimat bellekten okunur, yorumlanır ve kayıt dosyasında ve bellekte bazı değişiklikler meydana gelebilir;
Ön görüntü kahinleri ve bellek ayırma gibi temel program çalışma zamanı ihtiyaçlarını desteklemek için yürütme aynı zamanda Linux sistem çağrılarının bir alt kümesini de destekler. Okuma/yazma sistem çağrıları, ön görüntü kahiniyle etkileşime izin verir: program, ön görüntüyü almak için bir istek olarak karmayı yazar ve ardından onu her seferinde parçalar halinde okur;
İlk FPVM olan Cannon, MIPS sanal makinesini bu şekilde hayata geçirdi. Sanal makineler hakkında daha fazla bilgi için ilgili belgelere ve top özelliklerine bakın. FPVM ve FP programları arasındaki arayüz standartlaştırılmıştır ve spesifikasyonlarda belgelenmiştir.
FPVM'den ZKVM'ye
Başarısızlık kanıtları durum geçiş kanıtlarının tek türü değildir; ZK geçerlilik kanıtları, hızlı zincirler arası köprüleme potansiyelleri nedeniyle çekici bir seçenektir (ZK geçerlilik kanıtlarının zincir içi meydan okuma oyunları olmadığından, herhangi bir anlaşmazlık penceresi yoktur). Gelişmiş Ethereum yığınını desteklemek ve farklı istemci uygulamalarını barındırmak için yine de sanal makine ile programı ayırmamız gerekiyor.
Bu, minimum RISC-V (Risc0 tarafından) veya MIPS (O(1) Labs tarafından) sanal makinesinin arıza önlemede kullanılan programın aynısını barındırabileceğini kanıtlamak için ZK RFP projesi tarafından benimsenen yaklaşımdır.
ZK-VM'yi desteklemek, ön görüntü oracle'larının verileri etkileşimsiz olarak yüklemesini sağlamak için bazı küçük ayarlamalar gerektirir, ancak sanal makineyi genelleştirerek ZK, OP Stack değişiklikleri karşısında geleceğe daha dayanıklı olduğunu kanıtlıyor.
Dışarıdan katkıda bulunanlar için fırsatlar
OP Stack, kanıtlardan sıfır bilgi kanıtlarına kadar ek sanal makine ve program seçeneklerinin yanı sıra ek bağımsız kanıt sistemlerini de memnuniyetle karşılar. Tıpkı müşteri çeşitliliği gibi, kanıt çeşitliliği de kolektif bir çabadır.
OP Stack'ın prova katmanına şu anda devam eden eklemeler şunları içerir:
Protolambda tarafından geliştirilen ve Go dilinde yazılan RISC-V FPVM "Asterisc";
Base ve OP Labs'e katkıda bulunanlar tarafından oluşturulan Magi ve op-reth'e dayalı Rust FP programı;
Risc0 tarafından oluşturulan zeth'i (ZK-reth şubesi) temel alan Rust ZK programı;
Açık kaynak topluluğunun top, op-program, ikiye bölme oyunu ve sınırsız yaratıcılığı geliştikçe, test uygulamaları ve hata ödül programlarına katılım yoluyla yığına katkıda bulunmak için birçok ek fırsat ortaya çıkacak.
View Original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
OP Stack tarafından başlatılacak arıza güvenliği sisteminin yorumlanması: Ethereum'dan ilham alınarak teknolojik ademi merkeziyetçiliğe doğru büyük bir adım
Yazar: protolambda, OP Laboratuvarlarında araştırmacı
Derleyen: Frank, Öngörü Haberleri
Optimism Collective, birlikte çalışabilen en güçlü ve güvenli Katman 2 ağını oluşturmak için birçok farklı yoldan merkeziyetsizliğin peşinde koşuyor.
OP Stack'in yaklaşmakta olan arıza korumalı sistemi, teknolojik ademi merkeziyete doğru büyük bir adım olacaktır.OP Stack'in açık kaynak ve modüler tasarımı, L2 ekosisteminin sosyal ademi merkeziyetçiliği için benzeri görülmemiş bir aşama yaratıyor.
Bu makalede, sosyal ademi merkeziyetçilik ilkesini, L2 mimarisinin Katman 2'nin bu ilkeyi kanıt çeşitliliğini ve müşteri çeşitliliğini içerecek şekilde genişletmesini nasıl sağladığını inceleyeceğiz ve Optimism Collective'in arızaya karşı korumalı sistemini oluşturmak için bu mimariyi nasıl kullandığını açıklayacağız.
Ethereum'dan Esinlenen "Sosyal Merkeziyetsizlik"
Ethereum protokolü, özellikle geniş bir katılımcı yelpazesinin sağlam bir merkezi olmayan ağ oluşturmaya katılmasını sağlayan çözümlerde isteğe bağlılık sağlayarak, sosyal ademi merkeziyetçilikten yararlanır.
Düğüm yazılımı için bu, istemci çeşitliliği anlamına gelir: ne kadar çok istemciniz varsa, tek bir hata noktasının doğrulayıcı ağ üzerindeki etkisi o kadar az olur.
Layer1'in çekirdek geliştiricileri, bu katkı modelini gürültülü ve görünüşte kaotik ama çok verimli ve dinamik bir "çarşı" olarak tanımlıyor. Protokol geliştirme konusunda tamamen açık bir yaklaşım benimseyerek, en geniş katılımcı yelpazesi protokole katılabilir ve protokolü geliştirebilir.
Optimism Collective, Ethereum'un sosyal ademi merkeziyet yaklaşımını uygulamak ve yinelemek için benzersiz bir konuma sahiptir: OP Stack, MIT lisansı altında açık spesifikasyonlar ve açık kaynaklı yazılım sağlayarak sosyal ademi merkeziyetçiliği başarır ve Optimism Collective, bunun üzerinde süper zincir yinelemeleri oluşturarak sosyal ademi merkeziyetçiliği başarabilir.
L2 mimarisinin daha ayrıntılı anlaşılması
Ethereum, L1'de açık bir spesifikasyona ve konsensüs katmanı ile yürütme katmanını ayıran modüler bir istemci mimarisine sahiptir.
OP-Stack aynı mimariyi L2'de uygular:
Konsensüs katmanı, L1'i takip eden ve yürütme girdilerini dışa aktaran iki istemci olan op-node ve Magi tarafından desteklenmektedir;
Yürütme katmanı op-geth, op-erigon ve op-reth tarafından desteklenir;
Ancak L2 mimarisi bu yığına yeni bir katman ekler: kanıtlama katmanı.
Bu, L2 çıkışlarını L1'e güvenli bir şekilde bağlayan katmandır. Tıpkı birden fazla istemciye sahip olmanın, hem L1 hem de L2'de fikir birliği ve yürütme sağlamak için en iyi uygulama olduğu gibi, L2'nin doğrulama katmanı için birden fazla doğrulama yöntemine sahip olmak, optimum güvenliği sağlayabilir.
Farklı istemcilere sahip doğrulayıcıların fikir birliğine varmalarına benzer şekilde, zincir üstü onay yeter sayısı, L2 durumu iddialarının farklı yollarla doğrulandığını gösterebilir ve bu da hataların tamamen başarısızlığa yol açma olasılığını büyük ölçüde azaltır.
Şu anda üç yaygın kanıt türü vardır: tasdikler, hata kanıtları (sahtekarlık kanıtları olarak da bilinir) ve sıfır bilgi geçerlilik kanıtları. Son ikisi, L2 durum geçişlerini senkronize bir formda ifade etmeleri ve giriş olarak L1 verileri ve L2'nin önceki durumu göz önüne alındığında yürütülmelerini kanıtlamaları bakımından ortak bir modeli paylaşırlar.
Kanıt çeşitliliği elde etmek için kanıt sistemi bileşenlerini izole edin
Sistemin bağımsız bileşenlere daha da ayrıştırılabileceğini gösterin:
Günümüzün sıfır bilgi kanıtlarının birçoğu hala bu bileşenleri sıkı bir şekilde birleştirerek tek bir L1 işlem verisi üzerinde çalışan bir ZK-EVM yaratıyor. Bununla birlikte, OP yığını karmaşıklığı izole etmek ve müşteri çeşitliliğini mümkün kılmak için bunları ayrıştırarak bütünü daha güçlü hale getirir.
Etkileşimli hata kanıtları, zincir üzerindeki kanıtları doğrulamak için sanal makine izlerine ikiye bölme oyunları eklerken, sanal makine tabanlı sıfır bilgi kanıtları aritmetiğini yapar ve yürütmeyi katlar ve geçerlilik kanıtları sağlar. (Risc0 ve O(1)-Labs'ın Optimism ZK RFP'lerine yanıt olarak tasarladığı sanal makine tabanlı sıfır bilgi kanıtlarına bakın).
Program, gerçek durum geçişini "istemci" olarak ve giriş edinimini (L1 verileri ve L2 ön durumu) "sunucu" olarak tanımlar. Program, normal bir blockchain düğümü gibi sanal makine olmadan sunucu/istemciden bağımsız olarak çalışır ve çok sayıda kodu paylaşır.
Örneğin, Go op-program istemcisi, op-düğümün çatalını ve EVM'yi op-geth'ten içe aktararak oluşturulurken, sunucu verilerini L1 ve L2 Ethereum RPC'lerinden alır.
FPVM'ye işlevsel genel bakış
Arızaya dayanıklı sanal makine (FPVM), OP Yığınındaki arızaya dayanıklı yığının modüllerinden biridir.
Bu VM, doğru arayüzleri (özellikle görüntü öncesi oracle'larla ilgili olanlar) sağlamak dışında Ethereum veya L2'ye özgü herhangi bir şey uygulamaz.FPVM içinde çalışan Arıza Prova Programı (FPP) istemcisi, L2 durumu dönüşüm kısmını ifade eder.
Bu ayrımla sanal makine minimalist tutulur: Ethereum protokolünde yapılan değişiklikler (EVM işlem kodlarının eklenmesi gibi) sanal makineyi etkilemez.
Bunun yerine, protokol değiştiğinde, FPP, düğüm yazılımındaki yeni durum geçiş bileşenlerini içe aktarmak için kolayca güncellenebilir. Oyunun yeni bir sürümünü aynı oyun konsolunda oynamaya benzer şekilde, L1 doğrulama sistemi, aşağıdakileri doğrulamak üzere güncellenebilir: farklı programlar.
Sanal makine, düşük seviyeli talimatların yürütülmesinden sorumludur ve FPP'yi simüle etmesi gerekir. Sanal makine gereksinimleri daha düşüktür: programlar eşzamanlı olarak gerçekleştirilir ve tüm girişler aynı ön görüntü oracle'ı aracılığıyla yüklenir, ancak tüm bunların yine de L1 EVM zincirinde kanıtlanması gerekir.
Bunu yapabilmek için aynı anda yalnızca bir talimat kanıtlanabilir. İkiye bölme oyunu, tam yürütme izlerini kanıtlama görevini yalnızca tek bir talimata indirecektir.
Talimat kanıtı her FPVM için farklı görünebilir, ancak genellikle Cannon'a benzer, bu da talimatı aşağıdaki şekilde kanıtlar:
İlk FPVM olan Cannon, MIPS sanal makinesini bu şekilde hayata geçirdi. Sanal makineler hakkında daha fazla bilgi için ilgili belgelere ve top özelliklerine bakın. FPVM ve FP programları arasındaki arayüz standartlaştırılmıştır ve spesifikasyonlarda belgelenmiştir.
FPVM'den ZKVM'ye
Başarısızlık kanıtları durum geçiş kanıtlarının tek türü değildir; ZK geçerlilik kanıtları, hızlı zincirler arası köprüleme potansiyelleri nedeniyle çekici bir seçenektir (ZK geçerlilik kanıtlarının zincir içi meydan okuma oyunları olmadığından, herhangi bir anlaşmazlık penceresi yoktur). Gelişmiş Ethereum yığınını desteklemek ve farklı istemci uygulamalarını barındırmak için yine de sanal makine ile programı ayırmamız gerekiyor.
Bu, minimum RISC-V (Risc0 tarafından) veya MIPS (O(1) Labs tarafından) sanal makinesinin arıza önlemede kullanılan programın aynısını barındırabileceğini kanıtlamak için ZK RFP projesi tarafından benimsenen yaklaşımdır.
ZK-VM'yi desteklemek, ön görüntü oracle'larının verileri etkileşimsiz olarak yüklemesini sağlamak için bazı küçük ayarlamalar gerektirir, ancak sanal makineyi genelleştirerek ZK, OP Stack değişiklikleri karşısında geleceğe daha dayanıklı olduğunu kanıtlıyor.
Dışarıdan katkıda bulunanlar için fırsatlar
OP Stack, kanıtlardan sıfır bilgi kanıtlarına kadar ek sanal makine ve program seçeneklerinin yanı sıra ek bağımsız kanıt sistemlerini de memnuniyetle karşılar. Tıpkı müşteri çeşitliliği gibi, kanıt çeşitliliği de kolektif bir çabadır.
OP Stack'ın prova katmanına şu anda devam eden eklemeler şunları içerir:
Açık kaynak topluluğunun top, op-program, ikiye bölme oyunu ve sınırsız yaratıcılığı geliştikçe, test uygulamaları ve hata ödül programlarına katılım yoluyla yığına katkıda bulunmak için birçok ek fırsat ortaya çıkacak.