Brevis ได้เปิดตัว ProverNet Whitepaper ซึ่งให้รายละเอียดเกี่ยวกับตลาดการสร้างหลักฐานความรู้เป็นศูนย์แบบกระจายอำนาจแห่งแรก
ที่มา: Brevis
วันนี้ Brevis ได้เปิดตัว ProverNet Whitepaper ซึ่งนำเสนอสถาปัตยกรรมตลาดการสร้างหลักฐานแบบ Zero-Knowledge แบบกระจายศูนย์ ซึ่งพัฒนามาจากการทดสอบจริงในสภาพแวดล้อมการผลิตโปรโตคอลแบบหลายเชนหลัก ระบบนี้ช่วยแก้ไขข้อจำกัดหลักในโครงสร้างพื้นฐานหลักฐานที่มีอยู่ นั่นคือการไม่สามารถรองรับเวิร์กโหลดการประมวลผลที่หลากหลายซึ่งต้องใช้ฮาร์ดแวร์ ระบบหลักฐาน และวิธีการเพิ่มประสิทธิภาพที่แตกต่างกันได้อย่างมีประสิทธิภาพ
ProverNet มองว่าการสร้างหลักฐานเป็นตลาดสองด้าน โดยที่แอปพลิเคชันจะส่งคำขอเฉพาะเจาะจง และผู้พิสูจน์เฉพาะทางจะเสนอราคาเพื่อตอบสนองความต้องการเหล่านี้ ตลาดนี้ดำเนินงานผ่านกลไกการประมูลแบบคู่ออนไลน์ที่ซื่อสัตย์ (Truthful Online Double Auction) ซึ่งออกแบบมาเพื่อจัดการหลักฐานหลายประเภทพร้อมกัน พร้อมทั้งรับประกันการเสนอราคาที่ซื่อสัตย์และการจัดสรรทรัพยากรอย่างเหมาะสมที่สุด ProverNet วางแผนที่จะเปิดตัวภายในสิ้นปี 2568
โครงสร้างพื้นฐานปัจจุบันของ Brevis ได้สร้างหลักฐานพิสูจน์แล้วกว่า 124 ล้านรายการสำหรับผู้ใช้ 98,000 ราย ซึ่งครอบคลุมโปรโตคอลต่างๆ เช่น PancakeSwap, Uniswap, Euler, Linea และ MetaMask ส่งผลให้การแจกจ่ายรางวัลแบบไม่ต้องไว้วางใจมีมูลค่าถึง 224 ล้านดอลลาร์สหรัฐ การใช้งานเหล่านี้เผยให้เห็นถึงความหลากหลายของงานพิสูจน์แล้วอย่างชัดเจน ทำให้สถาปัตยกรรมของผู้ให้บริการรายเดียวไม่สามารถให้บริการได้อย่างมีประสิทธิภาพ
ระบบส่วนลดค่าธรรมเนียม VIP ของ PancakeSwap กำหนดให้สร้างหลักฐานยืนยันตัวตน (proofs) ในเวลาไม่ถึงวินาทีสำหรับเทรดเดอร์แต่ละรายก่อนการซื้อขายแต่ละครั้งเพื่อยืนยันสิทธิ์ ระบบแจกจ่ายสิ่งจูงใจของออยเลอร์ประมวลผลที่อยู่ 100,000 ที่อยู่ทุกสี่ชั่วโมง โดยให้ความสำคัญกับปริมาณงานมากกว่าความหน่วง กิจกรรมระบบนิเวศของ Linea ได้สร้างหลักฐานยืนยันตัวตน 12.1 ล้านรายการสำหรับการคำนวณผลตอบแทนแบบหลายโปรโตคอล ซึ่งครอบคลุมที่อยู่ 61,902 ที่อยู่ แต่ละเวิร์กโหลดต้องการการกำหนดค่าฮาร์ดแวร์ ระบบหลักฐาน (SNARK เทียบกับ STARK) และคุณลักษณะด้านประสิทธิภาพที่แตกต่างกัน
ไมเคิล ซีอีโอและผู้ร่วมก่อตั้ง Brevis กล่าวว่า "ระบบพิสูจน์ที่มีอยู่ได้รับการปรับให้เหมาะสมสำหรับกรณีการใช้งานเฉพาะ เช่น Rollup บางประเภท เครื่องเสมือนเดี่ยว หรือประเภทเวิร์กโหลดที่มีลักษณะเดียวกัน จุดเริ่มต้นของ ProverNet เกิดจากการที่เราสังเกตว่าโดยพื้นฐานแล้วแอปพลิเคชันต่างๆ จำเป็นต้องใช้วิธีการพิสูจน์ที่แตกต่างกัน ตลาดที่มีผู้พิสูจน์เฉพาะทางแข่งขันกันนั้นมีประสิทธิภาพมากกว่าผู้ให้บริการรายเดียวที่พยายามให้บริการทุกกรณีการใช้งาน"
สถาปัตยกรรมของ ProverNet ถือว่าประเภทการพิสูจน์ที่แตกต่างกันเป็นสินค้าโภคภัณฑ์ที่แตกต่างกันในการประมูล แอปพลิเคชันจะกำหนดข้อกำหนดการพิสูจน์ ซึ่งรวมถึงประเภทการประมวลผล (การดำเนินการ zkVM, การพิสูจน์ข้อมูล, การรวมแบบเรียกซ้ำ), กำหนดเวลา, ค่าธรรมเนียมสูงสุด และพารามิเตอร์คุณภาพ กลไก TODA จะคำนวณการจัดสรรที่เหมาะสมที่สุดในแต่ละรอบ โดยจับคู่คำขอที่แตกต่างกันกับความสามารถในการพิสูจน์ที่เหมาะสม
กลไกนี้ช่วยแก้ปัญหาเฉพาะตัวของตลาดการสร้างหลักฐาน กลไกการประมูลแบบดั้งเดิมตั้งอยู่บนสมมติฐานที่ว่าสินค้าเป็นเนื้อเดียวกัน ในขณะที่ TODA สามารถจัดการหลักฐานหลายประเภทพร้อมกันได้ งานพิสูจน์ที่ซับซ้อนจะถูกแบ่งออกเป็นงานย่อย ซึ่งผู้พิสูจน์หลายคนร่วมกันดำเนินการ
ตัวอย่างเช่น การพิสูจน์ zkVM อาจเกี่ยวข้องกับการแบ่งส่วนข้อมูลบนตัวพิสูจน์หนึ่ง การบีบอัดบนตัวพิสูจน์อื่น การรวบรวมบนตัวพิสูจน์ที่สาม และสุดท้ายการตรวจสอบการบรรจุภัณฑ์บนระบบเฉพาะทางที่สี่
TODA รับประกันคุณสมบัติทางเศรษฐกิจหลายประการ:
ความจริงใจ (กลยุทธ์ที่ดีที่สุดคือการเสนอราคาอย่างซื่อสัตย์)
งบดุล (ค่าธรรมเนียมที่เก็บเกินกว่าค่าธรรมเนียมที่ชำระ)
ความมีเหตุผลส่วนบุคคล (ไม่มีผู้เข้าร่วมคนใดยอมรับงานที่ไม่ทำกำไร)
ความเหมาะสมเชิงอะซิมโทติก (ในขณะที่อุปทานของผู้พิสูจน์เพิ่มขึ้น การจัดสรรจะเข้าใกล้ประสิทธิภาพสูงสุด)
ตลาดนี้ทำงานบน Brevis Chain ซึ่งเป็นสถาปัตยกรรม Rollup เฉพาะที่ออกแบบมาเพื่อการประสานงานการประมูลโดยเฉพาะ สถาปัตยกรรมนี้จะแยกปริมาณงานของตลาดออกจากความแออัดของเครือข่ายเลเยอร์ 1 หรือเลเยอร์ 2 ขณะเดียวกันก็รักษาความโปร่งใสและการมีส่วนร่วมโดยไม่ต้องขออนุญาต หลักฐานที่สร้างขึ้นผ่าน ProverNet สามารถตรวจสอบกับบล็อกเชนเป้าหมายใดๆ ก็ได้
ProverNet สร้างขึ้นบนโครงสร้างพื้นฐานการพิสูจน์ที่มีอยู่ของ Brevis ซึ่งรวมถึงผลิตภัณฑ์เสริมสองรายการเพื่อตอบสนองความต้องการการคำนวณที่แตกต่างกัน
Pico zkVM นำเอาสถาปัตยกรรม "แกนประมวลผลทั่วไป + โคโปรเซสเซอร์ประสิทธิภาพสูง" มาใช้ โดยที่แกนประมวลผลประสิทธิภาพสูงพิเศษจะเชื่อมต่อกับตัวเร่งความเร็วการเข้ารหัสเฉพาะ ช่วยให้โปรแกรมสามารถรันเครื่องเสมือนที่เสถียรได้ในขณะที่ได้รับประโยชน์จากการปรับแต่งฮาร์ดแวร์แบบกำหนดเป้าหมาย
Pico Prism เพิ่งบรรลุการครอบคลุมการพิสูจน์ 99.6% ของบล็อก Ethereum ที่มี Gas Limit 45 ล้านบล็อก โดยพิสูจน์เสร็จ 96.8% ภายใน 12 วินาที ด้วยเวลาพิสูจน์เฉลี่ย 6.9 วินาที ระบบนี้ใช้คลัสเตอร์ GPU 64×RTX 5090 และพิสูจน์แบบเรียลไทม์ด้วยต้นทุนฮาร์ดแวร์ที่ลดลง 50% เมื่อเทียบกับ zkVM รุ่นก่อนหน้า ซึ่งเป็นผู้นำตลาด
โปรเซสเซอร์ร่วมข้อมูล ZK ช่วยให้สัญญาอัจฉริยะสามารถเข้าถึงข้อมูลบล็อคเชนในอดีตและดำเนินการคำนวณที่ตรวจสอบได้นอกเชน
แอปพลิเคชันที่รองรับระบบนี้ ได้แก่ อัตรา VIP ของ PancakeSwap (การตรวจสอบปริมาณการซื้อขาย 30 วันก่อนทำธุรกรรม) การแจกจ่ายรางวัลแบบไม่ต้องไว้วางใจของ Euler (การประมวลผลยอดคงเหลือตามน้ำหนักเวลาของที่อยู่จำนวนหลายพันแห่ง) และส่วนลดเส้นทางของ Uniswap v4 (การตรวจสอบสิทธิ์ความเหมาะสมของธุรกรรมโดยไม่ต้องใช้บัญชีแยกประเภทส่วนกลาง)
การบูรณาการเหล่านี้แสดงให้เห็นข้อกำหนดการพิสูจน์ข้อมูลเข้มข้นที่แตกต่างจากการตรวจสอบการคำนวณวัตถุประสงค์ทั่วไป
ระบบเหล่านี้เมื่อนำมารวมกันจะสร้างความเป็นไปได้ทางเศรษฐกิจของการตรวจสอบการเข้ารหัสแบบเรียลไทม์ที่ชั้นพื้นฐานในขณะที่รองรับประเภทเวิร์กโหลดที่หลากหลายซึ่งเป็นแรงจูงใจให้กับสถาปัตยกรรมตลาด ProverNet
ProverNet แสดงให้เห็นถึงการเปลี่ยนแปลงจากโครงสร้างพื้นฐานของซัพพลายเออร์ที่พิสูจน์เพียงรายเดียวไปสู่การจัดสรรทรัพยากรที่ขับเคลื่อนโดยตลาด เครือข่าย Prover ที่มีอยู่มักได้รับการปรับให้เหมาะสมสำหรับกรณีการใช้งานที่จำกัด (เช่น การพิสูจน์ Rollup เฉพาะ เครื่องเสมือนเฉพาะ หรือประเภทงานที่เป็นเนื้อเดียวกัน) ซึ่งจำกัดความสามารถในการตอบสนองความต้องการที่หลากหลายได้อย่างมีประสิทธิภาพ
รูปแบบการประมูลในตลาดช่วยให้ทีมพิสูจน์สามารถมุ่งเน้นไปที่เป้าหมายการเพิ่มประสิทธิภาพเฉพาะเจาะจง (เช่น การประมวลผลแบบแบตช์บน STARK, การพิสูจน์ SNARK ที่มีความหน่วงต่ำ, การดำเนินการเข้ารหัสเฉพาะ) โดยไม่จำเป็นต้องสร้างโครงสร้างพื้นฐานทั่วไป แอปพลิเคชันจึงได้รับประโยชน์จากราคาที่แข่งขันได้และการรับประกันบริการโดยไม่ต้องผูกติดกับผู้ขาย
สำหรับนักพัฒนา การดำเนินการดังกล่าวจะช่วยขจัดปัญหาในการสร้างสมดุลระหว่างการสร้างโครงสร้างพื้นฐานการพิสูจน์แบบกำหนดเอง (ซึ่งมีราคาแพงและใช้เวลานาน) และการพึ่งพาบริการแบบรวมศูนย์ (ซึ่งต้องมีสมมติฐานความน่าเชื่อถือ) เนื่องจากการตรวจสอบทางเข้ารหัสช่วยให้การคำนวณมีความถูกต้อง ในขณะที่การแข่งขันในตลาดช่วยให้กำหนดราคาได้อย่างมีประสิทธิภาพและมีทรัพยากรพร้อมใช้งาน
เอกสารข้อมูลฉบับเต็มของ ProverNet สามารถพบได้ที่: http://www.brevis.network/whitepaper/provernet.pdf
ภาพรวมทางเทคนิคโดยย่อได้รับการเผยแพร่บนบล็อก Brevis: https://blog.brevis.network/2025/10/28/brevis-provernet-building-the-open-marketplace-for-zero-knowledge-proofs/
บทความนี้เป็นเนื้อหาที่ได้รับการสนับสนุนและไม่สะท้อนมุมมองของ BlockBeats
ยินดีต้อนรับเข้าสู่ชุมชน BlockBeats อย่างเป็นทางการ:
กลุ่มสมัครสมาชิก Telegram: https://t.me/theblockbeats
กลุ่มสนทนา Telegram: https://t.me/BlockBeats_App
บัญชี Twitter อย่างเป็นทางการ: https://twitter.com/BlockBeatsAsia
เนื้อหานี้จัดทำขึ้นโดยมีวัตถุประสงค์เพื่อแจ้งข้อมูลและให้ความรู้เท่านั้น และไม่ถือว่าเป็นคำแนะนำด้านการลงทุนที่เกี่ยวข้องกับ BTCC แต่อย่างใด BTCC ใช้ความพยายามอย่างเต็มที่ แต่ไม่สามารถรับประกันความจริงแท้ ความถูกต้อง หรือความเป็นต้นฉบับของเนื้อหาข้างต้นได้