Kakarot zkEVM, Kahire'de yazılmış Ethereum Sanal Makinesinin (EVM) bir uygulamasıdır. Kahire, CairoVM ile ilişkilendirilmiş Turing-complete dilidir.
CairoVM, polinomları ve ZK-STARK kanıt sistemini kullanarak kanıtlanabilir hesaplama sağlar. zkEVM, kanıtlanabilir bloklara yol açan kanıtlanabilir işlemler oluşturma yeteneği ile karakterize edilir. Kakarot, CairoVM üzerine inşa edilmiştir ve Kakarot üzerinde gerçekleştirilen her işlem kanıtlanabilirdir.
Kakarot zkEVM, ekiplerin EVM uygulamaları oluşturmasını ve dağıtmasını sağlar. Geliştiriciler, tıpkı Ethereum veya Polygon'da olduğu gibi Kakarot'ta herhangi bir Solidity'yi (veya herhangi bir EVM uyumlu dili) konuşlandırabilir. Ardından, son kullanıcıları, DApp ile etkileşim kurmak için her zamanki araç zincirlerini (küçük tilki cüzdanı, cüzdan bağlantısı vb.) kullanabilir.
Nihayetinde Kakarot, yerel Starknet protokolüyle birlikte çalışabilirlik ve protokoller arasında birleştirilebilirlik sağlayacak, örneğin DeFi'de TVL ile GameFi'de kullanıcı tabanını birleştirmek.
Fraktal Ölçekleme
Kakarot zkEVM farklı biçimlerde var olabilir, ilk olarak, Starknet L2'nin üzerinde bir akıllı sözleşme olarak konuşlandırılabilir, böylece Starknet'te EVM (ifşa) olarak görünebilir (Ethereum RPC, Ethereum işlemi, vb.).
Alternatif olarak Kakarot, L3 zkEVM'yi konuşlandırmak için yığına entegre edilebilir. Madara sıralayıcının devreye girdiği yer burasıdır.
Madara (Starknet tam düğümü) ve Kakarot'u (EVM çalışma zamanı) birleştirerek bir L3 zkEVM oluşturulabilir. Yığın şu şekildedir: Yürütme motoru olarak CairoVM'yi ve akıllı sözleşme çalışma zamanı olarak Kakarot'u kullanan bir Substrate tam düğümü.
Kakarot üzerindeki işlemler yerleşim katmanında kanıtlanabilir ve doğrulanabilir, EVM uyumlu fraktal ölçeklendirmeye olanak tanır.
yol haritası
Aşama 1: Starknet'te Kakarot zkEVM - EVM'yi Starknet'e Getirmek
Kakarot ilk olarak Starknet L2'de yerleşik bir EVM olarak var olacak ve bu, geliştiricilerin Solidity (veya herhangi bir EVM uyumlu dil) zekasını tanıdık araç setlerini (Foundry, Hardhat, Wagmi, vb.) kullanarak doğrudan Starknet üzerinde konuşlandırmalarına izin verecek.
Son kullanıcıları daha sonra her zamanki araç zincirlerini (Metamask, Wallet Connect, vb.) kullanarak DApp'leriyle etkileşime geçebilecek.
Kakarot'taki geliştirici ve kullanıcı deneyimi, Polygon, Scroll veya Ethereum L1 ile tamamen aynı olacaktır.
2. Aşama: Kakarot x Madara - L3 zkEVM
Kakarot ve Madara, L3 zkEVM'nin yanı sıra L4, L5 vb.'yi desteklemek için birleşik bir yığında birleştirilecek. Ekipler, zkEVM uygulama zincirlerini konuşlandırabilecek ve Starknet'teki işlemleri gerçekleştirmek için geçerlilik kanıtını kullanabilecek.
Neden L3? Neden kanıtlanabilirlik?
Kanıtlanabilirlik şu işlevleri gerçekleştirebilir: zincir altında hesaplama veya Katman üzerinde hesaplama ve zincir üzerinde doğrulama.
Geçerlilik kanıtı kullanan L3'lerin (Kakarot gibi) ilginç ancak hafife alınan bir özelliği vardır: güvenlik ve ademi merkeziyetçiliği birbirinden ayırma yeteneği. Kullanıcılar, aynı düzeyde ademi merkeziyetçilik olmadan Ethereum L1'in güvenliğinden yararlanabilirler.
Başka bir katmandaki hesaplama nedeniyle Gas maliyeti L2'ye göre çok daha düşük ve performans (TPS) daha yüksek olacaktır. L2 zaten L1'den çok daha ucuz. Toplama ölçeklenebilirliği yığınlar ve çoğalır.
Gaz maliyetlerini daha da azaltmak için kanıt doğrulaması ve veri kullanılabilirliği (DA) ayrılabilir. Starknet L2 yalnızca kanıt doğrulama katmanı olarak kullanılabilirken Celestia veya EigenDA gibi yeni veri kullanılabilirliği çözümleri işlem verilerini yayınlamak için kullanılabilir.
Kullanıcılar, güvenlik gereksinimlerine bağlı olarak her iki seçeneği de tercih edebilir. Provaları ve işlem verilerini Starknet'te yayınlamak daha güvenli bir seçenekken, işlem verilerini yayınlamak için DA çözümlerini kullanmak daha uygun maliyetli bir seçenektir.
Aşama 3: Kakarot x Madara - tip 1 zkEVM
Tip 1 zkEVM'yi etkinleştirmek için Kakarot ve Madara da birleştirilebilir.
L1 konsensüsünü kanıtlayabilmek için Madara x Kakarot tam düğümünde Kahire ile Ethereum konsensüs kurallarını yazın.
Pedersen Merkle Patricia Trie'den (MPT) KeccakMPT'ye geçiş yapıldı.
Kakarot daha sonra L1 bloklarını kanıtlayabilen bir tip 1 zkEVM olacaktır. Bu, Ethereum'un yol haritasına (en önemlisi Verge) bağlı olan daha gelişmiş bir kullanım durumudur. Verge'den sonra, Ethereum için tercih edilen hash işlevi olarak keccak, poseidon ile değiştirilebilir. Bu, zkEVM ekibinin tip 1 olmasına yardımcı olacaktır, çünkü zkEVM için ana uyumluluk engeli depolama düzenidir, yani Keccak MPT'yi kanıtlanabilir ve makul ölçüde ucuz bir şekilde uygulamaktır.
Diğer Araştırma Konuları
Madara, Kakarot zincirinin çapraz toplama iletişimi için Substrate mesajlaşma protokolünü kullanmasını sağlar.
Substrate'in modülerliği, Kakarot zincirinin mutabakat protokolünü kullanarak yenilik yapmasını sağlar.
Substrate'in çatalsız çalışma zamanı yükseltmesi, Kakarot zincirinin EVM sürümünü sert çatal olmadan yükseltmesini sağlar.
View Original
The content is for reference only, not a solicitation or offer. No investment, tax, or legal advice provided. See Disclaimer for more risks disclosure.
Vitalik'in yatırım yaptığı bir zkEVM projesi olan Kakarot'a hızlı bir genel bakış
Orijinal kaynak: Kakarot
Orijinal derleme: Karen, Foresight News
Kakarot zkEVM, Kahire'de yazılmış Ethereum Sanal Makinesinin (EVM) bir uygulamasıdır. Kahire, CairoVM ile ilişkilendirilmiş Turing-complete dilidir.
CairoVM, polinomları ve ZK-STARK kanıt sistemini kullanarak kanıtlanabilir hesaplama sağlar. zkEVM, kanıtlanabilir bloklara yol açan kanıtlanabilir işlemler oluşturma yeteneği ile karakterize edilir. Kakarot, CairoVM üzerine inşa edilmiştir ve Kakarot üzerinde gerçekleştirilen her işlem kanıtlanabilirdir.
Kakarot zkEVM, ekiplerin EVM uygulamaları oluşturmasını ve dağıtmasını sağlar. Geliştiriciler, tıpkı Ethereum veya Polygon'da olduğu gibi Kakarot'ta herhangi bir Solidity'yi (veya herhangi bir EVM uyumlu dili) konuşlandırabilir. Ardından, son kullanıcıları, DApp ile etkileşim kurmak için her zamanki araç zincirlerini (küçük tilki cüzdanı, cüzdan bağlantısı vb.) kullanabilir.
Nihayetinde Kakarot, yerel Starknet protokolüyle birlikte çalışabilirlik ve protokoller arasında birleştirilebilirlik sağlayacak, örneğin DeFi'de TVL ile GameFi'de kullanıcı tabanını birleştirmek.
Fraktal Ölçekleme
Kakarot zkEVM farklı biçimlerde var olabilir, ilk olarak, Starknet L2'nin üzerinde bir akıllı sözleşme olarak konuşlandırılabilir, böylece Starknet'te EVM (ifşa) olarak görünebilir (Ethereum RPC, Ethereum işlemi, vb.).
Alternatif olarak Kakarot, L3 zkEVM'yi konuşlandırmak için yığına entegre edilebilir. Madara sıralayıcının devreye girdiği yer burasıdır.
Madara (Starknet tam düğümü) ve Kakarot'u (EVM çalışma zamanı) birleştirerek bir L3 zkEVM oluşturulabilir. Yığın şu şekildedir: Yürütme motoru olarak CairoVM'yi ve akıllı sözleşme çalışma zamanı olarak Kakarot'u kullanan bir Substrate tam düğümü.
Kakarot üzerindeki işlemler yerleşim katmanında kanıtlanabilir ve doğrulanabilir, EVM uyumlu fraktal ölçeklendirmeye olanak tanır.
yol haritası
Aşama 1: Starknet'te Kakarot zkEVM - EVM'yi Starknet'e Getirmek
Kakarot ilk olarak Starknet L2'de yerleşik bir EVM olarak var olacak ve bu, geliştiricilerin Solidity (veya herhangi bir EVM uyumlu dil) zekasını tanıdık araç setlerini (Foundry, Hardhat, Wagmi, vb.) kullanarak doğrudan Starknet üzerinde konuşlandırmalarına izin verecek.
Son kullanıcıları daha sonra her zamanki araç zincirlerini (Metamask, Wallet Connect, vb.) kullanarak DApp'leriyle etkileşime geçebilecek.
Kakarot'taki geliştirici ve kullanıcı deneyimi, Polygon, Scroll veya Ethereum L1 ile tamamen aynı olacaktır.
2. Aşama: Kakarot x Madara - L3 zkEVM
Kakarot ve Madara, L3 zkEVM'nin yanı sıra L4, L5 vb.'yi desteklemek için birleşik bir yığında birleştirilecek. Ekipler, zkEVM uygulama zincirlerini konuşlandırabilecek ve Starknet'teki işlemleri gerçekleştirmek için geçerlilik kanıtını kullanabilecek.
Neden L3? Neden kanıtlanabilirlik?
Kanıtlanabilirlik şu işlevleri gerçekleştirebilir: zincir altında hesaplama veya Katman üzerinde hesaplama ve zincir üzerinde doğrulama.
Geçerlilik kanıtı kullanan L3'lerin (Kakarot gibi) ilginç ancak hafife alınan bir özelliği vardır: güvenlik ve ademi merkeziyetçiliği birbirinden ayırma yeteneği. Kullanıcılar, aynı düzeyde ademi merkeziyetçilik olmadan Ethereum L1'in güvenliğinden yararlanabilirler.
Başka bir katmandaki hesaplama nedeniyle Gas maliyeti L2'ye göre çok daha düşük ve performans (TPS) daha yüksek olacaktır. L2 zaten L1'den çok daha ucuz. Toplama ölçeklenebilirliği yığınlar ve çoğalır.
Gaz maliyetlerini daha da azaltmak için kanıt doğrulaması ve veri kullanılabilirliği (DA) ayrılabilir. Starknet L2 yalnızca kanıt doğrulama katmanı olarak kullanılabilirken Celestia veya EigenDA gibi yeni veri kullanılabilirliği çözümleri işlem verilerini yayınlamak için kullanılabilir.
Kullanıcılar, güvenlik gereksinimlerine bağlı olarak her iki seçeneği de tercih edebilir. Provaları ve işlem verilerini Starknet'te yayınlamak daha güvenli bir seçenekken, işlem verilerini yayınlamak için DA çözümlerini kullanmak daha uygun maliyetli bir seçenektir.
Aşama 3: Kakarot x Madara - tip 1 zkEVM
Tip 1 zkEVM'yi etkinleştirmek için Kakarot ve Madara da birleştirilebilir.
Kakarot daha sonra L1 bloklarını kanıtlayabilen bir tip 1 zkEVM olacaktır. Bu, Ethereum'un yol haritasına (en önemlisi Verge) bağlı olan daha gelişmiş bir kullanım durumudur. Verge'den sonra, Ethereum için tercih edilen hash işlevi olarak keccak, poseidon ile değiştirilebilir. Bu, zkEVM ekibinin tip 1 olmasına yardımcı olacaktır, çünkü zkEVM için ana uyumluluk engeli depolama düzenidir, yani Keccak MPT'yi kanıtlanabilir ve makul ölçüde ucuz bir şekilde uygulamaktır.
Diğer Araştırma Konuları