Kakarot: Cairo dilinde geliştirilen yenilikçi zkEVM projesi

Kakarot zkEVM, Cairo dilini kullanarak yazılmış bir Ethereum sanal makinesi (EVM) uygulamasıdır. Cairo, CairoVM ile ilgili Turing tam bir programlama dilidir; CairoVM, çok terimli ve ZK-STARK kanıt sistemleri aracılığıyla doğrulanabilir hesaplama gerçekleştirir.

Bir zkEVM türü olarak, Kakarot doğrulanabilir işlemler ve bloklar üretebilir. CairoVM üzerine inşa edildiği için, Kakarot'ta gerçekleştirilen her işlem doğrulanabilir. Kakarot zkEVM, doğrulanabilir hesaplama yetenekleri sunan Cairo dilini ve ZK-STARK kanıt sistemini kullanarak geliştiricilerin EVM uygulamalarını bu platformda dağıtmasına ve kullanıcıların tanıdık araçlarla bu uygulamalarla etkileşimde bulunmasına olanak tanır.

Ayrıca, Kakarot planı Starknet protokolü ile birlikte çalışabilirlik sunarak DeFi ve GameFi gibi farklı alanlardaki protokollere bileşen olma olanağı sağlayacak.

Gelişim Yolu

Proje Ekim 2022'de başladı, ana hedefler arasında açık kaynak geliştirme ve 10,000 satırdan daha az kodla zkEVM oluşturma bulunmaktadır. Bu hedef 6 ay içinde gerçekleştirildi ve 2023 yaz sonuna kadar testnet'in yayınlanması planlanmaktadır.

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

Aşama 1: Starknet üzerinde EVM ortamı oluşturmak

Kakarot zkEVM, öncelikle Starknet L2 içinde yerleşik bir EVM olarak var olacak ve geliştiricilerin Starknet üzerinde Solidity( veya diğer EVM uyumlu dilleri) akıllı sözleşmelerini doğrudan dağıtmalarına ve tanıdık geliştirme araçlarını kullanmalarına olanak tanıyacak. Kullanıcılar, yaygın cüzdanlar ile dApp'lerle etkileşimde bulunabilir ve deneyim, Polygon, Scroll veya Ethereum L1 üzerinde olduğu gibi benzer olacaktır.

Aşama 2: Madara ile entegrasyon, L3 zkEVM'yi gerçekleştirmek

Kakarot ve Madara, L3 zkEVM'yi etkinleştirmek için birleşik bir teknoloji yığını oluşturacak ve gerekirse L4, L5 gibi katmanlara da genişleyebilecektir. Ekipler, kendi zkEVM uygulama zincirlerini dağıtabilir ve işlem hesaplaması için Starknet'te geçerlilik kanıtlarını kullanabilirler. Bu L3 yapısı, güvenliği ve merkeziyetsizliği ayırabilir; kullanıcılar, Ethereum L1'in güvenliğinden yararlanırken, çok sayıda doğrulama düğümüne olan ihtiyacı azaltabilirler.

Bu yapı, gaz maliyetlerini önemli ölçüde azaltabilir ve performansı artırabilir. Daha fazla optimizasyon için, kanıt doğrulama ve veri kullanılabilirliğini (DA) ayırmak mümkündür. Starknet L2, kanıt doğrulama katmanı olarak hizmet edebilirken, Celestia veya EigenDA gibi yeni DA çözümleri işlem verilerini yayınlamak için kullanılabilir.

Aşama 3: type 1 zkEVM'nin gerçekleştirilmesi

Kahire ile Ethereum konsensüs kurallarını bir Madara x Kakarot tam düğümünde yazarak ve Pedersen Merkle Patricia Trie(MPT)'dan Keccak MPT'ye geçerek Kakarot, L1 bloklarını doğrulayabilen bir tip 1 zkEVM istemcisi olmaya hazırlanıyor. Bu hedefe ulaşmak, Ethereum'un gelişim yoluna, özellikle de Verge yükseltmesine bağlıdır. Verge yükseltmesinden sonra, keccak, Ethereum'un tercih edilen hash fonksiyonu olarak poseidon ile değiştirilebilir ve bu da zkEVM ekibinin tip 1 uyumluluğu elde etmesine yardımcı olacaktır.

Takım Yapısı

Kakarot çekirdek ekibi Lizbon'da bir hackathon sırasında doğdu, yaklaşık 10 kişi bir hafta içinde zkEVM prototipini inşa etti. Şu anda, Starknet Vakfı ve Onlydust'un desteğiyle, Kakarot'un 40'tan fazla bağımsız katkı sağlayıcısı var.

Ana üyeler şunlardır:

• Elias Tazartes: Kurucu Ortak ve CEO, blok zinciri mühendisliği ve tam yığın geliştirme konusunda uzman.
• Clément Walter: Kurucu Ortak ve CTO, bilim insanı, mühendis ve girişimci olarak çoklu bir geçmişe sahiptir.

Finansman Durumu

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

Proje Perspektifi

Kakarot, Starknet üzerindeki Cairo ile yazılmış EVM olarak, Starknet ile Ethereum ekosistemi arasında önemli bir köprü olma potansiyeline sahiptir. Geliştiricilerin giriş engelini azaltabilir, Ethereum ekosistemindeki projelerin Starknet üzerinde daha kolay inşa edilmesini sağlarken, aynı zamanda Ethereum'un güvenliğini korur ve maliyetleri düşürür.

Kakarot'un gelişimi Starknet ekosistemi ile yakından bağlantılıdır. Starknet'in kullanıcı deneyimini sürekli olarak geliştirmesi ile birlikte, Kakarot'un inşa ettiği zkEVM de ekosistemin refahına katkıda bulunacaktır. Ancak, Starknet'in gelişim durumu da Kakarot'un geleceğini doğrudan etkileyecektir.

Vitalik Buterin ve StarkWare'ın desteğini almak, Kakarot'un büyük bir avantajıdır; bu, sadece manevi olarak değil, aynı zamanda finansal destekle de kendini göstermektedir.

Diğer zkEVM projeleri ile karşılaştırıldığında, Kakarot küçük bir ekip, düşük bütçe ve daha az bilinirlik gibi zorluklarla karşı karşıya, bu da şu anda genel bir zkEVM L2 olarak dağıtılmamış olmasının nedenlerinden biridir.

Kakarot projesi hala erken aşamada, test ağı yakında çıkacak, gelişimini takip etmeye değer.