Kakarot zkEVM, Kahire'de yazılmış bir Ethereum Sanal Makinesidir (EVM). Kahire, CairoVM ile ilişkilendirilmiş Turing-complete dilidir. CairoVM, kanıtlanabilir hesaplama elde etmek için polinom ve ZK-STARK kanıt sistemlerini kullanır.
zkEVM'nin özelliği, kanıtlanabilir işlemler üretebilmesi, dolayısıyla kanıtlanabilir bloklar da üretebilmesidir. Kakarot, CairoVM'nin üzerine inşa edilmiştir, bu nedenle Kakarot'ta gerçekleştirilen her işlem kanıtlanabilir.
Genel olarak Kakarot zkEVM, Kahire dilinde yazılır ve kanıtlanabilir bilgi işlem gücü sağlamak için ZK-STARK ispat sistemini kullanır. Geliştiricilerin EVM uygulamalarını ek olarak dağıtmasına olanak tanır ve son kullanıcıların her zamanki araç zincirlerini kullanarak bu uygulamalarla etkileşim kurmasına olanak tanır.
Son olarak Kakarot, DeFi ve GameFi gibi farklı alanlardaki protokoller için birleştirilebilirlik sağlayan Starknet protokolüyle birlikte çalışabilirlik de sağlayacak.
yol haritası
Proje, Ekim 2022'de birkaç hedefle başladı: ilk günden itibaren açık kaynak ve en iddialısı, 10.000'den az kod satırında bir zkEVM oluşturmak. Bu sadece altı ayda sağlandı. Ve test ağı 2023 yazının sonlarında piyasaya sürülecek.
Kakarot zkEVM'nin yol haritası üç aşamaya ayrılmıştır:
Aşama 1: Starknet'te Kakarot zkEVM — EVM'yi Starknet'e Getirmek
Kakarot zkEVM, ilk olarak Starknet'in L2'sinde yerleşik bir EVM olarak var olacak ve geliştiricilerin Solidity (veya herhangi bir EVM uyumlu dil) akıllı sözleşmelerini doğrudan Starknet üzerinde konuşlandırmalarına ve tanıdık araçlarını (Foundry, Hardhat , Wagmi vb.) . Son kullanıcıları, Metamask, Wallet connect vb. gibi tanıdık araç zincirlerini kullanarak dApp'leriyle etkileşim kurabilecekler. Genel olarak Kakarot'taki geliştirici ve kullanıcı deneyimi, Polygon, Scroll veya Ethereum L1 ile tamamen aynı olacaktır.
Aşama 2: Kakarot x Madara — L3 zkEVM'ler
Kakarot ve Madara, L3 zkEVM'leri etkinleştirmek için ve L4, L5, vb.'yi etkinleştirmenin mantıklı olduğu yerlerde birleşik bir yığın halinde birleştirilecek. Ekipler, zkEVM uygulama zincirlerini konuşlandırabilecek ve Starknet'te işlemleri gerçekleştirmek için geçerlilik kanıtını kullanabilecek. Hesaplamalar, zincir dışı veya daha yüksek bir katmanda gerçekleştirilir ve zincir üzerinde doğrulanır. Bu geçerlilik kanıtı L3'lerin (Kakarot gibi) ilginç ve hafife alınan bir özelliği var: güvenlik ve ademi merkeziyetçiliği ayırma yeteneği. Kullanıcılar, aynı düzeyde ademi merkeziyetçilik (yani binlerce doğrulayıcı) gerektirmeden Ethereum L1'in güvenliğinden yararlanabilir. Bununla birlikte, toparlamalar için ademi merkeziyetçilik faydalıdır çünkü çok önemli iki özellik olan canlılık ve sansüre karşı direnç getirir. Bu, sıralayıcıyı binler yerine yüzlere ayarlayarak elde edilebilir. L2, hesaplamanın başka bir katmanda yapılması nedeniyle L2'den çok daha düşük gaz maliyetine ve daha yüksek performansa (TPS) sahiptir. L2'nin zaten L1'den çok daha ucuz olduğunu unutmayın. Toplamalar ölçeklenebilirlik için istiflenir ve çoğaltılı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 ihtiyaçlarına bağlı olarak ikisinden birini seçme seçeneğine sahip olacak. 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 ekonomik bir seçenektir.
Aşama 3: Kakarot x Madara — tip 1 zkEVM
Tip 1 zkEVM'yi uygulamak için Kakarot ve Madara da birleştirilebilir. Eğer yapabilirsen:
Madara x Kakarot tam düğümünde Kahire ile Ethereum konsensüs kurallarını yazın, böylece L1 konsensüsü kanıtlanabilir.
Pedersen Merkle Patricia Trie'den (MPT) Keccak MPT'ye geçin. Ardından Kakarot, L1 bloklarını kanıtlayabilen tip 1 zkEVM istemcisi olacak. Bu, Ethereum'un, özellikle Verge'nin yol haritasına 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 bir maliyetle uygulamaktır.
Takım:
Lizbon'da bir bilgisayar korsanının evinde, yaklaşık bir haftalık özverili çalışma, yaklaşık on kişi bir zkEVM kurdu, şimdiye kadar Kakarot çekirdek ekibi doğdu.
Starknet Vakfı ve Onlydust'un yardımıyla bugün Kakarot'un 40'tan fazla benzersiz katılımcısı var.
**Elias Tazartes: **Kakarot'un kurucu ortağı ve CEO'su, blockchain mühendisliği (Dapp, Ethereum, Algorand) ve tam yığın geliştirme (Svelte/React, NodeJS, Rust, Python) konusunda uzmanlaşmış serbest geliştirici.
**Clément Walter: **Bilim adamı, mühendis, girişimci, tamirci, her şeyi merak eden Clément kendini tanıtıyor. Aynı zamanda Kakarot'un kurucu ortağı ve baş teknoloji sorumlusudur.
Finansman:
Şu anda Kakarot tohum öncesi finansman gerçekleştirmiştir. Belirli finansman miktarı açıklanmamıştır. Yatırıma dahil olan ekipler ve personel şunlardır: **Starkware, LambDa. **Melek yatırımcılar arasında Vitalik, Ledger'in kurucu ortağı Nicolas Bacca ve ZAMA'nın kurucu ortağı ve CEO'su Rand Hindi bulunmaktadır.
Özetle:
Şu anda, EVM ile uyumlu olmayan halka açık zincirlerin ekolojik gelişimi yavaş bir aşamadadır. Şu anda, halka açık zincir ekolojisinin çoğu Ethereum ekosistemi etrafında geliştirilmektedir. EVM ile uyumlu olmayan Starknet üzerinde Starknet ekolojisi ile Ethereum ekolojisi arasında hızlı bir şekilde iyi bir bağlantı, Ethereum ekolojisinin Starknet üzerinde iyi bir şekilde oluşturulmasını sağlar ve geliştiricilerin geliştirmesi için giriş engelini düşürür, Ethereum'un güvenliği ve maliyetlerin düşürülmesi. Kakarot'un ikinci ve üçüncü aşamalarında daha fazla birleştirilebilirlik elde edilebilir ve Celestia veya EigenDA gibi modüller modüler olarak birleştirilebilir.
Starknet'te yazılan ZK-EVM gibi, Starknet ekolojisi ile bağlantı dudaklar ve dişler arasındaki bir ilişki gibidir ve her ikisi de müreffehtir. Kakarot tarafından inşa edilen EVM, çok iyi olabilir.Projenin ekolojik refahına katkıda bulunmak için, aksine, Starknet'in gelişimi tatmin edici değilse, Kakarot da etkilenecektir.
Kakarot'un bir diğer avantajı da V God ve StarkWare'in sadece manevi olarak değil maddi olarak da desteğine sahip olmasıdır.
Diğer ZK-EVM'lerle karşılaştırıldığında Kakarot, çok daha küçük bir bütçeye ve markaya sahip, 10 kişiden az bir ekiple dezavantajlı durumda. Kakarot'un genel amaçlı bir zkEVM L2 olarak konuşlandırılmamasının bir nedeni de budur.
Şu anda Kakarot hala erken bir aşamada ve test ağı yakın gelecekte yayınlanacak, lütfen bizi izlemeye devam edin.
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.
Kakarot: Vitalik Buterin'in havalı olduğunu düşündüğü ve yatırım yaptığı bir Zk-EVM
Yazan: Yinan
Giriiş
Kakarot zkEVM, Kahire'de yazılmış bir Ethereum Sanal Makinesidir (EVM). Kahire, CairoVM ile ilişkilendirilmiş Turing-complete dilidir. CairoVM, kanıtlanabilir hesaplama elde etmek için polinom ve ZK-STARK kanıt sistemlerini kullanır.
zkEVM'nin özelliği, kanıtlanabilir işlemler üretebilmesi, dolayısıyla kanıtlanabilir bloklar da üretebilmesidir. Kakarot, CairoVM'nin üzerine inşa edilmiştir, bu nedenle Kakarot'ta gerçekleştirilen her işlem kanıtlanabilir.
Genel olarak Kakarot zkEVM, Kahire dilinde yazılır ve kanıtlanabilir bilgi işlem gücü sağlamak için ZK-STARK ispat sistemini kullanır. Geliştiricilerin EVM uygulamalarını ek olarak dağıtmasına olanak tanır ve son kullanıcıların her zamanki araç zincirlerini kullanarak bu uygulamalarla etkileşim kurmasına olanak tanır.
Son olarak Kakarot, DeFi ve GameFi gibi farklı alanlardaki protokoller için birleştirilebilirlik sağlayan Starknet protokolüyle birlikte çalışabilirlik de sağlayacak.
yol haritası
Proje, Ekim 2022'de birkaç hedefle başladı: ilk günden itibaren açık kaynak ve en iddialısı, 10.000'den az kod satırında bir zkEVM oluşturmak. Bu sadece altı ayda sağlandı. Ve test ağı 2023 yazının sonlarında piyasaya sürülecek.
Kakarot zkEVM'nin yol haritası üç aşamaya ayrılmıştır:
Kakarot zkEVM, ilk olarak Starknet'in L2'sinde yerleşik bir EVM olarak var olacak ve geliştiricilerin Solidity (veya herhangi bir EVM uyumlu dil) akıllı sözleşmelerini doğrudan Starknet üzerinde konuşlandırmalarına ve tanıdık araçlarını (Foundry, Hardhat , Wagmi vb.) . Son kullanıcıları, Metamask, Wallet connect vb. gibi tanıdık araç zincirlerini kullanarak dApp'leriyle etkileşim kurabilecekler. Genel olarak Kakarot'taki geliştirici ve kullanıcı deneyimi, Polygon, Scroll veya Ethereum L1 ile tamamen aynı olacaktır.
Kakarot ve Madara, L3 zkEVM'leri etkinleştirmek için ve L4, L5, vb.'yi etkinleştirmenin mantıklı olduğu yerlerde birleşik bir yığın halinde birleştirilecek. Ekipler, zkEVM uygulama zincirlerini konuşlandırabilecek ve Starknet'te işlemleri gerçekleştirmek için geçerlilik kanıtını kullanabilecek. Hesaplamalar, zincir dışı veya daha yüksek bir katmanda gerçekleştirilir ve zincir üzerinde doğrulanır. Bu geçerlilik kanıtı L3'lerin (Kakarot gibi) ilginç ve hafife alınan bir özelliği var: güvenlik ve ademi merkeziyetçiliği ayırma yeteneği. Kullanıcılar, aynı düzeyde ademi merkeziyetçilik (yani binlerce doğrulayıcı) gerektirmeden Ethereum L1'in güvenliğinden yararlanabilir. Bununla birlikte, toparlamalar için ademi merkeziyetçilik faydalıdır çünkü çok önemli iki özellik olan canlılık ve sansüre karşı direnç getirir. Bu, sıralayıcıyı binler yerine yüzlere ayarlayarak elde edilebilir. L2, hesaplamanın başka bir katmanda yapılması nedeniyle L2'den çok daha düşük gaz maliyetine ve daha yüksek performansa (TPS) sahiptir. L2'nin zaten L1'den çok daha ucuz olduğunu unutmayın. Toplamalar ölçeklenebilirlik için istiflenir ve çoğaltılı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 ihtiyaçlarına bağlı olarak ikisinden birini seçme seçeneğine sahip olacak. 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 ekonomik bir seçenektir.
Tip 1 zkEVM'yi uygulamak için Kakarot ve Madara da birleştirilebilir. Eğer yapabilirsen:
Takım:
Lizbon'da bir bilgisayar korsanının evinde, yaklaşık bir haftalık özverili çalışma, yaklaşık on kişi bir zkEVM kurdu, şimdiye kadar Kakarot çekirdek ekibi doğdu.
Starknet Vakfı ve Onlydust'un yardımıyla bugün Kakarot'un 40'tan fazla benzersiz katılımcısı var.
**Elias Tazartes: **Kakarot'un kurucu ortağı ve CEO'su, blockchain mühendisliği (Dapp, Ethereum, Algorand) ve tam yığın geliştirme (Svelte/React, NodeJS, Rust, Python) konusunda uzmanlaşmış serbest geliştirici.
**Clément Walter: **Bilim adamı, mühendis, girişimci, tamirci, her şeyi merak eden Clément kendini tanıtıyor. Aynı zamanda Kakarot'un kurucu ortağı ve baş teknoloji sorumlusudur.
Finansman:
Şu anda Kakarot tohum öncesi finansman gerçekleştirmiştir. Belirli finansman miktarı açıklanmamıştır. Yatırıma dahil olan ekipler ve personel şunlardır: **Starkware, LambDa. **Melek yatırımcılar arasında Vitalik, Ledger'in kurucu ortağı Nicolas Bacca ve ZAMA'nın kurucu ortağı ve CEO'su Rand Hindi bulunmaktadır.
Özetle:
Şu anda, EVM ile uyumlu olmayan halka açık zincirlerin ekolojik gelişimi yavaş bir aşamadadır. Şu anda, halka açık zincir ekolojisinin çoğu Ethereum ekosistemi etrafında geliştirilmektedir. EVM ile uyumlu olmayan Starknet üzerinde Starknet ekolojisi ile Ethereum ekolojisi arasında hızlı bir şekilde iyi bir bağlantı, Ethereum ekolojisinin Starknet üzerinde iyi bir şekilde oluşturulmasını sağlar ve geliştiricilerin geliştirmesi için giriş engelini düşürür, Ethereum'un güvenliği ve maliyetlerin düşürülmesi. Kakarot'un ikinci ve üçüncü aşamalarında daha fazla birleştirilebilirlik elde edilebilir ve Celestia veya EigenDA gibi modüller modüler olarak birleştirilebilir.
Starknet'te yazılan ZK-EVM gibi, Starknet ekolojisi ile bağlantı dudaklar ve dişler arasındaki bir ilişki gibidir ve her ikisi de müreffehtir. Kakarot tarafından inşa edilen EVM, çok iyi olabilir.Projenin ekolojik refahına katkıda bulunmak için, aksine, Starknet'in gelişimi tatmin edici değilse, Kakarot da etkilenecektir.
Kakarot'un bir diğer avantajı da V God ve StarkWare'in sadece manevi olarak değil maddi olarak da desteğine sahip olmasıdır.
Diğer ZK-EVM'lerle karşılaştırıldığında Kakarot, çok daha küçük bir bütçeye ve markaya sahip, 10 kişiden az bir ekiple dezavantajlı durumda. Kakarot'un genel amaçlı bir zkEVM L2 olarak konuşlandırılmamasının bir nedeni de budur.
Şu anda Kakarot hala erken bir aşamada ve test ağı yakın gelecekte yayınlanacak, lütfen bizi izlemeye devam edin.