Kakarot zkEVM คืออะไร ซึ่งลงทุนโดย Vitalik และกำลังจะเปิดตัวเครือข่ายทดสอบ

Foresight News

特邀专栏作者

2023-06-05 10:25 (UTC+8)

บทความนี้มีประมาณ 1293 คำ การอ่านทั้งหมดใช้เวลาประมาณ 2 นาที

มันจะช่วยขับเคลื่อน Starknet และระบบนิเวศ Ethereum ได้อย่างไร?

สรุปโดย AI

มันจะช่วยขับเคลื่อน Starknet และระบบนิเวศ Ethereum ได้อย่างไร?

เรียบเรียงต้นฉบับ: Karen, Foresight News

Kakarot zkEVM เป็นการนำ Ethereum Virtual Machine (EVM) ที่เขียนขึ้นในไคโร ไคโรเป็นภาษาทัวริงที่สมบูรณ์ซึ่งเชื่อมโยงกับ CairoVM

CairoVM ประสบความสำเร็จในการคำนวณที่พิสูจน์ได้โดยใช้โพลิโนเมียลและระบบพิสูจน์ ZK-STARK zkEVM โดดเด่นด้วยความสามารถในการสร้างธุรกรรมที่พิสูจน์ได้ ซึ่งนำไปสู่การบล็อกที่พิสูจน์ได้ Kakarot สร้างขึ้นบน CairoVM และทุกธุรกรรมที่ดำเนินการบน Kakarot สามารถพิสูจน์ได้

Kakarot zkEVM ช่วยให้ทีมสร้างและปรับใช้แอปพลิเคชัน EVM นักพัฒนาสามารถปรับใช้ Solidity (หรือภาษาที่เข้ากันได้กับ EVM) บน Kakarot เช่นเดียวกับที่ทำได้บน Ethereum หรือ Polygon จากนั้น ผู้ใช้ปลายทางสามารถใช้ toolchain ตามปกติ (กระเป๋าเงินจิ้งจอกน้อย การเชื่อมต่อกระเป๋าเงิน ฯลฯ) เพื่อโต้ตอบกับ DApp

ชื่อระดับแรก

การปรับขนาดเศษส่วน

Kakarot zkEVM สามารถมีอยู่ในรูปแบบต่างๆ อันดับแรก มันสามารถปรับใช้เป็นสัญญาอัจฉริยะที่ด้านบนของ Starknet L2 ดังนั้นจึงปรากฏเป็น (เปิดเผย) EVM บน Starknet (Ethereum RPC, ธุรกรรม Ethereum เป็นต้น)

อีกทางหนึ่งคือ Kakarot สามารถรวมเข้ากับสแต็คเพื่อปรับใช้ L3 zkEVM นี่คือที่มาของ Madara sorter

ด้วยการรวม Madara (โหนดเต็มของ Starknet) และ Kakarot (รันไทม์ EVM) ทำให้สามารถสร้าง L3 zkEVM ได้ สแต็กมีดังนี้: โหนดเต็มของ Substrate โดยใช้ CairoVM เป็นเครื่องมือดำเนินการ และ Kakarot เป็นรันไทม์ของสัญญาอัจฉริยะ

ชื่อเรื่องรอง

แผนที่เส้นทาง

ขั้นตอนที่ 1: Kakarot zkEVM บน Starknet - นำ EVM มาสู่ Starknet

Kakarot จะมีอยู่ใน Starknet L2 เป็นครั้งแรกในฐานะ EVM แบบออนบอร์ด ซึ่งจะช่วยให้นักพัฒนาปรับใช้ Solidity (หรือภาษาอื่นๆ ที่รองรับ EVM) ได้โดยตรงบน Starknet โดยใช้ชุดเครื่องมือที่คุ้นเคย (Foundry, Hardhat, Wagmi และอื่นๆ)

จากนั้นผู้ใช้จะสามารถโต้ตอบกับ DApps โดยใช้ toolchain ตามปกติ (Metamask, Wallet Connect เป็นต้น)

ชื่อเรื่องรอง

ขั้นตอนที่ 2: Kakarot x Madara - L3 zkEVM

Kakarot และ Madara จะถูกรวมเป็นหนึ่งเดียวเพื่อรองรับ L3 zkEVM เช่นเดียวกับ L4, L5 และอื่น ๆ ทีมงานจะสามารถใช้เชนแอปพลิเคชัน zkEVM และใช้หลักฐานยืนยันความถูกต้องเพื่อชำระธุรกรรมบน Starknet

ทำไมต้อง L3? ทำไมต้องพิสูจน์ได้?

การพิสูจน์สามารถรับรู้ฟังก์ชันต่อไปนี้: การคำนวณภายใต้ห่วงโซ่หรือการคำนวณในเลเยอร์ และการตรวจสอบบนห่วงโซ่

L3 ที่ใช้การพิสูจน์ความถูกต้อง (เช่น Kakarot) มีคุณสมบัติที่น่าสนใจแต่ประเมินต่ำ: ความสามารถในการแยกความปลอดภัยและการกระจายอำนาจ ผู้ใช้สามารถได้รับประโยชน์จากการรักษาความปลอดภัยของ Ethereum L1 โดยไม่ต้องมีการกระจายอำนาจในระดับเดียวกัน

เนื่องจากการคำนวณในอีกชั้นหนึ่ง ต้นทุนก๊าซจะต่ำกว่า L2 มากและประสิทธิภาพ (TPS) จะสูงกว่า L2 มีราคาถูกกว่า L1 มากอยู่แล้ว สแต็กและทวีคูณความสามารถในการปรับขนาดแบบสะสม

เพื่อลดต้นทุนก๊าซเพิ่มเติม การตรวจสอบหลักฐานและความพร้อมใช้งานของข้อมูล (DA) สามารถแยกออกจากกันได้ Starknet L2 สามารถใช้เป็นเลเยอร์การตรวจสอบหลักฐานเท่านั้น ในขณะที่สามารถใช้โซลูชันความพร้อมใช้งานข้อมูลใหม่ เช่น Celestia หรือ EigenDA เพื่อเผยแพร่ข้อมูลธุรกรรม

ชื่อเรื่องรอง

ขั้นตอนที่ 3: Kakarot x Madara - ประเภท 1 zkEVM

Kakarot และ Madara สามารถรวมกันเพื่อเปิดใช้งานประเภท 1 zkEVM

ไคโรใช้เพื่อเขียนกฎฉันทามติของ Ethereum ในโหนดแบบเต็มของ Madara x Kakarot เพื่อให้สามารถพิสูจน์ฉันทามติ L1 ได้
เปลี่ยนจาก Pedersen Merkle Patricia Trie (MPT) เป็น Keccak MPT

ชื่อระดับแรก