PSE Ticaret Analisti @cryptohawk tarafından yazıldı.
TL; DR
Sanal makine, bir program için yürütme ortamı sağlayan, yazılıma öykünülmüş bir bilgisayar sistemidir. Programların kontrollü ve uyumlu bir ortamda çalışmasını sağlamak için çeşitli donanım aygıtlarını taklit edebilir.
Ethereum Sanal Makinesi (EVM), Ethereum akıllı sözleşmelerini yürüten yığın tabanlı bir sanal makinedir; zkEVM, EVM eşdeğerliği/uyumluluğu üzerinde zk-proof üretim verimliliğini optimize eder.
zkVM, EVM eşdeğerliğini/uyumluluğunu ortadan kaldırır ve zk dostu olma önceliğini artırır.
privacyzkVM, zkVM'ye yerel gizlilik özelliklerini yerleştirir;
SVM, FuelVM ve MoveVM, paralel yürütme yoluyla nihai performansı takip etme ortak özelliklerine sahiptir, ancak tasarım ayrıntılarında kendi özelliklerine sahiptirler.
ESCVM ve BitVM, sırasıyla ETH ve BTC zincirleri üzerinde bazı yenilikçi bilgi işlem katmanı deneyleri gerçekleştirdi, ancak mevcut ortamda gerçek uygulama talebi düşük.
EVM'nin devasa kullanıcı ekosistemi, onu terk eden herhangi bir blok zinciri ağının kısa vadede onunla rekabet etmesinin zor olacağını belirler, bu nedenle EVM olmayan ekosistem, EVM ekosistemi kullanıcılarını aktarıcılar/derleyiciler/bayt kodu yorumlayıcıları ve hatta VM uyumluluk katmanları aracılığıyla tanıtır ve yeni bir ekolojik anlatı veya başarıya giden gerekli bir yol oluşturmak için EVM olmayan sanal makine özelliklerini kullanır.
**1.1 VM nedir? **
Sanal makine (VM), çalışan uygulamalar ve işletim sistemleri de dahil olmak üzere bir bilgisayarla hemen hemen aynı işlevlere sahip sanallaştırılmış bilgi işlem kaynaklarının yapı taşıdır. Sanal makineler kavramı yeni değil ve teknoloji birçok teknoloji ekosisteminde yaygın olarak kullanılıyor.
Blok zinciri bağlamında, bir sanal makine (VM), genellikle blok zinciri akıllı sözleşmelerini yürüten bir çalışma zamanı ortamı olarak adlandırılan programları çalıştıran bir yazılım parçasıdır. Sanal makineler genellikle farklı donanım aygıtlarına öykünerek sanal bir bilgisayar ortamı sağlar. Farklı sanal makineler farklı donanım aygıtlarına öykünebilir, ancak genellikle CPU, bellek, sabit diskler, ağ arabirimleri vb. içerir. Zincir içi bir işlem gönderildiğinde, sanal makine işlemin işlenmesinden ve bu işlemin yürütülmesinden etkilenen blok zinciri durumunu (tüm ağın mevcut küresel durumu) güncellemekten sorumludur. Ağın durumunu değiştiren belirli kurallar VM tarafından tanımlanır. Bir işlemi işlerken VM, akıllı sözleşme kodunu düğüm/doğrulayıcı donanımı tarafından yürütülebilecek bir biçime dönüştürür.
Bir VM'deki en önemli çekirdek, derleyicinin en önemli çekirdeği olarak kabul edilebilecek LLVM'dir (düşük seviyeli sanal makine). Şekil, orijinal EVM'nin çalışma şemasını gösterir ve akıllı sözleşme, LLVM IR'nin ara kodu aracılığıyla Bayt koduna dönüştürülür. Bu bayt kodları blok zincirinde saklanır ve akıllı sözleşme çağrıldığında, bayt kodu karşılık gelen Opcode'a dönüştürülür ve daha sonra EVM ve düğüm donanımı tarafından yürütülür.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-755f00effa-dd1a6f-69ad2a.webp)
1.2 Genel VM'ler
1.2.1 EVM - Blockchain VM'nin bir taşı, EVM'nin sekiz kovası vardır ve geri kalanı iki kovaya bölünmüştür
Temsili projeler: Optimism, Arbitrum
Sektördeki en yüksek geliştirici ve kullanıcı etkinliğine sahip blok zinciri ekosistemi olan Ethereum Sanal Makinesi EVM, akıllı sözleşme talimatlarını yürütmek ve akıllı sözleşme durumunu ve verilerini depolamak için CPU, bellek, bellek ve yığınlar gibi donanım cihazlarını taklit ederek sanal bir bilgisayar ortamı sağlayan yığın tabanlı bir sanal makinedir. EVM'nin komut seti, aritmetik işlemler, mantıksal işlemler, depolama işlemleri, atlama işlemleri vb. gibi çeşitli işlem kodu işlem kodlarını içerir.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-11a8b0fe4d-dd1a6f-69ad2a.webp)
EVM tarafından taklit edilen bellek ve bellek, akıllı sözleşmenin durumunu ve verilerini depolamak için kullanılan cihazlardır. EVM, bellek ve belleği, belleğe ve belleğe okuyup yazarak akıllı bir sözleşmenin durumuna ve verilerine erişebilen iki ayrı alan olarak ele alır.
EVM simülasyonları yığını, işlenenleri ve talimatların sonuçlarını depolamak için kullanılır. EVM'nin komut setindeki talimatların çoğu yığın tabanlıdır, yığından işlenenleri okur ve sonuçları yığına geri gönderir.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-1f6aa17e7c-dd1a6f-69ad2a.webp)
EVM'nin tasarım süreci açıkça aşağıdan yukarıya doğrudur, önce simüle edilmiş donanım ortamını (yığın, bellek) sonlandırır ve ardından ilgili ortama göre kendi montaj talimat setleri (Opcode) ve bayt kodunu (Bayt kodu) tasarlar. Ethereum topluluğu, EVM yürütmesinin verimliliği için iki derlenmiş üst düzey dil - Solidity ve Vyper - tasarladı. Söylemeye gerek yok, Vyper, Vitalik'in Solidity'deki bazı kusurları gidermek için tasarlanmış EVM üst düzey dilidir, ancak toplulukta çok fazla benimsenmemiştir, bu nedenle yavaş yavaş belirsizliğe gömülmüştür.
1.2.2zkEVM - Hepsini istiyorum: EVM ortamıyla uyumlu + zk-proof oluşturmak için global durum kök dönüşümünü destekleyin
Temsili projeler: Taiko, Scroll, PolygonzkEVM
EVM, zk-proof hesaplama düşünülerek oluşturulmadığından, özellikle özel işlem kodları, yığın tabanlı mimariler, depolama ek yükü ve prova maliyetleri açısından prova devreleri için uygun değildir. zkEVM, akıllı sözleşmeleri zk-proof bilgi işlemle uyumlu bir şekilde yürüten sanal bir makinedir, böylece EVM'nin yürütme süreci zk-proof/validity-proof aracılığıyla daha verimli ve uygun maliyetli bir şekilde doğrulanabilir. OPRollup ile karşılaştırıldığında, yürütme katmanının yalnızca EVM'yi kopyalaması gerekir ve ZK dostu EVM'yi oluşturmak ZK Rollup için ek bir zorluktur.
ZK toplamaları, Ethereum Sanal Makinesi (EVM) ile kolayca uyumlu değildir. Bir devrede genel amaçlı bir EVM hesaplamasını kanıtlamak, daha önce açıklanan belirteç aktarımı gibi basit bir hesaplamayı kanıtlamaktan daha zor ve kaynak yoğundur.
Bununla birlikte, sıfır bilgi teknolojisindeki gelişmeler(Yeni bir sekmede açılır), EVM hesaplamasını sıfır bilgi ispatlarına sarmaya olan ilgiyi yeniden alevlendirdi. Bu çabalar, program yürütmenin doğruluğunu etkili bir şekilde doğrulayabilen sıfır bilgili bir EVM (zkEVM) uygulaması oluşturmayı amaçlamaktadır.
EVM gibi, zkEVM de belirli girdiler üzerinde hesaplamalar yaptıktan sonra durumlar arasında geçiş yapar. Aradaki fark, zkEVM'nin programın yürütülmesindeki her adımın doğruluğunu doğrulamak için sıfır bilgi kanıtları oluşturmasıdır. Geçerlilik kanıtları, sanal makinenin durumunu (bellek, yığın, depolama) ve hesaplamanın kendisini (yani, işlem doğru işlem kodlarını çağırdı ve bunları doğru şekilde yürüttü mü?) içeren işlemlerin doğruluğunu doğrulayabilir. ）。
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-3ab79ab336-dd1a6f-69ad2a.webp)
Şu anda, Rollup'ın ZK dostu ve EVM uyumluluğu (hatta eşdeğeri) elde etmesi, yani Ethereum L1 yürütme katmanını hash'ler, durum ağaçları, işlem ağaçları, ön derleme vb. dahil olmak üzere mümkün olduğunca eksiksiz bir şekilde çoğaltması zordur, böylece Ethereum L1 yürütme istemcisi bunu Rollup bloklarını işlemek için olduğu gibi kullanabilir; Ya EVM uyumluluğundan vazgeçin ve devrede kanıt/doğrulama için mevcut Opcode'u yeniden oluşturarak akıllı sözleşmelerin yürütülmesine izin verin.
1.2.3zkVM - Her iki şekilde de kullanamazsınız: zk-proof verimlilik odaklı, evm olmayan VM'ler
Temsili projeler: Starknet, Zksync, RISC ZERO
ZKVM, EVM uyumluluğundan ziyade, temel hedefleri veri kanıtları ve durum güncellemeleri olan kriptografi ve üst düzey diller arasında ortak bir bölen buldu ve çok çeşitli uygulamalar için ortak bir çerçeve sağladı.
Starkware, tüm ZK alanında erken başlaması ve nispeten yeterli teknoloji birikimi nedeniyle belirli bir teknolojik liderliğe sahiptir. O, Kahire VM'sinin ve Kahire'nin dilinin etrafında inşa edildiği temsili ZK merkezli teknik mimaridir. Dezavantajı, Kahire'yi öğrenmenin daha pahalı olmasıdır.
ZKsync'in çerçevesi hem EVM hem de ZK ile uyumludur ve Solidity'yi kendi geliştirdiği devre dili Zinc ile bütünleştirerek ikisini derleyici içinde IR düzeyinde birleştirir. Avantajı, derleyici çekirdeğinin LLVM'sinin birden çok dille uyumlu olmasıdır.
RISC Zero, programcıların Rust, C/C++ ve Go gibi genel amaçlı dillerde zkVM için programlar yazmasına olanak tanıyan simülatörler oluşturmak için RISC-V mimarisini kullanır, bu da uygulama mantığının Solidity'de ifade edilebilenlerle sınırlı olması gerekmediği anlamına gelir, bu da zincirden bağımsız kodun yazılmasına izin verir.
1.2.4Privacy zkVM - zk dostu + yerel gizlilik desteği, ekosistemde yeni bir kıvılcımı ateşlemeye çalışır
Temsili projeler: Aleo, Ola, PolygonMiden
Blockchain, tüm işlemlerin zincir üzerinde gerçekleştirildiği halka açık bir defter sistemidir, bu da adresler veya hesaplarla ilgili varlık bilgilerini içeren durum değişikliklerinin açık ve şeffaf olduğu anlamına gelir. Sonuç olarak, ölçeklendirme çözümleri üzerinde çalışmanın yanı sıra, bazı blok zinciri ekipleri uygulanacak bir sonraki önemli özelliğin gizlilik olduğuna inanıyor.
Ölçeklendirme için zk dostu desteğe ek olarak, PrivacyzkVM, MEV sorununu tamamen çözmek ve kullanıcı veri sahipliğini sağlamak gibi yeni uygulama senaryoları ve büyük anlatılar getirecek olan kendi programlama dili tarafından yerel olarak desteklenen gizlilik özellikleri sayesinde üst katman uygulama geliştiricilerinin gizlilikle ilgili dapp'leri açmasına olanak tanır. Tabii ki, PrivacyzkVM tasarımının karmaşıklığı, uygulamak için çok daha büyük bir teknik ekip gerektirir ve uygulanması birkaç yıl sürebilir.
1.2.5SVM - Gelgitten sonra hala közler var: performansın en uç noktasına kadar tasarlanmış bir yürütme ortamı
SVM veya Solana Virtual Machine, yüksek performanslı bir yürütme ortamına odaklanır ve akıllı sözleşmeler esas olarak Rust'ta yazılır. Tek iş parçacıklı hesaplanmış EVM ve EOSWASM yürütme ortamlarının aksine, SVM, Solana işlemlerinin yürütme sırasında kendilerine okunacak veya yazılacak tüm durumları tanımlamasını gerektirerek, çakışmayan işlemlere ve yalnızca aynı durumu okuyan işlemlerin eşzamanlı yürütülmesine olanak tanır.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-5d40116bc0-dd1a6f-69ad2a.webp)
Ek olarak, çok sayıda işlem bloğunu hızlı bir şekilde doğrulamak/yayınlamak için Solana ağındaki işlem doğrulama süreci, CPU tasarımında yaygın olan boru hattı optimizasyonlarından kapsamlı bir şekilde yararlanır. Bir dizi adımın giriş veri akışını işlediği ve her adımın farklı bir donanım sorumluluğuna sahip olduğu durumu karşılamak için. Tipik bir benzetme, birden fazla çamaşır partisini sırayla yıkayan / kurutan / katlayan bir çamaşır makinesi ve kurutucudur. Kurutmadan önce yıkama yapılmalı ve kurutmadan önce katlama yapılmalıdır, ancak bu üç işlemin her biri ayrı bir ünite tarafından gerçekleştirilir.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-91e8c6540c-dd1a6f-69ad2a.webp)
Ek olarak, SVM'ler kayıt tabanlıdır ve EVM'lerden çok daha küçük bir komut setine sahiptir, bu da SVM'lerin yürütülmesinin ZK'da kanıtlanmasını kolaylaştırır. İyimser toplamalar için, kayıt tabanlı tasarımlar kontrol noktalarının ayarlanmasını kolaylaştırır.
1.2.6FuelVM - Buff Stacked: UTXO Framework Altında Paralel Sanal Makine
Temsili proje: Yakıt
Fuel VM, EVM, Solana, WASM, BTC ve Cosmos teknoloji çerçevesine dayanmaktadır ve EVM'ye kıyasla aşağıdaki özelliklere sahiptir:
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-4f38c20156-dd1a6f-69ad2a.webp)
En benzersiz şey, Fuel'in yalnızca SVM'ler gibi erişim listeleri ayarlayarak örtüşmeyen işlemlere paralel olarak işlemleri yürütme yeteneğine sahip olması değil, aynı zamanda erişim verimliliğini ve bilgi işlem verimini daha da artıran token UTXO ve sözleşme UTXO'ya bölünmüş UTXO modelini benimsemesidir.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-5352b0259c-dd1a6f-69ad2a.webp)
Buna ek olarak, Fuel VM, Rust araç ekosisteminde tanıtılan paradigmaları benimserken Solidity gibi akıllı sözleşme dillerinin avantajlarını koruyan bir geliştirme ortamıyla kendi etki alanına özgü dili Sway ve destek araç zinciri Fort aracılığıyla güçlü ve akıcı bir geliştirici deneyimi sağlar.
Gelecekte, Fuel VM, bayt kodu boyutu açısından derleyici iyileştirmeleri de dahil olmak üzere Sway dil yükseltmelerini de uygulayacak, Sway daha fazla arka ucu destekleyecek (EVM arka uçları zaten geliştirme aşamasındadır), soyutlamalar daha ekonomik olacak, Solidity/Vyper'dan Sway'e daha fazla uygulama geçirilecek, derleyici düzeyinde yeniden giriş analizi geliştirilecek ve daha fazlası.
ESCMM veya Ethions Virtual Machine, Ethions Protocol tarafından önerilen bir akıllı sözleşme şemasıdır. Ethions Protocol'ün kendisi, Ethereum zincirindeki BTC Ordinal'a benzer bir protokoldür ve akıllı sözleşmelere ve L2'ye düşük maliyetli alternatifleri keşfetmeye odaklanır.
Ethions, kullanıcıların akıllı sözleşme depolamasını ve yürütmesini maliyetin çok altında atlamasına ve önceden kararlaştırılan protokol kuralları aracılığıyla hesaplama yapmak için çağrı verilerini Tx'te uygulamasına olanak tanır. Basitçe söylemek gerekirse, başarılı bir Ethereum işlemi, belirtilen geçerli veri spesifikasyonunu karşılayan bir çağrı verisine sahip olduğu ve benzersiz olduğu ve "to" adresi 0 olmadığı sürece, yasal olarak bir Ethion oluşturduğu düşünülebilir, "kimden" adresi yaratıcısı ve "to" adresi sahibidir.
Tasarımın başlangıcında, her Ethion, görüntü NFT'si gibi NFT biçimine daha yatkındır ve görüntü içeriğini doğrudan Base64 formatı aracılığıyla çağrı verilerine yazar:
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-6ef41e7812-dd1a6f-69ad2a.webp)
Son zamanlarda en popüler eths, BRC-20 protokol spesifikasyonuna atıfta bulunularak oluşturulan Ethion'dur:
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-79a0ed78e0-dd1a6f-69ad2a.webp)
ESC VM tarafından sunulan ve "aptal sözleşme" olarak bilinen akıllı sözleşme, mantıksal bir sözleşme olarak tanıtılır, ancak zincir üzerinde EVM'nin kendisi şeklinde etkileşime girmez. Buna ek olarak, ESC VM, ESC VM tarafından Deploy - deploy - deploy - call dumb contract gibi aptal sözleşmelerle etkileşim kurmak için tanınacak özel bir "Bilgisayar Komutu" biçimi de ekler.
Bu şemanın bazı sınırlamaları vardır, bunlardan biri "aptal sözleşmenin" işlevinin ödenebilir olmamasıdır, yani ETH'yi aptal bir sözleşme yoluyla göndermek istiyorsanız, bir "köprü sözleşmesi" kullanmanız gerekir ve "köprü sözleşmesinin" kendisi kontrolün kötüye kullanılması ve varlık hırsızlığı riskine sahiptir; İkincisi, ekosistemde aptal sözleşmelerin keyfi olarak oluşturulmasına izin vermeyen bir giriş eşiği vardır ve kodunun Ethions Protokolü yönetişim önerisi aracılığıyla tanımlanması gerekir.
Özetlemek gerekirse, ESC VM, Ethereum tx'in çağrı verilerine sözleşme mantığı, sözleşme çağrıları, sözleşme çağrıları ve diğer veri içeriklerinin yerleştirilmesiyle uygulanan veri depolama katmanı olarak Ethereum L1'in üzerine inşa edilmiş bir bilgi işlem katmanıdır ve ESC VM'nin küresel durum konsensüsü, Arweave'in SmartWeave uygulama mantığına benzeyen ESC VM istemcilerinin konsensüsüdür, ancak SmartWeave'in veri depolama katmanı Arweave'dir.
1.2.8BitVM - İlginç Bir Araştırma Deneyi: BTC'de Eşler Arası Yürütme Kanalları
Temsili proje: ZeroSync
ZeroSync'in kurucusu Robin Linus, 9 Ekim'de "BitVM: Compute Anything On Bitcoin" adlı bir teknik inceleme yayınladı, bu kesin olarak bir VM değil, Bitcoin zincirinde depolanan sözleşmelerle Turing-complete bir bilgi işlem alanı yaratma girişimidir, ancak sözleşmenin mantığı zincir dışı yürütülür. Karşı tarafın temerrüde düştüğünü düşünüyorsanız, zincirde bir meydan okuma başlatabilirsiniz ve karşı taraf doğru yanıt veremezse, sözleşmedeki tüm fonları alabilirsiniz.
Avantajı, Bitcoin protokolünde herhangi bir değişiklik yapmadan, yeni işlem kodları, yumuşak çatallanmalar olmadan ve uygulamaya hazır olmadan Bitcoin Turing'e eksiksizlik verebilmesidir.
Eksiklikleri de açıktır, biri yalnızca iki taraf arasındaki işlemleri desteklemesi (biri kanıtlar ve biri doğrular), diğeri ise bir sözleşme oluşturmanın büyük miktarda veri oluşturmayı ve çok sayıda işlemi önceden imzalamayı gerektirmesidir ve zincir dışı bilgi depolamanın maliyeti çok büyüktür.
İşte teknik mantığa kısa bir giriş:
NOKTA GİRİŞ TAAHHÜDÜ
Nokta giriş taahhüdü, kanıtlayıcının mantık kapısı için 0 veya 1'lik bir giriş değeri belirlemesine izin verir ve bu vaatte H(A0) ve H(A1) olmak üzere iki karma değeri vardır ve kanıtlayıcının bir öncü hash ortaya çıkarması gerekir, örneğin A0, ardından giriş değerini 0 olarak ayarlayın, A1 ortaya çıkarsa giriş değerini 1 olarak ayarlayın.
Mantık Kapısı Taahhüdü
Giriş değerlerine sahip olduğunuzda, Bitcoin'in amp ve NAND işlem kodlarını birleştirerek Bitcoin Script'teki herhangi bir mantık geçidini birleştirebilirsiniz.
İkili Devre Sözü
Turing tamlığı, yüz milyonlarca mantık kapısının ikili bir devrede birleştirilmesiyle elde edilebilir. Bu ikili devreyi Bitcoin ağına bağlamak için, tüm mantık kapılarının bir Taproot adresine sahip bir yaprak düğüme yerleştirilmesi gerekir.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-a62b8c1b21-dd1a6f-69ad2a.webp)
SORGULAMA - YANIT OTURUMU
Devreyi zincir üzerinde işlemek yeterli değildir, işlemin her iki tarafının da sözleşmenin hesaplamalarının doğru olduğunu doğrulamak için verimli bir yola ihtiyacı vardır. İdeal olarak, sözleşme zincir dışı çalışır ve her iki taraf da işbirlikçi ve tartışmasız olduklarında mutlu olurlar. Bununla birlikte, işlemin iki tarafı arasında bir anlaşmazlık varsa, hesaplama sonuçlarını doğrulamak ve kanal bakiyesinin dağıtımını Bitcoin Script aracılığıyla zorlamak için Challenge-Response aşamasına girmek gerekir.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-fb19acd23b-dd1a6f-69ad2a.webp)
Bu nedenle BitVM, tam bir sanal makine yürütme ortamına, küresel duruma, karmaşık akıllı sözleşmeler yayınlamak için üst düzey bir dile sahip olmayan ve herhangi bir sayıda kullanıcının bu sözleşmelerle kolayca etkileşime girmesine izin veremeyen bir tür BitcoinRollup veya L2 olmaktan uzaktır. Bunu bir meslekten olmayan bir örnekle açıklamak gerekirse, BitVM, herkesin mobil cihazları kullanabildiği çağda bir odadan daha büyük dev bir bilgisayar inşa etmek gibidir.
1.2.9 MoveVM - Facebook'un Web2 gen mirasının bir ürünü
Temsili projeler: Aptos, Sui
Move, başlangıçta Facebook tarafından Diem blok zincirini desteklemek için geliştirilen güvenli akıllı sözleşmeler yazmak için bir programlama dilidir ve Diem blok zinciri projesi durdurulduktan sonra Aptos ve Sui gibi projeler Move dilini kullanmaya devam etti. Move blok zincirinin en büyük özelliği, veri depolamanın, kök olarak hesap adresinin bulunduğu bir ağaçtan oluşan küresel depolamayı benimsemesi ve her adresin kaynak verilerini ve modül kodunu depolayabilmesidir.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-9c80cdc39c-dd1a6f-69ad2a.webp)
Move için iki farklı program türü vardır: modüller ve komut dosyaları. Modül, yapı türlerini ve bu türler üzerinde çalışan işlevleri tanımlayan bir kitaplıktır. Yapı türü, Taşıma için genel depolama modunu tanımlar ve modül işlevi, depolamayı güncelleştirme kurallarını tanımlar. Modüllerin kendileri de küresel depolamada saklanır. Öte yandan komut dosyaları, geleneksel dillerdeki ana işleve benzer şekilde yürütülebilir dosyanın giriş noktasıdır ve global mağazada yayınlanmayan geçici kod parçacıklarıdır.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-edebf4204e-dd1a6f-69ad2a.webp)
Özetle, Move modülü, sistem çalıştırılabilir çalışma zamanı geldiğinde yüklenen dinamik kitaplık modülüne benzerken, komut dosyası ana programa benzer. Kullanıcılar, modülleri çağırmak da dahil olmak üzere genel mağazaya erişmek için kendi betiklerini yazabilirken, modülleri yayımlamak veya betikleri yürütmek MoveVM aracılığıyla manipüle edilebilir.
1.3 Ekolojik Gelişme Trendi
Artık EVM ağ etkisi çok güçlü olduğuna göre, EVM kullanıcılarının EVM olmayan zincir ekosistemlerine geçişi, gelişmekte olan blok zinciri projeleri için en büyük büyüme noktası haline geldi ve bu da daha fazla Dapp birleştirilebilirliği getirecek ve daha fazla bağlantı, önümüzdeki yıllarda daha hızlı kullanıcı büyümesine yol açabilir.
1.3.1 Cüzdan ön uç uyumlu
EVM kullanıcılarını EVM olmayan zincirlerle tanıştırmak tarihsel olarak büyük bir engel olmuştur, ancak Metamask Snap'in yakın zamanda piyasaya sürülmesi bu engeli aşacaktır. EVM kullanıcıları, cüzdan değiştirmek zorunda kalmadan MetaMask'ı kullanmaya devam edebilir. Drift'in harika bir MetaMask Snap uygulaması oluşturan açık kaynak katkıları sayesinde UX, herhangi bir EVM zinciriyle etkileşime girmeye eşdeğerdir. Eclipse ana ağ kullanıcıları, MetaMask'teki yerel uygulamalarla etkileşime girebilecek veya Salmon gibi Solana'ya özgü cüzdanları kullanabilecek.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-1d25f15fac-dd1a6f-69ad2a.webp)
1.3.2VM arka uç uyumlu
1.3.2.1 Aktarıcı/Derleyici
Temsili proje: Wrap
Warp, Ethereum'da tanınmış bir altyapı ekibi olan Nethermind tarafından geliştirilmiş bir Solidity-Cairo aktarıcısıdır. Warp, Solidity kodunu Cairo'ya çevirebilir, ancak çevrilen Cairo programının, yürütme verimliliğini en üst düzeye çıkarmak için genellikle Cairo özelliklerini (yerleşik işlevleri çağırmak, belleği optimize etmek vb.) değiştirmesi ve eklemesi gerekir.
1.3.2.2 Bayt Kodu Yorumlayıcısı/VM Uyumlu Katman
Temsili projeler: Kakarot, Neon EVM
Kakarot, Kahire'de Starknet'te yazılmış bir akıllı sözleşme biçiminde uygulanan ve EVM'nin yığınını, belleğini, yürütmesini ve diğer yönlerini bir Kahire akıllı sözleşmesi biçiminde simüle eden bir EVM bayt kodu yorumlayıcısıdır. Kod çevirisi ile karşılaştırıldığında Kakarot, EVM'nin arkasında Opcode ve Pre-compile'ın öğe bazında uygulanmasını uygular ve hesap adresi eşleme ve blok bilgisi alımı için ek işlem sağlamak üzere Hesap Kayıt Defteri ve Blockhash Kayıt Defteri gibi bileşenler oluşturur, böylece kakarot daha yüksek yerel uyumluluğa sahip olur.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-92c6ee7313-dd1a6f-69ad2a.webp)
Neon EVM, akıllı bir sözleşme olarak çalışan ve herhangi bir SVM zincirine yerleştirilebilen bir EVM türüdür. Eclipse ana ağının kendisi, yürütme ortamı olarak SVM'yi kullanır, ancak Neon EVM aracılığıyla tam EVM uyumluluğu (EVM bayt kodu desteği ve Ethereum JSON-RPC dahil) ve tek iş parçacıklı EVM'den daha yüksek verim sağlar. Ek olarak, her Neon EVM örneğinin kendi yerel ücret piyasası vardır, yani tek bir sözleşme hesabının bir blok yüksekliğindeki etkileşimiyle ilgili bir üst sınır (blok hesaplama biriminin 1/4'ü) vardır, bu nedenle kullanıcıların yalnızca belirli bir sıcak sözleşme etkileşimi veya bloğu dolduğunda öncelikli ücretler ödemesi gerekir. Bu anlamda, bir uygulama, bir uygulama zincirininkine benzer bir avantaj elde etmek için kendi sözleşmesini dağıtır, böylece belirli bir sözleşme tx tıkanıklığı ile etkileşime girdiğinde tüm ağın kullanıcı deneyiminde, güvenliğinde veya likiditesinde meydana gelen kesintiyi azaltır.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-1fa8c035bb-dd1a6f-69ad2a.webp)
Kaynaklar:
"Kakarot: Starknet'in EVM Uyumluluğuna Giden Yolunu Keşfetmek", Cynic & Starknet Astro,
"Starkware Teknoloji Mimarisi ve Ekosistem İncelemesi", Maxlion,
Web3CN'den "Proje Araştırması丨Modüler Yüksek Hızlı Yürütme Katmanı Yakıt Araştırma Raporu",
"Aptos Move VM'nin İlk Kritik Güvenlik Açığının Analizi", Numen Cyber Labs,
11."SVM Nedir - Solana Sanal Makinesi", Takımlara göre,
12."Eclipse Mainnet Tanıtımı: Ethereum SVM L2", Eclipse tarafından,
"Farklı ZK-EVM türleri", Vitalik Buterin,
"Cipholio Araştırma Raporu: ZkVM'nin Çözümü ve Geleceği Hakkında Konuşmak", YOLO SHEN, Cipholio Ventures,
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.
Toplama dalgası altında, VM'lerin hala anlatacak bir hikayesi var
PSE Ticaret Analisti @cryptohawk tarafından yazıldı.
TL; DR
Sanal makine, bir program için yürütme ortamı sağlayan, yazılıma öykünülmüş bir bilgisayar sistemidir. Programların kontrollü ve uyumlu bir ortamda çalışmasını sağlamak için çeşitli donanım aygıtlarını taklit edebilir.
Ethereum Sanal Makinesi (EVM), Ethereum akıllı sözleşmelerini yürüten yığın tabanlı bir sanal makinedir; zkEVM, EVM eşdeğerliği/uyumluluğu üzerinde zk-proof üretim verimliliğini optimize eder.
zkVM, EVM eşdeğerliğini/uyumluluğunu ortadan kaldırır ve zk dostu olma önceliğini artırır.
privacyzkVM, zkVM'ye yerel gizlilik özelliklerini yerleştirir;
SVM, FuelVM ve MoveVM, paralel yürütme yoluyla nihai performansı takip etme ortak özelliklerine sahiptir, ancak tasarım ayrıntılarında kendi özelliklerine sahiptirler.
ESCVM ve BitVM, sırasıyla ETH ve BTC zincirleri üzerinde bazı yenilikçi bilgi işlem katmanı deneyleri gerçekleştirdi, ancak mevcut ortamda gerçek uygulama talebi düşük.
**1.1 VM nedir? **
Sanal makine (VM), çalışan uygulamalar ve işletim sistemleri de dahil olmak üzere bir bilgisayarla hemen hemen aynı işlevlere sahip sanallaştırılmış bilgi işlem kaynaklarının yapı taşıdır. Sanal makineler kavramı yeni değil ve teknoloji birçok teknoloji ekosisteminde yaygın olarak kullanılıyor.
Blok zinciri bağlamında, bir sanal makine (VM), genellikle blok zinciri akıllı sözleşmelerini yürüten bir çalışma zamanı ortamı olarak adlandırılan programları çalıştıran bir yazılım parçasıdır. Sanal makineler genellikle farklı donanım aygıtlarına öykünerek sanal bir bilgisayar ortamı sağlar. Farklı sanal makineler farklı donanım aygıtlarına öykünebilir, ancak genellikle CPU, bellek, sabit diskler, ağ arabirimleri vb. içerir. Zincir içi bir işlem gönderildiğinde, sanal makine işlemin işlenmesinden ve bu işlemin yürütülmesinden etkilenen blok zinciri durumunu (tüm ağın mevcut küresel durumu) güncellemekten sorumludur. Ağın durumunu değiştiren belirli kurallar VM tarafından tanımlanır. Bir işlemi işlerken VM, akıllı sözleşme kodunu düğüm/doğrulayıcı donanımı tarafından yürütülebilecek bir biçime dönüştürür.
Bir VM'deki en önemli çekirdek, derleyicinin en önemli çekirdeği olarak kabul edilebilecek LLVM'dir (düşük seviyeli sanal makine). Şekil, orijinal EVM'nin çalışma şemasını gösterir ve akıllı sözleşme, LLVM IR'nin ara kodu aracılığıyla Bayt koduna dönüştürülür. Bu bayt kodları blok zincirinde saklanır ve akıllı sözleşme çağrıldığında, bayt kodu karşılık gelen Opcode'a dönüştürülür ve daha sonra EVM ve düğüm donanımı tarafından yürütülür.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-755f00effa-dd1a6f-69ad2a.webp)
1.2 Genel VM'ler
1.2.1 EVM - Blockchain VM'nin bir taşı, EVM'nin sekiz kovası vardır ve geri kalanı iki kovaya bölünmüştür
Temsili projeler: Optimism, Arbitrum
Sektördeki en yüksek geliştirici ve kullanıcı etkinliğine sahip blok zinciri ekosistemi olan Ethereum Sanal Makinesi EVM, akıllı sözleşme talimatlarını yürütmek ve akıllı sözleşme durumunu ve verilerini depolamak için CPU, bellek, bellek ve yığınlar gibi donanım cihazlarını taklit ederek sanal bir bilgisayar ortamı sağlayan yığın tabanlı bir sanal makinedir. EVM'nin komut seti, aritmetik işlemler, mantıksal işlemler, depolama işlemleri, atlama işlemleri vb. gibi çeşitli işlem kodu işlem kodlarını içerir.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-11a8b0fe4d-dd1a6f-69ad2a.webp)
EVM tarafından taklit edilen bellek ve bellek, akıllı sözleşmenin durumunu ve verilerini depolamak için kullanılan cihazlardır. EVM, bellek ve belleği, belleğe ve belleğe okuyup yazarak akıllı bir sözleşmenin durumuna ve verilerine erişebilen iki ayrı alan olarak ele alır.
EVM simülasyonları yığını, işlenenleri ve talimatların sonuçlarını depolamak için kullanılır. EVM'nin komut setindeki talimatların çoğu yığın tabanlıdır, yığından işlenenleri okur ve sonuçları yığına geri gönderir.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-1f6aa17e7c-dd1a6f-69ad2a.webp)
EVM'nin tasarım süreci açıkça aşağıdan yukarıya doğrudur, önce simüle edilmiş donanım ortamını (yığın, bellek) sonlandırır ve ardından ilgili ortama göre kendi montaj talimat setleri (Opcode) ve bayt kodunu (Bayt kodu) tasarlar. Ethereum topluluğu, EVM yürütmesinin verimliliği için iki derlenmiş üst düzey dil - Solidity ve Vyper - tasarladı. Söylemeye gerek yok, Vyper, Vitalik'in Solidity'deki bazı kusurları gidermek için tasarlanmış EVM üst düzey dilidir, ancak toplulukta çok fazla benimsenmemiştir, bu nedenle yavaş yavaş belirsizliğe gömülmüştür.
1.2.2zkEVM - Hepsini istiyorum: EVM ortamıyla uyumlu + zk-proof oluşturmak için global durum kök dönüşümünü destekleyin
Temsili projeler: Taiko, Scroll, PolygonzkEVM
EVM, zk-proof hesaplama düşünülerek oluşturulmadığından, özellikle özel işlem kodları, yığın tabanlı mimariler, depolama ek yükü ve prova maliyetleri açısından prova devreleri için uygun değildir. zkEVM, akıllı sözleşmeleri zk-proof bilgi işlemle uyumlu bir şekilde yürüten sanal bir makinedir, böylece EVM'nin yürütme süreci zk-proof/validity-proof aracılığıyla daha verimli ve uygun maliyetli bir şekilde doğrulanabilir. OPRollup ile karşılaştırıldığında, yürütme katmanının yalnızca EVM'yi kopyalaması gerekir ve ZK dostu EVM'yi oluşturmak ZK Rollup için ek bir zorluktur.
ZK toplamaları, Ethereum Sanal Makinesi (EVM) ile kolayca uyumlu değildir. Bir devrede genel amaçlı bir EVM hesaplamasını kanıtlamak, daha önce açıklanan belirteç aktarımı gibi basit bir hesaplamayı kanıtlamaktan daha zor ve kaynak yoğundur.
Bununla birlikte, sıfır bilgi teknolojisindeki gelişmeler(Yeni bir sekmede açılır), EVM hesaplamasını sıfır bilgi ispatlarına sarmaya olan ilgiyi yeniden alevlendirdi. Bu çabalar, program yürütmenin doğruluğunu etkili bir şekilde doğrulayabilen sıfır bilgili bir EVM (zkEVM) uygulaması oluşturmayı amaçlamaktadır.
EVM gibi, zkEVM de belirli girdiler üzerinde hesaplamalar yaptıktan sonra durumlar arasında geçiş yapar. Aradaki fark, zkEVM'nin programın yürütülmesindeki her adımın doğruluğunu doğrulamak için sıfır bilgi kanıtları oluşturmasıdır. Geçerlilik kanıtları, sanal makinenin durumunu (bellek, yığın, depolama) ve hesaplamanın kendisini (yani, işlem doğru işlem kodlarını çağırdı ve bunları doğru şekilde yürüttü mü?) içeren işlemlerin doğruluğunu doğrulayabilir. ）。
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-3ab79ab336-dd1a6f-69ad2a.webp)
Şu anda, Rollup'ın ZK dostu ve EVM uyumluluğu (hatta eşdeğeri) elde etmesi, yani Ethereum L1 yürütme katmanını hash'ler, durum ağaçları, işlem ağaçları, ön derleme vb. dahil olmak üzere mümkün olduğunca eksiksiz bir şekilde çoğaltması zordur, böylece Ethereum L1 yürütme istemcisi bunu Rollup bloklarını işlemek için olduğu gibi kullanabilir; Ya EVM uyumluluğundan vazgeçin ve devrede kanıt/doğrulama için mevcut Opcode'u yeniden oluşturarak akıllı sözleşmelerin yürütülmesine izin verin.
1.2.3zkVM - Her iki şekilde de kullanamazsınız: zk-proof verimlilik odaklı, evm olmayan VM'ler
Temsili projeler: Starknet, Zksync, RISC ZERO
ZKVM, EVM uyumluluğundan ziyade, temel hedefleri veri kanıtları ve durum güncellemeleri olan kriptografi ve üst düzey diller arasında ortak bir bölen buldu ve çok çeşitli uygulamalar için ortak bir çerçeve sağladı.
Starkware, tüm ZK alanında erken başlaması ve nispeten yeterli teknoloji birikimi nedeniyle belirli bir teknolojik liderliğe sahiptir. O, Kahire VM'sinin ve Kahire'nin dilinin etrafında inşa edildiği temsili ZK merkezli teknik mimaridir. Dezavantajı, Kahire'yi öğrenmenin daha pahalı olmasıdır.
ZKsync'in çerçevesi hem EVM hem de ZK ile uyumludur ve Solidity'yi kendi geliştirdiği devre dili Zinc ile bütünleştirerek ikisini derleyici içinde IR düzeyinde birleştirir. Avantajı, derleyici çekirdeğinin LLVM'sinin birden çok dille uyumlu olmasıdır.
RISC Zero, programcıların Rust, C/C++ ve Go gibi genel amaçlı dillerde zkVM için programlar yazmasına olanak tanıyan simülatörler oluşturmak için RISC-V mimarisini kullanır, bu da uygulama mantığının Solidity'de ifade edilebilenlerle sınırlı olması gerekmediği anlamına gelir, bu da zincirden bağımsız kodun yazılmasına izin verir.
1.2.4Privacy zkVM - zk dostu + yerel gizlilik desteği, ekosistemde yeni bir kıvılcımı ateşlemeye çalışır
Temsili projeler: Aleo, Ola, PolygonMiden
Blockchain, tüm işlemlerin zincir üzerinde gerçekleştirildiği halka açık bir defter sistemidir, bu da adresler veya hesaplarla ilgili varlık bilgilerini içeren durum değişikliklerinin açık ve şeffaf olduğu anlamına gelir. Sonuç olarak, ölçeklendirme çözümleri üzerinde çalışmanın yanı sıra, bazı blok zinciri ekipleri uygulanacak bir sonraki önemli özelliğin gizlilik olduğuna inanıyor.
Ölçeklendirme için zk dostu desteğe ek olarak, PrivacyzkVM, MEV sorununu tamamen çözmek ve kullanıcı veri sahipliğini sağlamak gibi yeni uygulama senaryoları ve büyük anlatılar getirecek olan kendi programlama dili tarafından yerel olarak desteklenen gizlilik özellikleri sayesinde üst katman uygulama geliştiricilerinin gizlilikle ilgili dapp'leri açmasına olanak tanır. Tabii ki, PrivacyzkVM tasarımının karmaşıklığı, uygulamak için çok daha büyük bir teknik ekip gerektirir ve uygulanması birkaç yıl sürebilir.
1.2.5SVM - Gelgitten sonra hala közler var: performansın en uç noktasına kadar tasarlanmış bir yürütme ortamı
Temsili projeler: Eclipse Mainnet, Nitro, MakerDAOChain (belki)
SVM veya Solana Virtual Machine, yüksek performanslı bir yürütme ortamına odaklanır ve akıllı sözleşmeler esas olarak Rust'ta yazılır. Tek iş parçacıklı hesaplanmış EVM ve EOSWASM yürütme ortamlarının aksine, SVM, Solana işlemlerinin yürütme sırasında kendilerine okunacak veya yazılacak tüm durumları tanımlamasını gerektirerek, çakışmayan işlemlere ve yalnızca aynı durumu okuyan işlemlerin eşzamanlı yürütülmesine olanak tanır.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-5d40116bc0-dd1a6f-69ad2a.webp)
Ek olarak, çok sayıda işlem bloğunu hızlı bir şekilde doğrulamak/yayınlamak için Solana ağındaki işlem doğrulama süreci, CPU tasarımında yaygın olan boru hattı optimizasyonlarından kapsamlı bir şekilde yararlanır. Bir dizi adımın giriş veri akışını işlediği ve her adımın farklı bir donanım sorumluluğuna sahip olduğu durumu karşılamak için. Tipik bir benzetme, birden fazla çamaşır partisini sırayla yıkayan / kurutan / katlayan bir çamaşır makinesi ve kurutucudur. Kurutmadan önce yıkama yapılmalı ve kurutmadan önce katlama yapılmalıdır, ancak bu üç işlemin her biri ayrı bir ünite tarafından gerçekleştirilir.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-91e8c6540c-dd1a6f-69ad2a.webp)
Ek olarak, SVM'ler kayıt tabanlıdır ve EVM'lerden çok daha küçük bir komut setine sahiptir, bu da SVM'lerin yürütülmesinin ZK'da kanıtlanmasını kolaylaştırır. İyimser toplamalar için, kayıt tabanlı tasarımlar kontrol noktalarının ayarlanmasını kolaylaştırır.
1.2.6FuelVM - Buff Stacked: UTXO Framework Altında Paralel Sanal Makine
Temsili proje: Yakıt
Fuel VM, EVM, Solana, WASM, BTC ve Cosmos teknoloji çerçevesine dayanmaktadır ve EVM'ye kıyasla aşağıdaki özelliklere sahiptir:
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-4f38c20156-dd1a6f-69ad2a.webp)
En benzersiz şey, Fuel'in yalnızca SVM'ler gibi erişim listeleri ayarlayarak örtüşmeyen işlemlere paralel olarak işlemleri yürütme yeteneğine sahip olması değil, aynı zamanda erişim verimliliğini ve bilgi işlem verimini daha da artıran token UTXO ve sözleşme UTXO'ya bölünmüş UTXO modelini benimsemesidir.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-5352b0259c-dd1a6f-69ad2a.webp)
Buna ek olarak, Fuel VM, Rust araç ekosisteminde tanıtılan paradigmaları benimserken Solidity gibi akıllı sözleşme dillerinin avantajlarını koruyan bir geliştirme ortamıyla kendi etki alanına özgü dili Sway ve destek araç zinciri Fort aracılığıyla güçlü ve akıcı bir geliştirici deneyimi sağlar.
Gelecekte, Fuel VM, bayt kodu boyutu açısından derleyici iyileştirmeleri de dahil olmak üzere Sway dil yükseltmelerini de uygulayacak, Sway daha fazla arka ucu destekleyecek (EVM arka uçları zaten geliştirme aşamasındadır), soyutlamalar daha ekonomik olacak, Solidity/Vyper'dan Sway'e daha fazla uygulama geçirilecek, derleyici düzeyinde yeniden giriş analizi geliştirilecek ve daha fazlası.
1.2.7ESCVM - Ordinal/Smartweave'in Halefi: Ethereum'un Üstündeki Hesaplama Katmanı
Temsili proje: Ethions Protokolü
ESCMM veya Ethions Virtual Machine, Ethions Protocol tarafından önerilen bir akıllı sözleşme şemasıdır. Ethions Protocol'ün kendisi, Ethereum zincirindeki BTC Ordinal'a benzer bir protokoldür ve akıllı sözleşmelere ve L2'ye düşük maliyetli alternatifleri keşfetmeye odaklanır.
Ethions, kullanıcıların akıllı sözleşme depolamasını ve yürütmesini maliyetin çok altında atlamasına ve önceden kararlaştırılan protokol kuralları aracılığıyla hesaplama yapmak için çağrı verilerini Tx'te uygulamasına olanak tanır. Basitçe söylemek gerekirse, başarılı bir Ethereum işlemi, belirtilen geçerli veri spesifikasyonunu karşılayan bir çağrı verisine sahip olduğu ve benzersiz olduğu ve "to" adresi 0 olmadığı sürece, yasal olarak bir Ethion oluşturduğu düşünülebilir, "kimden" adresi yaratıcısı ve "to" adresi sahibidir.
Tasarımın başlangıcında, her Ethion, görüntü NFT'si gibi NFT biçimine daha yatkındır ve görüntü içeriğini doğrudan Base64 formatı aracılığıyla çağrı verilerine yazar:
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-6ef41e7812-dd1a6f-69ad2a.webp)
Son zamanlarda en popüler eths, BRC-20 protokol spesifikasyonuna atıfta bulunularak oluşturulan Ethion'dur:
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-79a0ed78e0-dd1a6f-69ad2a.webp)
ESC VM tarafından sunulan ve "aptal sözleşme" olarak bilinen akıllı sözleşme, mantıksal bir sözleşme olarak tanıtılır, ancak zincir üzerinde EVM'nin kendisi şeklinde etkileşime girmez. Buna ek olarak, ESC VM, ESC VM tarafından Deploy - deploy - deploy - call dumb contract gibi aptal sözleşmelerle etkileşim kurmak için tanınacak özel bir "Bilgisayar Komutu" biçimi de ekler.
Bu şemanın bazı sınırlamaları vardır, bunlardan biri "aptal sözleşmenin" işlevinin ödenebilir olmamasıdır, yani ETH'yi aptal bir sözleşme yoluyla göndermek istiyorsanız, bir "köprü sözleşmesi" kullanmanız gerekir ve "köprü sözleşmesinin" kendisi kontrolün kötüye kullanılması ve varlık hırsızlığı riskine sahiptir; İkincisi, ekosistemde aptal sözleşmelerin keyfi olarak oluşturulmasına izin vermeyen bir giriş eşiği vardır ve kodunun Ethions Protokolü yönetişim önerisi aracılığıyla tanımlanması gerekir.
Özetlemek gerekirse, ESC VM, Ethereum tx'in çağrı verilerine sözleşme mantığı, sözleşme çağrıları, sözleşme çağrıları ve diğer veri içeriklerinin yerleştirilmesiyle uygulanan veri depolama katmanı olarak Ethereum L1'in üzerine inşa edilmiş bir bilgi işlem katmanıdır ve ESC VM'nin küresel durum konsensüsü, Arweave'in SmartWeave uygulama mantığına benzeyen ESC VM istemcilerinin konsensüsüdür, ancak SmartWeave'in veri depolama katmanı Arweave'dir.
1.2.8BitVM - İlginç Bir Araştırma Deneyi: BTC'de Eşler Arası Yürütme Kanalları
Temsili proje: ZeroSync
ZeroSync'in kurucusu Robin Linus, 9 Ekim'de "BitVM: Compute Anything On Bitcoin" adlı bir teknik inceleme yayınladı, bu kesin olarak bir VM değil, Bitcoin zincirinde depolanan sözleşmelerle Turing-complete bir bilgi işlem alanı yaratma girişimidir, ancak sözleşmenin mantığı zincir dışı yürütülür. Karşı tarafın temerrüde düştüğünü düşünüyorsanız, zincirde bir meydan okuma başlatabilirsiniz ve karşı taraf doğru yanıt veremezse, sözleşmedeki tüm fonları alabilirsiniz.
Avantajı, Bitcoin protokolünde herhangi bir değişiklik yapmadan, yeni işlem kodları, yumuşak çatallanmalar olmadan ve uygulamaya hazır olmadan Bitcoin Turing'e eksiksizlik verebilmesidir.
Eksiklikleri de açıktır, biri yalnızca iki taraf arasındaki işlemleri desteklemesi (biri kanıtlar ve biri doğrular), diğeri ise bir sözleşme oluşturmanın büyük miktarda veri oluşturmayı ve çok sayıda işlemi önceden imzalamayı gerektirmesidir ve zincir dışı bilgi depolamanın maliyeti çok büyüktür.
İşte teknik mantığa kısa bir giriş:
NOKTA GİRİŞ TAAHHÜDÜ
Nokta giriş taahhüdü, kanıtlayıcının mantık kapısı için 0 veya 1'lik bir giriş değeri belirlemesine izin verir ve bu vaatte H(A0) ve H(A1) olmak üzere iki karma değeri vardır ve kanıtlayıcının bir öncü hash ortaya çıkarması gerekir, örneğin A0, ardından giriş değerini 0 olarak ayarlayın, A1 ortaya çıkarsa giriş değerini 1 olarak ayarlayın.
Mantık Kapısı Taahhüdü
Giriş değerlerine sahip olduğunuzda, Bitcoin'in amp ve NAND işlem kodlarını birleştirerek Bitcoin Script'teki herhangi bir mantık geçidini birleştirebilirsiniz.
İkili Devre Sözü
Turing tamlığı, yüz milyonlarca mantık kapısının ikili bir devrede birleştirilmesiyle elde edilebilir. Bu ikili devreyi Bitcoin ağına bağlamak için, tüm mantık kapılarının bir Taproot adresine sahip bir yaprak düğüme yerleştirilmesi gerekir.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-a62b8c1b21-dd1a6f-69ad2a.webp)
SORGULAMA - YANIT OTURUMU
Devreyi zincir üzerinde işlemek yeterli değildir, işlemin her iki tarafının da sözleşmenin hesaplamalarının doğru olduğunu doğrulamak için verimli bir yola ihtiyacı vardır. İdeal olarak, sözleşme zincir dışı çalışır ve her iki taraf da işbirlikçi ve tartışmasız olduklarında mutlu olurlar. Bununla birlikte, işlemin iki tarafı arasında bir anlaşmazlık varsa, hesaplama sonuçlarını doğrulamak ve kanal bakiyesinin dağıtımını Bitcoin Script aracılığıyla zorlamak için Challenge-Response aşamasına girmek gerekir.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-fb19acd23b-dd1a6f-69ad2a.webp)
Bu nedenle BitVM, tam bir sanal makine yürütme ortamına, küresel duruma, karmaşık akıllı sözleşmeler yayınlamak için üst düzey bir dile sahip olmayan ve herhangi bir sayıda kullanıcının bu sözleşmelerle kolayca etkileşime girmesine izin veremeyen bir tür BitcoinRollup veya L2 olmaktan uzaktır. Bunu bir meslekten olmayan bir örnekle açıklamak gerekirse, BitVM, herkesin mobil cihazları kullanabildiği çağda bir odadan daha büyük dev bir bilgisayar inşa etmek gibidir.
1.2.9 MoveVM - Facebook'un Web2 gen mirasının bir ürünü
Temsili projeler: Aptos, Sui
Move, başlangıçta Facebook tarafından Diem blok zincirini desteklemek için geliştirilen güvenli akıllı sözleşmeler yazmak için bir programlama dilidir ve Diem blok zinciri projesi durdurulduktan sonra Aptos ve Sui gibi projeler Move dilini kullanmaya devam etti. Move blok zincirinin en büyük özelliği, veri depolamanın, kök olarak hesap adresinin bulunduğu bir ağaçtan oluşan küresel depolamayı benimsemesi ve her adresin kaynak verilerini ve modül kodunu depolayabilmesidir.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-9c80cdc39c-dd1a6f-69ad2a.webp)
Move için iki farklı program türü vardır: modüller ve komut dosyaları. Modül, yapı türlerini ve bu türler üzerinde çalışan işlevleri tanımlayan bir kitaplıktır. Yapı türü, Taşıma için genel depolama modunu tanımlar ve modül işlevi, depolamayı güncelleştirme kurallarını tanımlar. Modüllerin kendileri de küresel depolamada saklanır. Öte yandan komut dosyaları, geleneksel dillerdeki ana işleve benzer şekilde yürütülebilir dosyanın giriş noktasıdır ve global mağazada yayınlanmayan geçici kod parçacıklarıdır.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-edebf4204e-dd1a6f-69ad2a.webp)
Özetle, Move modülü, sistem çalıştırılabilir çalışma zamanı geldiğinde yüklenen dinamik kitaplık modülüne benzerken, komut dosyası ana programa benzer. Kullanıcılar, modülleri çağırmak da dahil olmak üzere genel mağazaya erişmek için kendi betiklerini yazabilirken, modülleri yayımlamak veya betikleri yürütmek MoveVM aracılığıyla manipüle edilebilir.
1.3 Ekolojik Gelişme Trendi
Artık EVM ağ etkisi çok güçlü olduğuna göre, EVM kullanıcılarının EVM olmayan zincir ekosistemlerine geçişi, gelişmekte olan blok zinciri projeleri için en büyük büyüme noktası haline geldi ve bu da daha fazla Dapp birleştirilebilirliği getirecek ve daha fazla bağlantı, önümüzdeki yıllarda daha hızlı kullanıcı büyümesine yol açabilir.
1.3.1 Cüzdan ön uç uyumlu
EVM kullanıcılarını EVM olmayan zincirlerle tanıştırmak tarihsel olarak büyük bir engel olmuştur, ancak Metamask Snap'in yakın zamanda piyasaya sürülmesi bu engeli aşacaktır. EVM kullanıcıları, cüzdan değiştirmek zorunda kalmadan MetaMask'ı kullanmaya devam edebilir. Drift'in harika bir MetaMask Snap uygulaması oluşturan açık kaynak katkıları sayesinde UX, herhangi bir EVM zinciriyle etkileşime girmeye eşdeğerdir. Eclipse ana ağ kullanıcıları, MetaMask'teki yerel uygulamalarla etkileşime girebilecek veya Salmon gibi Solana'ya özgü cüzdanları kullanabilecek.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-1d25f15fac-dd1a6f-69ad2a.webp)
1.3.2VM arka uç uyumlu
1.3.2.1 Aktarıcı/Derleyici
Temsili proje: Wrap
Warp, Ethereum'da tanınmış bir altyapı ekibi olan Nethermind tarafından geliştirilmiş bir Solidity-Cairo aktarıcısıdır. Warp, Solidity kodunu Cairo'ya çevirebilir, ancak çevrilen Cairo programının, yürütme verimliliğini en üst düzeye çıkarmak için genellikle Cairo özelliklerini (yerleşik işlevleri çağırmak, belleği optimize etmek vb.) değiştirmesi ve eklemesi gerekir.
1.3.2.2 Bayt Kodu Yorumlayıcısı/VM Uyumlu Katman
Temsili projeler: Kakarot, Neon EVM
Kakarot, Kahire'de Starknet'te yazılmış bir akıllı sözleşme biçiminde uygulanan ve EVM'nin yığınını, belleğini, yürütmesini ve diğer yönlerini bir Kahire akıllı sözleşmesi biçiminde simüle eden bir EVM bayt kodu yorumlayıcısıdır. Kod çevirisi ile karşılaştırıldığında Kakarot, EVM'nin arkasında Opcode ve Pre-compile'ın öğe bazında uygulanmasını uygular ve hesap adresi eşleme ve blok bilgisi alımı için ek işlem sağlamak üzere Hesap Kayıt Defteri ve Blockhash Kayıt Defteri gibi bileşenler oluşturur, böylece kakarot daha yüksek yerel uyumluluğa sahip olur.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-92c6ee7313-dd1a6f-69ad2a.webp)
Neon EVM, akıllı bir sözleşme olarak çalışan ve herhangi bir SVM zincirine yerleştirilebilen bir EVM türüdür. Eclipse ana ağının kendisi, yürütme ortamı olarak SVM'yi kullanır, ancak Neon EVM aracılığıyla tam EVM uyumluluğu (EVM bayt kodu desteği ve Ethereum JSON-RPC dahil) ve tek iş parçacıklı EVM'den daha yüksek verim sağlar. Ek olarak, her Neon EVM örneğinin kendi yerel ücret piyasası vardır, yani tek bir sözleşme hesabının bir blok yüksekliğindeki etkileşimiyle ilgili bir üst sınır (blok hesaplama biriminin 1/4'ü) vardır, bu nedenle kullanıcıların yalnızca belirli bir sıcak sözleşme etkileşimi veya bloğu dolduğunda öncelikli ücretler ödemesi gerekir. Bu anlamda, bir uygulama, bir uygulama zincirininkine benzer bir avantaj elde etmek için kendi sözleşmesini dağıtır, böylece belirli bir sözleşme tx tıkanıklığı ile etkileşime girdiğinde tüm ağın kullanıcı deneyiminde, güvenliğinde veya likiditesinde meydana gelen kesintiyi azaltır.
! [Toplama dalgası altında, VM'lerin hala anlatacak hikayeleri var] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-1fa8c035bb-dd1a6f-69ad2a.webp)
Kaynaklar:
"Kakarot: Starknet'in EVM Uyumluluğuna Giden Yolunu Keşfetmek", Cynic & Starknet Astro,
"BitVM hararetle tartışılıyor, Bitcoin ağı Turing bütünlüğünü sağlayabilir mi?" ",Haotian tarafından,
"Starkware Teknoloji Mimarisi ve Ekosistem İncelemesi", Maxlion,
Web3CN'den "Proje Araştırması丨Modüler Yüksek Hızlı Yürütme Katmanı Yakıt Araştırma Raporu",
"Aptos Move VM'nin İlk Kritik Güvenlik Açığının Analizi", Numen Cyber Labs,
11."SVM Nedir - Solana Sanal Makinesi", Takımlara göre,
12."Eclipse Mainnet Tanıtımı: Ethereum SVM L2", Eclipse tarafından,
"Farklı ZK-EVM türleri", Vitalik Buterin,
"Cipholio Araştırma Raporu: ZkVM'nin Çözümü ve Geleceği Hakkında Konuşmak", YOLO SHEN, Cipholio Ventures,