YBB Capital Researcher Ac-Core ผู้เขียนข้อความเดิม

TL; ดร

• ฟังก์ชันหลักที่ OP Succinct มีคือการรวม ZKP เข้ากับโครงสร้างแบบโมดูลของ OP Stack เพื่อทำให้ OP Stack Rollup เปลี่ยนเป็น ZK Rollup ที่สามารถตรวจสอบได้อย่างสมบูรณ์;
• หากน้ำหนักของ ETH ในอนาคตเป็นการขยายของ Rollup โดยใช้ ZK Rollup เป็นเป้าหมาย OP Succinct มีเป้าหมายที่จะใช้ Rust และ SP 1 เพื่อประยุกต์ใช้ OP Stack ชนิด 1 zkEVM (ที่เทียบเท่ากับ ETH โดยสมบูรณ์)
• OP Succinct Proposer ทำหน้าที่สำคัญในการสร้างพรูพของการพิสูจน์แบ่งและการพิสูจน์รวมและการตรวจสอบข้อมูลพร้อมกัน
• OP Stack ระบบที่มีอยู่ในปัจจุบันของ Gate.io อาศัยอยู่บน "หน้าต่างป้องกันการฉ้อโกง 7 วัน" หากเกิดข้อพิพาทจะมีการยืนยันธุรกรรมที่เกิดขึ้นในอีกหนึ่งสัปดาห์ แต่ OP Succinct ใช้ ZK พิสูจน์เพื่อลดเวลาที่ใช้ในการดำเนินการธุรกรรมและลดความจำเป็นในการขยายหน้าต่างป้องกันการฉ้อโกง
• OP Succinct สามารถปล่อยค่าใช้จ่ายการทำธุรกรรมได้อย่างมาก

1. การทบทวนเร็ว ๆ นี้: สถานการณ์ OP Mainnet และ OP Stack กับ OP Labs

ที่มาของภาพ: Blockscout

1.1 จุดเด่นในการพัฒนา OP Mainnet ล่าสุด

เมื่อวันที่ 30 มีนาคม 2024 OP Labs ได้เผยแพร่ 'ความล้มเหลวในการพิสูจน์' ใน OP Sepoila Testnet และเผยแพร่ความล้มเหลวในการพิสูจน์อย่างเป็นทางการใน OP Mainnet เมื่อวันที่ 11 มิถุนายน 2024 เพื่อทำให้การกระจายอำนาจก้าวหน้าไปสู่ขั้นตอนแรก ซึ่งอนุญาตให้สกุลเงิน ETH และโทเค็น ERC-20 สามารถถอนจาก OP Mainnet โดยไม่จำเป็นต้องมีบุคคลที่เชื่อถือได้เป็นฝ่ายที่สามารถเสนอคำถามและลบการถอนที่ไม่ถูกต้อง (รวมถึง Base, Metal, Mode และ Zora)

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

• ความสามารถในการใช้ข้อมูล: การพิสูจน์ความถูกต้องของข้อมูลจะต้องมีการตรวจสอบให้แน่ใจว่าข้อมูลบน Layer-2 ทั้งหมดสามารถเข้าถึงได้และสามารถถูกตรวจสอบบน Layer-1 ได้เช่นกัน;
• ระยะเวลาท้าทาย: ในระยะเวลาท้าทายที่กำหนด ใครก็สามารถท้าทายข้อมูลบน Layer-2

หากมีใครพบว่าข้อมูล Layer-2 และข้อมูล Layer-1 ไม่เหมือนกัน พวกเขาสามารถท้าทายได้ หลักฐานที่ส่ง: หากมีข้อโต้แย้ง Layer-2 ต้องส่งหลักฐานเพื่อโต้แย้งข้อโต้แย้งเหล่านั้นและพิสูจน์ความถูกต้องของข้อมูลของตนเอง การรับรองสุดท้าย: หากไม่มีข้อโต้แย้งที่ถูกต้องภายในระยะเวลาท้าทาย หรือถ้า Layer-2 ผู้ให้บริการสามารถโต้แย้งข้อโต้แย้งได้อย่างสำเร็จ ธุรกรรมจะถูกยืนยันในที่สุดและถือว่าถูกต้อง

1.2.OP Stack และความเชื่อมโยงและความแตกต่างของ OP Labs

OP Labs คือทีมหรือองกรณ์ที่พัฒนาโซลูชัน Optimism ในขณะที่ OP Stack เป็นกรอบเทคโนโลยีที่ใช้สำหรับการสร้างและขยายพื้นที่เครือข่ายชั้นที่สองของ Ethereum สามารถเข้าใจความสัมพันธ์ระหว่าง OP Labs และ OP Stack ว่าเปรียบเสมือนกับนักพัฒนาโปรแกรมกับเครื่องมือพัฒนาของพวกเขา

• OP ห้องปฏิบัติการ:

OP Labs เป็นผู้มีส่วนร่วมที่สำคัญในโครงการ Optimism ซึ่งรับผิดชอบในการพัฒนาและบำรุงรักษาโซลูชันชั้นที่สองของ Optimism มันเป็นทีมหรือองค์กรที่เน้นการสร้างและปรับปรุงเครื่องมือทางเทคโนโลยีที่เกี่ยวข้องกับการขยายขอบเขตของ ETH อย่าง Optimistic Rollups วัตถุหลักของ OP Labs คือการลดภาระของETH บน Mainnet ด้วยการขยายชั้นที่สอง ปล่อยค่าใช้จ่ายการทำธุรกรรม และเพิ่มความเร็วในการทำธุรกรรม นอกจากนี้ OP Labs ยังร่วมมือกับโครงการอื่น (เช่น Succinct Labs) เพื่อส่งเสริมเทคโนโลยีการขยายขอบเขตของ ETH อย่าง OP Succinct ซึ่งเน้นการปรับปรุง Zero-Knowledge Proof

OP Labs เป็นทีมหรือองค์กรหลักที่พัฒนาและบำรุงรักษาเครือข่าย Optimism โดยมีเป้าหมายที่จะสร้างโซลูชันที่มีประสิทธิภาพสำหรับการขยาย Ethereum โดยเน้นไปที่การปล่อยการฟอกเงินและเพิ่มความเร็วในการทำธุรกรรม พวกเขาไม่เพียงแค่รับผิดชอบในการพัฒนา Optimistic Rollups แต่ยังสนับสนุนเทคโนโลยีใหม่ที่เกี่ยวข้องกับ Zero-Knowledge Proof อย่างเช่น OP Succinc ที่ร่วมมือกับ Succinct Labs อย่างใจจด

• OP สแต็ค:

OP Stack เป็นสถาปัตยกรรมหรือชุดเทคโนโลยีที่มีโมดูลที่ถูกแบ่งออกเป็นส่วนประกอบหลายส่วนที่กำหนดเองเพื่อสร้างและขยายเครือข่ายชั้นที่ 2 ของเอธเรียม มันมีส่วนประกอบหลายส่วนซึ่งสามารถกำหนดค่าได้ตามความต้องการของนักพัฒนาในการสร้างเครือข่ายชั้นที่ 2 (Layer 2 Chain) ของตัวเอง มันให้วิธีการมาตรฐานที่ช่วยให้นักพัฒนาสามารถสร้างเครือข่ายขยายชั้นที่ 2 ที่ตอบสนองตามเงื่อนไขที่ระบุได้อย่างรวดเร็ว

OP Stack เป็นโมดูลระบบกับดักที่พัฒนาโดย OP Labs โมดูลระบบกับดักนี้ให้พื้นฐานในการสร้างเครือข่ายระดับที่สองอย่างรวดเร็ว นักพัฒนาสามารถใช้ OP Stack สร้างเครือข่ายขยายตัวที่แตกต่างกันได้อย่างรวดเร็วเนื่องจากการออกแบบโมดูลของ OP Stack สามารถเลือกใช้กลไกการตรวจสอบที่แตกต่างกันได้ (เช่น Optimistic Rollups หรือ ZK Rollups) เพื่อตอบสนองความต้องการของโครงการต่าง ๆ

OP Labs เป็นผู้พัฒนาของ OP Stack ซึ่งเป็นเครื่องมือทางเทคโนโลยีที่ OP Labs ให้เพื่อช่วยให้นักพัฒนาสามารถสร้างและขยายเครือข่ายระดับสองของ Ethereum ได้

ก่อนที่จะทำความเข้าใจ OP Succinct คุณควรเพิ่มเติมการทำความเข้าใจสี่ส่วนหลักของสแต็ก OP ของแต่ละสแต็ก: 1. op-geth: รับธุรกรรมจากผู้ใช้และใช้ธุรกรรมเหล่านี้เพื่อสร้างบล็อกและดำเนินการบล็อก; 2. op-batcher: จัดการรวบรวมธุรกรรมของผู้ใช้และส่งไปที่ L1; 3. op-node: อ่านข้อมูลการรวบรวมจาก L1 และขับเคลื่อน op-geth ในโหมด non-sequencer เพื่อทำการเปลี่ยนสถานะ; 4. op-proposer: เผยแพร่รากผลลัพธ์ไปที่ L1 เป็นระยะ ๆ เพื่อจับสถานะ L2 เพื่อให้สะดวกในการดำเนินการถอนเงิน

สอง คือ Succinct Labs ร่วมมือกับ OP Labs เพื่อเติมส่วนประกอบ ZK ใน OP Stack

ที่มาของรูปภาพ: บล็อกสรุป

2.1 OP Succinct โครงสร้าง

เมื่อรวมกับ "ส่วนประกอบหลักสี่ประการของ OP Stack" ที่ส่วนท้ายของส่วนที่ 1.2 ด้านบน OP Succinct เป็นการอัปเกรดน้ําหนักเบาของ OP Stack ที่ช่วยให้เชนใช้เฉพาะบล็อกที่ผ่านการตรวจสอบ ZK ในขณะที่ยังคงส่วนประกอบอีกสามส่วนไม่เปลี่ยนแปลง (op-geth, op-batcher และ op-node) OP Succinct ประกอบด้วยสี่ส่วนต่อไปนี้เป็นหลัก:

• โปรแกรมช่วง (Range Program): นี่คือโปรแกรมที่ดำเนินการบล็อกจำนวนมากที่เขียนด้วย Rust ที่ออกแบบมาเพื่อใช้ใน zkVM;
• โปรแกรมการรวมรวม (Aggregation Program.) : การพิสูจน์ขอบเขตของโปรแกรมการรวมรวม โดยปล่อยค่าการตรวจสอบ on-chain โปรแกรมนี้เขียนด้วย Rust และออกแบบมาเพื่อใช้ในการดำเนินการใน zkVM
• OP Succinct L2 Output Oracle.：หลักฐานการส่งออกระดับ L2 ที่กระชับสำหรับ Solidity สัญญาอัจฉริยะ ซึ่งมีการส่งออกสถานะ L2 แต่ละอันเป็นการยื่นสถานะของ L2 chain สัญญานี้มีอยู่ในระบบเดิมของ Optimism แต่ได้รับการแก้ไขโดยการใช้ proof of validation เป็นกลไกการตรวจสอบตัวตน
• OP นักเสนอแบบกระชับ: สำรวจแบตช์ธุรกรรมที่เผยแพร่บน L1 และควบคุมพิสูจน์ขอบเขตของโปรแกรมและโปรแกรมรวม

2.2 OP Succinct สรุปเรื่องราวการขยายมิติของ ETH อย่างไร

zkEVM Rollup ได้รับความยากลำบากมากเนื่องจากความรู้ทางด้านคริปโตที่ลึกซึ้ง ทีมงาน OP Labs ได้พิจารณาในการสนับสนุนการพิสูจน์ที่มีประสิทธิภาพต่างๆในระหว่างการสร้าง OP Stack ในลักษณะที่เป็นโมดูล และจากนั้นสร้าง Kona (ดูลิงก์ขยาย 1) เพื่อทำให้สามารถดำเนินการเปลี่ยนสถานะใน OP Stack Rollup ได้ผ่านฟังก์ชันการเปลี่ยนสถานะของธุรกรรม STF (ตัวตรวจสอบสถานะการทำธุรกรรม) และใช้ Kona และโปรแกรม SP 1 เพื่อสร้าง Zero-Knowledge Proof (ZKP) สำหรับ OP Stack ซึ่งในทางทฤษฎีสามารถอัพเกรดเครือข่าย OP Stack และใช้ ZKP ได้ทั้งหมด

เป้าหมายของ SP 1 (Succinct Processor 1) คือให้นักพัฒนาทุกคนสามารถใช้โค้ดภาษา Rust มาตรฐานร่วมกับ Type-1 zkEVM rollup ได้อย่างราบรื่นและใช้ OP Succinct เพื่ออัปเกรดเครือข่าย OP Stack เดิมให้กลายเป็น Type-1 zkEVM rollup ในเวลาไม่เกิน 1 ชั่วโมงและให้ประสิทธิภาพสูงที่จำเป็นสำหรับแอปพลิเคชัน ด้วยเหตุนี้จึงได้รับประโยชน์ต่อไปนี้:

• การยืนยันอย่างรวดเร็วของ ZKP: ย่อหลักฐานให้สั้นลงเป็นสิบนาทีเพื่อ "แทนที่" ระยะเวลาท้าทายการพิสูจน์การฉ้อโกง 7 วัน
• การลดต้นทุนและเพิ่มประสิทธิภาพ: ต้นทุนเฉลี่ยของแต่ละธุรกรรมต่ําเพียงไม่กี่เซ็นต์
• สลับ OP Stack เป็น ZK: สามารถสร้างพร็อกซี API เพื่อสร้างการพิสูจน์ (รวมถึงตัวประมวลผล/เรียงลำดับชุดข้อมูล โหนด op และดัชนี) โดยเพียงแค่การเปิดใช้งานสัญญาอัจฉริยะเดียวและเริ่มการให้บริการข้อเสนอที่เป็นเวอร์ชันลิ้งก์ของ OP Succinct (ดูข้างล่าง)
• Type-1 zkEVM: สำหรับเครื่องมือที่เข้ากันได้กับ OP Stack Rollup และสัญญาอัจฉริยะทั้งหมด สามารถใช้กับ OP Succinct Rollup;
• การเพิ่มความยืดหยุ่น: ใช้ OP Succinct rollup ที่สามารถปรับแต่งได้ สามารถเพิ่มคอมไพล์เลอร์ใหม่และปรับเปลี่ยนตรรกะ Rollup

ตาม GitHub ทางการแนะนำขั้นตอนว่าเพียงแค่ติดตั้ง Rust、Foundry และ Docker คุณก็สามารถอัพเกรด Stack rollup ปัจจุบันใด ๆ ไปยัง Type-1 zkEVM rollup ได้โดยเพียงแค่ 2 ขั้นตอนเท่านั้น: 1. จัดตั้งสัญญา ZK L2 OutputOracle.sol；2. เริ่มต้นบริการข้อเสนอ OP Succinct (ดูกระบวนการที่ GitHub ลิงก์เพิ่มเติม 2)

อัปเกรด OP Stack Rollup เป็นการพิสูจน์ ZK แหล่งที่มาของภาพ: บล็อก Succinct

2.3 การสร้าง Type-1 zkEVM ด้วย SP 1 Reth

Succinct คิดว่า EVM Rollup ในอนาคตจะถูกเขียนด้วยภาษา Rust เพื่อสามารถบำรุงรักษา zkEVM ที่มีความสามารถในปัจจุบัน OP Rollup มีปัญหาหลัก 3 อย่างคือ: หน้าต่าง 7 วันของfraud proof ที่ยาวเกินไป, ความซับซ้อนของการทำงานร่วมกัน, และการพึ่งพากลุ่มข้อมูลหลายกลุ่มในบางสถานการณ์แทนการพึ่งพาfraud proof mechanism อีกทั้งยังสร้าง zkEVM ที่เป็นกระบวนการที่ใช้เวลานาน ดังนั้น SP 1 ถูกพัฒนาขึ้นเพื่อแก้ปัญหาเหล่านี้

SP 1 เป็น zkVM ที่เป็นเอกลักษณ์และเป็นโอเพ่นซอร์ส 100% ที่มีประสิทธิภาพสูง สามารถยืนยันการดำเนินการของโปรแกรม Rust (หรือภาษาคอมไพล์ LVM) ใดๆได้ ตามข้อมูลสาธารณะ OP Succinct Stack ได้รับการดำเนินงานเรียบร้อยบน OP Mainnet、OP Sepolia และ Base on-chain และดำเนินการในการทำราคาพิสูจน์ใน ETH ต่อธุรกรรมได้ 0.01-0.02 ดอลลาร์สหรัฐ (ดูลิงก์ขยายเพิ่มเติม 3) และหวังว่าในอนาคตจะใช้ Rust (หรือภาษาคอมไพล์ LLVM อื่น) เขียนพื้นฐานบล็อกเชน (รวมถึง Rollup, Bridge, Coprocessor ฯลฯ) ทั้งหมดและใช้ ZKP ในการยืนยัน

ตามสรุปข้อมูลจากบล็อก Succinct และ GitHub โอเพ่นซอร์ส สิ่งที่ทำให้มีผลต่างในประสิทธิภาพระหว่าง SP 1 และ zkVM อื่น ๆ หลักๆ มาจากปัจจัยสำคัญหลายปัจจัย

• โครงสร้างที่เน้นการคอมไพล์ล่วงหน้า: SP 1 รองรับระบบคอมไพล์ล่วงหน้าที่ยืดหยุ่น ซึ่งสามารถเพิ่มความเร็วของหลายประเภทของการดำเนินการ (เช่น การยืนยันลายเซ็น secp 256 k 1 และ ed 25519, ฟังก์ชันแฮช sha 256 และ keccak 256) ซึ่งทำให้จำนวนรอบของ RISC-V ลดลง 5-10 เท่า วัตถุประสงค์ของการออกแบบคือการให้ประสิทธิภาพที่เทียบเท่ากับวงจร ZK พร้อมทั้งรักษาความยืดหยุ่นและประสบการณ์การพัฒนาที่ดีของ zkVM
• โอเพ่นซอร์สเต็มรูปแบบ: SP 1 เป็น 100% โอเพ่นซอร์สที่อนุญาตให้ทีมพัฒนาดัดแปลงการเตรียมคอมไพล์เองเช่น Argument และ Scroll เพื่อลดจำนวนรอบการนับและเพิ่มความเร็วในการสร้างพิสูจน์；
• มาตรฐานอุตสาหกรรม: ตั้งแต่เปิดตัวมาแล้ว แนวคิดการเขียนรหัสก่อนการคอมไพล์ภายใน zkVM ได้กลายเป็นมาตรฐานอุตสาหกรรมแล้ว โดยมีการผสมผสานเข้ากับโครงการ RISC 0, Valida, Nexus และ Jolt เป็นต้น SP 1 เป็น zkVM รุ่นที่พร้อมใช้งานเพียงรุ่นเดียวที่มีการเขียนรหัสก่อนการคอมไพล์ไว้อย่างแพร่หลายสำหรับการดำเนินการการเข้ารหัสที่สำคัญ;
• การอ่านเขียนหน่วยความจำที่มีประสิทธิภาพ: SP 1 ใช้วิธีพิสูจน์หน่วยความจำอย่างสร้างสรรค์ โดยใช้ความท้าทายเดียวเพื่อให้ได้หลายพิสูจน์ของหน่วยความจำที่เหมือนกัน ซึ่งช่วยลดค่าใช้จ่ายที่มาจากการเมอร์เกิลหน่วยความจำ
• การปรับปรุงประสิทธิภาพพื้นฐาน: การใช้ตัวช่วยทำลายที่ต่ำลงและพารามิเตอร์การค้นหารุ่นใหม่ (เช่น LogUp ที่ขึ้นอยู่บนอนุกรมลอการิทธิ) และการเปลี่ยนแปลง FRI ใน Plonky 3 ได้เพิ่มประสิทธิภาพในการใช้พื้นที่การติดตาม

ที่มาของภาพ: บล็อก Succinct ดูลิงค์ขยาย 4 คำอธิบายในส่วนท้าย

สามารถ OP Succinct เป็นภัยคุกคามต่อ OP Stack ที่ต่อต้าน ZK Stack หรือไม่?

ผู้เขียนภาพต้นฉบับ: @jtguibas

หากมองในระยะสั้น ETH Rollups จะเป็นสิ่งสำคัญของเส้นทางการพัฒนาของ ETH ในระยะยาว OP นั้นจะเป็นสิ่งสำคัญของเส้นทางการพัฒนาของ ETH ในระยะยาวและ ZK นั้นจะเป็นสิ่งสำคัญของเส้นทางการพัฒนาของ ETH ในระยะยาว โดยเราสมมติให้ OP Succinct สามารถประสบความสำเร็จได้ นั่นจะเป็นเหตุผลที่สำคัญ ดังนั้น OP Succinct จะเป็นทางเลือกที่สามารถเปลี่ยน ETH Rollups จากการยืนยันตนแบบเชิงโปรแกรมเป็นZero-Knowledge Proof ซึ่งจะไม่เพิ่มค่าใช้จ่ายการทำธุรกรรม และยังเพิ่มความเร็วในการทำธุรกรรม และยังคงความปลอดภัยของ ZK rollups และไม่เปิดเผยตัวตนเพื่อสร้างโอกาสใหม่ในการพัฒนาโปรแกรมประยุกต์ในอนาคต

ในสี่เจ้าสำคัญของ Layer 2 ที่รู้จักกันทั่วไป จากการพัฒนานิเวศของโครงการ OP Stack ในช่วงปัจจุบันดูเหนือกว่า ZK Stack อย่างมีนัยสำคัญ อาจจะมีปรากฏการณ์ที่ชัดเจนมากขึ้นในอนาคต ด้วยการเข้าร่วมของ OP Succinct ก็ส่วนหนึ่งทำให้ได้รับการสูญญากาศและศักยภาพของ ZK Stack ถ้า OP Succinct สามารถที่จะดำเนินการได้ในอนาคต ก็อาจจะสร้างความกระตือรือร้นต่อ zkEVM แบบ Rollup แบบเดิม

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

ลิงค์ขยาย:

（1）

（2）

（3）

（4）