Etkinlik Özeti İncelemesi: zkEVM ve Cairo VM Karşılaştırması
Geçerlilik Toplamı ( Geçerlilik Rollupları ), Ethereum'un işlem hacmini güvenli ve merkeziyetsiz bir şekilde artırmak için en iyi seçenek olarak kabul edilmektedir. Geçerlilik toplamlarında, zkEVM ve Cairo VM ( CVM ) iki ana kullanılan sanal makine türüdür.
zkEVM, Ethereum uyumluluğuna odaklanırken, performans ve ölçeklenebilirlikten ödün vermektedir. Starknet'in kullandığı Cairo VM ise performans ve ölçeklenebilirliği uyumluluğun üstüne koymaktadır.
Geçerlilik özetinin özü, doğrulanabilir hesaplama için geçerlilik kanıtları kullanmaktır. Bunlar, işlem yürütmeyi zincir dışı ortama ( 2. katman ) devrederek çalışır. 2. katman operatörleri, büyük miktarda işlemi işledikten sonra sonuçları ve zincir dışı yürütme bütünlüğünün geçerlilik kanıtını Ethereum ana ağına geri döner. Bu yöntem, Ethereum'un işlem işleme kapasitesini önemli ölçüde artırabilir.
Sanal makine (VM), programların çalıştırılabileceği bir ortamdır. zkVM, programın doğru bir şekilde çalıştığını kanıtlamak için kolayca doğrulanabilir geçerlilik kanıtları üretebilen özel bir Vmdir. zkEVM genellikle EVM yürütmesini kanıtlayabilen toplama sistemini ifade eder.
zkEVM ve CVM, Ethereum'u ölçeklendirmek için geçerlilik kanıtları yoluyla tasarlanmış olsalar da, zincir dışı işlem yürütme VM'lerini seçerken farklılıklar gösterirler. zkEVM, L2 toplama üzerinde Ethereum deneyimini kopyalamaya çalışırken, CVM geçerlilik kanıtı verimliliğini optimize etmek için özel olarak tasarlanmıştır.
zkEVM'nin hedefi, Ethereum geliştirme ortamını tamamen ikinci katman ağına taşımaktır. Bu, geliştiricilerin kodu değiştirmeden veya EVM araçlarından vazgeçmeden akıllı sözleşmeleri daha ölçeklenebilir çözümlere taşımasını sağlar. Ancak, bu yöntemin ana dezavantajı, etkinlik kanıtının ölçeklenme potansiyelini azaltmasıdır. EVM tasarlanırken kanıt verimliliği dikkate alınmadığı için, sistemin genel performans optimizasyon alanı sınırlıdır.
EVM'nin kanıtlanabilirliği bazı zorluklarla karşı karşıya.
EVM, yığın tabanlı bir modeli benimserken, geçerlilik kanıtı daha çok kayıt tabanlı bir modele uygundur.
Ethereum depolama yapısı, Keccak ve büyük Merkle Patricia ağaçlarına ciddi şekilde bağımlıdır, bu ikisi de geçerlilik kanıtı üretimini olumsuz etkiler.
Bu nedenle, farklı zkEVM çözümleri Ethereum araçlarıyla desteklenme düzeyinde farklılık göstermektedir - Ethereum ile uyumluluk ne kadar yüksekse, performans o kadar düşüktür.
Buna karşılık, Cairo VM tamamen yeni bir özel sanal makine tasarımı benimsemiştir ve bunun üzerine Ethereum araç desteğini ek bir katman olarak eklemiştir. CVM, program yürütmesinin etkinlik kanıtını verimli bir şekilde üretmek için tasarlanmıştır ve aşağıdaki avantajlara sahiptir:
Her bir komutun geçerli cebirsel gösterimi, geçerlilik kanıtı üretimini optimize etti.
Kanıtlanabilir programlar yazmak için Rust benzeri yüksek seviyeli diller sağlamak.
Gelişmiş Cairo ile Cairo assembler arasındaki ara temsil (Sierra), verimli bir yürütme sağlar.
Cairo dili, hesaplama tanımlarını oluşturan matematiksel kısıtların karmaşıklığını basitleştirir ve geliştiricilerin temel matematiği anlamadan geçerlilik kanıtlarını kullanarak uygulama genişletmelerini sağlar.
Starknet, çeşitli kodlama yöntemlerini destekler:
Doğrudan Cairo kullanarak kod yazın.
Warp çevirici ile Solidity kodunu Cairo'ya dönüştürmek.
Starknet üzerinde zkEVM('i Kakarot projesi) gibi çalıştırarak Ethereum akıllı sözleşmelerinin uyumluluğunu sağlamak.
Genel olarak, zkEVM, Ethereum ortamını kopyalamaya çalışıyor, ancak geçerlilik kanıtının tüm potansiyelini kısıtlıyor. Cairo VM ise, geçerlilik kanıtı sistemleri için özel olarak tasarlandığından, EVM sınırlamalarından etkilenmiyor ve daha yüksek verimlilikte Ethereum genişlemesi sağlıyor. Cairo ekosisteminin hızlı gelişimiyle birlikte, geliştiricilerin artık blockchain uygulamalarını genişletmek için birden fazla seçeneği var.
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.
18 Likes
Reward
18
4
Repost
Share
Comment
0/400
APY追逐者
· 08-14 06:22
zk bu kadar güçlü, neden Ana Ağ'a geçmiyor?
View OriginalReply0
LayerZeroHero
· 08-13 15:48
Performans ve uyumluluk gerçekten de sonsuz bir teknik sorun. Bir hafta boyunca denemeler yaparak bu sonuca vardım.
View OriginalReply0
SerumSquirter
· 08-11 19:12
Eski bir Madenci olan, mükemmel tps peşinde koşuyor.
View OriginalReply0
DaoResearcher
· 08-11 19:07
VB makalesi P267'ye göre, L2 uyumluluğu en iyi seçenek değildir.
zkEVM ve Cairo VM: Etkinlik Özeti içindeki iki Sanal Makine karşılaştırması
Etkinlik Özeti İncelemesi: zkEVM ve Cairo VM Karşılaştırması
Geçerlilik Toplamı ( Geçerlilik Rollupları ), Ethereum'un işlem hacmini güvenli ve merkeziyetsiz bir şekilde artırmak için en iyi seçenek olarak kabul edilmektedir. Geçerlilik toplamlarında, zkEVM ve Cairo VM ( CVM ) iki ana kullanılan sanal makine türüdür.
zkEVM, Ethereum uyumluluğuna odaklanırken, performans ve ölçeklenebilirlikten ödün vermektedir. Starknet'in kullandığı Cairo VM ise performans ve ölçeklenebilirliği uyumluluğun üstüne koymaktadır.
Geçerlilik özetinin özü, doğrulanabilir hesaplama için geçerlilik kanıtları kullanmaktır. Bunlar, işlem yürütmeyi zincir dışı ortama ( 2. katman ) devrederek çalışır. 2. katman operatörleri, büyük miktarda işlemi işledikten sonra sonuçları ve zincir dışı yürütme bütünlüğünün geçerlilik kanıtını Ethereum ana ağına geri döner. Bu yöntem, Ethereum'un işlem işleme kapasitesini önemli ölçüde artırabilir.
Sanal makine (VM), programların çalıştırılabileceği bir ortamdır. zkVM, programın doğru bir şekilde çalıştığını kanıtlamak için kolayca doğrulanabilir geçerlilik kanıtları üretebilen özel bir Vmdir. zkEVM genellikle EVM yürütmesini kanıtlayabilen toplama sistemini ifade eder.
zkEVM ve CVM, Ethereum'u ölçeklendirmek için geçerlilik kanıtları yoluyla tasarlanmış olsalar da, zincir dışı işlem yürütme VM'lerini seçerken farklılıklar gösterirler. zkEVM, L2 toplama üzerinde Ethereum deneyimini kopyalamaya çalışırken, CVM geçerlilik kanıtı verimliliğini optimize etmek için özel olarak tasarlanmıştır.
zkEVM'nin hedefi, Ethereum geliştirme ortamını tamamen ikinci katman ağına taşımaktır. Bu, geliştiricilerin kodu değiştirmeden veya EVM araçlarından vazgeçmeden akıllı sözleşmeleri daha ölçeklenebilir çözümlere taşımasını sağlar. Ancak, bu yöntemin ana dezavantajı, etkinlik kanıtının ölçeklenme potansiyelini azaltmasıdır. EVM tasarlanırken kanıt verimliliği dikkate alınmadığı için, sistemin genel performans optimizasyon alanı sınırlıdır.
EVM'nin kanıtlanabilirliği bazı zorluklarla karşı karşıya.
EVM, yığın tabanlı bir modeli benimserken, geçerlilik kanıtı daha çok kayıt tabanlı bir modele uygundur.
Ethereum depolama yapısı, Keccak ve büyük Merkle Patricia ağaçlarına ciddi şekilde bağımlıdır, bu ikisi de geçerlilik kanıtı üretimini olumsuz etkiler.
Bu nedenle, farklı zkEVM çözümleri Ethereum araçlarıyla desteklenme düzeyinde farklılık göstermektedir - Ethereum ile uyumluluk ne kadar yüksekse, performans o kadar düşüktür.
Buna karşılık, Cairo VM tamamen yeni bir özel sanal makine tasarımı benimsemiştir ve bunun üzerine Ethereum araç desteğini ek bir katman olarak eklemiştir. CVM, program yürütmesinin etkinlik kanıtını verimli bir şekilde üretmek için tasarlanmıştır ve aşağıdaki avantajlara sahiptir:
Her bir komutun geçerli cebirsel gösterimi, geçerlilik kanıtı üretimini optimize etti.
Kanıtlanabilir programlar yazmak için Rust benzeri yüksek seviyeli diller sağlamak.
Gelişmiş Cairo ile Cairo assembler arasındaki ara temsil (Sierra), verimli bir yürütme sağlar.
Cairo dili, hesaplama tanımlarını oluşturan matematiksel kısıtların karmaşıklığını basitleştirir ve geliştiricilerin temel matematiği anlamadan geçerlilik kanıtlarını kullanarak uygulama genişletmelerini sağlar.
Starknet, çeşitli kodlama yöntemlerini destekler:
Doğrudan Cairo kullanarak kod yazın.
Warp çevirici ile Solidity kodunu Cairo'ya dönüştürmek.
Starknet üzerinde zkEVM('i Kakarot projesi) gibi çalıştırarak Ethereum akıllı sözleşmelerinin uyumluluğunu sağlamak.
Genel olarak, zkEVM, Ethereum ortamını kopyalamaya çalışıyor, ancak geçerlilik kanıtının tüm potansiyelini kısıtlıyor. Cairo VM ise, geçerlilik kanıtı sistemleri için özel olarak tasarlandığından, EVM sınırlamalarından etkilenmiyor ve daha yüksek verimlilikte Ethereum genişlemesi sağlıyor. Cairo ekosisteminin hızlı gelişimiyle birlikte, geliştiricilerin artık blockchain uygulamalarını genişletmek için birden fazla seçeneği var.