Kakarot zkEVM: Cairo ile yazılmış Ethereum Sanal Makinesi
Kakarot zkEVM, Cairo dili kullanılarak yazılmış bir Ethereum Sanal Makinesi'dir (EVM). Cairo, CairoVM ile ilişkilendirilmiş bir Turing tam dilidir ve CairoVM, kanıtlanabilir hesaplama gerçekleştirmek için çok terimli ve ZK-STARK kanıt sistemi kullanır.
zkEVM'nin özellikleri, kanıtlanabilir işlemler ve bloklar üretebilmesidir. Kakarot, CairoVM üzerinde inşa edildiği için üzerinde gerçekleştirilen her işlem kanıtlanabilir. Genel olarak, Kakarot zkEVM, kanıtlanabilir hesaplama yetenekleri sağlamak için ZK-STARK kanıt sistemi kullanır. Geliştiricilerin EVM uygulamaları dağıtmasına ve kullanıcıların bu uygulamalarla tanıdık araçlarla etkileşimde bulunmasına olanak tanır.
Ayrıca, Kakarot Starknet protokolü ile birlikte çalışabilirlik sağlayacak ve DeFi ve GameFi gibi alanlardaki protokollere modülerlik getirecektir.
Gelişim Yolu
Proje Ekim 2022'de başladı, hedefler arasında en başından itibaren açık kaynak olmak ve 10,000 satırdan az kod ile zkEVM oluşturmak vardı. Bu hedef altı ay içinde gerçekleştirildi. Test ağı 2023 yaz sonu itibarıyla yayınlanması planlanıyor.
Kakarot zkEVM'nin gelişim yolu üç aşamaya ayrılmıştır:
Kakarot zkEVM Starknet'te - EVM'yi Starknet'e getirmek
Bu aşamada, Kakarot zkEVM Starknet'in L2'sinde yerleşik EVM olarak bulunacaktır. Geliştiriciler, Solidity (veya herhangi bir EVM uyumlu dil) akıllı sözleşmelerini doğrudan Starknet'te dağıtabilir ve tanıdık araçları kullanabilirler. Kullanıcı deneyimi, Polygon, Scroll veya Ethereum L1'deki ile aynı olacaktır.
Kakarot x Madara - L3 zkEVM'ler
Kakarot ve Madara, L3 zkEVM'leri entegre edecek ve gerektiğinde L4, L5 vb. seviyelere de ölçeklenebilecek. Ekip, Starknet üzerinde işlemleri hesaplamak için geçerlilik kanıtlarını kullanarak zkEVM uygulama zincirlerini dağıtabilir. Bu L3 mimarisi, güvenliği ve merkeziyetsizliği ayrıştırarak, kullanıcıların Ethereum L1'in güvenliğinden faydalanmasını sağlarken maliyetleri düşürür ve performansı artırır.
Kakarot x Madara - tip 1 zkEVM
Madara x Kakarot tam düğümünde Cairo kullanarak Ethereum konsensüs kurallarını yazarak ve Pedersen Merkle Patricia Trie (MPT)'den Keccak MPT'ye geçerek, Kakarot'un L1 bloklarını kanıtlayabilen type 1 zkEVM istemcisi olma potansiyeli bulunmaktadır. Bu hedefin gerçekleştirilmesi, özellikle Verge aşaması olmak üzere, Ethereum'un gelişim yoluna bağlıdır.
Ekip Arka Planı
Kakarot çekirdek ekibi Lizbon'daki bir hackathon'dan doğdu, yaklaşık on kişi bir hafta içinde zkEVM prototipini oluşturdu. Şu anda, Starknet Vakfı ve Onlydust'un desteğiyle, Kakarot'un 40'tan fazla katkıda bulananı var.
Kilit üyeler şunlardır:
Elias Tazartes: Kurucu Ortak ve CEO, blok zinciri mühendisliği ve tam yığın geliştirme üzerine odaklanmaktadır.
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, LambDa gibi kuruluşlar ve Vitalik Buterin, Ledger'ın kurucu ortağı Nicolas Bacca ve ZAMA'nın kurucu ortağı ve CEO'su Rand Hindi gibi melek yatırımcılar bulunmaktadır.
Proje Görünümü
Kakarot, Starknet üzerindeki EVM uygulaması olarak, Starknet ile Ethereum ekosistemini bağlayan önemli bir köprü olma potansiyeline sahiptir. Geliştirici engelini azaltarak, 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, kullanıcı deneyimini sürekli olarak geliştirirken, Kakarot'un ekosistemin refahına katkıda bulunması bekleniyor. Ancak, Kakarot'un başarısı da bir ölçüde Starknet'in gelişimine bağlıdır.
Vitalik Buterin ve StarkWare'in desteğini almak, Kakarot'un büyük bir avantajıdır. Ancak diğer zkEVM projeleriyle karşılaştırıldığında, Kakarot ekibi daha küçük bir kadroya, daha düşük bir bütçeye ve daha az marka bilinirliğine sahiptir; bu da şu anda genel bir zkEVM L2 olarak devreye alınmamış olmasının nedenlerinden biridir.
Erken aşamada bir proje olarak, Kakarot'un gelişimi sürekli olarak takip edilmeyi hak ediyor. Yakında piyasaya sürülecek test ağı, teknik gücünü ve ekosistem potansiyelini gözlemlemek için önemli bir nokta olacak.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
14 Likes
Reward
14
4
Share
Comment
0/400
FloorSweeper
· 23h ago
eh başka bir zk heyecanı... 500 eth'imle bahse giriyorum bu ayı pazarında hayatta kalamaz smh
Kakarot zkEVM: Cairo diliyle oluşturulmuş Ethereum Sanal Makinesi, Starknet ile Ethereum ekosistemini bağlıyor.
Kakarot zkEVM: Cairo ile yazılmış Ethereum Sanal Makinesi
Kakarot zkEVM, Cairo dili kullanılarak yazılmış bir Ethereum Sanal Makinesi'dir (EVM). Cairo, CairoVM ile ilişkilendirilmiş bir Turing tam dilidir ve CairoVM, kanıtlanabilir hesaplama gerçekleştirmek için çok terimli ve ZK-STARK kanıt sistemi kullanır.
zkEVM'nin özellikleri, kanıtlanabilir işlemler ve bloklar üretebilmesidir. Kakarot, CairoVM üzerinde inşa edildiği için üzerinde gerçekleştirilen her işlem kanıtlanabilir. Genel olarak, Kakarot zkEVM, kanıtlanabilir hesaplama yetenekleri sağlamak için ZK-STARK kanıt sistemi kullanır. Geliştiricilerin EVM uygulamaları dağıtmasına ve kullanıcıların bu uygulamalarla tanıdık araçlarla etkileşimde bulunmasına olanak tanır.
Ayrıca, Kakarot Starknet protokolü ile birlikte çalışabilirlik sağlayacak ve DeFi ve GameFi gibi alanlardaki protokollere modülerlik getirecektir.
Gelişim Yolu
Proje Ekim 2022'de başladı, hedefler arasında en başından itibaren açık kaynak olmak ve 10,000 satırdan az kod ile zkEVM oluşturmak vardı. Bu hedef altı ay içinde gerçekleştirildi. Test ağı 2023 yaz sonu itibarıyla yayınlanması planlanıyor.
Kakarot zkEVM'nin gelişim yolu üç aşamaya ayrılmıştır:
Bu aşamada, Kakarot zkEVM Starknet'in L2'sinde yerleşik EVM olarak bulunacaktır. Geliştiriciler, Solidity (veya herhangi bir EVM uyumlu dil) akıllı sözleşmelerini doğrudan Starknet'te dağıtabilir ve tanıdık araçları kullanabilirler. Kullanıcı deneyimi, Polygon, Scroll veya Ethereum L1'deki ile aynı olacaktır.
Kakarot ve Madara, L3 zkEVM'leri entegre edecek ve gerektiğinde L4, L5 vb. seviyelere de ölçeklenebilecek. Ekip, Starknet üzerinde işlemleri hesaplamak için geçerlilik kanıtlarını kullanarak zkEVM uygulama zincirlerini dağıtabilir. Bu L3 mimarisi, güvenliği ve merkeziyetsizliği ayrıştırarak, kullanıcıların Ethereum L1'in güvenliğinden faydalanmasını sağlarken maliyetleri düşürür ve performansı artırır.
Kakarot x Madara - tip 1 zkEVM
Madara x Kakarot tam düğümünde Cairo kullanarak Ethereum konsensüs kurallarını yazarak ve Pedersen Merkle Patricia Trie (MPT)'den Keccak MPT'ye geçerek, Kakarot'un L1 bloklarını kanıtlayabilen type 1 zkEVM istemcisi olma potansiyeli bulunmaktadır. Bu hedefin gerçekleştirilmesi, özellikle Verge aşaması olmak üzere, Ethereum'un gelişim yoluna bağlıdır.
Ekip Arka Planı
Kakarot çekirdek ekibi Lizbon'daki bir hackathon'dan doğdu, yaklaşık on kişi bir hafta içinde zkEVM prototipini oluşturdu. Şu anda, Starknet Vakfı ve Onlydust'un desteğiyle, Kakarot'un 40'tan fazla katkıda bulananı var.
Kilit üyeler şunlardır:
Finansman Durumu
Kakarot, pre-seed finansman turunu tamamladı, kesin miktar açıklanmadı. Yatırımcılar arasında Starkware, LambDa gibi kuruluşlar ve Vitalik Buterin, Ledger'ın kurucu ortağı Nicolas Bacca ve ZAMA'nın kurucu ortağı ve CEO'su Rand Hindi gibi melek yatırımcılar bulunmaktadır.
Proje Görünümü
Kakarot, Starknet üzerindeki EVM uygulaması olarak, Starknet ile Ethereum ekosistemini bağlayan önemli bir köprü olma potansiyeline sahiptir. Geliştirici engelini azaltarak, 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, kullanıcı deneyimini sürekli olarak geliştirirken, Kakarot'un ekosistemin refahına katkıda bulunması bekleniyor. Ancak, Kakarot'un başarısı da bir ölçüde Starknet'in gelişimine bağlıdır.
Vitalik Buterin ve StarkWare'in desteğini almak, Kakarot'un büyük bir avantajıdır. Ancak diğer zkEVM projeleriyle karşılaştırıldığında, Kakarot ekibi daha küçük bir kadroya, daha düşük bir bütçeye ve daha az marka bilinirliğine sahiptir; bu da şu anda genel bir zkEVM L2 olarak devreye alınmamış olmasının nedenlerinden biridir.
Erken aşamada bir proje olarak, Kakarot'un gelişimi sürekli olarak takip edilmeyi hak ediyor. Yakında piyasaya sürülecek test ağı, teknik gücünü ve ekosistem potansiyelini gözlemlemek için önemli bir nokta olacak.