Kakarot zkEVM: Cairo dilinde inşa edilen yenilikçi Ethereum Sanal Makinesi

Kakarot zkEVM, Cairo dilinde yazılmış bir Ethereum Sanal Makinesi (EVM) uygulamasıdır. Cairo, CairoVM ile ilişkili Turing tam dilidir ve CairoVM, polinomlar ve ZK-STARK kanıtlama sistemi kullanarak kanıtlanabilir hesaplama gerçekleştirir.

Bir zkEVM olarak, Kakarot kanıtlanabilir işlemler ve bloklar oluşturabilir. CairoVM üzerinde inşa edildiği için, Kakarot üzerinde gerçekleştirilen her işlem kanıtlanabilir. Bu, geliştiricilerin Kakarot üzerinde EVM uygulamaları dağıtmasına ve kullanıcıların bu uygulamalarla tanıdık araçları kullanarak etkileşimde bulunmasına olanak tanır.

Kakarot ayrıca Starknet protokolü ile birlikte çalışabilirlik sunacak, DeFi ve GameFi gibi alanlardaki protokoller için bileşenler sağlayacaktır.

Gelişim Yolu

Kakarot projesi Ekim 2022'de başladı, amacı 10,000 satırdan daha az kod ile bir zkEVM yaratmaktır. Sadece altı ay içinde bu hedefe ulaşıldı ve 2023 yaz sonu için test ağı yayınlamayı planlıyor.

Kakarot zkEVM'nin yol haritası üç aşamaya ayrılmıştır:

1. Kakarot zkEVM Starknet'te: EVM'yi Starknet'e getirmek

   Bu aşamada, Kakarot zkEVM Starknet'in L2'sinde yerleşik bir EVM olarak mevcut olacak. Geliştiriciler, Starknet'te doğrudan Solidity akıllı sözleşmeleri dağıtabilir ve Foundry, Hardhat gibi tanıdık araçları kullanabilirler. Kullanıcı deneyimi, Polygon veya Ethereum L1'deki ile aynı olacaktır.

2. Kakarot x Madara: L3 zkEVM'ler

Kakarot, Madara ile entegre olacak ve L3 zkEVM'ler gerçekleştirecek. Takımlar, Starknet üzerinde işlem onaylarını kullanarak kendi zkEVM uygulama zincirlerini dağıtabilir. Bu L3 çözümü, Ethereum L1 güvenliğini korurken merkeziyetsizlik gereksinimlerini azaltarak gaz maliyetlerini önemli ölçüde düşürür ve performansı artırır.

3. Kakarot x Madara: tip 1 zkEVM

   Madara x Kakarot tam düğümünde Cairo ile Ethereum konsensüs kurallarını yazarak ve Pedersen MPT'den Keccak MPT'ye geçerek, Kakarot'un L1 bloklarını kanıtlayabilen bir type 1 zkEVM istemcisi olması bekleniyor. Bu ileri düzey kullanım durumunun gerçekleştirilmesi, Ethereum'un gelişim yoluna bağlıdır.

Takım Yapısı

Kakarot çekirdek ekibi, bir hackathon etkinliğinden kaynaklanmaktadır, yaklaşık 10 kişi bir hafta içinde bir zkEVM prototipi oluşturmuştur. Şu anda Starknet Vakfı ve Onlydust'un desteğiyle, projeye 40'tan fazla katkıda bulunan katılmaktadır.

Kilit üyeler şunlardır:

• Elias Tazartes: Kurucu Ortak ve CEO, blokzincir mühendisliği ve tam yığın geliştirme konusunda uzmandır.
• Clément Walter: Kurucu Ortak ve CTO, bilim insanı, mühendis ve girişimci geçmişine sahip

Finansman Durumu

Kakarot, pre-seed finansman turunu tamamladı, spesifik tutar açıklanmadı. Yatırımcılar arasında Starkware, LambDa gibi kurumlar ve Vitalik Buterin, Ledger'ın kurucu ortağı Nicolas Bacca ile ZAMA CEO'su Rand Hindi gibi melek yatırımcılar yer alıyor.

Proje Geçmişi Analizi

Kakarot, Starknet üzerindeki EVM uygulaması olarak, Starknet ve Ethereum ekosistemi arasında önemli bir köprü olma potansiyeline sahiptir. Geliştiricilerin Starknet'e giriş engelini azaltırken, kullanıcılara tanıdık bir Ethereum deneyimi sunar.

Proje avantajları şunlardır:

1. Starknet ekosistemi ile yakın bir şekilde birleşik, karşılıklı fayda sağlayan
2. V God ve StarkWare gibi sektördeki önemli kişilerin desteğini almak
3. Modüler tasarım, diğer Layer 2 çözümleri ile birleştirilebilir.

Karşılaşılan zorluklar:

1. Ekip boyutu küçük, kaynaklar sınırlı
2. Proje hala erken aşamada, doğrulama için zamana ihtiyaç var.
3. Starknet gelişimine bağımlı olmak, belirli riskler taşımaktadır.

Genel olarak, Kakarot zkEVM teknolojisinin yenilikçi bir yönünü temsil ediyor ve Starknet ekosistemine daha fazla olanak sunması bekleniyor. Test ağının yakında başlatılmasıyla birlikte, projenin gerçek performansı dikkatle izlenmelidir.