Aslen PSE Trading Analyst @cryptohawk tarafından yazılmıştır
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-5a402ab8f9-dd1a6f-69ad2a.webp)
TL; DR
Sanal makine, yazılım tarafından simüle edilen ve bir programın yürütülmesi için bir ortam sağlayan 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ğinde/uyumluluğunda zk-proof üretim verimliliğinin belirli bir optimizasyonunu yapmıştır.
zkVM, EVM eşdeğerliğini/uyumluluğunu ortadan kaldırır ve zk dostu olma önceliğini artırır.
privacy zkVM, yerel gizlilik özelliklerini zkVM'ye 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.
ESC VM 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.
3. 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ıtabilir ve yeni bir ekolojik anlatı veya başarıya giden gerekli bir yol oluşturmak için EVM olmayan sanal makine özelliklerini kullanabilir.
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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-e6504cde98-dd1a6f-69ad2a.webp)
1.2 Genel VM'ler
1.2.1 EVM - Blok zinciri VM'sinde toplam bir taş vardır, EVM sekiz kovaya özeldir ve geri kalanı iki kovaya bölünmüştür
Temsili Projeler: İyimserlik, 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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-b215612938-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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-74a85b3f36-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.2 zkEVM - Hepsini istiyorum: EVM ortamıyla uyumlu + zk-proof oluşturmak için küresel durum kök dönüştürme desteği
Temsili Projeler: Taiko, Scroll, Polygon zkEVM
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. OP Rollup ile karşılaştırıldığında, yürütme katmanının yalnızca EVM'yi kopyalaması gerekir ve EVM'nin ZK dostu yapısı, 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(opens in a new tab), 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. ）。
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-3885eea05b-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ı karmalar, 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 Rollup bloklarını işlemek için olduğu gibi kullanılabilir; 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.3 zkVM - Her iki şekilde de sahip olamazsı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.4 Gizlilik zkVM - zk dostu + yerel gizlilik desteği, ekosistemde yeni bir kıvılcım ateşlemeye çalışıyor
Temsili Projeler: Aleo, Ola, Polygon Miden
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.
Privacy zkVM, ölçeklendirme için zk dostu desteğine ek olarak, 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. Elbette, Privacy zkVM tasarımının karmaşıklığı, uygulamak için çok daha büyük bir teknik ekip gerektirecektir ve bunun başarılması birkaç yıl alabilir.
1.2.5 SVM - 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ı bilgi işlem EVM ve EOS WASM yürütme ortamlarının aksine, SVM'ler, 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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-5c07390761-dd1a6f-69ad2a.webp)
Ek olarak, büyük işlem bloklarının hızlı bir şekilde doğrulanmasını/yayınlanmasını sağlamak 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 grubunu 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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-c9b316a16d-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.6 Yakıt VM - Buff Stacking: UTXO çerçevesi 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:
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-dc84c420c7-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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-54817c581d-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.7 ESC VM - Ordinal/Smartweave'in Halefi: Ethereum'un üstündeki bilgi işlem katmanı
Temsili Proje: Ethions Protokolü
ESC VM veya Ethions Virtual Machine, Ethions Protocol tarafından önerilen bir akıllı sözleşme çözümüdür. Ethions Protocol'ün kendisi, Ethereum zincirindeki BTC Ordinal'e 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 Base 64 formatı aracılığıyla doğrudan çağrı verilerine yazar:
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-59364b934a-dd1a6f-69ad2a.webp)
Son zamanlarda en popüler eths, BRC-20 protokol spesifikasyonuna atıfta bulunularak oluşturulan Ethion'dur:
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-8b1cde6b8b-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 kendisi zincir üzerinde bir EVM biçiminde 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 "makine 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" nden geçmelisiniz 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.8 Bit VM - İlginç bir araştırma deneyi: BTC'nin üzerinde eşler arası bir yürütme kanalı
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 bilgi işlem alanı yaratma girişimidir, ancak sözleşmelerin 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ş:
(1) Nokta giriş taahhüdü
Nokta girişi 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(A 0) ve H(A 1) olmak üzere iki karma değer vardır ve kanıtlayıcının bir öncü hash ortaya çıkarması gerekir, örneğin A 0, ardından giriş değerini 0 olarak ayarlayın, A 1 ortaya çıkarsa, giriş değerini 1 olarak ayarlayın.
(2) 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.
(3) İkili Devre Taahhüdü
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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-2adb7ce547-dd1a6f-69ad2a.webp)
(4) Meydan okuma-yanıt bağlantısı
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 bir meydan okuma-yanıt adımı girmeniz gerekir.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-51632a6382-dd1a6f-69ad2a.webp)
Bu nedenle, BitVM bir tür Bitcoin Rollup veya L2 olmaktan uzaktır ve 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 değildir ve herhangi bir sayıda kullanıcının bu sözleşmelerle kolayca etkileşime girmesine izin veremez. 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 genlerinin 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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-4bc57a20bb-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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-8a301faa9e-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 depolamaya erişmek için kendi betiklerini yazabilirken, modülleri yayımlamak veya betikleri yürütmek Move VM aracılığıyla işlenebilir.
1.3 Ekolojik Gelişme Eğilimleri
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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-238b0558fb-dd1a6f-69ad2a.webp)
1.3.2 VM 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 Uyumluluk 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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-7049ae3417-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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-663a3c3002-dd1a6f-69ad2a.webp)
Kaynaklar:
"Kakarot: Starknet'in EVM Uyumluluğuna Giden Yolunu Keşfetmek", Cynic & Starknet Astro
"Cipholio Araştırma Raporu: ZkVM'nin Yaklaşımı ve Geleceği Üzerine Bir Tartışma", 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.
PSE Ticareti: Toplama dalgası altında, VM'lerin hala anlatacak bir hikayesi var
Aslen PSE Trading Analyst @cryptohawk tarafından yazılmıştır
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-5a402ab8f9-dd1a6f-69ad2a.webp)
TL; DR
zkVM, EVM eşdeğerliğini/uyumluluğunu ortadan kaldırır ve zk dostu olma önceliğini artırır.
privacy zkVM, yerel gizlilik özelliklerini zkVM'ye 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.
ESC VM 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. 3. 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ıtabilir ve yeni bir ekolojik anlatı veya başarıya giden gerekli bir yol oluşturmak için EVM olmayan sanal makine özelliklerini kullanabilir.
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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-e6504cde98-dd1a6f-69ad2a.webp)
1.2 Genel VM'ler
1.2.1 EVM - Blok zinciri VM'sinde toplam bir taş vardır, EVM sekiz kovaya özeldir ve geri kalanı iki kovaya bölünmüştür
Temsili Projeler: İyimserlik, 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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-b215612938-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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-74a85b3f36-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.2 zkEVM - Hepsini istiyorum: EVM ortamıyla uyumlu + zk-proof oluşturmak için küresel durum kök dönüştürme desteği
Temsili Projeler: Taiko, Scroll, Polygon zkEVM
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. OP Rollup ile karşılaştırıldığında, yürütme katmanının yalnızca EVM'yi kopyalaması gerekir ve EVM'nin ZK dostu yapısı, 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(opens in a new tab), 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. ）。
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-3885eea05b-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ı karmalar, 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 Rollup bloklarını işlemek için olduğu gibi kullanılabilir; 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.3 zkVM - Her iki şekilde de sahip olamazsı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.4 Gizlilik zkVM - zk dostu + yerel gizlilik desteği, ekosistemde yeni bir kıvılcım ateşlemeye çalışıyor
Temsili Projeler: Aleo, Ola, Polygon Miden
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.
Privacy zkVM, ölçeklendirme için zk dostu desteğine ek olarak, 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. Elbette, Privacy zkVM tasarımının karmaşıklığı, uygulamak için çok daha büyük bir teknik ekip gerektirecektir ve bunun başarılması birkaç yıl alabilir.
1.2.5 SVM - Gelgitten sonra hala közler var: performansın en uç noktasına kadar tasarlanmış bir yürütme ortamı
Temsili projeler: Eclipse Mainnet, Nitro, MakerDAO Chain (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ı bilgi işlem EVM ve EOS WASM yürütme ortamlarının aksine, SVM'ler, 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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-5c07390761-dd1a6f-69ad2a.webp)
Ek olarak, büyük işlem bloklarının hızlı bir şekilde doğrulanmasını/yayınlanmasını sağlamak 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 grubunu 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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-c9b316a16d-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.6 Yakıt VM - Buff Stacking: UTXO çerçevesi 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:
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-dc84c420c7-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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-54817c581d-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.7 ESC VM - Ordinal/Smartweave'in Halefi: Ethereum'un üstündeki bilgi işlem katmanı
Temsili Proje: Ethions Protokolü
ESC VM veya Ethions Virtual Machine, Ethions Protocol tarafından önerilen bir akıllı sözleşme çözümüdür. Ethions Protocol'ün kendisi, Ethereum zincirindeki BTC Ordinal'e 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 Base 64 formatı aracılığıyla doğrudan çağrı verilerine yazar:
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-59364b934a-dd1a6f-69ad2a.webp)
Son zamanlarda en popüler eths, BRC-20 protokol spesifikasyonuna atıfta bulunularak oluşturulan Ethion'dur:
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-8b1cde6b8b-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 kendisi zincir üzerinde bir EVM biçiminde 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 "makine 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" nden geçmelisiniz 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.8 Bit VM - İlginç bir araştırma deneyi: BTC'nin üzerinde eşler arası bir yürütme kanalı
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 bilgi işlem alanı yaratma girişimidir, ancak sözleşmelerin 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ş:
(1) Nokta giriş taahhüdü
Nokta girişi 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(A 0) ve H(A 1) olmak üzere iki karma değer vardır ve kanıtlayıcının bir öncü hash ortaya çıkarması gerekir, örneğin A 0, ardından giriş değerini 0 olarak ayarlayın, A 1 ortaya çıkarsa, giriş değerini 1 olarak ayarlayın.
(2) 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.
(3) İkili Devre Taahhüdü
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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-2adb7ce547-dd1a6f-69ad2a.webp)
(4) Meydan okuma-yanıt bağlantısı
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 bir meydan okuma-yanıt adımı girmeniz gerekir.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-51632a6382-dd1a6f-69ad2a.webp)
Bu nedenle, BitVM bir tür Bitcoin Rollup veya L2 olmaktan uzaktır ve 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 değildir ve herhangi bir sayıda kullanıcının bu sözleşmelerle kolayca etkileşime girmesine izin veremez. 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 genlerinin 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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-4bc57a20bb-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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-8a301faa9e-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 depolamaya erişmek için kendi betiklerini yazabilirken, modülleri yayımlamak veya betikleri yürütmek Move VM aracılığıyla işlenebilir.
1.3 Ekolojik Gelişme Eğilimleri
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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-238b0558fb-dd1a6f-69ad2a.webp)
1.3.2 VM 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 Uyumluluk 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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-7049ae3417-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.
! [PSE Ticareti: Toplama Dalgası Altında, VM'nin Hala Anlatacak Bir Hikayesi Var] (https://img-cdn.gateio.im/webp-social/moments-7f230462a9-663a3c3002-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 Ekosistemi", Maxlion
Web3 CN'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
"Farklı ZK-EVM türleri", Vitalik Buterin
"Cipholio Araştırma Raporu: ZkVM'nin Yaklaşımı ve Geleceği Üzerine Bir Tartışma", YOLO SHEN, Cipholio Ventures