อุปสรรคมูลค่าพันล้านดอลลาร์ที่ทำให้ธุรกรรมคริปโตของคุณมีค่าใช้จ่ายสูง | ความคิดเห็น

การเปิดเผยข้อมูล: มุมมองและความคิดเห็นที่แสดงในที่นี้เป็นของผู้เขียนเพียงผู้เดียว และไม่ได้เป็นตัวแทนของมุมมองและความคิดเห็นของบรรณาธิการ crypto.news

คุณพยายามเชื่อมต่อ $50 จาก Ethereum (ETH) ไปยัง ZK-rollup เช่น zkSync โดยคาดหวังว่าจะจ่ายเพียงไม่กี่เซนต์ แต่กลับถูกเรียกเก็บค่าธรรมเนียมระหว่าง $0.15 ถึง $0.50 จากกระเป๋าเงินของคุณ นั่นเป็นเรื่องยากที่จะยอมรับได้เมื่อคุณรู้ว่า optimistic rollups เมื่อเทียบกับ ZK-rollups มักจะถูกกว่าถึงสามเท่า และการอัปเกรด Dencun ลดต้นทุนข้อมูลลงกว่า 90% คอขวดไม่ได้อยู่ที่ความแออัดของเครือข่าย แต่อยู่ที่ตัวการพิสูจน์เอง

สรุป

• ค่าธรรมเนียม ZK-rollup ถูกครอบงำโดยการพิสูจน์ ไม่ใช่ข้อมูลหรือการดำเนินการ: การสร้างการพิสูจน์กินค่าธรรมเนียม 60–70% เนื่องจากการเข้ารหัสที่ไม่มีประสิทธิภาพกับ GPU สร้างตลาดเครื่องพิสูจน์แบบรวมศูนย์มูลค่าประมาณ $97 ล้าน ที่ทำให้ค่าธรรมเนียม ZK ยังคงสูงแม้จะมีการอัปเกรด Dencun ของ Ethereum
• สิ่งนี้สร้างกับดักของการรวมศูนย์และความปลอดภัย: มากกว่า 90% ของ ZK-L2s พึ่งพาผู้ให้บริการ prover-as-a-service เพียงไม่กี่ราย ทำให้เกิดการเซ็นเซอร์ การสกัด MEV ความขัดข้อง และการดูดเงินแบบ web2 ทำลายการกระจายอำนาจและการนำไปใช้
• วิธีแก้ไขคือฮาร์ดแวร์เฉพาะทาง + ตลาดเครื่องพิสูจน์แบบเปิด: ASICs เฉพาะ ZK และการประมูลเครื่องพิสูจน์บนเชนที่มีการแข่งขันสามารถลดต้นทุนลงหลายเท่า กระจายการพิสูจน์ และปลดล็อกค่าธรรมเนียมต่ำกว่าหนึ่งเซนต์ ทำให้การปรับขนาด ZK เป็นไปได้จริงในที่สุด

การสร้างการพิสูจน์ความรู้เป็นศูนย์สำหรับชุดธุรกรรมเป็นกระบวนการที่ต้องใช้ความเข้มข้นสูง มันเกี่ยวข้องกับการดำเนินการทางคณิตศาสตร์หลายล้านล้านครั้ง โดยเฉพาะการคูณเส้นโค้งวงรี ทำงานบนฮาร์ดแวร์ที่ไม่ได้ออกแบบมาสำหรับงานนี้ ตามข้อมูลจาก L2Beat กระบวนการพิสูจน์เพียงอย่างเดียวคิดเป็น 60-70% ที่น่าทึ่งของค่าธรรมเนียมทั้งหมดบน ZK-L2s

สิ่งนี้สร้างตลาดแบบรวมศูนย์ของ "ฟาร์มเครื่องพิสูจน์" ที่คาดว่ามีมูลค่ากว่า $97 ล้าน นี่คือคอขวดมูลค่าหลายพันล้านดอลลาร์ มันเป็นระบบแบบรวมศูนย์ที่กินพลังงานมาก อาศัยฮาร์ดแวร์ที่ไม่เหมาะสม และเป็นเหตุผลว่าทำไมการปรับขนาด ZK ยังรู้สึกเหมือนเป็นคำสัญญามากกว่าความจริง 

โซลูชันมีสองด้าน เราต้องการ ASICs เฉพาะโดเมนและตลาดเครื่องพิสูจน์แบบเปิด เมื่อมีสิ่งเหล่านี้ในที่ ธุรกรรมต่ำกว่าหนึ่งเซนต์สามารถกลายเป็นค่าเริ่มต้น ไม่ใช่ข้อยกเว้น นี่ไม่ใช่จินตนาการ มันเป็นความจริงทางวิศวกรรมที่รอการรับเข้ามา

ค่าธรรมเนียมของคุณไปที่ไหนจริงๆ

ธุรกรรม ZK-rollup มีต้นทุนหลายอย่าง การดำเนินการ L2 เกือบจะฟรี การโพสต์ข้อมูลไปยังเมนเน็ตก็ถูกในตอนนี้เช่นกัน ต้องขอบคุณ blobs ซึ่งมีค่าใช้จ่ายหนึ่งในสิบของหนึ่งเซนต์ต่อธุรกรรม สัตว์ร้ายที่แท้จริงคือการพิสูจน์ การพิสูจน์เดียวสำหรับชุดธุรกรรม 4,000 รายการอาจใช้เวลาตั้งแต่สองถึงห้านาทีในการสร้างบน GPU A100 ระดับไฮเอนด์ 

สิ่งนี้มีค่าใช้จ่ายระหว่าง $0.04 ถึง $0.17 ในค่าคลาวด์คอมพิวติ้งเพียงอย่างเดียว ตามมาตรฐานจาก Brevis เมื่อคุณกระจายต้นทุนนั้น มันออกมาประมาณหนึ่งถึงสี่เซนต์ต่อธุรกรรม แต่ภายใต้โหลดหนัก มันสามารถเพิ่มขึ้นได้ง่ายๆ เกินกว่าสิบเซนต์

การพิสูจน์ ZK ไม่เหมือนกับคณิตศาสตร์เมทริกซ์ที่ใช้ใน AI มันอาศัยการคูณสเกลาร์หลายตัว (MSMs) และการแปลงทฤษฎีจำนวน (NTTs) บนเส้นโค้งวงรี การดำเนินการเหล่านี้เป็นภาระหนักสำหรับ GPUs ซึ่งออกแบบมาสำหรับการดำเนินการจุดลอยตัวแบบขนาน การพิสูจน์ Groth16 เดียวต้องการการดำเนินการฟิลด์ประมาณ 10¹² ครั้ง

ตามการทดสอบโดย Ingonyama ประมาณ 80% ของรอบ GPU จะไม่ทำงานในระหว่างกระบวนการนี้ ฮาร์ดแวร์ไม่เหมาะสมจริงๆ ในไตรมาสที่ 1 ปี 2025 รายงานของ zkSync Era แสดงให้เห็นว่าการพิสูจน์คิดเป็น 65% ของรายได้ $2.3 ล้านของพวกเขา 

นั่นคือ $1.5 ล้านที่ไปตรงไปยังคลัสเตอร์แบบรวมศูนย์ ในขณะเดียวกัน ทีม rollup จ่าย AWS $1,000 ถึง $5,000 ต่อเดือนต่อเครื่อง และต้นทุนนั้นเพิ่มขึ้นเชิงเส้นตรงกับปริมาณ ไม่น่าแปลกใจเลยที่มูลค่ารวมที่ถูกล็อกใน ZK L2s ชั้นนำติดอยู่ที่ $3.3 พันล้าน ในขณะที่ optimistic rollups เกิน $40 พันล้านไปแล้ว

แต่ optimistic rollups (Base, Arbitrum, Optimism ฯลฯ) ก็ไม่ใช่โซลูชันที่สมบูรณ์เช่นกัน เนื่องจากมันมาพร้อมกับการแลกเปลี่ยนอย่างมาก Optimistic rollups ต้องการความล่าช้าในการถอนอย่างน้อยเจ็ดวันเพื่อให้ตัวตรวจสอบที่เฝ้าระวังสามารถท้าทายการเปลี่ยนสถานะที่ไม่ถูกต้อง ในโลกของ DeFi ที่เคลื่อนไหวรวดเร็ว เวลารอนี้ยาวเกินไปสำหรับกรณีการใช้งานส่วนใหญ่ เครือข่ายเหล่านี้ยังต้องการให้ผู้ใช้ไว้วางใจตัวตรวจสอบที่เฝ้าระวังเหล่านี้ แม้ว่าสิ่งนี้อาจไม่เป็นไรสำหรับธุรกรรมมูลค่าต่ำเช่นเกม web3 หรือโซเชียลมีเดีย แต่มันยังมีอะไรที่ต้องการมากเมื่อพูดถึงสินทรัพย์ในโลกจริงและกรณีการใช้งานทางการเงินที่ทรงพลังอื่นๆ

ดังนั้น เส้นทางสู่ธุรกรรมที่ปรับขนาดได้จริง ถูก และปลอดภัยจึงไม่ได้อยู่ที่การหลีกเลี่ยงการสร้างการพิสูจน์ แต่อยู่ที่การปฏิวัติมัน

นี่คือความไม่มีประสิทธิภาพหลัก: เราจ่ายค่าพรีเมียม web2 ทั้งในแง่ของต้นทุนและการรวมศูนย์ เพื่อสร้างความไว้วางใจสำหรับเครือข่ายแบบกระจายอำนาจ ค่าธรรมเนียมการพิสูจน์ไม่ใช่แค่ค่าใช้จ่าย มันเป็นสมอเศรษฐกิจที่ขัดขวางการนำ ZK ไปใช้ จนกว่าการสร้างการพิสูจน์จะถูกเท่ากับการดำเนินการ ZK-rollups จะยังคงติดอยู่ในระบบที่จุดแข็งที่ยิ่งใหญ่ที่สุดของพวกเขา คือความปลอดภัยทางการเข้ารหัส ก็เป็นคอขวดที่มีค่าใช้จ่ายสูงที่สุดของพวกเขาด้วย และต้นทุนนั้นไม่ได้แค่ทำให้ค่าธรรมเนียมสูงขึ้น มันสร้างกับดักแบบรวมศูนย์ที่เราต้องหนีออกมาตอนนี้

กับดักการรวมศูนย์

มากกว่า 90% ของ ZK-rollups จ้างงานภายนอกให้กับบริษัท "prover-as-a-service" เพียงไม่กี่แห่ง สิ่งนี้สร้างจุดเดียวของความล้มเหลวอย่างมหาศาล ในเดือนมีนาคม 2025 ผู้ดำเนินการ Blast แช่แข็งธุรกรรมของผู้โจมตีและผู้ใช้ที่บริสุทธิ์ 12,000 รายเป็นเวลา 48 ชั่วโมง เครื่องพิสูจน์แบบรวมศูนย์เห็นชุดข้อความธรรมดา สกัด MEV และปฏิเสธธุรกรรม dYdX ใช้ multisig 3-of-5 หมายความว่าคนในสามคนสามารถยึดเชนได้ สิ่งนี้สะท้อนปัญหาการพึ่งพาฮาร์ดแวร์ในระบบบล็อกเชนอื่นๆ เช่นกลไกฉันทามติของ Solana

การรวมศูนย์นี้สร้างความเปราะบาง เครื่องพิสูจน์ชั้นนำมี uptime 99.2% แต่ความขัดข้อง AWS เดียวสามารถลุกลามได้ ในไตรมาสที่ 2 ปี 2025 Starknet สูญเสีย throughput 20% เนื่องจากโหนดเดียวล้มเหลว ผู้ให้บริการเหล่านี้จับ margin 80% ทำให้ rollups ต้องจ่ายค่าเช่า ในขณะที่ L1 ของ Ethereum ให้ความปลอดภัย มันเป็นความขัดแย้งทางสถาปัตยกรรม เรามี L2s "แบบกระจายอำนาจ" ที่พึ่งพาศูนย์ข้อมูล Web2 ตามที่ Vitalik Buterin กล่าวที่ Devcon 2024 "จ้างการพิสูจน์ภายนอก และคุณไม่ได้ปรับขนาดอะไรเลย แค่ไว้วางใจ oracle ใหม่"

การแก้ไขอยู่ที่นี่

เพื่อแก้ปัญหานี้ เราต้องการแนวทางสองทาง เราต้องการซิลิคอนที่สร้างขึ้นสำหรับ ZK และเราต้องการตลาดเพื่อกระจายมัน อันดับแรก ฮาร์ดแวร์ GPUs เหมือนรถแข่งบนทางด่วน พวกมันดีเยี่ยมสำหรับการดำเนินการเทนเซอร์ที่ใช้ใน AI แต่แย่มากสำหรับการดำเนินการโค้งที่ใช้ใน ZK นี่คือจุดที่ ASICs เฉพาะโดเมนเข้ามา

ผู้ชนะการแข่งขัน ZPrize 2025 สามารถสร้างการพิสูจน์ STARK ที่ 6-8 วินาทีบน FPGAs นั่นคือ 10-100 เท่าเร็วกว่าต่อวัตต์เมื่อเทียบกับ GPU เพราะพวกเขาเชื่อมต่อแบบฮาร์ดแวร์ MSMs และ NTTs Cysic กำลังผลิต ASICs ที่สามารถสร้างการพิสูจน์สำหรับวงจรพันล้านเกตในเวลาไม่ถึงสองวินาที และพวกเขาทำได้ด้วยการลดการใช้พลังงาน 50 เท่า นี่คือวิวัฒนาการเดียวกับที่เราเห็นกับการขุด Bitcoin (BTC) เราไปจาก CPUs ไปยัง ASICs แต่ครั้งนี้มันเพื่อความจริง ไม่ใช่เพื่อแฮช

ประการที่สอง ตลาด เราต้องทิ้งโมเดล SaaS และปฏิบัติต่อเครื่องพิสูจน์เป็นสินค้าโภคภัณฑ์ Mainnet 2025 ของ Succinct เป็นตัวอย่างของสิ่งนี้ Rollups โพสต์งานไปยังการประมูลที่ใช้ Ethereum และเครื่องเฉพาะทางเสนอราคาในไม่กี่วินาที Brevis ProverNet บรรลุความเร็ว CPU 20 เท่าผ่านคลัสเตอร์ GPU พร้อม slashing สำหรับโหนดขี้เกียจ

ผลลัพธ์คือการลดต้นทุน 40% การกระจายมูลค่าอย่างเท่าเทียม และความต้านทานการเซ็นเซอร์ ใครก็สามารถพิสูจน์ได้ Ethereum ตรวจสอบ ZPrize 2025 recursive aggregation ตรวจสอบการพิสูจน์ในเวลาไม่ถึง 200 มิลลิวินาทีบนเชน บอท DeFi มูลค่า $10,000 สามารถรัน ZK-ML ส่วนตัวบน L2 ในราคาหนึ่งในพันของหนึ่งเซนต์ต่อธุรกรรม

ปลดล็อกประตูน้ำ

การพิสูจน์ที่ถูกลงจะนำไปสู่ค่าธรรมเนียมที่คาดเดาได้ ต่ำกว่า $0.01 ที่ 15,000 TPS ตามแผนงาน zkSync Atlas สิ่งนี้ปลดล็อก NFTs แบบจ่ายต่อพิกเซล เศรษฐกิจเกมเรียลไทม์ และตัวแทน AI ที่ชำระการซื้อขายโดยไม่มี frontrunning L2s กลายเป็นโครงสร้างพื้นฐานที่เป็นกลาง ไม่ใช่อาณาจักรเครื่องพิสูจน์ 

นักพัฒนามุ่งเน้นไปที่การเพิ่มประสิทธิภาพ VM แทนการจัดการฟาร์มเซิร์ฟเวอร์ขนาดใหญ่ สิ่งนี้จุดประกายนวัตกรรมแอปสิบเท่า ZK TVL เติบโตจาก $28 พันล้านในปี 2025 เป็นกว่า $100 พันล้าน โอกาสที่แท้จริงเป็นระบบ 

เมื่อการพิสูจน์กลายเป็นเรื่องถูกและกระจายอำนาจ คุณค่าทั้งหมดจะชัดเจนขึ้น ผู้ใช้ได้ความเร็วและต้นทุน นักพัฒนาได้แพลตฟอร์มที่ไม่ต้องไว้วางใจผู้ดำเนินการเพียงไม่กี่คน Ethereum ได้โซลูชันการปรับขนาดที่รักษาการรับประกันความปลอดภัยโดยไม่ต้องประนีประนอม

การต่อสู้อยู่ที่นี่

อุปสรรคที่ใหญ่ที่สุดต่อการนำ ZK ไปใช้ไม่ใช่คริปโตหรือเกม มันคือเศรษฐศาสตร์วิศวกรรม โครงสร้างพื้นฐานแบบรวมศูนย์กำลังขัดขวางความจริงที่ปรับขนาดได้ สงครามไม่ได้อยู่ที่ฉันทามติ มันอยู่ในฮาร์ดแวร์และตลาดสำหรับการคำนวณที่ตรวจสอบได้ ส่งเครื่องพิสูจน์แบบกระจายอำนาจที่เร่งความเร็ว และเราส่งมอบธุรกรรมที่ถูกและไม่ต้องไว้วางใจสำหรับผู้คนหลายพันล้านคน 

เราไม่ต้องการเจ้านายเครื่องพิสูจน์ เราต้องการตลาดโลกสำหรับการพิสูจน์ ที่ทุกคนมีส่วนร่วม ทุกคนตรวจสอบ และเว็บเปิดปลอดภัย

Leo Fan

Leo Fan เป็นผู้ก่อตั้งและ CEO ของ Cysic.xyz เครือข่ายคอมพิวท์แบบ full-stack แห่งแรกที่ให้บริการการพิสูจน์ความรู้เป็นศูนย์แบบเรียลไทม์ การคำนวณ AI ที่เร่งด้วยฮาร์ดแวร์ และการเข้าถึงฮาร์ดแวร์ประสิทธิภาพสูงแบบโทเค็นผ่าน ComputeFi ด้วยปริญญาเอกด้านการเข้ารหัสจาก Cornell และประสบการณ์ที่ครอบคลุมการวิจัยวิชาการ การออกแบบ FPGA/ASIC วิศวกรรมโปรโตคอล และไปป์ไลน์ฮาร์ดแวร์รุ่นใหม่ Leo ได้ช่วยเปลี่ยนการพิสูจน์ความรู้เป็นศูนย์จากโครงสร้างทางทฤษฎีไปเป็นระบบระดับอุตสาหกรรม ที่ Cysic Leo นำทีมสหวิทยาการที่ออกแบบ ASICs ที่เพิ่มประสิทธิภาพ ZK และ AI คลัสเตอร์การพิสูจน์ GPU ที่มี throughput สูง และเครือข่ายคอมพิวท์แบบกระจายอำนาจที่แปลงคอมพิวท์เป็นสินทรัพย์บนเชนที่โปรแกรมได้ การสนทนานี้เกิดขึ้นหนึ่งวันหลังการเปิดตัว mainnet ของ Cysic ทำให้เป็นโอกาสที่ดีในการเจาะลึกว่า mainnet ปลดล็อกอะไรสำหรับประสิทธิภาพ การกระจายอำนาจ และการใช้งานในโลกจริง