Geçerlilik Rollupları: Ethereum'un ölçeklenmesi için en iyi seçenek mi?
Validity Rollups (aynı zamanda zk-rollups olarak da bilinir), Ethereum'un verimliliğini güvenli ve merkeziyetsiz bir şekilde artırmanın en umut verici çözümü olarak kabul edilmektedir. Bu ölçeklenebilirlik çözümünün temelinde, geçerlilik kanıtları kullanarak doğrulanabilir hesaplama yapılması yatmaktadır. Çalışma prensibi şöyle:
Operatör, işlemleri zincir dışı ortamda (2. katman) gerçekleştirecek şekilde yüklenir. Büyük miktarda işlem işlendikten sonra, 2. katman operatörü sonuçları Ethereum durumuna uygulamak üzere geri dönerken, zincir dışı yürütmenin bütünlüğünü doğrulayan geçerlilik kanıtı sağlar. Bu kanıt, partideki tüm işlemlerin geçerli olduğunu ve zincir üstü doğrulayıcı sözleşmesi tarafından otomatik olarak doğrulandığını garanti eder. Bu, Ethereum'un sonuçları durumuna uygulamasını sağlar.
Dikkate değer bir nokta, Validity Rollup'ların genellikle sıfır bilgi toplama olarak yanlış adlandırılmasıdır, ancak bu doğru değildir. Çoğu Validity Rollup sıfır bilgi kanıtı kullanmaz ve gizliliği sağlamak için kullanılmaz. Bu nedenle, "Validity Rollup" terimi daha uygundur.
Validity Rollups'ta, zkEVM ve Cairo VM (CVM) iki yaygın sanal makine türüdür. zkEVM, Ethereum uyumluluğuna odaklanır, ancak performans ve ölçeklenebilirlikten fedakarlık yapar. Starknet'in kullandığı Cairo VM ise performans ve ölçeklenebilirliği uyumluluğun üzerinde tutar.
Sanal makine (VM), Mac'te Windows işletim sistemi çalıştırmaya benzer şekilde, programları çalıştırabilen bir ortamdır. Belirli girişleri işledikten sonra farklı 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 ), programın doğru bir şekilde çalıştığını kanıtlamak için doğrulanması kolay geçerlilik kanıtları üretebilen bir program yürütme ortamıdır. "zkEVM" genellikle Ethereum Sanal Makinesi ( EVM ) kullanarak EVM yürütmesinin özetini kanıtlayabilen bir terimi ifade eder. Bu terim yanıltıcı olabilir, çünkü EVM kendisi bu kanıtları üretmez; kanıtlar, EVM yürütmesinin sonuçlarına dayanan bağımsız bir kanıt mekanizması tarafından üretilir. Ayrıca, bu kanıtlar esas olarak geçerliliğe odaklanır ve gizlilikten ziyade geçerlilik üzerine yoğunlaştığı için, katı anlamda sıfır bilgi kanıtı değildir.
zkEVM, Ethereum deneyimini Layer-2 blok zincirine tamamen getirmeyi amaçlamaktadır. Geliştiricilere Ethereum ortamını kopyalamaları için bir fırsat sunmaya çalışır; böylece kodu değiştirmeden veya EVM araçlarından vazgeçmeden daha ölçeklenebilir çözümlere akıllı sözleşmeler yazabilir veya aktarabilirler. Ancak, bu yaklaşımın ana dezavantajı, geçerlilik kanıtlarının ölçeklenebilirlik potansiyelini azaltmasıdır. Ethereum ile uyumlu olmaya odaklanmasından dolayı, zkEVM'nin hızı daha yavaştır ve daha fazla kaynak tüketmektedir.
Buna karşılık, Starknet, etkinlik kanıtlama verimliliğini optimize etmek için özel olarak tasarlanmış yeni bir VM olan Cairo VM (CVM)'i benimsemiştir. Cairo VM, geliştiricilerin belirli ihtiyaçlara göre özelleştirmelerine olanak tanır ve yeni ihtiyaçları karşılayan işlevlerle donatılmıştır.
Cairo dili başlangıçta hesaplama geçerlilik kanıtları oluşturma sürecini basitleştirmek amacıyla tasarlanmıştır. Cairo programları, sabit bir VM tarafından yürütülen cebirsel makine koduna derlenir. Bu yaklaşım, geliştiricilerin temel matematik ve altyapıyı derinlemesine anlamadan uygulamalarını genişletmek için geçerlilik kanıtlarından yararlanmalarını sağlar.
Starknet, çeşitli kodlama yöntemleri sunmaktadır. Geliştiriciler, Cairo'da yerel olarak kod yazmayı seçebilir veya Solidity uyumluluk araçlarını kullanabilir. Örneğin, Warp dönüştürücüsü Solidity kodunu Cairo'ya dönüştürürken, Kakarot, Starknet üzerinde Ethereum akıllı sözleşmelerini çalıştırabilen, Cairo ile yazılmış bir zkEVM'dir.
Genel olarak, zkEVM, Ethereum çevresini kopyalamayı amaçlamaktadır, ancak geçerlilik kanıtının potansiyelini sınırlayabilir. Cairo VM ise geçerlilik kanıtı sistemleri için özel olarak tasarlanmıştır ve EVM kısıtlamalarından etkilenmez, daha yüksek verimlilik ve esneklik sunar. Starknet ekosisteminin sürekli gelişimi ile geliştiriciler artık benzeri görülmemiş bir blok zinciri genişletme kontrolüne sahipler.
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.
Validity Rollups ve zkEVM: Ethereum ölçeklenebilirlik çözümlerinin avantaj ve dezavantajlarını tartışmak
Geçerlilik Rollupları: Ethereum'un ölçeklenmesi için en iyi seçenek mi?
Validity Rollups (aynı zamanda zk-rollups olarak da bilinir), Ethereum'un verimliliğini güvenli ve merkeziyetsiz bir şekilde artırmanın en umut verici çözümü olarak kabul edilmektedir. Bu ölçeklenebilirlik çözümünün temelinde, geçerlilik kanıtları kullanarak doğrulanabilir hesaplama yapılması yatmaktadır. Çalışma prensibi şöyle:
Operatör, işlemleri zincir dışı ortamda (2. katman) gerçekleştirecek şekilde yüklenir. Büyük miktarda işlem işlendikten sonra, 2. katman operatörü sonuçları Ethereum durumuna uygulamak üzere geri dönerken, zincir dışı yürütmenin bütünlüğünü doğrulayan geçerlilik kanıtı sağlar. Bu kanıt, partideki tüm işlemlerin geçerli olduğunu ve zincir üstü doğrulayıcı sözleşmesi tarafından otomatik olarak doğrulandığını garanti eder. Bu, Ethereum'un sonuçları durumuna uygulamasını sağlar.
Dikkate değer bir nokta, Validity Rollup'ların genellikle sıfır bilgi toplama olarak yanlış adlandırılmasıdır, ancak bu doğru değildir. Çoğu Validity Rollup sıfır bilgi kanıtı kullanmaz ve gizliliği sağlamak için kullanılmaz. Bu nedenle, "Validity Rollup" terimi daha uygundur.
Validity Rollups'ta, zkEVM ve Cairo VM (CVM) iki yaygın sanal makine türüdür. zkEVM, Ethereum uyumluluğuna odaklanır, ancak performans ve ölçeklenebilirlikten fedakarlık yapar. Starknet'in kullandığı Cairo VM ise performans ve ölçeklenebilirliği uyumluluğun üzerinde tutar.
Sanal makine (VM), Mac'te Windows işletim sistemi çalıştırmaya benzer şekilde, programları çalıştırabilen bir ortamdır. Belirli girişleri işledikten sonra farklı 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 ), programın doğru bir şekilde çalıştığını kanıtlamak için doğrulanması kolay geçerlilik kanıtları üretebilen bir program yürütme ortamıdır. "zkEVM" genellikle Ethereum Sanal Makinesi ( EVM ) kullanarak EVM yürütmesinin özetini kanıtlayabilen bir terimi ifade eder. Bu terim yanıltıcı olabilir, çünkü EVM kendisi bu kanıtları üretmez; kanıtlar, EVM yürütmesinin sonuçlarına dayanan bağımsız bir kanıt mekanizması tarafından üretilir. Ayrıca, bu kanıtlar esas olarak geçerliliğe odaklanır ve gizlilikten ziyade geçerlilik üzerine yoğunlaştığı için, katı anlamda sıfır bilgi kanıtı değildir.
zkEVM, Ethereum deneyimini Layer-2 blok zincirine tamamen getirmeyi amaçlamaktadır. Geliştiricilere Ethereum ortamını kopyalamaları için bir fırsat sunmaya çalışır; böylece kodu değiştirmeden veya EVM araçlarından vazgeçmeden daha ölçeklenebilir çözümlere akıllı sözleşmeler yazabilir veya aktarabilirler. Ancak, bu yaklaşımın ana dezavantajı, geçerlilik kanıtlarının ölçeklenebilirlik potansiyelini azaltmasıdır. Ethereum ile uyumlu olmaya odaklanmasından dolayı, zkEVM'nin hızı daha yavaştır ve daha fazla kaynak tüketmektedir.
Buna karşılık, Starknet, etkinlik kanıtlama verimliliğini optimize etmek için özel olarak tasarlanmış yeni bir VM olan Cairo VM (CVM)'i benimsemiştir. Cairo VM, geliştiricilerin belirli ihtiyaçlara göre özelleştirmelerine olanak tanır ve yeni ihtiyaçları karşılayan işlevlerle donatılmıştır.
Cairo dili başlangıçta hesaplama geçerlilik kanıtları oluşturma sürecini basitleştirmek amacıyla tasarlanmıştır. Cairo programları, sabit bir VM tarafından yürütülen cebirsel makine koduna derlenir. Bu yaklaşım, geliştiricilerin temel matematik ve altyapıyı derinlemesine anlamadan uygulamalarını genişletmek için geçerlilik kanıtlarından yararlanmalarını sağlar.
Starknet, çeşitli kodlama yöntemleri sunmaktadır. Geliştiriciler, Cairo'da yerel olarak kod yazmayı seçebilir veya Solidity uyumluluk araçlarını kullanabilir. Örneğin, Warp dönüştürücüsü Solidity kodunu Cairo'ya dönüştürürken, Kakarot, Starknet üzerinde Ethereum akıllı sözleşmelerini çalıştırabilen, Cairo ile yazılmış bir zkEVM'dir.
Genel olarak, zkEVM, Ethereum çevresini kopyalamayı amaçlamaktadır, ancak geçerlilik kanıtının potansiyelini sınırlayabilir. Cairo VM ise geçerlilik kanıtı sistemleri için özel olarak tasarlanmıştır ve EVM kısıtlamalarından etkilenmez, daha yüksek verimlilik ve esneklik sunar. Starknet ekosisteminin sürekli gelişimi ile geliştiriciler artık benzeri görülmemiş bir blok zinciri genişletme kontrolüne sahipler.