Kakarot: Cairo tarafından yazılan Ethereum Sanal Makinesi

Kakarot zkEVM, Cairo dilinde yazılmış bir Ethereum Sanal Makinesi'dir (EVM). Cairo, CairoVM ile ilgili Turing tam bir dildir ve CairoVM, polinomlar ve ZK-STARK kanıt sistemi kullanarak kanıtlanabilir hesaplama sağlar.

zkEVM olarak, Kakarot kanıtlanabilir işlemler ve bloklar üretebilir. CairoVM üzerine inşa edildiği için, Kakarot'ta gerçekleştirilen her işlem kanıtlanabilir. Bu, geliştiricilerin üzerinde EVM uygulamaları dağıtmasına ve son kullanıcıların yaygın araç zinciri ile uygulamalarla etkileşimde bulunmasına olanak tanır.

Ayrıca, Kakarot Starknet protokolü ile birlikte çalışabilirlik sağlayacak ve DeFi ile GameFi gibi alanlardaki protokollere birleştirilebilirlik sunacaktır.

Gelişim Yolu

Bu proje Ekim 2022'de başladı, amacı açık kaynaklı ve 10,000 satırdan daha az kodla zkEVM yaratmaktı. Altı ay içinde bu hedefe ulaşılmıştır ve 2023 yaz sonu itibarıyla test ağını yayınlamayı planlamaktadır.

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

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

   Starknet L2'de yerleşik olan EVM sayesinde, geliştiriciler doğrudan Solidity akıllı sözleşmeleri dağıtabilir ve tanıdık araçlar olan Foundry, Hardhat gibi araçları kullanabilirler. Kullanıcı deneyimi Polygon, Ethereum L1 gibi olacaktır.

2. Kakarot x Madara：L3 zkEVM'ler

   Kakarot ve Madara'yı entegre ederek L3 zkEVM'leri gerçekleştirin, gerektiğinde L4, L5 gibi seviyelere genişletilebilir. Ekip, Starknet'te işlem hesaplamak için etkinlik kanıtını kullanarak zkEVM uygulama zincirleri dağıtabilir. Bu L3 mimarisi, güvenliği ve merkeziyetsizliği ayrıştırarak, kullanıcıların Ethereum L1 güvenliğinden yararlanırken aynı seviyede merkeziyetsizlik gerektirmemesini sağlar.

3. Kakarot x Madara: tür 1 zkEVM

Cairo ile Ethereum konsensüs kurallarını yazabiliyorsak ve Pedersen Merkle Patricia Trie'den Keccak MPT'ye geçiş yapabiliyorsak, Kakarot, L1 bloklarını kanıtlayabilen type 1 zkEVM istemcisi haline gelecektir. Bu, özellikle Verge aşamasının gelişimine bağlı olarak Ethereum yol haritasına bağlıdır.

Takım Genel Görünümü

Kakarot çekirdek ekibi Lizbon'da düzenlenen bir hackathon'da doğdu. Şu anda projeye 40'tan fazla katkıda bulunan katılmaktadır.

Ana üyeler şunlardır:

• Elias Tazartes: Kurucu Ortak ve CEO, blok zinciri mühendisliği ve tam yığın geliştirmeye odaklanıyor.
• Clément Walter: Kurucu Ortak ve CTO, bilim insanı, mühendis ve girişimci geçmişine sahiptir.

Finansman Durumu

Kakarot, pre-seed finansman turunu tamamladı, kesin miktar açıklanmadı. Yatırımcılar arasında Starkware, LambDa gibi firmalar bulunuyor. Melek yatırımcılar arasında Vitalik Buterin, Ledger'in kurucu ortağı Nicolas Bacca ve ZAMA'nın kurucu ortağı Rand Hindi var.

Proje Değerlendirmesi

Kakarot, Starknet üzerindeki EVM uygulaması olarak, Starknet ile Ethereum ekosistemini etkili bir şekilde bağlayarak geliştirme engellerini azaltır. Gelecek aşamalarda, Celestia veya EigenDA gibi modüler bileşenlerle daha fazla birleştirilebilirlik sağlanacaktır.

Proje, Starknet ekosistemiyle sıkı bir bağlantı içinde olup, karşılıklı olarak teşvik etmektedir. Vitalik Buterin ve StarkWare'den destek almak büyük bir avantajdır. Ancak diğer zkEVM projeleriyle kıyaslandığında, Kakarot ekibi daha küçük bir yapıya, daha düşük bir bütçeye ve daha az bir üne sahiptir; bu da şu anda genel bir zkEVM L2 olarak dağıtım yapılmamış olmasının sebeplerinden biridir.

Kakarot hala erken aşamada ve test ağı yakında yayınlanacak, gelişimini sürekli takip etmeye değer.