Kakarot: Vitalik’in Desteklediği Yeni zkEVM Projesi

Kakarot zkEVM, gelişmiş güvenlik ve ölçeklenebilirlik sağlayarak StarkNet entegrasyonunu dahil ederek EVM uyumlu uygulama geliştirme alanında devrim yaratıyor. Son zamanlarda proje, Ethereum’un kurucu ortağı Vitalik Buterin gibi etkili figürlerden önemli destek toplayarak tohum öncesi fon toplama turunu başarıyla tamamladı.

Kakarot: Vitalik’in Desteklediği Yeni zkEVM Projesi

Daha önce, Ethereum kurucu ortağı Vitalik Buterin, ZK-Rollup’ı uzun geliştirme sürecine rağmen sonunda Optimistic’i geride bırakacak çığır açan bir çözüm olarak övmüştü. Hem ZK-Rollup hem de Optimistic, blok zincirinin güvenliğini korurken zincir dışı bilgi işlem sunarak Ethereum’un yeteneklerini genişletmeyi amaçlayan katman-2 çözümleridir. Ancak tasarım aşamalarında ve sağladıkları güvenlik düzeyinde farklılıklar vardır.

ZK-Rollup’ın bir sınırlaması, Ethereum Sanal Makinesi (EVM) nedeniyle DeFi protokolleri gibi merkezi olmayan uygulamaları (dApp’ler) yürütememesidir. ZK-Rollup, Scroll, Taiko, Polygon ve ConsenSys gibi devam eden birkaç büyük proje için EVM uyumluluğuna yönelik çalışırken bu sınırlama değişecek şekilde ayarlanmıştır.

Bu zorluğa olası bir çözüm, Cairo’da bulunan Kakarot zkEVM’dir. 2 Haziran’da Kakarot zkEVM, Vitalik Buterin, Nicolas Bacca (Ledger’in kurucu ortağı ve Başkan Yardımcısı) ve Starkware (bir blockchain ölçekleme şirketi) gibi önemli isimlerin katkılarıyla tohum öncesi yatırım turunun başarıyla tamamlandığını duyurdu.

Kahire tabanlı bir Ethereum Sanal Makinesi olarak Kakarot zkEVM, bir Ethereum katman-2 ölçeklendirme çözümü olan StarkNet üzerinde EVM bayt kodu uygulamalarını yürütebilir.

EVM, 142 işlem koduna, 9 ön derlemeye ve bunları güncellemek için demokratik bir sürece sahip köklü bir sanal makine mimarisidir. Cairo’nun zkEVM bağlamında tanıtılması, potansiyel olarak sıfır bilginin ölçekleme özelliğinden yararlanan “ücretsiz” bir zkEVM ile sonuçlanabilir.

Bu konsept Starknet topluluğunda popülerlik kazandı ve Ekim 2022’de Starkware’in keşif ekibinin lideri ve temel bir Ethereum geliştiricisi olan Abdel geliştirmeye başladı.

Aynı sıralarda, Starknet açık kaynak geliştirme topluluğu, Onlydust’un yardımıyla, rakip bir çaba başlattı. Sonunda, Lizbon’daki StarknetCC ikincisini benimsedi. O zamandan beri, proje inkübe edildi ve şekillendirildi.

Cairo, CairoVM ile entegre kapsamlı bir dildir ve Kakarot zkEVM, CairoVM’nin üzerine inşa edilmiştir. Geliştirme ekipleri, EVM uyumlu uygulamaları tasarlamak ve devreye almak için Kakarot zkEVM’den yararlanabilir.

Kakarot apps, Solidity programlama dili veya Ethereum veya Polygon programlarına benzer herhangi bir EVM uyumlu dil kullanılarak geliştirilebilir. Kullanıcılar, Metamask veya WalletConnect gibi geleneksel teknolojileri kullanarak dağıtılan uygulamalarla etkileşim kurabilir.

CairoVM, doğrulanabilir bilgi işlem sunmak için polinomları ve ZK-STARK kanıt sistemini kullanır. zkEVM’nin kanıtlanabilir bloklara yol açan doğrulanabilir işlemler oluşturma yeteneği önemli bir avantajdır.

Proje platformdaki her işlemin doğrulanabilir olmasını sağlayan CairoVM’ye dayalıdır. Kakarot ayrıca yerel Starknet protokolleri ve protokol birleştirilebilirliği ile uyumluluğu sağlamayı ve DeFi’deki Kilitli Toplam Değerin (TVL) GameFi’deki bir kullanıcı tabanıyla birleştirilmesini kolaylaştırmayı amaçlıyor.

Fractal Scaling

Kakarot zkEVM, çeşitli biçimler alma potansiyeline sahiptir. Bir olasılık, onu Starknet’te açığa çıkan bir EVM (Ethereum RPC, Ethereum işlemi, vb.) olarak göründüğü Starknet L2’nin üzerinde akıllı bir sözleşme olarak uygulamaktır.

Alternatif olarak proje, Madara’yı (bir Starknet tam düğümü) Kakarot’la (bir EVM çalışma zamanı) birleştirerek bir L3 zkEVM oluşturmak için yığına entegre edilebilir. Yığın, yürütme motoru olarak CairoVM’yi ve akıllı sözleşme çalışma zamanı olarak Kakarot’u kullanan bir Substrat tam düğümünden oluşur.

Proje tarafından işlenen işlemler, EVM uyumlu fraktal ölçeklenebilirlik sağlayarak yerleşim katmanında kanıtlanabilir ve doğrulanabilir.

Başlangıçta, proje planına göre Kakarot, Starknet Layer 2’de bir EVM olarak görev yapacak. Araştırmacılar, Kakarot zkEVM’yi Starknet’e tanıtmanın çok sayıda yeni olasılığın kilidini açacağını ve Starknet ekosistemini geliştireceğini tahmin ediyor.

İleriye dönük olarak proje, yerel Starknet protokolleri ile bağlantılar kurmayı ve diğer protokollerle işbirliğini kolaylaştırmayı hedefliyor.

Yol Haritası

1. Aşama: Starknet’e EVM Tanıtımı – Starknet’te Kakarot zkEVM

İlk aşamada proje, Starknet L2’ye entegre edilecek ve geliştiricilerin Foundry, Hardhat ve Wagmi gibi tanıdık araç setlerini kullanarak Solidity veya diğer EVM uyumlu dilleri doğrudan Starknet üzerinde konuşlandırmalarına olanak tanıyacak.

Müşteriler, Polygon, Scroll veya Ethereum L1’e benzer bir geliştirici ve kullanıcı deneyimi sağlayan Metamask ve Wallet Connect gibi standart araç zincirlerini kullanarak DApp’leriyle etkileşime geçebilecek.

2. Aşama: Kakarot x Madara ile L3 zkEVM

Bu aşamada Kakarot ve Madara, L3 zkEVM ve ötesini işlemek için birleşik bir yığın halinde birleştirilecek. Ekipler, zkEVM uygulama zincirlerini Starknet’te konuşlandırabilecek ve geçerlilik kanıtlarını kullanarak işlemleri gerçekleştirebilecek. Kanıtlanabilirlik özelliği, zincirin altında hesaplamaya, katmanda hesaplamaya ve zincir doğrulamaya izin verir.

L3 zkEVM’nin ilginç bir yönü, güvenliği ademi merkeziyetçilikten ayırma yeteneğidir ve Ethereum L1’in güvenliğini azaltılmış ademi merkeziyetle sağlar.

Gaz ücretleri, başka bir katmandaki hesaplama nedeniyle L2’ye kıyasla önemli ölçüde daha düşükken, saniye başına işlem (TPS) açısından performans iyileştirildi. Ölçeklenebilirlik, toplu çözümleri istifleyerek ve çoğaltarak elde edilir.

Gaz giderlerini daha da azaltmak için kanıt doğrulaması ve veri kullanılabilirliği ayrılabilir. Starknet L2, kanıt doğrulama katmanı olarak hizmet edebilirken, Celestia veya EigenDA gibi yeni veri kullanılabilirliği çözümleri işlem verilerini yayınlayabilir.

Kullanıcılar güvenlik ihtiyaçlarına uygun seçeneği seçebilirler. Provaları ve işlem verilerini Starknet’te yayınlamak, gelişmiş güvenlik sunarken, veri kullanılabilirliği çözümlerini kullanmak daha uygun maliyetli bir yaklaşımdır.

Aşama 3: Kakarot x Madara ile zkEVM tip 1

Kakarot ve Madara’yı birleştirmek, zkEVM tip 1’in uygulanmasını sağlar. Cairo, Ethereum konsensüs kurallarını Madara x Kakarot tam düğümüne dahil etmek için kullanılır ve L1 konsensüsünün kanıtını sağlar. Keccak MPT, Pedersen Merkle Patricia Trie’nin (MPT) yerini alıyor.

Sonuç olarak Kakarot, L1 bloklarının kanıtını sağlama yeteneğine sahip bir tip 1 zkEVM haline gelir. Bu gelişmiş kullanım durumu, özellikle Verge ile ilgili olarak Ethereum’un geliştirme ilerlemesine bağlıdır. Verge’den sonra Poseidon, Ethereum’un tercih edilen hash algoritması olarak Keccak’ın yerini alabilir.

Bu geçiş, özellikle Keccak MPT’yi kanıtlanabilir ve uygun maliyetli bir şekilde uygulayarak, depolama düzeninin temel uyumluluk engelini ele alarak zkEVM ekibinin tip 1 zkEVM olmasına yardımcı olacaktır.

Daha fazla wiki makalesine erişmek için: cryptodataspace.com