Kakarot zkEVM: Cairo’da Uygulanan Bir EVM

Cairo’da uygulanan bir Ethereum Sanal Makinesi (EVM) olan Kakarot zkEVM, 2 Haziran’da tohum öncesi finansman turunu kapattığını duyurdu. Yatırımcılar arasında Ethereum kurucu ortağı Vitalik Buterin, Ledger kurucu ortağı ve inovasyon başkan yardımcısı Nicolas Bacca ve blockchain ölçeklendirme şirketi Starkware yer alıyor. Bu yazımızda Kakarot zkEVM’nin detaylarına bakacağız.

Kakarot zkEVM: Cairo’da Uygulanan Bir EVM

Şu anda tip 3 zkEVM (yakında tip 2.5 olacak) olarak kategorize edilen Kakarot, CairoVM çerçevesi üzerine inşa edilmiştir. Bu proje, birkaç hedef göz önünde bulundurularak Ekim 2022’de başlatıldı: en başından itibaren açık kaynak olmak, topluluktan gelen katkıları memnuniyetle karşılamak ve en önemlisi, 10.000’den az kod satırıyla bir zkEVM oluşturmak. Dikkat çekici bir şekilde, bu hedefe sadece altı ayda ulaşıldı.

Kanıtlanabilir yürütme sağlayan sanal bir makine olan CairoVM, Ethereum ekosisteminde genel amaçlı bir Katman 2 (L2) geçerlilik toplaması olan Starknet için temel altyapı görevi görür.

CairoVM’nin yürütmeyi polinomlar olarak temsil etme yeteneği, Starknet’teki her işlemi kanıtlamak için STARK’ların kullanılmasını sağlar.

Sonuç olarak, geliştiricilerin ilgili programlama dili olan Cairo’da merkezi olmayan uygulamalar (dApp’ler) oluşturmaları gerekir. Cairo’da yazılan programlar kanıtlanabilir olup, kanıtlanabilir programları üst düzey bir dilde yazmanın oyunun kurallarını değiştiren bir avantajı sunar. Bu, sıfır bilgi kriptografisinin ölçeklenebilirlik özelliğinden yararlanırken geliştiricilerin devre oluşturma ihtiyacını ortadan kaldırır.

Bu nedenle, şu soru ortaya çıkıyor: Cairo’da Ethereum Sanal Makinesinin (EVM) yeniden yazılması bir zkEVM ile sonuçlanır mı?

İlk fikir basitti: Köklü bir VM mimarisi olarak EVM, 142 işlem kodundan, 9 ön derlemeden ve bu işlem kodlarını veya ön derlemeleri güncellemek için demokratik bir süreçten oluşur. Konsept onu Cairo’da inşa etmek ve “ücretsiz” bir zkEVM elde etmekti, yani sıfır bilginin ölçekleme özelliği doğrudan bir sonuç olarak elde edilecekti. Spoiler uyarısı: cevap evet.

Bu fikir, Starknet topluluğu içinde ivme kazandı ve Ekim 2022’de, Starkware’in keşif ekibinin lideri ve çekirdek Ethereum geliştirici ekibinin bir üyesi olan Abdel, onu uygulamaya başladı. Aynı sıralarda, Starknet’in açık kaynak oluşturucu topluluğu, Onlydust’un yardımıyla benzer bir projeye girişti. Sonunda, ilki Lizbon’daki StarknetCC sırasında ikincisini özümsedi.

Lizbon’daki bir bilgisayar korsanı evi, bir zkEVM inşa eden yaklaşık on kişinin dahil olduğu bir haftalık özel çabanın mekanı oldu. Çabalarının uygulanabilirliğini ve gücünü fark eden Kakarot’un çekirdek ekibi oluşturuldu.

Devrelere veya polinomlara ihtiyaç duymadan 5.000 satırdan daha az kod gerektiren saf bir zkEVM uygulaması oluşturmayı başardılar. Starknet Foundation ve Onlydust, açık kaynak ilkelerine, açık katkılara ve topluluk odaklı bir teknik stratejiye bağlılıkla bu maceraya destek sağladı.

Bu çabanın koordinasyonuna Clément ve anlatıcı öncülük etti. Şu anda Kakarot, 40’tan fazla benzersiz katılımcıya sahiptir. Kakarot, kendisini üretim sınıfı bir zkEVM olarak kurmak için şirket kurma sürecindeyken, açık kaynak ilkelerine ve dış katkılara olan bağlılığı değişmeden kalır.

Mayıs 2023 itibarıyla Kakarot, %100 bayt kodu denkliğine (tip 3 zkEVM’ye eşdeğer) ulaştı ve 9 EVM ön derlemesinden 8’ini uyguladı. Vitalik’in sınıflandırmasına göre dokuz ön derlemenin tamamının uygulanmasının yakında tamamlanması ve böylece tip 2.5’e ulaşması bekleniyor.

Sonuç olarak, Solidity’de veya EVM tarafından desteklenen herhangi bir dilde geliştirilen dApp’ler, mevcut kodda herhangi bir değişiklik gerektirmeden Kakarot’a dağıtılabilir.

Ön Tohum Turu

Cairo’da uygulanan bir Ethereum Sanal Makinesi (EVM) olan Kakarot zkEVM, 2 Haziran’da tohum öncesi finansman turunu kapattığını duyurdu. Yatırımcılar arasında Ethereum kurucu ortağı Vitalik Buterin, Ledger kurucu ortağı ve inovasyon başkan yardımcısı Nicolas Bacca ve blockchain ölçeklendirme şirketi Starkware yer alıyor.

Proje yol haritasında belirtildiği gibi, Kakarot’un ilk aşaması, Starknet Layer 2’de bir EVM olmasını içeriyor. Ekip, Kakarot zkEVM’yi Starknet’e sunmanın çok çeşitli olasılıkları açığa çıkaracağına ve Starknet ekosisteminin genişlemesine katkıda bulunacağına inanıyor.

Sonraki aşamada, Kakarot ve Starknet’in Madara sıralayıcısı, Katman 3 zkEVM’lerin uygulanmasını kolaylaştıran birleşik bir yığında birleştirilecek. Bu entegrasyonun, ekiplerin zkEVM uygulama zincirlerini dağıtmasına ve geçerlilik kanıtlarını kullanarak Starknet’te işlemleri gerçekleştirmesine yardımcı olması bekleniyor.

Bu entegrasyonun avantajlarını detaylandıran ekip, aşağıdakilerin altını çizdi:

Başka bir katmanda hesaplamanın bir sonucu olarak, gaz maliyetleri (asimptotik olarak) L2’ye göre katlanarak daha düşük ve performans (TPS) daha yüksek. Toplamaların ölçeklenebilirliği yığınlar ve çoğalır.

Gelecekte Kakarot, yerel Starknet protokolleriyle bağlantı kurmayı ve farklı protokollerin birlikte çalışmasını sağlamayı hedefliyor.

Daha fazla wiki makalesine erişmek için: cryptodataspace.com