Vitalik yatırıma katılıyor, Kakarot EVM'yi Starknet'e nasıl tanıtıyor?

Analistler Bu yazıda, Kakarot'un çeşitli aşamalarını, bunların güçlü ve zayıf yanlarını ve ayrıca projenin karşılaştığı zorlukları ve fırsatları keşfedeceğiz.

Yazar: s

Derleme: Deep Tide TechFlow

Kakarot zkEVM, Kahire'de uygulanan bir EVM'dir. EVM'nin uyumluluğunu artırarak Starknet ekosistemini genişletir. Vitalik ve StarkWare'in desteğini kazanmak için ne kullandı? Analistler Bu yazıda, Kakarot'un çeşitli aşamalarını, güçlü ve zayıf yanlarını ve ayrıca projenin karşılaştığı zorlukları ve fırsatları keşfedeceğiz.

CairoVM nedir?

Kakarot, Starknet'in altyapısı olan sanal makine (VM) CairoVM üzerine kurulmuştur.

CairoVM'nin temel özellikleri:

• Kanıtlanabilir yürütme için yürütmeyi bir polinom (denklem) olarak temsil edin;
• Tüm Starknet işlemlerini kanıtlamak için STARK kullanımına izin verir.

Kahire nedir?

Eksiksiz STARK dostu CPU mimarisi Turing:

• Turing bütünlüğü: sistem olası herhangi bir hesaplamayı/programı hesaplayabilir;
• STARK DOSTU: StarkWare tarafından sağlanan prova sistemi. Zincir dışı hesaplama bütünlüğü kanıtlayıcılar tarafından kanıtlanmıştır ve zincir üstü doğrulayıcılar tarafından doğrulanmıştır.

Kahire nasıl çalışır?

Geliştiriciler, yüksek seviyeli bir dilde kanıtlanacak ifadeleri açıklamak için CairoVM'de programlar yazmak için Kahire'yi kullanabilirler. Bu, karmaşık devrelerin nasıl yazılacağını öğrenmek zorunda kalmadan sıfır bilgi kanıtlarının (ZKP'ler) ölçeklenebilirliğinden yararlanabilecekleri için geliştirici deneyimini geliştirir.

Kakarot mimarisi

Kakarot, CairoVM üzerine inşa edilmiştir ve:

• EVM bayt kodu yorumlayıcısı;
• Starknet'te konuşlandırılmış SC;
• Kahire'de yazılmıştır.

Kakarot şunları sağlar:

• Mevcut bir EVM SC'yi dağıtın.

Kakarot değil:

• Blockchain;
• Derleyici: Solidity kodunu Kahire'ye dönüştürmez.

Mayıs 2023 itibariyle:

• %100 bayt kod mimarisi (Tip 3 zkEVM);
• 8/9 EVM ön derlemesi uygulandı.

9/9 EVM ön derlemelerini uyguladıktan sonra Kakarot, Type 2.5 zkEVM olacaktır.

Tip 1 zkEVM, daha kolay kanıt oluşturmak için Ethereum sistemini değiştirmeden tamamen Ethereum'a eşdeğerdir,

Artıları: Ethereum'u ölçeklendirmek için nihai çözüm.

Dezavantajlar: Hesaplama açısından yoğun, uzun kanıt (saatler gerektirir).

Örneğin: Kaydırma, Taiko.

Tip 2 zkEVM, Ethereum sisteminde küçük değişikliklerle (farklı bir hash işlevi kullanılarak) EVM'ye tamamen eşdeğerdir:

• Daha kolay geliştirme;
• Daha hızlı kanıt üretimi.

Artıları: Çoğu Ethereum dApp'i için kullanılabilir.

Dezavantajlar: EVM ve ZK'nin verimliliği kolay değildir.

Örneğin Kaydırma.

Tip 2.5 zkEVM, Gaz maliyeti dışında EVM'ye eşdeğerdir. ZK ile kanıtlanması zor olan EVM'deki belirli operasyonların gaz maliyetini artırır.

Artıları: Daha geniş EVM'den daha az risk

Dezavantajlar: Azaltılmış geliştirme aracı uyumluluğu, bazı dApp'ler uyumlu olmayacaktır.

Tip 3 zkEVM, EVM ile neredeyse aynıdır, yalnızca uygulanması özellikle zor olan özellikler (ön derleme gibi) kaldırılır.

Artıları: Daha da hızlı prova süreleri, daha kolay EVM geliştirme.

Eksileri: Bazı dApp'lerin yeniden yazılması gerekir.

Örneğin:

• Taslak;
• çokgen

Tip 4 zkEVM yüksek seviyeli dil eşdeğeri, SC kaynak kodunu (yüksek seviyeli dil) ZK-SNARK dostu bir dilde derliyor.

Artıları: Çok fazla ek yükten kaçınır.

Eksileri: Sözleşmeler EVM ile aynı adrese sahip olmayabilir, el yazısı EVM bayt kodu desteklenmeyebilir, EVM bayt kodu üzerinde çalıştıkları için altyapı aktarılamaz.

Örneğin:

• zksync;
• Nethermind.

Kakarot Yol Haritası | Aşama 1 | EVM'yi Starknet'e Getirmek

Kakarot başlangıçta Starknet'te Enshrined EVM olarak var olacak. Geliştirici ve kullanıcı deneyimi (UX), Polygon, Scroll veya Ethereum ile tamamen aynı olacaktır.

Aşama 2 | L3 zkEVM'ler

Kakarot aracılığıyla zkEVM uygulama zincirlerini dağıtmak, geçerlilik kanıtı kullanarak Starknet'te txn'leri çözmelerini sağlar. Bu, Kakarot ve MadaraStarknet'i birleşik bir yığında birleştirerek elde edilir.

Toplamalar, yalnızca 1 tıklamayla şunları elde etmenizi sağlar:

• Starknet'te dağıtılan uygulamaya özel zkEVM;
• EVM ortamına erişim;
• Hızlı yürütme;
• Düşük Gaz: Veri kullanılabilirliği çözümlerini kullanın.
• Emniyet.

Solidity SC'yi CairoVM'de Kakarot kullanarak çalıştırın: EVM'de dağıtılan herhangi bir Solidity SC, kod değişikliği olmadan Starknet'te çalışabilecektir.

Her ikisine de sahip olmanın avantajları:

• EVM verimliliği;
• Akıllı sözleşmeler kanıtlanabilir hale gelir.

Faz 3 | Tip 1 zkEVM

Bunu başarmak için Kakarot şunları yapmalıdır:

• L1 fikir birliğini kanıtlamak için Madara x Kakarot tam düğümünde Ethereum fikir birliği kuralları yazmak için Kahire'yi kullanın;
• Pedersen Merkle Patricia Trie'den (MPT) Keccak MPT'ye geçiş yapıldı.

Ethereum yol haritasına bağlıdır: Verge. Şu anda, Keccak MPT'yi kanıtlanabilir bir şekilde ucuz bir şekilde uygulamak, zkEVM için ana uyumluluk engelidir. Verge'den sonra Keccak, Ethereum'un tercih edilen hash işlevi olarak Poseidon ile değiştirilebilir.

düşüncelerim

Bu, EVM uyumluluğunu Starknet'e getirmek için kesinlikle büyük bir adım, ancak Kakarot'un başarısını çevreleyen bazı endişeler var.

Aşağıdaki rakiplerin rekabetiyle karşı karşıya:

• Farklı ispat sistemleriyle (SNARK) ZK toplaması: Scroll, zksync, Polygon, Taiko, Linea;
• İyimser özetler: İyimserlik、Karar、Temel;
• Farklı zkVM'ler: RISC Zero, Hyper Oracle.

Ürün Pazarı Uyumu (PMF)

Genel olarak, Hizmet olarak toplama, iki temel yönün dikkate alınmasını gerektiren denenmemiş bir argümandır:

• Bu hizmete kaç Rollup ihtiyaç duyacak?
• Rollup, egemenlik ve özelleştirilebilirlik için dahili yapıları mı tercih ediyor?

Ürünleri sürekli yineleyin

Kakarot, başarılı olması için sürekli yineleme gerektirecek, teknik olarak oldukça karmaşık bir ürün geliştiriyor. Ayrıca, aşağıdakiler de dahil olmak üzere çeşitli bileşenlere bağlıdır:

• Süt;
• DA çözümü;
• Ethereum'un yol haritası: The Verge.