เครื่องจักรเสมือนของ Ethereum หรือ EVM ของเหรียญ (ETH) ถูกออกแบบมาตั้งแต่ปี 2015 เพื่อรันสมาร์ตคอนแทรกต์ ไม่ได้ถูกสร้างมาเพื่อผลิตหลักฐานเข้ารหัสเลย ขณะที่ Zero-knowledge proof (ZK proof) ก็ถูกออกแบบมาเพื่อยืนยันผลการคำนวณให้ทั้ง “ถูก” และ “เป็นส่วนตัว” โดยไม่สนใจด้วยซ้ำว่า opcode คืออะไร
หลายปีที่ผ่านมา ทั้งสองโลกดูเหมือนไม่สามารถเข้ากันได้โดยพื้นฐาน
จนกระทั่งวิศวกรเริ่มหาวิธีผสานสองแนวคิดนี้เข้าด้วยกัน และผลลัพธ์ที่ได้คือโครงสร้างพื้นฐานที่ซับซ้อนที่สุดชิ้นหนึ่งของวงการคริโป
ZkEVM — ย่อมาจาก Zero-knowledge Ethereum Virtual Machine — คือความพยายามที่จะให้สมาร์ตคอนแทรกต์ที่เข้ากันได้กับ Ethereum รันได้เหมือนเดิมทุกประการ แล้วสร้างหลักฐาน ZK เพื่อยืนยันว่าการประมวลผลนั้นถูกต้อง โดยไม่ต้องให้ดีเวลลอปเปอร์แก้โค้ดแม้แต่บรรทัดเดียว
ฟังดูตรงไปตรงมา แต่ในทางปฏิบัติคือการต้องแก้โจทย์เทคนิคที่ทั้งอุตสาหกรรมติดค้างมานานกว่าครึ่งทศวรรษ
สรุปสั้น ๆ (TL;DR)
- ZkEVM รันสมาร์ตคอนแทรกต์ที่เข้ากันได้กับ Ethereum แล้วสร้าง Zero-knowledge proof ว่าการรันถูกต้อง ทำให้สามารถเคลียร์ธุรกรรมกลับไปยัง Ethereum mainnet ได้รวดเร็วและต้นทุนถูกลง
- ยิ่ง ZkEVM พยายามเข้ากันได้กับเครื่องมือและโครงสร้าง Ethereum เดิมมากเท่าไร การออกแบบก็จะยิ่งสร้างยากและซับซ้อนมากเท่านั้น จุดสมดุลนี้คือหัวใจของทุกดีไซน์ในสนามนี้
- ผู้ใช้ได้รับประโยชน์จากความปลอดภัยระดับ Ethereum โดยไม่ต้องจ่ายค่าแก๊สบนเมนเน็ต ส่วนดีเวลลอปเปอร์สามารถดันสัญญา Solidity เดิมขึ้นไปได้แทบไม่ต้องแก้ไข
Zero-Knowledge Proof ทำอะไร “จริง ๆ”
ก่อนจะแตะฝั่ง EVM ต้องเข้าใจให้ชัดก่อนว่า Zero-knowledge proof คืออะไร และ “ไม่ใช่” อะไร ZK proof คือเทคนิคคริปโตกราฟีที่ทำให้ฝ่ายหนึ่ง (prover) สามารถพิสูจน์ให้ฝ่ายตรงข้าม (verifier) เชื่อได้ว่า “ข้อความหนึ่งเป็นความจริง” โดยไม่ต้องเปิดเผยข้อมูลต้นทางที่ทำให้ข้อความนั้นจริงเลย
ตัวอย่างคลาสสิกคือการพิสูจน์ว่าคุณ “รู้” รหัสผ่าน โดยไม่ต้องส่งรหัสให้ใครดู ในโลกบล็อกเชน ข้อความที่ต้องพิสูจน์มักเป็นข้อความเชิงคำนวณ เช่น “ฉันรันโปรแกรมนี้บนอินพุตชุดนี้ ได้เอาต์พุตแบบนี้ และรันถูกต้องตามสเป็ก”
ฝั่ง verifier ซึ่งในกรณีนี้คือสมาร์ตคอนแทรกต์บน Ethereum Layer 1 จะตรวจหลักฐานภายในเวลาไม่กี่มิลลิวินาที แทนการต้องรันธุรกรรมทุกอย่างใหม่อีกรอบ
ZK proof ทำให้เครือข่าย Layer 2 สามารถรวมธุรกรรมนับพันรายการเข้าด้วยกัน สร้างหลักฐานเดียวที่บอกว่าทั้งหมด “ถูกต้อง” แล้วส่งแค่หลักฐานนี้ขึ้น Ethereum ช่วยลดต้นทุนต่อผู้ใช้ลงอย่างมาก
ในภูมิทัศน์ ZkEVM ตอนนี้มีระบบ proof หลัก ๆ อยู่สองตระกูล SNARK (Succinct Non-interactive ARguments of Knowledge) ใช้หลักฐานขนาดเล็ก ตรวจสอบเร็ว แต่ต้องมีขั้นตอน trusted setup ขณะที่ STARK (Scalable Transparent ARguments of Knowledge) ไม่ต้องมี trusted setup และทนทานต่อคอมพิวเตอร์ควอนตัม แต่หลักฐานใหญ่กว่า ปัจจุบันทีม ZkEVM ส่วนใหญ่เลือกใช้สาย SNARK เพราะต้นทุนการตรวจบน Ethereum mainnet เป็นข้อจำกัดที่แข็งมาก
อ่านเพิ่มเติม: Trump Media Scraps $6.42B Cronos Treasury Deal With Crypto.com
ทำไมพิสูจน์ EVM จึงยากขนาดนี้
Ethereum Virtual Machine เป็นสภาพแวดล้อมการประมวลผลแบบ stack-based มี opcode มากกว่า 140 ตัว ระบบคิดค่าแก๊สที่ซับซ้อน โครงสร้างหน่วยความจำหลายชั้น และเคสปลายเปิดที่สะสมมานับสิบปีจากการใช้งานจริง ทุก opcode ตั้งแต่ ADD ธรรมดา ไปจนถึง precompile ด้านคริปโตอย่าง ECRECOVER ล้วนต้องถูกแปลงให้เป็น “ข้อจำกัดเชิงคณิตศาสตร์” (arithmetic constraint) เพื่อให้ระบบ ZK proof ตรวจเหตุผลของมันได้
ปัญหาคือระบบ ZK proof พูดภาษาคณิตศาสตร์ที่แคบมาก มันทำงานโดยธรรมชาติบนฟิลด์จำกัดและสมการพหุนาม ขณะที่ EVM ไม่ได้ถูกออกแบบโดยคิดเรื่องพวกนี้เลย เช่น opcode อย่าง KECCAK256 (ฟังก์ชันแฮชหลักของ Ethereum) ถือว่า “ไม่เป็นมิตร” กับวงจร ZK สุด ๆ เพราะเต็มไปด้วยการคำนวณแบบบิตต่อบิต ที่ต้องแตกออกมาเป็นชุด constraint จำนวนมหาศาลและมีต้นทุนสูง
ความไม่ลงรอยกันตรงนี้ทำให้เกิดสิ่งที่นักวิจัยเรียกว่า “ปัญหาความไม่เข้ากันของ EVM” คุณสามารถสร้าง ZK rollup ที่เร็วและถูกได้ แต่จะรันได้เฉพาะโปรแกรมที่เขียนมาให้ “เป็นมิตรกับ ZK” โดยเฉพาะเท่านั้น หรือจะพยายามรองรับ EVM เต็มตัว ก็จะเจอปัญหาว่าค่าคอมพิวต์ในการสร้าง proof แพงและช้าจนเสียของ ความท้าทายของ ZkEVM คือการบีบให้ดีลนี้ลงตัว
แค่ KECCAK256 หนึ่งครั้งก็อาจต้องใช้ constraint เชิงคณิตศาสตร์ระดับ “หลักล้าน” ชุด บล็อก Ethereum ปกติหนึ่งบล็อกมี hash นับพัน ๆ รายการ นี่คือเหตุผลว่าทำไมช่วงแรก ๆ ZkEVM ต้องใช้เวลาหลายชั่วโมงในการสร้าง proof ต่อบล็อก และทุกวันนี้ก็ยังต้องพึ่งฮาร์ดแวร์เฉพาะทาง
อ่านเพิ่มเติม: Arthur Hayes Sees Bitcoin Rally If Fed Opens Japan’s $1.373 Trillion Treasury Pool
4 ประเภท ZkEVM และความหมายเชิงกลยุทธ์
ZkEVM ไม่ได้มีแบบเดียว Vitalik Buterin นักวิจัย Ethereum เสนอการจัดหมวดหมู่ที่ถูกอ้างอิงอย่างแพร่หลายในปี 2022 แบ่ง ZkEVM ออกเป็น 4 ประเภทตามระดับ “ความเข้ากันได้” กับสแตก Ethereum เดิม การเข้าใจ 4 แบบนี้คือทางลัดในการอ่านโปรเจ็กต์ ZkEVM ใด ๆ
Type 1 คือ “เทียบเท่า Ethereum เต็มตัว” (Ethereum-equivalent) พิสูจน์ทุกอย่างที่เกิดบน Ethereum ตามจริง ทั้ง state transition โครงสร้างบล็อก ฟังก์ชันแฮช ทุกจุด โดยไม่แก้ไขอะไรเลย ผลคือไคลเอนต์ Ethereum เดิมสามารถซิงก์ได้ตรง ๆ ทุกเครื่องมือใช้ได้ครบ แต่ต้นทุนและเวลาสร้าง proof จะแพงและช้ามาก ยังไม่มี ZkEVM ในโปรดักชันที่วิ่งแบบ Type 1 เต็มตัว แม้จะมีทีมพยายามเดินไปทางนั้น
Type 2 คือ “เทียบเท่า EVM” (EVM-equivalent) สามารถแก้โครงสร้างข้อมูลภายในบางส่วน เช่น เปลี่ยนจาก KECCAK เป็นแฮชที่เป็นมิตรกับ ZK ใน state trie แต่ยังคงความเข้ากันได้ของ bytecode EVM แบบ 100% สมาร์ตคอนแทรกต์จึงทำงานเหมือนกันทุกประการ ดีเวลลอปเปอร์แทบไม่เห็นความต่าง Proof เร็วกว่าประเภท 1 แต่ยังหนักอยู่ โปรเจ็กต์อย่าง Scroll และเวอร์ชันแรก ๆ ของ Polygon zkEVM อยู่ในโซนนี้
Type 3 ยอมแก้เพิ่มจนทำให้ฟีเจอร์มุมไกล ๆ บางส่วนเสียความเข้ากันได้ เช่น precompile บางตัว แต่โดยรวมสมาร์ตคอนแทรกต์ส่วนใหญ่เกือบทั้งหมดยังรันได้ตามเดิม ข้อดีคือค่าทำ proof ถูกลงอย่างมีนัยสำคัญ ZkEVM ตัวจริงเชิงพาณิชย์หลายรายที่เปิดตัวราวปี 2023–2024 อยู่ระหว่าง Type 2 กับ Type 3 ในช่วงแรก
Type 4 เลือกคอมไพล์ซอร์สโค้ด Solidity หรือ Vyper ไปยัง “เครื่องเสมือนแบบกำหนดเองที่เป็นมิตรกับ ZK” แทนที่จะพิสูจน์ bytecode EVM ตรง ๆ เส้นทางนี้เร็วและถูกที่สุด แต่มีโอกาสเกิดความต่างเชิงพฤติกรรมแบบแนบเนียน และเทคนิคระดับต่ำบางอย่างของ EVM จะใช้ไม่ได้ zkSync Era เดินเส้นนี้ผ่านคอมไพล์เลอร์แบบ LLVM ที่ออกแบบเอง
การแบ่งประเภทนี้สำคัญมากสำหรับ “สายสร้างของจริง” ถ้าโปรเจ็กต์ต้องการย้ายโปรโตคอล DeFi ที่ผ่านศึกจาก Ethereum mainnet มาทั้งชุด มักต้องการอย่างน้อย Type 2 หรือ Type 3 เพื่อให้มั่นใจว่าพฤติกรรมเหมือนเดิม ส่วนโปรเจ็กต์ที่เริ่มจากศูนย์ อาจยอมรับ Type 4 เพื่อแลกกับต้นทุนพิสูจน์ที่ถูกกว่าและไฟนาลิตีเร็วกว่า
อ่านเพิ่มเติม: Anthropic Locks Up 191 Megawatts Of Texas Power From A Bitcoin Miner
เส้นทางธุรกรรมบน ZkEVM: ตั้งแต่ส่งจนจบบนเมนเน็ต
ลองไล่ดูธุรกรรมหนึ่งรายการตั้งแต่ต้นจนจบ จะเห็นสถาปัตยกรรมชัดขึ้น เมื่อผู้ใช้ส่งธุรกรรมไปยังเครือข่าย ZkEVM ขั้นตอนจะเป็นดังนี้
ขั้นแรก ธุรกรรมจะถูกส่งไปที่ sequencer ซึ่งเป็นโหนดที่ทำหน้าที่จัดเรียงลำดับและรวมธุรกรรมเป็นแบตช์ Sequencer จะรันธุรกรรมเหล่านั้น อัปเดตสถานะของ Layer 2 และให้ “การยืนยันแบบอ่อน” (soft confirmation) แก่ผู้ใช้ ณ จุดนี้กระเป๋าของผู้ใช้จะแสดงยอดคงเหลือใหม่แล้ว แต่ธุรกรรมยังไม่ถูกผูกมัดบน Ethereum แบบเข้มงวด
ขั้นที่สอง แบตช์ของธุรกรรมจะถูกส่งต่อให้ prover ซึ่งเป็นซอฟต์แวร์ (หรือฮาร์ดแวร์) เฉพาะทางที่รันอัลกอริทึม ZK proving Prover จะนำสถานะก่อนรันธุรกรรม ธุรกรรมทั้งหมด และสถานะหลังรัน มาสร้าง validity proof เพื่อยืนยันว่าการเปลี่ยนสถานะทั้งหมดนั้นถูกต้องตามกติกา ขั้นตอนนี้ใช้ทรัพยากรหนัก และอาจใช้เวลาตั้งแต่ไม่กี่วินาทีไปจนถึงหลายสิบวินาทีหรือเป็นนาที ขึ้นกับระบบ
ขั้นที่สาม Proof พร้อมด้วยข้อมูลธุรกรรมที่ถูกบีบอัดในปริมาณเล็กน้อยจะถูกส่งขึ้นสมาร์ตคอนแทรกต์บน Ethereum ที่เรียกว่า verifier contract
คอนแทรกต์ตัวนี้จะตรวจสอบ proof ด้วยการเรียก on-chain เพียงครั้งเดียว ใช้แก๊สคงที่ไม่ว่าจะแพ็กธุรกรรมมากี่รายการก็ตาม เมื่อการตรวจสำเร็จ รากสถานะ (state root) ของ Layer 2 จะถูก “ล็อก” ไว้บน Ethereum และได้รับการมองว่า “ปลอดภัยระดับเดียวกับธุรกรรมเมนเน็ต”
อ่านเพิ่มเติม: XRP ETF Appears In National Bank Of Canada’s $111K Crypto Fund Disclosure
Modular ZkEVM และการเชื่อมข้ามเชน
ดีไซน์ ZkEVM แบบดั้งเดิมตั้งต้นจากสมมติฐานว่า “มีชั้นเคลียร์ธุรกรรมเดียว” คือ Ethereum ทุกอย่างถูกพิสูจน์ และเคลียร์บน Ethereum mainnet เท่านั้น แต่สถาปัตยกรรมยุคใหม่ที่เรียกว่า modular ZkEVM แยกชั้น execution, proving และ settlement ออกจากกัน ให้ประกอบร่างได้อย่างยืดหยุ่น
ตรงนี้เองที่โปรเจ็กต์อย่าง Prom เข้ามามีบทบาท
Prom นิยามตัวเองว่าเป็น Layer 2 แบบ modular ZkEVM ที่ออกแบบมาเพื่อการเชื่อมต่อระหว่างเชนทั้งที่เป็น EVM และไม่ใช่ EVM แทนที่จะพิสูจน์และเคลียร์เฉพาะบน Ethereum เพียงเครือข่ายเดียว Prom จะส่ง proof ชุดเดียวไปยังหลายเชนพร้อมกัน กลายเป็น “สะพานเชิงคณิตศาสตร์” เชื่อมระบบนิเวศที่เดิมไม่มีวิธีเชื่อมแบบ trustless
แนวทางแบบ modular มีความหมายเชิงกลยุทธ์ เพราะมันยกเลิกสมมติฐานที่ว่า Ethereum ต้องเป็นพื้นผิวการเคลียร์เพียงแห่งเดียว
สุดท้ายแล้ว ZkEVM proof ก็เป็นแค่ “สมการคณิตศาสตร์” ถ้า Chain A และ Chain B ต่างก็มี verifier contract ที่ตรวจสมการนี้ได้ Proof ชุดเดียวก็เพียงพอที่จะไฟนอลไลซ์การเปลี่ยนสถานะบนทั้งสองเชนพร้อมกัน นี่คือจุดที่ ZK proof ก้าวจาก “เทคนิคเพิ่มสเกล” ไปเป็น “กลไกเชื่อมโยงสากล” ของหลายเชน
สถาปัตยกรรม modular ZkEVM ทำให้ชั้น execution กับชั้น settlement หลุดจากกันอย่างสมบูรณ์ Proof ความถูกต้องชุดเดียวกันสามารถถูกตรวจบน Ethereum บนเชนที่ไม่ใช่ EVM หรือทั้งคู่พร้อมกัน สร้างแหล่งความจริงเชิงคริปโตกราฟีร่วมกันข้ามระบบนิเวศที่เดิมแทบคุยกันไม่รู้เรื่อง
อ่านเพิ่มเติม: [TRON Cleared $2.1 Trillion In USDT, But Its DeFi Pool Shrank ] 1.9%
ZkEVM ปะทะ Optimistic Rollups เทียบกันแบบตัวต่อตัว
การถกเถียงระหว่าง ZkEVM กับ optimistic rollups โผล่ขึ้นมาแทบทุกวงสนทนา และก็มีเหตุผลรองรับชัดเจน เพราะทั้งคู่พุ่งเป้าแก้ปัญหาเดียวกัน แต่ใช้แนวคิดคนละขั้ว
ฝั่ง optimistic rollups จะ “สมมติว่าทุกทรานซ์แอ็กชันถูกต้อง” เป็นค่าเริ่มต้น แล้วค่อยย้อนกลับไปตรวจสอบก็ต่อเมื่อมีคนยื่น “fraud proof” ท้าทายภายในหน้าต่างเวลาไดสพิวต์ (โดยทั่วไปประมาณ 7 วัน) โมเดลนี้ทำให้ระบบเดินต้นทุนถูกกว่า สร้างง่ายกว่า แต่แลกมาด้วยการถอนเหรียญกลับ Ethereum mainnet ที่กินเวลาราวหนึ่งสัปดาห์ หากไม่ใช้สะพานสภาพคล่อง (liquidity bridge) ปัจจุบัน Arbitrum และ Optimism คือสองเครือข่าย optimistic rollup ตัวหลักของตลาด
ฝั่ง ZkEVM rollups คิดคนละแบบ คือ “ไม่เชื่ออะไรเลย” ชุดธุรกรรมทุกบล็อกจะถือว่าไม่ถูกต้องจนกว่าจะมี zero-knowledge proof มายืนยัน ทำให้ภาระคอมพิวต์ฝั่ง prover สูงกว่า แต่ผลลัพธ์คือการถอนเหรียญกลับ Ethereum ทำได้ในระดับ “ไม่กี่ชั่วโมง” แทนที่จะต้องรอหลายวัน และไม่ต้องพึ่ง “ผู้เฝ้าระวังที่ซื่อสัตย์” มานั่งจับโกง
สำหรับผู้ใช้งานทั่วไป ความต่างเชิงปฏิบัติแยกออกมาได้ประมาณนี้:
- ความเร็วในการถอน: ZkEVM ชนะขาด การปิดสถานะด้วย proof ใช้เวลาแค่ชั่วโมง ในขณะที่การถอนแบบ native บน optimistic rollups ยังต้องรอหน้าต่าง 7 วัน
- ต้นทุนธุรกรรม: ตอนนี้ optimistic rollups ยังได้เปรียบด้านค่าใช้จ่ายในหลายกรณี เพราะต้นทุนสร้าง proof ยังสูงกว่า แต่ช่องว่างกำลังแคบลงเรื่อย ๆ ตามพัฒนาการของฮาร์ดแวร์และอัลกอริทึม prover
- โมเดลด้านความปลอดภัย: ZkEVM ให้ “การรับประกันเชิงคริปโทกราฟี” ว่าสถานะถูกต้อง ขณะที่ optimistic rollups ใช้ “แรงจูงใจเชิงเศรษฐศาสตร์” ผ่าน fraud proofs ซึ่งแข็งแรงมากแต่ไม่ใช่การรับประกันทางคณิตศาสตร์แบบเดียวกัน
- ความเข้ากันได้กับ EVM: ZkEVM รุ่นใหม่ (Type 2/3) ไล่ทันจนอุดช่องว่างได้เกือบหมด รองรับเครื่องมือและโครงสร้างเดิมของ Ethereum แทบทั้งหมด ข้อได้เปรียบเดิมของ optimistic rollups ด้าน compatibility จึงหดลงอย่างมีนัยสำคัญ
- ความเสี่ยงด้าน liveness: ระบบ ZkEVM มีความเสี่ยงหยุดชะงักหาก prover ล้มเหลว ในขณะที่ optimistic rollups ยังประมวลผลต่อได้ตราบเท่าที่ sequencer ยังทำงานอยู่
ท้ายสุดไม่มีแนวทางไหนดีกว่าแบบเบ็ดเสร็จ แอปพลิเคชันที่เน้นปริมาณธุรกรรมสูง ต้องการต้นทุนต่ำ และรับได้กับหน้าต่างถอนเงินยาว มักเอนเอียงไปฝั่ง optimistic rollups ขณะที่แอปที่ต้องการ finality เร็ว การชำระบัญชีข้ามเชน หรือการรับรอง “ความถูกต้องเชิงคณิตศาสตร์” จะให้คะแนน ZkEVM มากกว่า
อ่านเพิ่มเติม: หุ้น CoreWeave พุ่ง 11% หลังรายได้ Q2 ทะยานเท่าตัว หนุนด้วยคลื่นลงทุน AI
ใครคือผู้ได้รับประโยชน์จาก ZkEVM ในเวลานี้
ZkEVM ไม่ใช่เทคโนโลยีในกระดาษวิจัยที่ต้องรออนาคตอีกต่อไป เครือข่ายหลายรายเปิดให้ใช้งานจริง มีมูลค่า TVL และฐานผู้ใช้ที่จ่ายค่าธรรมเนียมจริง แต่การเข้าใจว่า “ใคร” ได้ประโยชน์จาก “ส่วนไหน” ของสแตกจึงยังสำคัญ
โปรโตคอล DeFi ที่ย้ายออกจาก Ethereum mainnet ได้ประโยชน์ชัดเจนจาก execution semantics ที่แทบเหมือนกันทุกประการ (Type 2/3) ควบคู่กับต้นทุนก๊าซที่ลดฮวบ โปรโตคอลที่เคยเก็บค่าก๊าซต่อการสวอประดับ 30 ดอลลาร์บน mainnet จนผู้เล่นรายย่อยต้องถอย อาจลดเหลือไม่ถึงหนึ่งเซ็นต์ต่อทรานซ์แอ็กชันบน ZkEVM ได้ โดยแทบไม่ต้องแก้ไขสัญญาอัจฉริยะเดิม
สะพานข้ามเชนและแอป cross-chain ได้อานิสงส์จากสถาปัตยกรรม ZkEVM แบบโมดูลาร์ที่สามารถโพสต์ proof ข้ามหลายเชน แทนการต้องไปพึ่ง multisig bridge ซึ่งเป็นหมวดโปรเจ็กต์ที่โดนแฮ็กรุมกระหน่ำที่สุดในโลกคริปโต ผู้ใช้สามารถเปลี่ยนมาพึ่ง “หลักฐานทางคณิตศาสตร์บนเชน” แทน “ความน่าเชื่อถือของคนเซ็นรวม”
องค์กรและสถาบันการเงิน ที่สร้างแอปแบบ permissioned หรือกึ่ง permissioned ได้ execution environment ที่ผ่านการพิสูจน์ พร้อมความสามารถตรวจสอบย้อนกลับเชิงคริปโทกราฟี ทุก state transition สามารถพิสูจน์ความถูกต้องได้ ซึ่งมีความหมายต่อมุม compliance และการทำบัญชีโดยตรง
นักพัฒนา ที่เริ่มโปรเจ็กต์ใหม่วันนี้ควรเข้าใจดีลแลกเปลี่ยนระหว่าง Type 4 กับ Type 2 ให้ชัดก่อนเลือกเชน ถ้าเขียน Solidity ใหม่ทั้งหมดและต้องการความเร็วในการสร้าง proof สูงสุด ค่าธรรมเนียมถูกที่สุด เครือข่าย Type 4 อาจตอบโจทย์ แต่ถ้ากำลังย้ายโปรโตคอลเดิม และไม่ต้องการเสี่ยงกับความแตกต่างเชิงพฤติกรรม Type 2 หรือ Type 3 คือทางเลือกที่ปลอดภัยกว่า
ผู้ใช้ทั่วไปจะสัมผัส ZkEVM แค่ในฐานะเชนที่ “ถูก เร็ว และใช้เหมือน Ethereum” กระเป๋าเดิมใช้ได้ โทเคนเดิมสะพานข้ามมาได้ เครื่องจักร zero-knowledge ใต้ฝากระโปรงแทบมองไม่เห็น ซึ่งนั่นคือคุณสมบัติของ “โครงสร้างพื้นฐานที่ดี” ตามนิยาม
อ่านเพิ่มเติม: Monad ทำสถิติ TVL ทะลุ 868 ล้านดอลลาร์ แต่ดีมานด์โทเคน MON ยังบางเบา
บทสรุป
ZkEVM คือโจทย์ “การทำให้สิ่งที่ไม่เป็นระเบียบกลายเป็นคณิตศาสตร์” ที่ยากที่สุดโจทย์หนึ่งในโลกคริปโทกราฟีเชิงประยุกต์ — การบังคับให้ virtual machine ที่ออกแบบมาโดยไม่ยึดโครงสร้างทางคณิตศาสตร์ เดินเกมบนภาษาของ zero-knowledge proofs ให้ได้
ทีมที่แก้โจทย์นี้สำเร็จใช้เวลาหลายปีต่อสู้กับปัญหาไม่ลงรอยกันของฟังก์ชันแฮช การระเบิดของจำนวน constraints และข้อจำกัดของฮาร์ดแวร์ prover ที่ตอนเขียนงานวิจัยยังไม่มีอยู่จริงด้วยซ้ำ
สมรภูมินี้ยังเดินเกมเร็วมาก เวลาในการสร้าง proof ยังหดสั้นลงอย่างต่อเนื่อง เครือข่าย prover แบบกระจายศูนย์เริ่มขึ้นระบบ การไต่ระดับไปสู่ Type 1 ที่เทียบเท่า Ethereum แบบเต็มตัว ยังเป็นเป้าหมายที่หลายทีมกำลังเร่งปิดช่องว่างให้ถึง
สำหรับผู้สร้างหรือผู้ลงทุนในระบบนิเวศ Ethereum การเข้าใจว่า ZkEVM ทำงาน “จริง ๆ” อย่างไร ไม่ใช่แค่ตามสโลแกนการตลาด คือรากฐานของการตัดสินใจเชิงกลยุทธ์ทุกข้อจากนี้ไป
อ่านต่อ: Nvidia เดินเกม筹เงิน AI 5 แสนล้านดอลลาร์ ดันโทเคนคริปโตสาย Compute เข้าข่ายต้องจับตา
