ข้ามไปยังเนื้อหา

Verkle Tree

Verkle Tree ผสานโครงสร้างต้นไม้แบบกิ่งกว้างกับ Vector Commitment เพื่อสร้าง State Witness ที่เล็กลง โดยมีข้อแลกเปลี่ยนด้าน Proof การย้ายระบบ และการเข้ารหัส

อัปเดต

เนื้อหานี้มีไว้เพื่อการศึกษาเท่านั้น ไม่ใช่คำแนะนำการลงทุน การลงทุนอาจทำให้ขาดทุนได้

คำตอบโดยตรง

Verkle Tree คือโครงสร้าง Key-Value ที่ตรวจสอบความถูกต้องได้ โดย Node ภายในใช้ Vector Commitment เช่นเดียวกับ Merkle Tree มันผูกค่าจำนวนมากไว้กับ Root เดียว แต่ต่างจากต้นไม้แบบ Hash ทั่วไปตรงที่พิสูจน์ Child ณ ตำแหน่งหนึ่งได้โดยไม่ต้องส่งค่าของ Sibling ทั้งหมด

คุณสมบัตินี้รองรับการแตกกิ่งสูงและการรวม Opening ของหลาย Key จึงลดขนาด Witness เมื่อเทียบกับ Merkle-Patricia Trie แต่ Witness ยังต้องมีค่าที่ใช้ Execute และหลักฐานที่เชื่อมค่ากับ Root ที่รับรองแล้ว “Stateless” ไม่ได้แปลว่าไม่มีใครเก็บ State หรือไม่ต้องมี Consensus ณ 2026-08-22 แผนงาน Ethereum ยังระบุ Testnet และงาน Client ที่เหลือ ส่วน EIP-6800 มีสถานะ Stagnant

กลไกการทำงาน

Protocol ต้องกำหนด Encoding ที่แน่นอน Scheme ของ Commitment และกฎ Node ว่าง แต่ละ Node ผูก Vector ของ Child ที่เรียงลำดับ Prover เปิดตำแหน่งที่เกี่ยวข้องในแต่ละระดับ และ Multiproof รวม Opening พร้อมใช้เส้นทางร่วมซ้ำได้ Verifier ตรวจ Key ค่า Commitment และ Proof กับ Root ที่เชื่อถือได้

ใน EIP-6800 Key ขนาด 32-byte ประกอบด้วย stem 31-byte และ suffix 1-byte โดย Node กว้าง 256 ค่าที่มี stem เดียวกันใช้ข้อมูล Proof ร่วมกันได้ นี่เป็น Layout เฉพาะข้อเสนอ ต้นไม้ที่กว้างทำให้เส้นทางสั้น แต่ต้องใช้การคำนวณ Elliptic Curve และ Precomputation

ตัวอย่าง

สมมติ stem ขนาด 31-byte รวมตำแหน่ง suffix ได้ 256 ตำแหน่ง หาก Block อ่าน 2 ค่าภายใต้ stem เดียว Witness ใช้เส้นทางร่วมและรวม Opening แทน Hash ของ Merkle Sibling แยกกัน 2 ชุด แต่ยังต้องตรวจทั้งสอง Key ทั้งสองค่า Proof และ Root ที่ Protocol เลือก

เมื่อค่าเปลี่ยน Commitment และบรรพบุรุษจนถึง Root ต้องเปลี่ยน Proof ของ Root เก่าไม่พิสูจน์ Root ใหม่ การประหยัดขึ้นกับรูปแบบการเข้าถึง Proof ที่เล็กไม่ได้แปลว่า Bandwidth หรือค่าใช้จ่ายเป็นศูนย์ และไม่รับประกัน Data Availability

ความเสี่ยง

ข้อผิดพลาดด้านการสร้าง Key ลำดับ Byte การผูกตำแหน่ง Domain Separation การตรวจ Curve Point การแปลง Scalar หรือการแยกค่าว่างจากศูนย์อาจทำลายความปลอดภัย ต้องมี Test Vector และการทดสอบข้าม Client

Proof ขนาดเล็กไม่แก้ Data Availability หรือ Liveness การกักค่าไว้ทำให้ Execute ไม่ได้ ส่วน Root หรือ Finality ที่ผิดอาจยอมรับประวัติผิด การสร้าง Proof อาจเป็นคอขวดหรือจุด Censorship

การย้ายระบบเปลี่ยน Layout การ Sync รูปแบบ Proof ฐานข้อมูล การคิด Gas และ Proof ย้อนหลัง ข้อเสนอหรือ Devnet ไม่ยืนยันความพร้อมใช้งานจริง และ Commitment แบบ Elliptic Curve ที่เกี่ยวข้องโดยทั่วไปไม่ถือว่า Post-Quantum Secure

ความเข้าใจผิดที่พบบ่อย

ความเข้าใจผิด 1: เป็นเพียง Merkle Tree ที่มี Child มากขึ้น

ความต่างสำคัญคือ Vector Commitment เปิด Child ที่เลือกโดยไม่ต้องแจกแจง Sibling ทั้งหมด

ความเข้าใจผิด 2: Proof ทุกงานมีขนาดรวมคงที่

Opening รวมกันได้ แต่ Witness ยังโตตามค่า เส้นทาง และ Metadata

ความเข้าใจผิด 3: Stateless หมายถึงไม่มีใครเก็บ State

มีเพียง Verifier ที่ไม่ต้องมีสำเนาครบถ้วน ยังต้องมีผู้เก็บหรือสร้าง State และส่งข้อมูล

ความเข้าใจผิด 4: Ethereum Mainnet ใช้ Verkle แล้ว

แหล่งข้อมูลกล่าวถึงงานวิจัยและ Testnet ณ วันที่ตรวจสอบ EIP-6800 ยังเป็น Stagnant

หัวข้อที่เกี่ยวข้อง

แหล่งข้อมูล

การนำทาง

ค้นหาในวิกิ...