การขยายตลาด & การวิวัฒนาการทางเทคนิค

ตั้งแต่ปี 2024 กลุ่มภาคประมวลผลร่วมได้เจริญเติบโตอย่างน่าทึ่ง ด้วยความคืบหน้าของพัฒนาการสำคัญหลายประการที่ทำให้ทิวทัศน์เปลี่ยนแปลง

• การนำเครื่องช่วยประมวลผล ZK: การผสานรวมองค์กรของ ZK coprocessors เพิ่มขึ้น 215% ตั้งแต่ปลายปี 2024 โดยสถาบันการเงินเป็นผู้นำในการนำมาใช้สำหรับการตรวจสอบธุรกรรมที่มีลักษณะประวัติ
• ฟังก์ชันการทำงานข้ามเชื่อม: แพลตฟอร์มชั้นนำได้ขยายความสามารถนอกจาก Ethereum เพียงอย่างเดียว โดยมี 73% ที่รองรับการตรวจสอบข้อมูลบนหลายโซนปัจจุบัน
• API มาตรฐาน: สมาคมมาตรฐาน Coprocessor ที่ถูกสร้างขึ้นในไตรมาส 1 ปี 2025 ได้สร้างอินเทอร์เฟซที่มีระบบเดียวกัน ลดความซับซ้อนในการรวมระบบสำหรับนักพัฒนาไปประมาณ 60%

การ突破ทางเทคนิค

ความก้าวหน้าที่สำคัญได้เกิดขึ้นในเทคโนโลยีหลักที่ขับเคลื่อนหน่วยประมวลผลร่วม

โครงการวิวัฒนาการ & ภูมิทัศน์การแข่งขัน

อักซีอม

Axiom ได้รักษาการเป็นผู้นําในตลาดด้วยการนําเสนอAxiomOSระบบปฏิบัติการสำหรับความพร้อมใช้ของข้อมูลที่ผสานรวมกับโซลูชัน L2 ชั้นนำ ชุด coprocessing ระดับองค์กรของพวกเขา ตอนนี้รองรับการสตรีมข้อมูลแบบเรียลไทม์พร้อมพิสูจน์ความถูกต้องของ ZK

Brevis

หลังจากการผสานข้อมูลที่ประสบความสำเร็จกับ EigenLayer, Brevis ได้นำBrevis Nexus, การเชื่อมต่อฟังก์ชัน coprocessor ข้ามเครือข่ายบล็อกเชน 9 รายการ โดยมีโครงสร้างการประมวลผลแบบพร้อมกันที่สามารถจัดการกับคำขอการตรวจสอบพร้อมกันมากกว่า 5,000 คำขอ

Herodotus

Herodotus ได้ใช้การบูรณาการ Starknet เพื่อสร้างสะพานชั่วคราวให้สัญญาฉลาดสามารถเข้าถึงข้อมูลประวัติระหว่างเชนที่ต่างกันด้วยค่าธรรมเนียมที่ต่ำลงถึง 97% โดยเปรียบเทียบกับวิธี传统 โปรแกรมพันธมิตรของพวกเขาตอนนี้รวมถึงโปรโตคอล DeFi ระดับใหญ่ 40+

ผู้เล่นรุ่นหน้า

ผู้เข้าร่วมใหม่ได้มุ่งเน้นที่แอปพลิเคชันด้านดิเรกแห่งเฉพาะ

• ระบบข้อมูลควอนตัม: ออกแบบมาเพื่อการยืนยันข้อมูลการซื้อขายที่ถี่
• ChronosLabs: พิเศษในการดำเนินงานตามกฎระเบียบและการตรวจสอบเชิงประวัติ
• ประวัติ ZK: การเป้าหมายที่เน้นการวิเคราะห์ข้อมูลประวัติศาสตร์ระดับสถาบันพร้อมคุณสมบัติความลับที่ซ่อนอยู่

การผสานร่วมกับโครงสร้าง Web3

Coprocessors are increasingly becoming a fundamental layer of Web3 infrastructure:

• การผสานรวมกับระบบการละเมิดบัญชีช่วยให้สามารถทำการตรวจสอบขั้นสูงตามพฤติกรรมของผู้ใช้ในอดีต
• โปรโตคอล DeFi ใช้ coprocessors สำหรับการประเมินความเสี่ยงแบบไดนามิก โดยอิงจากกิจกรรมบนเชนย้อนหลัง
• ระบบการปกครองนำมาใช้กลไกการลงคะแนนที่มีความรับผิดชอบผ่านการตรวจสอบการมีส่วนร่วมในอดีต

สรุป

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

การวิเคราะห์การติดตาม Coprocessor ปี 2024

บทความนี้ให้ภาพรวมอย่างครบถ้วนเกี่ยวกับการพัฒนาและกำเนิดของ coprocessors วิเคราะห์ชั้นนำทางเทคนิคและความได้เปรียบในการแข่งขันของคู่แข่งต่างๆในเชิงปัจจุบัน และอธิบายถึงวิธีการทำงานของ coprocessors โดยใช้ Axiom เป็นตัวอย่าง

คอพรอเซสเซอร์คืออะไร

โม ดง, ผู้ร่วมก่อตั้งของ Celer Network และ Brevis, เชื่อว่า โดยอย่างง่าย coprocessor คือ เครื่องมือที่ “ให้สัญญาณอัจฉริยะความสามารถของ Dune Analytics.”

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

เกี่ยวกับโปรโตคอลการจัดการ Likuiditi, การประเมินประสิทธิภาพในอดีตของพูลทดสอบที่มีอยู่หรือพูลผู้ใช้ยังต้องใช้ API ของบริการดัชนีที่โฮสต์โดยเชน ข้อมูลเหล่านี้จึงถูกคำนวณด้วยการทำเอกซเซลด้วยมือ มีบริการที่สามารถทำให้กระบวนการนี้ง่ายขึ้น โดยมีความสามารถในการรวบรวม, กรอง, และวิเคราะห์ข้อมูลโดยตรงให้กับสมาร์ทคอนแทรคของ dapp ได้หรือไม่? โครพรอเซสเซอร์ถูกออกแบบมาเพื่อแก้ปัญหา

ทำไมมันถึงเรียกว่า coprocessor ครับ?

ในระบบคอมพิวเตอร์ต้นแบบ ตัวประมวลผล CPU มักสามารถทำงานเฉพาะทางเท่านั้น มันต้องถูกจับคู่กับ "coprocessor" ที่มีเฉพาะในการทำงานบางประเภทของงานคำนวณ เช่น การดำเนินการทศนิยม เพื่อปรับปรุงประสิทธิภาพ

ตอนนี้เราสามารถคิด Ethereum ว่าเป็น supercomputer ขนาดใหญ่ เฉพาะ smart contracts ทั่วโลกสามารถเข้าถึงข้อมูล on-chain จาก block ปัจจุบันเท่านั้น ไม่สามารถเข้าถึงข้อมูลทางประวัติรวมถึงบันทึกรายการธุรกรรมและการเปลี่ยนแปลงยอดเงินในบัญชี สาเหตุเพราะ Ethereum ออกแบบไม่มีวิธีให้ smart contracts เข้าถึงข้อมูลทางประวัตินี้

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

วิธีทำงานของคอปรอเซสเซอร์ทั่วไปคืออย่างไร?

โดยทั่วไป ขั้นตอนการทำงานหลักของ coprocessor ที่ทำการยืนยันข้อมูล Ethereum คือ ดังนี้

1. คิวรีข้อมูลประวัติและดำเนินการคำนวณที่เกี่ยวข้องในสภาพแวดล้อมออฟเชนผ่านบริการ;
2. บริการจะสร้างประเภทหนึ่งของหลักฐานเพื่อพิสูจน์ว่าการดำเนินการของมันเชื่อถือได้;
3. Dapp ของนักพัฒนาจะติดต่อกับสัญญา coprocessor ที่ถูกติดตั้งบน Ethereum เพื่อทำการตรวจสอบพรูฟ;
4. หลังจากที่ได้ทำการโต้ตอบกับสัญญา coprocessor และยืนยันผลลัพธ์แล้ว dapp สามารถเข้าถึงข้อมูลประวัติที่ต้องการโดยตรงโดยไม่ต้องเชื่อมั่น

โครงการในพื้นที่ Coprocessor หรือ Broad Verifiable Computation Space

ส่วนนี้มีการวิเคราะห์ส่วนสำคัญของเทคโนโลยีและประสิทธิภาพในการแข่งขันของผู้เล่นชั้นนำในพื้นที่ coprocessor

Axiom

นำเสนอในพื้นที่ coprocessor, Axiom กำลังสร้างโครงสร้างพื้นฐานข้อมูล on-chain เพื่อการจับคู่กับสมาร์ทคอนแทรคชันกับข้อมูล on-chain อย่างง่ายๆ Axiom ยังได้รับเครดิตในการนำเสนอแนวคิดของ coprocessors เราจะศึกษาลึกลงไปในวิธีที่ coprocessor ของพวกเขาทำงานในภายหลังในบทความนี้โดยใช้ Axiom เป็นตัวอย่าง

ลาแกรนจ์

Lagrange ให้ความสำคัญกับการพิสูจน์สถานะ跨เชนและเทคนิคการประมวลผลแบบขนาน พิสูจน์ของพวกเขาสามารถบรรลุการตรวจสอบข้ามเชนโดยไม่ต้องพึ่งพาต่อโปรโตคอลการส่งข้อความข้ามเชนเช่น zkBridge หรือ IBC โปรแกรมพิสูจน์ของ Lagrange ที่ทำงานขนานเหมาะสำหรับผลิตภัณฑ์ที่เกี่ยวข้องกับการเพิ่มความมั่นใจในการเลี้ยงเงินอีกครั้ง ซึ่งทำให้พวกเขามีฐานะแข็งแกรงในระบบ RaaS (Rollup as a Service)

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

หนึ่งในกรณีการใช้งานในโลกแห่งความเป็นจริงคือการใช้ Lagrange's application บน AltLayer AltLayer มีบริการการยืนยันที่ใช้งานอย่างใกล้ชิดสำหรับ Restaked Rollup เพื่อช่วยนักพัฒนาในการนำสตรีมลำดับออกจากกลางและยืนยันความถูกต้องของสถานะ Rollup อย่างมีประสิทธิภาพ ในเดือนมีนาคม 2024 Lagrange ได้ร่วมงานกับ AltLayer เพื่อใช้ parallel provers สำหรับ Rollup co-processing นี้ นี้ช่วยให้มั่นใจได้ในข้อมูลบนเชือกของลูกค้าของ AltLayer's RaaS

Herodotus

เชื่อมโยงอย่างใกล้ชิดกับระบบนิยมของ Starkware/Starknet, Herodotus ร่วมงานกับโครงการเช่น Snapshot พวกเขาเรียกระบบ coprocessor ของพวกเขาว่า 'Storage Proof' ซึ่งสามารถรวมกับ ZK proofs เพื่อเปิดให้เข้าถึงข้อมูลข้ามชั้นระหว่างชั้น Ethereum ที่แตกต่างกัน

แหล่งที่มา: เว็บไซต์ Herodotus

ระบบพิสูจน์การเก็บรักษาประกอบด้วยสามส่วน:

1. พิสูจน์การรวม: ยืนยันว่าข้อมูลมีอยู่จริงในโครงสร้างข้อมูลของ Ethereum
2. โปรฟส์ออฟคอมพิวเทชัน: ตรวจสอบความถูกต้องของขั้นตอนการทำงานหลายขั้นตอนโดยเฉพาะอย่างยิ่งการแปลงข้อมูลหรือการดำเนินการอื่น ๆ
3. ZK Proofs: อนุญาตให้สัญญาอัจฉริยะยืนยันความถูกต้องของพิสูจน์โดยไม่ต้องประมวลผลข้อมูลพื้นฐานทั้งหมด

ข้อมูลบนเชื่อมโยงในโหนดเก็บถาวร Ethereum สามารถพิสูจน์ได้โดยใช้ระบบพิสูจน์การเก็บข้อมูล

เช่นที่เครื่องช่วยปฏิบัติงานอื่น ๆ ระบบพิสูจน์การเก็บรักษาถูกสร้างขึ้นนอกเชือกและถูกตรวจสอบบนเชือกเพื่อลดการใช้งานทรัพยากรบนเชือก มันยังลดจำนวนข้อมูลที่ถูกถ่ายโอนระหว่างชั้น Ethereum โดยการส่งเฉพาะบล็อกแฮชหรือรากสะสมเพื่อการตรวจสอบ

Brevis

พัฒนาโดย Celer Network, Brevis เป็นโครงสร้างพื้นฐานสำหรับการสร้างบริการข้อมูล on-chain ต่าง ๆ รวมถึง ZK coprocessors Celer Network, โปรโตคอลที่สามารถทำงานร่วมกันที่ถูกก่อตั้งโดย Mo Dong และ Qingkai Liang ได้ระดมทุนไปทั้งสิ้น 4 ล้านเหรียญใน IEO (Initial Exchange Offering) ในปี 2019.

Celer Network ได้นำ Brevis contract ไปใช้งาน on-chain โดย contract นี้ยืนยัน proofs จากคำขอ coprocessor และ relay ผลลัพธ์กลับไปยัง contract ของ dapp ผ่านฟังก์ชัน callback นักพัฒนาสามารถใช้ Brevis SDK เพื่อเปิดให้ dapps เข้าถึงข้อมูลประวัติ on-chain ได้อย่างง่ายดาย SDK นี้ช่วยในการแยกวงจรที่ซับซ้อนออกไป ลดความจำเป็นในการมีความรู้เบื้องต้นเกี่ยวกับ ZK proofs โดย SDK Brevis ถูกสร้างขึ้นบนกรอบของ gnark ที่ถูกพัฒนาโดยทีม Consensys Linea นอกจากนี้ Brevis ยังรองรับ Ethereum’s ZK light client ทำให้สามารถทำงานกับข้อมูล on-chain จากบล็อกเชนใดก็ได้ที่เข้ากันได้กับ Ethereum EVM-compatible

แหล่งที่มา: คู่มือการใช้งาน Brevis

Celer Network กำลังพัฒนา coChain ซึ่งเป็นบล็อกเชนที่เน้นในระบบ RaaS โดยใช้ Brevis เป็นพื้นฐาน coChain เป็นบล็อกเชนที่ใช้วิธีการ k ในการเห็นสภาพเป็นรากฐาน และสามารถให้บริการ Ethereum staking และ slashing

การลดคะแนนหมายถึงกระบวนการที่ลงโทษผู้ตรวจสอบที่ละเมิดกฎในระบบ Ethereum PoS รวมถึงค่าปรับและการเปลี่ยนแปลงสถานะ จากประวัติศาสตร์มา อัตราการลดคะแนนในระบบการถือหุ้น Ethereum มีระดับต่ำมาก โดยข้อมูลแสดงให้เห็นว่ามีเพียงประมาณ 0.04% ของผู้ตรวจสอบถูกลดคะแนน

คุณสมบัติเฉพาะของ coChain คือการเชื่อมโยงกระบวนการสร้างผลลัพธ์ของ coprocessor กับรางวัลและการลงโทษของ Ethereum staking นี่คือกระบวนการ

1. สัญญาอัจฉริยะส่งคำขอ coprocessor และกลไกความเห็น PoS สร้างผลลัพธ์ coprocessor;
2. ผลลัพธ์ที่สร้างขึ้นโดย PoS ถูกรายงานไปยังบล็อกเชนเป็น "ข้อเสนอ" ซึ่งสามารถถูก "ท้าทาย" ด้วยพิสูจน์ความรู้ศูนย์ศูนย์ (ZK)
3. หากความท้าทายในการพิสูจน์ ZK ประสบความสําเร็จซึ่งบ่งชี้ถึงการประพฤติมิชอบของผู้ตรวจสอบความถูกต้องในระหว่างการปักหลักการเดิมพันของผู้ตรวจสอบที่เกี่ยวข้องจะถูกเฉือนโดยตรงบน Ethereum ในทางกลับกันหากผลลัพธ์ที่สร้างขึ้นโดย PoS ยังคงไม่มีใครทักท้วง dapp สามารถใช้ผลลัพธ์ของโปรเซสเซอร์ร่วมได้โดยตรงโดยไม่ต้องเสียค่าใช้จ่ายในการพิสูจน์ ZK วิธีการ "มองโลกในแง่ดี" นี้เพื่อพิสูจน์ความท้าทายคล้ายกับการมองโลกในแง่ดีทําให้ต้นทุนลดลง

โดยรวมวิธีการของ coChain รวมการกระตุ้นความเชื่อ/การตรวจสอบของ coprocessors พร้อมกับระบบ Ethereum staking โดยในอนาคต จะรวมการทำงานร่วมกับ EigenLayer เพื่อลดต้นทุนการพิสูจน์ของ ZK coprocessors

เนกซัส

Nexus zkVM ช่วยให้สามารถตรวจสอบผลลัพธ์การคำนวณบนเชื่อมต่อได้ คุณสมบัติที่เป็นเอกลักษณ์คือความสามารถในการตรวจสอบ ZK proofs โดยใช้เทคนิคการพับ. ก่อตั้งขึ้นในปี 2022, Nexus เป็นผู้เล่นอีกคนในพื้นที่ zkVM. ในขณะที่รายละเอียดยังไม่ได้รับการเปิดเผยอย่างแพร่และกว้าง โดยผู้ก่อตั้ง Daniel Marin (จบจาก Stanford และมีประสบการณ์ก่อนหน้าที่ Google) ได้เผยแพร่งานวิจัยแรกๆ ผ่านสโมสรบล็อกเชนของ Stanford

เทคโนโลยีพับ ZK ถือเป็นสาขาที่มีความเป็นเส้นทางที่มีความมั่นใจภายในโซลูชัน zkVM ที่มีความเป็นเครือข่าย Nexus zkVM รองรับการตรวจสอบทั้งหลักฐานการพับและระบบสะสมเป้าหมายคือการเป็นระบบ zkVM ที่สามารถมากขึ้นและเป็นโมดูลอาร์ที่เปิดตัวเทคโนโลยีของพวกเขารวมถึงกลุ่มเทคโนโลยีการรวบรวมพิสูจน์ขนาดใหญ่โดยใช้กลไกการรวบรวมพิสูจน์แบบขยายอย่างมีเหตุผล (IVC) และระบบการพับต่าง ๆ เช่น Nova, CycleFold, SuperNova และ HyperNova พวกเขากำลังพัฒนาเครือข่าย Nexus Network ระบบการขุดเหมืองพิสูจน์ใหญ่โดยใช้กลไกการรวบรวมพิสูจน์แบบขยายอย่างมีเหตุผลที่สร้างขึ้นบน Nexus zkVM

แหล่งที่มา: เอกสาร Nexus, โครงสร้าง Nexus zkVM

Comparison Table of Technical Approaches and Competitive Advantages in the Coprocessor Track

ตามที่คุณเห็น โครงการต่าง ๆ ได้เลือกสแต็กที่แตกต่างกันขึ้นอยู่กับระบบนิเวศที่แตกต่างกัน (Ethereum EVM, RaaS, cross-chain, Ethereum cross-layer), วิธีการพิสูจน์ที่แตกต่างกัน (Rollup vs ZK), หรือโซลูชันที่แตกต่างกันภายใน ZK proofs (zk-SNARK, folding proofs, accumulation schemes, เป็นต้น) แต่ละอย่างมีจุดเด่นและจุดอ่อนเกี่ยวกับความได้เปรียบในการแข่งขันและในที่สุดมีรูปแบบผลิตภัณฑ์ที่แตกต่างกัน: สัญญา on-chain แบบโต้ตอบ, SDKs, และเครือข่ายที่ออกแบบมาเพื่อวัตถุประสงค์ต่าง ๆ เช่น เครือข่ายสำหรับการตรวจสอบ staking และเครือข่ายการตรวจสอบขนาดใหญ่

แหล่งที่มา: โดยผู้เขียน

การดำเนินการเฉพาะเจาะจงของส่วนช่วยประมวลผล: กรณีของ Axiom

ทำไมเลือก Axiom?

Axiom เป็นโปรเซสเซอร์ร่วม ZK proof ที่สร้างขึ้นสําหรับ Ethereum ช่วยให้สัญญาอัจฉริยะสามารถเข้าถึงข้อมูลแบบ on-chain ในอดีตและรับประกันความน่าเชื่อถือของการคํานวณนอกเครือข่ายผ่านเทคโนโลยี ZK proof Axiom ก่อตั้งโดย Jonathan Wang และ Yi Sun ในปี 2022 เมื่อวันที่ 25 มกราคม พ.ศ. 2024 Axiom ประกาศบน Twitter ว่าได้ระดมทุน Series A จํานวน 20 ล้านดอลลาร์ซึ่งนําโดย Paradigm และ Standard Crypto เป็นโครงการแรกที่เสนอแนวคิดของ "ผู้ประมวลผลร่วม" และยังเป็นหนึ่งในโครงการที่ได้รับการสนับสนุนจากผู้ร่วมทุนมากที่สุดในพื้นที่

ต้นฉบับ: Axiom Official X Account

ประวัติศาสตร์ของ Axiom

ในปี 2017 อีซันได้รับปริญญาเอกในสาขาคณิตศาสตร์จาก MIT และเคยทำงานให้กับบริษัทซื้อขายหลายรอบสูงเป็นเวลาสักระยะเวลา จากนั้นเขาเริ่มสำรวจด้านสนับสนุนของสกุลเงินดิจิทัลและพบว่าการพิสูจน์ ZK เป็นคำตอบสำคัญสำหรับประสิทธิภาพของบล็อกเชน อย่างไรก็ตามในเวลานั้นเขาเชื่อว่าเทคโนโลยี ZK ยังอยู่ในช่วงเริ่มต้นดังนั้นเขาเลือกที่จะดูแลพื้นที่ต่อไป จนกระทั่งสุดท้ายในปี 2021 เทคโนโลยี ZK เริ่มเป็นที่นิยม โดยมีโครงสร้างพื้นฐานและเครื่องมือพัฒนาที่เริ่มแก่แล้ว นอกจากนี้ อีซันพบปัญหาในการเข้าถึงข้อมูลประวัติในสมาร์ทคอนแทรคที่เขียนขณะกำลังสร้างโปรโตคอล DeFi ทั้งหมดเหล่านี้เป็นปัจจัยทั้งหมดที่ทำให้ Axiom เกิดขึ้น

เทคโนโลยีพิสูจน์ ZK ที่ Axiom ใช้คืออะไร?

Axiom ใช้ระบบพิสูจน์ SNARK ที่ใช้ Halo2 และ KZG backends และเครื่องมือพิสูจน์ ZK เช่นตารางค้นหา (LUTs) ในปัจจุบัน ในอดีต พิสูจน์ ZK เป็นซับซ้อนและยากต่อการตรวจสอบ ตารางค้นหาเป็นเซ็ตของค่าที่คำนวณล่วงหน้าที่ช่วยให้ผู้พิสูจน์สามารถพิสูจน์ต่อผู้ตรวจสอบได้อย่างมีประสิทธิภาพว่าค่านั้นมีอยู่

วิธีทำงานของ Axiom V2

ในเดือนมกราคม พ.ศ. 2567 Axiom V2 เริ่มให้บริการบน Ethereum mainnet โดยรองรับการเข้าถึงธุรกรรม ใบเสร็จ การจัดเก็บสัญญา ส่วนหัวบล็อก และข้อมูลอื่น ๆ จากสัญญาฉลาก ซึ่งหมายความว่าตอนนี้มันรองรับการเข้าถึงข้อมูลประวัติทั้งหมดบน Ethereum mainnet

โดยใช้เครื่องมือ SDK ที่พัฒนาโดย Axiom นักพัฒนาสามารถเขียนวงจร Axiom ใน Typescript เพื่อออกคำขอข้อมูลและปรับแต่งการคำนวณ Axiom นำเสนออย่างล้ำลึกเพราะมันทำให้สัญญาอัจฉริยะสามารถเข้าถึงข้อมูล on-chain ได้อย่างง่าย

1. นักพัฒนาใช้ Axiom Typescript SDK เพื่อเขียนวงจร Axiom และส่งคำขอการคำนวณการตรวจสอบ ZK สำหรับข้อมูลประวัติ Ethereum;
2. Axiom ดำเนินการคำนวณตามที่ร้องขอและสร้าง ZK proof เพื่อพิสูจน์ความถูกต้องของข้อมูลและผลลัพธ์การคำนวณ;
3. นักพัฒนานำฟังก์ชันการโทรกลับมาใช้ในสมาร์ทคอนแทรกเพื่อทำการตรวจสอบและดำเนินการข้อมูลที่ส่งมาจาก Axiom พร้อมกับผลลัพธ์ ZK proof;
4. การสอบถามเอกลักษณ์โดยการส่งธุรกรรมบนเชืองและผลลัพธ์ที่ส่งกลับถูกเข้ารหัสโดยพิสูจน์ ZK เพื่อให้มั่นใจในความน่าเชื่อถือ

อย่างไรก็ตาม โดยไม่เหมือนกับ Herodotus, Axiom ในปัจจุบันไม่รองรับการสอบถามข้อมูลทางประวัติศาสตร์จากเครือข่าย Ethereum EVM อื่น ๆ หรือเครือข่าย L2 เท่านั้น และมุ่งเน้นไปที่ Ethereum mainnet เท่านั้น การรองรับคุณลักษณะที่เกี่ยวข้องในอนาคตไม่ได้ถูกปิดกฎหมาย

การใช้ประโยชน์จาก Axiom V2

ในชั้นข้อมูลใช้, Axiom สามารถช่วย dapps ในการนำมาใช้ฟังก์ชันต่อไปนี้:

• ให้รางวัลและโปรแกรมสมาชิกตามบันทึกกิจกรรมบนเชนของผู้ใช้
• ปรับปรุงการรับผิดชอบตามพฤติกรรมบนเชื่อมโยงของผู้ใช้
• สร้างออรัคเคิลที่สามารถปรับแต่งตามความต้องการของเฉพาะตัว เช่น การจัดการ และความต้องการในการตกลง

สรุป

Axiom, ผู้นำในพื้นที่ coprocessor ณ ปัจจุบัน มีความสัมพันธ์ที่สมเหตุสมผลกับโครงการ light node เช่น Succinct โดยที่ Succinct พยายามพิสูจน์ความเห็นของ Ethereum เอง ในขณะที่ Axiom พิสูจน์ข้อมูลประวัติบนเชื่อมโยงอย่างมีเหตุผล โดยสมมติว่าผลลัพธ์ของเชื่อมโยงได้รับการยอมรับ

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

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