Geçerlilik Rollupları: Ethereum'un ölçeklenmesi için en iyi çözüm mü?
Geçerlilik Rollupları (VRs), zk-rollups olarak da bilinir, güvenli ve merkeziyetsiz bir şekilde Ethereum'un işlem hacmini artırmanın en umut verici çözümü olarak görülmektedir. Bu ölçekleme çözümünün temeli, doğrulanabilir hesaplama için geçerlilik kanıtlarının kullanılmasıdır. Çalışma prensibi aşağıdaki gibidir:
Operatör, işlem yürütmeyi zincir dışı ortam ( ikinci katman ) üzerinde işlenmek üzere taşır. Çok sayıda işlemi işledikten sonra, ikinci katman operatörü sonuçları Ethereum durumuna uygulamak için geri dönerken, zincir dışı yürütmenin bütünlüğünü doğrulamak için geçerlilik kanıtı sağlar. Bu kanıt, partideki tüm işlemlerin geçerli olduğunu ve zincir üzerindeki doğrulayıcı sözleşmeler tarafından otomatik olarak doğrulandığını garanti eder. Bu, Ethereum'un sonuçları durumuna uygulamasına olanak tanır.
Dikkat edilmesi gereken bir nokta, Validity Rollup'ların genellikle sıfır bilgi toplama (zero-knowledge rollup) olarak yanlış adlandırılmasıdır, ancak bu doğru değildir. Çoğu Validity Rollup ZKP kullanmaz ve gizliliği sağlamak için de kullanılmaz. Bu nedenle, "Validity Rollup" terimi daha doğrudur.
Off-chain Sanal Makine
Sanal makine (VM), bir program çalıştırabilen bir ortamdır, Mac üzerinde Windows işletim sistemi çalıştırmaya benzer. Belirli girdilere göre hesaplamalar yaptıktan sonra durumlar arasında geçiş yapar. Ethereum sanal makinesi (EVM), Ethereum akıllı sözleşmelerini çalıştıran VM'dir.
Sıfır bilgi sanal makinesi ( zkVM ), programların doğru bir şekilde yürütüldüğünü kanıtlamak için kolayca doğrulanabilir geçerlilik kanıtları üretebilen bir program yürütme ortamıdır. "zkEVM" genellikle Ethereum sanal makinesi ( EVM ) kullanarak EVM yürütmesinin toplu olarak kanıtlanmasını ifade eder. Bu terim yanıltıcı olabilir, çünkü EVM kendisi bu kanıtları üretmez; bunun yerine, kanıtlar EVM yürütmesinin sonuçlarını başlangıç noktası olarak alan ayrı bir kanıt mekanizması tarafından üretilir. Ayrıca, bu kanıtlar geçerliliğe odaklanırken gizliliğe odaklanmaz, bu nedenle tamamen sıfır bilgi kanıtları değildir.
Tüm Validity Rollups, Ethereum'u ölçeklendirmek için geçerlilik kanıtlarını kullanmayı amaçlasa da, zincir dışı işlemleri gerçekleştirmek için VM seçimi açısından farklılık gösterirler. Birçok Validity Rollups, EVM tasarımını kopyalamayı seçmiştir ( bu nedenle "zkEVM rollups") olarak adlandırılmaktadır, Ethereum'u L2 rollup üzerinde kopyalamaya çalışmaktadır. Diğer bir çözüm ise, geçerlilik kanıtı verimliliğini optimize etmek amacıyla özel olarak tasarlanmış yeni bir VM olan - Cairo VM (CVM)'yi kullanmaktadır.
Bu iki yöntemin kendi avantajları ve dezavantajları vardır, ancak zkEVM, Ethereum uyumluluğu için performanstan feragat ederken, Cairo VM performansı uyumluluğun önüne koyar ve ölçeklenebilirliğe öncelik verir.
zkEVM yöntemleri
zkEVM, Ethereum deneyimini Layer-2 blok zincirine tam olarak getirmeyi amaçlamaktadır. Hedefi, Ethereum geliştirme ortamını bir toplama olarak kopyalamaktır. zkEVM sayesinde, geliştiriciler akıllı sözleşmeler yazarken veya akıllı sözleşmeleri daha ölçeklenebilir çözümlere taşırken, kodu değiştirmek veya EVM araçlarını ( ve akıllı sözleşmeleri ) terk etmek zorunda kalmazlar.
Bu yöntemlerin en büyük dezavantajlarından biri, etkinlik kanıtlarının ölçeklenebilirlik potansiyelini azaltmasıdır. zkEVM, Ethereum ile uyumlu olmaya odaklandığı için daha yavaş ve kaynak yoğunluğu daha yüksektir. CVM'den farklı olarak, EVM tasarlanırken kanıt verimliliği düşünülmemiştir. Bu, verimliliği ve ölçeklenebilirliği artırabilecek optimizasyonların kullanımını kısıtlar ve nihayetinde sistemin genel performansını etkiler.
EVM'nin kanıtlanabilirlik zorlukları
zkEVM yönteminin temel zorluğu, EVM'nin orijinal tasarımından kaynaklanmaktadır - bu, geçerlilik kanıtı ortamında çalışmak için tasarlanmamıştır. Bu nedenle, işlevselliğini yansıtma çabaları, geçerlilik kanıtının potansiyelini tam olarak ortaya çıkaramamakta ve bu da verimsizliğe yol açmaktadır. Bu düşük verimlilik, nihayetinde sistemin genel performansını etkileyecektir. EVM ile geçerlilik kanıtının uyumluluğu aşağıdaki faktörler tarafından kısıtlanmaktadır:
EVM, yığın tabanlı bir model kullanırken, geçerlilik kanıtı daha çok kayıt tabanlı bir model için uygundur. EVM'nin yığın özellikleri, onun yürütme doğruluğunu kanıtlama zorluğunu artırmakta ve yerel araç zincirine doğrudan destek sağlamayı daha da zorlaştırmaktadır.
Ethereum depolama düzeni, Keccak ve büyük Merkle Patricia Ağaçları'na ciddi şekilde bağımlıdır; bu ikisi de geçerlilik kanıtlarını olumsuz etkiler ve büyük miktarda kanıt yükü ekler. Örneğin, Keccak x86 mimarisinde hızlı çalışırken, kanıtlamak için 90k adım gerektirir. Buna karşın, zk dostu Pedersen hash fonksiyonu yalnızca 32 adım gerektirir. Tekrar sıkıştırma kullanılsa bile, zkEVM'de Keccak kullanmak, kullanıcıların büyük miktarda kanıtlayıcı kaynak maliyetini üstlenmesi anlamına gelir.
Bu nedenle, çeşitli zkEVM çözümleri Ethereum araçlarına farklı seviyelerde destek sunmaktadır - zkEVM'nin Ethereum ile uyumluluğu ne kadar yüksekse, performansı o kadar düşük olur.
Cairo-VM Yöntemleri
zkEVM'nin "EVM'yi Validity Rollups'a uyarlamak" için büyük bir geliştirme süresi harcamasının aksine, Cairo-VM tamamen yeni bir özel sanal makine tasarımı benimsemiştir ve bunun üzerine Ethereum araçlarına destek ekleyerek bir ek katman oluşturmuştur. Bu, 2021'in Kasım ayında piyasaya sürülen izinsiz Validity Rollup - Starknet'in benimsediği yaklaşımdır. Starknet, tamamen birleştirilebilir bir ağda genel akıllı sözleşme platformu sunan ilk Validity Rollup'tır.
Starknet, verimli program yürütme geçerlilik kanıtları oluşturmak için özel olarak tasarlanmış bir VM olan Cairo-VM (CVM) kullanıyor. Bu, aynı isme sahip bir yüksek seviyeli dildir.
Cairo( sanal makinesi ve dili ) kullanarak, şunları elde ettik:
Optimize edilmiş etkinlik kanıtı - Her bir komutun geçerli bir cebirsel temsili vardır.
Kanıtlanabilir programlar yazmak için kullanılan Rust benzeri dil
Gelişmiş Cairo ve Cairo Assembly ( VM talimatları ) arasındaki ara temsil ( Sierra ), Cairo kodunun verimli bir şekilde yürütülmesine olanak tanır.
Yeni bir dil geliştirmek, belirli ihtiyaçlara göre özelleştirilebilir ve daha önce karşılanmamış ihtiyaçları karşılayan işlevlerle donatılabilir.
Cairo ve kodlama çeşitliliği
Cairo dili, etkinlik kanıtı oluşturma sürecini basitleştirmek ve StarkEx'e özellikler ve karmaşık iş mantığı eklemeyi kolaylaştırmak amacıyla tasarlanmıştır. Cairo programları, sabit bir VM tarafından yürütülen bir sayı dizisi olan cebirsel makine koduna derlenir. Cairo ile, hesaplamayı tanımlayan matematiksel kısıtların karmaşıklığı soyutlanır ve toplamda 50'den az kısıt olan sabit bir kısıt seti ( tarafından yakalanır. Bu nedenle, geliştiriciler, altındaki matematik ve altyapıyı anlamadan, yalnızca alışık oldukları sözdizimini kullanarak kod yazarak uygulamalarını genişletmek için etkinlik kanıtından yararlanabilirler.
Starknet yeniliğe önem veriyor, bu da çok çeşitli kodlama yöntemlerinde kendini gösteriyor. Cairo, STARK'ları kullanarak en iyi ölçeklenebilirlik yeteneğini yalnızca doğrudan Cairo ile sözleşme yazan kişilerle sınırlı değildir. Geliştiriciler, kendilerine en uygun olan yöntemi seçebilirler:
Cairo'da doğrudan kod yazma: Cairo 1.0'ın piyasaya sürülmesiyle birlikte, geliştiriciler artık ergonomik ve güvenli Rust benzeri bir dil kullanabiliyor, bu da program mantığını yazmayı daha kolay ve hatasız hale getiriyor.
Solidity uyumluluğu: Solidity geliştiricileri, Cairo VM tarafından kullanılabilir kod yazabilir. Bu yaklaşım, Ethereum'a benzer bir geliştirme deneyimi sunar ve Solidity akıllı sözleşmelerinin Starknet'e taşınmasını sağlar. İki uygulama yöntemi vardır:
Çevirme: Bir programlama dilinin kaynak kodunu başka bir dile dönüştürme. Bir ekip, Solidity kodunu Cairo'ya çevirmek için Warp çeviricisini oluşturdu. Warp, Solidity akıllı sözleşmelerinin Starknet'e taşınmasını sağlar ve etkili bir şekilde onu Type 4 zkEVM yapar. Sadece çok az değişiklik ile bir DEX sözleşmesini çevirmek ve dağıtmak için kullanıldı.
Starknet'teki zkEVM: Cairo VM, başka bir VM'in çalıştırıldığını kanıtlamak için kullanılabilir. Kakarot, Starknet'te Ethereum akıllı sözleşmelerini çalıştırmak için kullanılan, Cairo ile yazılmış bir zkEVM'dir. Cairo VM ve zkEVM rekabetçi çözümler değildir, hem Cairo VM hem de zkEVM'ye sahip olabiliriz!
Kısa bir süre içinde, Cairo en çok tercih edilen akıllı sözleşme dillerinden biri haline gelerek TVL sıralamasında dördüncü sıraya yükseldi ve 350 milyon dolardan fazla yatırım aldı.
Özet
zkEVM, Ethereum ortamını rollup olarak kopyalamayı ve geliştiricilerin tanıdık Ethereum araçlarını kullanmalarına izin vermeyi amaçlamaktadır. Ancak, bu yaklaşım, geçerlilik kanıtlarının tüm potansiyelini sınırlamakta ve muhtemelen kaynak açısından yoğun olmaktadır.
Cairo VM, etkinlik kanıtı sistemleri için tasarlanmıştır ve EVM sınırlamalarına tabi değildir. Yeni, güvenli ve ergonomik bir Rust benzeri programlama dili olan Cairo 1.0 ile desteklenmektedir ve maksimum verimlilikte Ethereum genişlemesi sağlamak için STARK kanıtlarının kullanımını amaçlayan güçlü bir araç oluşturmaktadır.
Cairo'nun sürekli ilerlemesi ve Kakarot zkEVM ile Warp gibi çeşitlendirilmiş geliştirme seçeneklerinin artışı heyecan verici. Cairo tabanlı uygulamalar üretim aşamasına geçtikçe, Cairo'nun güçlü yeteneklerini gösteriyor, gelecekte daha iddialı projelerde kullanılacağına inanıyorum.
STARK genişlemesi sayesinde sunulan birçok yol ve önümüzdeki birkaç ay içinde ortaya çıkacak diğer yollar sayesinde, geliştiriciler artık blok zinciri genişletme konusunda eşi benzeri görülmemiş bir kontrol yeteneğine sahipler.
![Neden Validity Rollups'ın Ethereum'un en umut verici ölçeklenme yöntemi olduğunu söylüyoruz?])https://img-cdn.gateio.im/webp-social/moments-12eef6e2fc5e11f187106bdd011fd720.webp(
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.
10 Likes
Reward
10
7
Repost
Share
Comment
0/400
RektRecovery
· 08-13 08:25
meh... başka bir saldırı yüzeyi sömürülmeyi bekliyor aslında
View OriginalReply0
fomo_fighter
· 08-13 03:30
L2 böyle hızlı koşabilseydi çoktan Aya doğru gitmişti.
View OriginalReply0
just_here_for_vibes
· 08-12 17:26
2. kat, eski V’yi geçebilir mi?
View OriginalReply0
ZkSnarker
· 08-11 05:15
Aslında rollups, teknik olarak sadece şatafatlı toplama mekanizmalarıdır.
View OriginalReply0
GateUser-7b078580
· 08-11 03:05
gas ücretindeki değişim trendine bakınca, yine birkaç yıl beklememiz gerekecek gibi görünüyor.
View OriginalReply0
Fren_Not_Food
· 08-11 02:45
eth gerçekten tekrar ısıtıldı ve göklere ulaştı.
View OriginalReply0
WalletManager
· 08-11 02:42
Parti çalıştırma süresi çok yavaş. Sözleşme riski dayanılmaz.
Geçerlilik Rollupları: EVM ile Cairo VM rekabeti Ethereum'un ölçeklenme yeni yönünü belirliyor
Geçerlilik Rollupları: Ethereum'un ölçeklenmesi için en iyi çözüm mü?
Geçerlilik Rollupları (VRs), zk-rollups olarak da bilinir, güvenli ve merkeziyetsiz bir şekilde Ethereum'un işlem hacmini artırmanın en umut verici çözümü olarak görülmektedir. Bu ölçekleme çözümünün temeli, doğrulanabilir hesaplama için geçerlilik kanıtlarının kullanılmasıdır. Çalışma prensibi aşağıdaki gibidir:
Operatör, işlem yürütmeyi zincir dışı ortam ( ikinci katman ) üzerinde işlenmek üzere taşır. Çok sayıda işlemi işledikten sonra, ikinci katman operatörü sonuçları Ethereum durumuna uygulamak için geri dönerken, zincir dışı yürütmenin bütünlüğünü doğrulamak için geçerlilik kanıtı sağlar. Bu kanıt, partideki tüm işlemlerin geçerli olduğunu ve zincir üzerindeki doğrulayıcı sözleşmeler tarafından otomatik olarak doğrulandığını garanti eder. Bu, Ethereum'un sonuçları durumuna uygulamasına olanak tanır.
Dikkat edilmesi gereken bir nokta, Validity Rollup'ların genellikle sıfır bilgi toplama (zero-knowledge rollup) olarak yanlış adlandırılmasıdır, ancak bu doğru değildir. Çoğu Validity Rollup ZKP kullanmaz ve gizliliği sağlamak için de kullanılmaz. Bu nedenle, "Validity Rollup" terimi daha doğrudur.
Off-chain Sanal Makine
Sanal makine (VM), bir program çalıştırabilen bir ortamdır, Mac üzerinde Windows işletim sistemi çalıştırmaya benzer. Belirli girdilere göre hesaplamalar yaptıktan sonra durumlar arasında geçiş yapar. Ethereum sanal makinesi (EVM), Ethereum akıllı sözleşmelerini çalıştıran VM'dir.
Sıfır bilgi sanal makinesi ( zkVM ), programların doğru bir şekilde yürütüldüğünü kanıtlamak için kolayca doğrulanabilir geçerlilik kanıtları üretebilen bir program yürütme ortamıdır. "zkEVM" genellikle Ethereum sanal makinesi ( EVM ) kullanarak EVM yürütmesinin toplu olarak kanıtlanmasını ifade eder. Bu terim yanıltıcı olabilir, çünkü EVM kendisi bu kanıtları üretmez; bunun yerine, kanıtlar EVM yürütmesinin sonuçlarını başlangıç noktası olarak alan ayrı bir kanıt mekanizması tarafından üretilir. Ayrıca, bu kanıtlar geçerliliğe odaklanırken gizliliğe odaklanmaz, bu nedenle tamamen sıfır bilgi kanıtları değildir.
Tüm Validity Rollups, Ethereum'u ölçeklendirmek için geçerlilik kanıtlarını kullanmayı amaçlasa da, zincir dışı işlemleri gerçekleştirmek için VM seçimi açısından farklılık gösterirler. Birçok Validity Rollups, EVM tasarımını kopyalamayı seçmiştir ( bu nedenle "zkEVM rollups") olarak adlandırılmaktadır, Ethereum'u L2 rollup üzerinde kopyalamaya çalışmaktadır. Diğer bir çözüm ise, geçerlilik kanıtı verimliliğini optimize etmek amacıyla özel olarak tasarlanmış yeni bir VM olan - Cairo VM (CVM)'yi kullanmaktadır.
Bu iki yöntemin kendi avantajları ve dezavantajları vardır, ancak zkEVM, Ethereum uyumluluğu için performanstan feragat ederken, Cairo VM performansı uyumluluğun önüne koyar ve ölçeklenebilirliğe öncelik verir.
zkEVM yöntemleri
zkEVM, Ethereum deneyimini Layer-2 blok zincirine tam olarak getirmeyi amaçlamaktadır. Hedefi, Ethereum geliştirme ortamını bir toplama olarak kopyalamaktır. zkEVM sayesinde, geliştiriciler akıllı sözleşmeler yazarken veya akıllı sözleşmeleri daha ölçeklenebilir çözümlere taşırken, kodu değiştirmek veya EVM araçlarını ( ve akıllı sözleşmeleri ) terk etmek zorunda kalmazlar.
Bu yöntemlerin en büyük dezavantajlarından biri, etkinlik kanıtlarının ölçeklenebilirlik potansiyelini azaltmasıdır. zkEVM, Ethereum ile uyumlu olmaya odaklandığı için daha yavaş ve kaynak yoğunluğu daha yüksektir. CVM'den farklı olarak, EVM tasarlanırken kanıt verimliliği düşünülmemiştir. Bu, verimliliği ve ölçeklenebilirliği artırabilecek optimizasyonların kullanımını kısıtlar ve nihayetinde sistemin genel performansını etkiler.
EVM'nin kanıtlanabilirlik zorlukları
zkEVM yönteminin temel zorluğu, EVM'nin orijinal tasarımından kaynaklanmaktadır - bu, geçerlilik kanıtı ortamında çalışmak için tasarlanmamıştır. Bu nedenle, işlevselliğini yansıtma çabaları, geçerlilik kanıtının potansiyelini tam olarak ortaya çıkaramamakta ve bu da verimsizliğe yol açmaktadır. Bu düşük verimlilik, nihayetinde sistemin genel performansını etkileyecektir. EVM ile geçerlilik kanıtının uyumluluğu aşağıdaki faktörler tarafından kısıtlanmaktadır:
EVM, yığın tabanlı bir model kullanırken, geçerlilik kanıtı daha çok kayıt tabanlı bir model için uygundur. EVM'nin yığın özellikleri, onun yürütme doğruluğunu kanıtlama zorluğunu artırmakta ve yerel araç zincirine doğrudan destek sağlamayı daha da zorlaştırmaktadır.
Ethereum depolama düzeni, Keccak ve büyük Merkle Patricia Ağaçları'na ciddi şekilde bağımlıdır; bu ikisi de geçerlilik kanıtlarını olumsuz etkiler ve büyük miktarda kanıt yükü ekler. Örneğin, Keccak x86 mimarisinde hızlı çalışırken, kanıtlamak için 90k adım gerektirir. Buna karşın, zk dostu Pedersen hash fonksiyonu yalnızca 32 adım gerektirir. Tekrar sıkıştırma kullanılsa bile, zkEVM'de Keccak kullanmak, kullanıcıların büyük miktarda kanıtlayıcı kaynak maliyetini üstlenmesi anlamına gelir.
Bu nedenle, çeşitli zkEVM çözümleri Ethereum araçlarına farklı seviyelerde destek sunmaktadır - zkEVM'nin Ethereum ile uyumluluğu ne kadar yüksekse, performansı o kadar düşük olur.
Cairo-VM Yöntemleri
zkEVM'nin "EVM'yi Validity Rollups'a uyarlamak" için büyük bir geliştirme süresi harcamasının aksine, Cairo-VM tamamen yeni bir özel sanal makine tasarımı benimsemiştir ve bunun üzerine Ethereum araçlarına destek ekleyerek bir ek katman oluşturmuştur. Bu, 2021'in Kasım ayında piyasaya sürülen izinsiz Validity Rollup - Starknet'in benimsediği yaklaşımdır. Starknet, tamamen birleştirilebilir bir ağda genel akıllı sözleşme platformu sunan ilk Validity Rollup'tır.
Starknet, verimli program yürütme geçerlilik kanıtları oluşturmak için özel olarak tasarlanmış bir VM olan Cairo-VM (CVM) kullanıyor. Bu, aynı isme sahip bir yüksek seviyeli dildir.
Cairo( sanal makinesi ve dili ) kullanarak, şunları elde ettik:
Yeni bir dil geliştirmek, belirli ihtiyaçlara göre özelleştirilebilir ve daha önce karşılanmamış ihtiyaçları karşılayan işlevlerle donatılabilir.
Cairo ve kodlama çeşitliliği
Cairo dili, etkinlik kanıtı oluşturma sürecini basitleştirmek ve StarkEx'e özellikler ve karmaşık iş mantığı eklemeyi kolaylaştırmak amacıyla tasarlanmıştır. Cairo programları, sabit bir VM tarafından yürütülen bir sayı dizisi olan cebirsel makine koduna derlenir. Cairo ile, hesaplamayı tanımlayan matematiksel kısıtların karmaşıklığı soyutlanır ve toplamda 50'den az kısıt olan sabit bir kısıt seti ( tarafından yakalanır. Bu nedenle, geliştiriciler, altındaki matematik ve altyapıyı anlamadan, yalnızca alışık oldukları sözdizimini kullanarak kod yazarak uygulamalarını genişletmek için etkinlik kanıtından yararlanabilirler.
Starknet yeniliğe önem veriyor, bu da çok çeşitli kodlama yöntemlerinde kendini gösteriyor. Cairo, STARK'ları kullanarak en iyi ölçeklenebilirlik yeteneğini yalnızca doğrudan Cairo ile sözleşme yazan kişilerle sınırlı değildir. Geliştiriciler, kendilerine en uygun olan yöntemi seçebilirler:
Cairo'da doğrudan kod yazma: Cairo 1.0'ın piyasaya sürülmesiyle birlikte, geliştiriciler artık ergonomik ve güvenli Rust benzeri bir dil kullanabiliyor, bu da program mantığını yazmayı daha kolay ve hatasız hale getiriyor.
Solidity uyumluluğu: Solidity geliştiricileri, Cairo VM tarafından kullanılabilir kod yazabilir. Bu yaklaşım, Ethereum'a benzer bir geliştirme deneyimi sunar ve Solidity akıllı sözleşmelerinin Starknet'e taşınmasını sağlar. İki uygulama yöntemi vardır:
Çevirme: Bir programlama dilinin kaynak kodunu başka bir dile dönüştürme. Bir ekip, Solidity kodunu Cairo'ya çevirmek için Warp çeviricisini oluşturdu. Warp, Solidity akıllı sözleşmelerinin Starknet'e taşınmasını sağlar ve etkili bir şekilde onu Type 4 zkEVM yapar. Sadece çok az değişiklik ile bir DEX sözleşmesini çevirmek ve dağıtmak için kullanıldı.
Starknet'teki zkEVM: Cairo VM, başka bir VM'in çalıştırıldığını kanıtlamak için kullanılabilir. Kakarot, Starknet'te Ethereum akıllı sözleşmelerini çalıştırmak için kullanılan, Cairo ile yazılmış bir zkEVM'dir. Cairo VM ve zkEVM rekabetçi çözümler değildir, hem Cairo VM hem de zkEVM'ye sahip olabiliriz!
Kısa bir süre içinde, Cairo en çok tercih edilen akıllı sözleşme dillerinden biri haline gelerek TVL sıralamasında dördüncü sıraya yükseldi ve 350 milyon dolardan fazla yatırım aldı.
Özet
zkEVM, Ethereum ortamını rollup olarak kopyalamayı ve geliştiricilerin tanıdık Ethereum araçlarını kullanmalarına izin vermeyi amaçlamaktadır. Ancak, bu yaklaşım, geçerlilik kanıtlarının tüm potansiyelini sınırlamakta ve muhtemelen kaynak açısından yoğun olmaktadır.
Cairo VM, etkinlik kanıtı sistemleri için tasarlanmıştır ve EVM sınırlamalarına tabi değildir. Yeni, güvenli ve ergonomik bir Rust benzeri programlama dili olan Cairo 1.0 ile desteklenmektedir ve maksimum verimlilikte Ethereum genişlemesi sağlamak için STARK kanıtlarının kullanımını amaçlayan güçlü bir araç oluşturmaktadır.
Cairo'nun sürekli ilerlemesi ve Kakarot zkEVM ile Warp gibi çeşitlendirilmiş geliştirme seçeneklerinin artışı heyecan verici. Cairo tabanlı uygulamalar üretim aşamasına geçtikçe, Cairo'nun güçlü yeteneklerini gösteriyor, gelecekte daha iddialı projelerde kullanılacağına inanıyorum.
STARK genişlemesi sayesinde sunulan birçok yol ve önümüzdeki birkaç ay içinde ortaya çıkacak diğer yollar sayesinde, geliştiriciler artık blok zinciri genişletme konusunda eşi benzeri görülmemiş bir kontrol yeteneğine sahipler.
![Neden Validity Rollups'ın Ethereum'un en umut verici ölçeklenme yöntemi olduğunu söylüyoruz?])https://img-cdn.gateio.im/webp-social/moments-12eef6e2fc5e11f187106bdd011fd720.webp(