Kakarot: Yenilikçi Cairo Tabanlı zkEVM Çözümü

Kakarot zkEVM, Cairo dili kullanılarak yazılmış bir Ethereum sanal makinesi (EVM) uygulamasıdır. Cairo, CairoVM ile yakından ilişkili olan Turing tam bir programlama dilidir. CairoVM, çok terimli ve ZK-STARK kanıt sistemi kullanarak doğrulanabilir hesaplama gerçekleştirmektedir.

zkEVM'nin bir türü olarak Kakarot, doğrulanabilir işlemler ve bloklar oluşturabilir. CairoVM üzerine inşa edildiği için, Kakarot üzerinde gerçekleştirilen her işlem doğrulanabilir. Kakarot zkEVM, geliştiricilerin EVM uygulamaları dağıtmasına olanak tanırken, kullanıcıların bu uygulamalarla etkileşimde bulunmak için yaygın araçları kullanmalarını sağlar. Ayrıca Kakarot, Starknet protokolüyle birlikte çalışabilirlik sunarak DeFi ve GameFi gibi alanlardaki protokollere kombinasyon yeteneği sağlayacaktır.

Gelişim Yolu

Proje, 2022 Ekim ayında başladı ve 10.000 satırdan az kod ile zkEVM oluşturmayı hedefliyor. Bu iddialı hedefe sadece altı ayda ulaşıldı. Test ağının 2023 yaz sonu itibarıyla piyasaya sürülmesi planlanıyor.

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

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

   Starknet L2'nin yerleşik EVM'si olarak, geliştiriciler Starknet üzerinde Solidity( veya diğer EVM uyumlu diller) ile akıllı sözleşmeler doğrudan dağıtabilir ve tanıdık araçlar olan Foundry, Hardhat gibi araçları kullanabilirler. Kullanıcı deneyimi Polygon, Scroll veya Ethereum L1 ile tamamen aynı olacaktır.

2. Kakarot x Madara:L3 zkEVM'ler

Kakarot ve Madara entegre olacak, L3 zkEVM'leri ve daha yüksek seviyeleri destekleyecek. Ekip, Starknet'te işlemleri hesaplamak için geçerlilik kanıtlarını kullanarak zkEVM uygulama zincirleri dağıtabilir. Bu L3 mimarisi, güvenlik ve merkeziyetsizliği ayırabilir, kullanıcılar Ethereum L1 güvenliğinden yararlanırken gaz maliyetlerini düşürür.

3. Kakarot x Madara:type 1 zkEVM

Eğer Ethereum konsensüs kurallarını Cairo ile yazabilir ve Pedersen MPT'den Keccak MPT'ye geçiş yapabilirsek, Kakarot, kanıtlanabilir L1 bloklarının type 1 zkEVM istemcisi haline gelecektir. Bu, Ethereum'un gelecekteki gelişimine, özellikle Verge aşamasının uygulanmasına bağlıdır.

Çekirdek Ekip

Kakarot çekirdek ekibi, Lizbon'da düzenlenen bir hackathon etkinliğinden kaynaklanmaktadır; yaklaşık 10 kişi bir hafta içinde zkEVM prototipini geliştirmiştir. Şu anda Starknet Vakfı ve Onlydust'un desteğiyle 40'tan fazla katkıda bulunan bulunmaktadır.

Kilit ü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 sahip.

Finansman Durumu

Kakarot, pre-seed finansman turunu tamamladı, kesin miktar açıklanmadı. Yatırımcılar arasında Starkware ve LambDa bulunuyor. Melek yatırımcılar arasında Ethereum'un kurucusu Vitalik Buterin, Ledger'ın kurucu ortağı Nicolas Bacca ve ZAMA'nın kurucu ortağı ve CEO'su Rand Hindi yer alıyor.

Proje Görünümü

Kakarot, Starknet üzerindeki EVM uygulaması olarak, Starknet ile Ethereum ekosistemini iyi bir şekilde bağlayarak geliştirme engelini azaltabilir. Gelecekte, Celestia gibi modüler birleşimlerle daha fazla birleştirilebilirlik sağlanması da hedefleniyor.

Starknet ekosisteminin önemli bir parçası olarak, Kakarot'un gelişimi Starknet ile yakından ilişkilidir. Vitalik Buterin ve StarkWare'den destek almak bir avantajdır, ancak ekibin küçük boyutu ve sınırlı kaynaklar dezavantajdır.

Diğer zkEVM'lerle karşılaştırıldığında, Kakarot bağımsız bir L2 dağıtmak yerine Starknet ekosistemine odaklanmayı tercih ediyor. Proje hala erken aşamalarda ve test ağı yakında yayınlanacak, bu nedenle gelişimini sürekli olarak takip etmek değerli.