Kakarot zkEVM: Cairo ile oluşturulan Ethereum Sanal Makinesi

Kakarot zkEVM, Cairo dilinde yazılmış bir Ethereum Sanal Makinesi'dir (EVM). Cairo, CairoVM ile ilişkili olan, Turing tamamlayıcı bir dildir. CairoVM, kanıtlanabilir hesaplamalar sağlamak için çok terimli ve ZK-STARK kanıt sistemi kullanır.

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

Genel olarak, Kakarot zkEVM, Cairo dilini ve ZK-STARK kanıt sistemini kullanarak kanıtlanabilir hesaplama yetenekleri sunar. Geliştiricilerin EVM uygulamaları dağıtmasına olanak tanır ve kullanıcıların bu uygulamalarla etkileşimde bulunmaları için tanıdık araçları kullanmalarını sağlar.

Ayrıca, Kakarot Starknet protokolü ile birlikte çalışabilirlik sağlayacak, DeFi ve GameFi gibi alanlardaki protokollere bileşenlik getirecektir.

Gelişim Yolu

Proje, 2022 yılının Ekim ayında başlamış olup, 10,000 satırdan daha az kod ile zkEVM oluşturmayı amaçlamaktadır. Bu hedef, yalnızca altı ay içinde gerçekleştirilmiştir. Test ağı, 2023 yazının sonuna doğru yayımlanması planlanmaktadır.

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

• Aşama Bir: Starknet üzerinde Kakarot zkEVM'yi uygulamak

Kakarot zkEVM, geliştiricilerin Starknet üzerinde Solidity (veya diğer EVM uyumlu diller) akıllı sözleşmelerini doğrudan dağıtmalarına ve tanıdık araçları kullanmalarına olanak tanıyan Starknet L2 içinde yerleşik bir EVM olarak ilk kez var olacaktır. Kullanıcılar, yaygın araçları kullanarak dApp'lerle etkileşimde bulunabilirler. Genel olarak, Kakarot üzerindeki geliştirme ve kullanım deneyimi Polygon, Scroll veya Ethereum L1 ile tamamen aynı olacaktır.

• Aşama İki: Kakarot ve Madara birleşimi --- L3 zkEVM'ler

Kakarot ve Madara, L3 zkEVM'leri etkinleştirmek ve gerektiğinde L4, L5 vb. desteklemek üzere birleşik bir yığın olarak entegre edilecek. Takımlar, Starknet'te işlemleri hesaplamak için geçerlilik kanıtlarını kullanarak zkEVM uygulama zincirlerini dağıtabilir. Hesaplama zincir dışında veya daha yüksek katmanlarda yapılırken, zincir üzerindeki doğrulama gerçekleştirilir. Bu L3'lerin ilginç bir özelliği vardır: güvenlik ve merkeziyetsizliği ayrıştırma yeteneği. Kullanıcılar, aynı düzeyde merkeziyetsizlik gerektirmeden Ethereum L1'in güvenliğinden yararlanabilir. Ancak, rolluplar için merkeziyetsizlik hâlâ önemlidir çünkü bu, canlılık ve sansüre dayanıklılık getirir. Bu, sıralayıcıları binlerce yerine yüzlerce olarak ayarlayarak gerçekleştirilebilir. Hesaplama başka bir katmanda yapıldığı için, L3'ün gaz maliyeti L2'den daha düşüktür ve performansı daha yüksektir. Maliyetleri daha da düşürmek için, kanıt doğrulama ve veri kullanılabilirliği (DA) ayrılabilir. Kullanıcılar, güvenlik ihtiyaçlarına göre farklı seçenekler seçebilir.

• Aşama Üç: Kakarot ve Madara birleşimi --- type 1 zkEVM

Kakarot ve Madara, type 1 zkEVM'yi birleştirerek gerçekleştirebilir. Eğer mümkünse:

1. Madara x Kakarot tam düğümünde Ethereum konsensüs kurallarını Cairo ile yazarak L1 konsensüsünü kanıtlayın.
2. Pedersen Merkle Patricia Trie (MPT)'den Keccak MPT'ye geçiş.

O halde Kakarot, L1 bloklarını kanıtlayabilen bir type 1 zkEVM istemcisi haline gelebilir. Bu, Ethereum'un gelişim yoluna, özellikle de Verge aşamasına bağlı daha ileri bir kullanım durumudur. Verge sonrasında, keccak, Ethereum'un tercih edilen hash fonksiyonu olarak poseidon ile değiştirilebilir. Bu, zkEVM ekibinin type 1'i gerçekleştirmesine yardımcı olacaktır, çünkü zkEVM'nin ana uyumluluk engeli depolama düzenidir, yani Keccak MPT'yi kanıtlanabilir ve makul maliyetle uygulamaktır.

Ekip Arka Planı

Kakarot çekirdek ekibi Lizbon'da bir hackathon sırasında doğdu, yaklaşık 10 kişi bir hafta içinde bir zkEVM inşa etti.

Starknet Vakfı ve Onlydust'un desteğiyle, Kakarot'un şu anda 40'tan fazla bağımsız katkıcısı var.

Elias Tazartes: Kakarot'un kurucu ortağı ve CEO'su, blockchain mühendisliği ve tam yığın geliştirmeye odaklanıyor.

Clément Walter: Kakarot'un kurucu ortağı ve CTO'su, kendisini bilim insanı, mühendis, girişimci ve çok yönlü biri olarak tanımlıyor.

Finansman Durumu

Kakarot, tohum turu öncesi finansmanını tamamladı, belirli miktar açıklanmadı. Yatırımcılar arasında Starkware ve LambDa bulunmaktadır. Melek yatırımcılar arasında Vitalik Buterin, Ledger'ın kurucu ortağı Nicolas Bacca ve ZAMA'nın kurucu ortağı ve CEO'su Rand Hindi yer almaktadır.

Proje Görünümü

Şu anda EVM uyumlu olmayan kamu zinciri ekosisteminin gelişimi yavaş ilerliyor, çoğu kamu zinciri ekosistemi Ethereum etrafında şekilleniyor. Kakarot, Starknet üzerinde Cairo ile yazılmış bir EVM olarak, Starknet ve Ethereum ekosistemini iyi bir şekilde bağlayarak Ethereum projelerinin Starknet üzerinde inşa edilmesine olanak tanıyor, geliştirme engellerini azaltıyor ve Ethereum'un güvenliğinden ve düşük maliyetinden yararlanıyor. İlerleyen aşamalarda Celestia veya EigenDA gibi modüler bileşenlerle daha fazla birleştirilebilirlik de sağlanacak.

Starknet üzerindeki ZK-EVM olarak Kakarot, Starknet ekosistemi ile yakından ilişkilidir. Starknet sürekli olarak güncelleniyor ve kullanıcı deneyimini geliştiriyor, Kakarot'un inşa ettiği ZK-EVM ise ekosistemin refahına katkıda bulunacak. Ancak, Starknet iyi bir gelişim göstermediğinde, Kakarot da etkilenecektir.

Kakarot, Vitalik Buterin ve StarkWare'den destek aldı ve hem manevi hem de maddi olarak güçlendirildi, bu büyük bir avantaj.

Ancak diğer ZK-EVM'lere kıyasla Kakarot'un da bazı zorlukları var: ekip boyutu küçük, bütçe ve marka bilinirliği düşük. Bu da Kakarot'un genel bir zkEVM L2 olarak dağıtılmamasının nedenlerinden biridir.

Kakarot şu anda erken aşamada, test ağı yakında yayımlanacak, gelişimini sürekli olarak takip etmeye değer.