Kakarot zkEVM: Cairo dili ile inşa edilmiş Ethereum Sanal Makinesi

Kakarot zkEVM, Cairo dilinde yazılmış bir Ethereum Sanal Makinesi (EVM)'dir. Cairo, Turing tam bir dil olup, CairoVM ile ilişkilidir. CairoVM, polinomlar ve ZK-STARK kanıt sistemi kullanarak kanıtlanabilir hesaplama gerçekleştirir.

zkEVM'nin özellikleri, kanıtlanabilir işlemler ve bloklar üretebilmesidir. Kakarot'un CairoVM üzerine inşa edilmesi nedeniyle, üzerinde gerçekleştirilen her işlem kanıtlanabilir.

Genel olarak, Kakarot zkEVM, Cairo dili ve ZK-STARK kanıt sistemi kullanarak kanıtlanabilir hesaplama yeteneği sunar. Geliştiricilerin EVM uygulamaları dağıtmasına ve kullanıcıların bu uygulamalarla etkileşimde bulunmak için yaygın araçlar kullanmasına olanak tanır.

Ayrıca, Kakarot Starknet protokolü ile birlikte çalışabilirlik sunacak, böylece DeFi ve GameFi gibi farklı alanlardaki protokollere birleşebilirlik sağlayacak.

Gelişme Yolu

Proje Ekim 2022'de başlatıldı, amacı 10,000 satırdan daha az kod kullanarak bir zkEVM oluşturmaktı. Bu hedef altı ay içinde gerçekleştirildi. Test ağı 2023 yaz sonuna kadar yayınlanması planlanıyor.

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

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

   Kakarot zkEVM, Starknet'in L2'sinde yerleşik bir EVM olarak ilk kez var olacaktır. Geliştiriciler, Starknet üzerinde doğrudan Solidity akıllı sözleşmeleri dağıtabilir ve tanıdık araçları kullanabilir. Kullanıcı deneyimi, Polygon, Scroll veya Ethereum L1'deki ile aynı olacaktır.

2. Kakarot x Madara:L3 zkEVM'ler

Kakarot ve Madara, L3 zkEVM'leri, hatta L4, L5 vb. etkinleştirmek için entegre edilecek. Ekipler, zkEVM uygulama zincirlerini dağıtabilir ve Starknet üzerinde işlemleri doğrulama kanıtı kullanarak hesaplayabilir. Bu yöntem, güvenliği ve merkeziyetsizliği ayrıştırırken maliyetleri düşürmekte ve performansı artırmaktadır.

3. Kakarot x Madara:type 1 zkEVM

   Eğer Cairo kullanarak Ethereum konsensüs kurallarını yazabilir ve Pedersen MPT'den Keccak MPT'ye geçiş yapabilirsek, Kakarot type 1 zkEVM istemcisi haline gelebilir ve L1 bloklarını kanıtlayabilir. Bu, Ethereum'un gelişim yoluna, özellikle de Verge yükseltmesine bağlıdır.

Takım

Kakarot çekirdek ekibi, Lizbon'daki bir hackathon'da ortaya çıktı. Şu anda 40'tan fazla katkıda bulunan var.

Başlıca ü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

Finansman

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

Özet

Kakarot, Starknet üzerindeki EVM uygulaması olarak, Starknet ile Ethereum ekosistemini iyi bir şekilde bağlayabilir. Geliştirme engelini azaltarak, Ethereum ekosistemindeki projelerin Starknet üzerinde inşa edilmesine olanak tanırken, Ethereum'un güvenliğini ve düşük maliyetini korur.

Kakarot'un gelişimi, Starknet ekosistemiyle yakından bağlantılıdır. Vitalik Buterin ve StarkWare'den destek almıştır, bu bir avantajdır. Ancak diğer zkEVM projeleriyle kıyaslandığında, Kakarot ekibi daha küçük, bütçesi ve marka bilinirliği de daha düşüktür, bu da şu anda genel bir zkEVM L2 olarak dağıtılmamasının nedenlerinden biridir.

Kakarot hala erken aşamada, test ağı yakında yayınlanacak. Gelecekteki gelişmeler dikkate değer.