TLDR

OP Succinct’s primary function is to integrate ZKP into the OP Stack’s modular architecture, converting OP Stack Rollups into fully verified ZK Rollups.

หากวิธีการขยายมิติในอนาคตของ Ethereum คือการแปลง Rollups ทั้งหมดเป็น ZK Rollups OP Succinct มีเป้าหมายที่จะใช้ Type-1 zkEVM (เทียบเท่า Ethereum อย่างเต็มรูปแบบ) ใน OP Stack โดยใช้ Rust และ SP1

OP Succinct Proposer สามารถสร้างพิสูจน์ในลักษณะของการเห็นพ้องกันได้พร้อมกัน รวมถึงการรวมพิสูจน์และการตรวจสอบได้อย่างต่อเนื่อง

ระบบ OP Stack ที่มีอยู่ใช้ระยะเวลาหน้าต่างการหลอกลวง 7 วัน ซึ่งทำให้มีความล่าช้าในการทำธุรกรรมในกรณีที่เกิดข้อพิพาท แต่ OP Succinct ลดระยะเวลาการเสร็จสิ้นธุรกรรมโดยใช้ ZK proofs และกำจัดความจำเป็นในการมีหน้าต่างการหลอกลวงที่ยืดหยุ่น

OP Succinct สามารถลดค่าธรรมเนียมการทำธุรกรรมได้อย่างมีนัยสำคัญ

1. บทวิจารณ์ล่าสุด: อัปเดตเครือข่ายหลัก OP และความสัมพันธ์ระหว่าง OP Stack และ OP Labs

Image Source: Blockscout

1.1 พัฒนาการสำคัญบนเครือข่ายหลัก OP

ณ วันที่ 30 มีนาคม พ.ศ. 2024 OP Labs ได้ประกาศเปิดตัว "หลักฐานความผิดพลาด" บน OP Sepolia 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 จะต้องส่งหลักฐานเพื่อตอบโต้ความท้าทายและตรวจสอบความถูกต้องของข้อมูล ขั้นสุดท้าย: หากไม่มีการท้าทายที่ถูกต้องเกิดขึ้นภายในระยะเวลาการท้าทายหรือผู้ให้บริการเลเยอร์ 2 ตอบโต้คําท้าได้สําเร็จธุรกรรมจะเสร็จสิ้นและถือว่าถูกต้อง

1.2 ความสัมพันธ์และความแตกต่างระหว่าง OP Stack และ OP Labs

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

• OP Labs: OP Labs เป็นผู้สนับสนุนหลักในโครงการ Optimism ซึ่งรับผิดชอบในการพัฒนาและบํารุงรักษาโซลูชัน Optimism Layer 2 เป็นทีมหรือองค์กรที่ทุ่มเทให้กับการสร้างและปรับปรุงเครื่องมือทางเทคนิคที่เกี่ยวข้องกับการปรับขนาด Ethereum เช่น Optimistic Rollups เป้าหมายหลักของ OP Labs คือการลดภาระบนเมนเน็ต Ethereum ลดต้นทุนการทําธุรกรรมและเพิ่มความเร็วในการทําธุรกรรม OP Labs ยังร่วมมือกับโครงการอื่น ๆ เช่น Succinct Labs เพื่อพัฒนาเทคโนโลยีการปรับขนาด Ethereum เช่น OP Succinct ซึ่งมุ่งเน้นไปที่การเพิ่มประสิทธิภาพการพิสูจน์ความรู้เป็นศูนย์

OP Labs เป็นทีมหรือองค์กรหลักที่รับผิดชอบในการพัฒนาและบำรุงรักษาเครือข่าย Optimism โดยมีเป้าหมายเพื่อสร้างการขยายมาตรฐานอย่างมีประสิทธิภาพสำหรับ Ethereum โดยเน้นในการลดค่าธรรมเนียมการทำธุรกรรมและเพิ่มความเร็วในการทำธุรกรรม พวกเขาไม่เพียงแค่พัฒนา Optimistic Rollups แต่ยังผลักดันเทคโนโลยีใหม่ๆ ที่เกี่ยวข้องกับ zero-knowledge proofs เช่น OP Succinct ร่วมกับ Succinct Labs

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

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

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

ก่อนที่จะเข้าสู่ OP Succinct สิ่งสำคัญคือการแนะนำสี่ส่วนหลักของทุก OP Stack:

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

2. บริษัท Succinct Labs ร่วมมือกับ OP Labs เพื่อนำ ZK Elements เข้าสู่ OP Stack

Image Source: บล็อกกระชับ

2.1 ส่วนประกอบของสถาปัตยกรรม OP ที่กระชับ

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

• Range Program: โปรแกรมที่ประมวลผลบล็อกแบบเป็นชุด ที่เขียนด้วย Rust และออกแบบให้ทำงานภายใน zkVM
• โปรแกรมการรวมรวบ: รวบรวมพิสูจน์จากโปรแกรมช่วงเพื่อลดค่าการตรวจสอบบนเชื่อมโยง เขียนด้วย Rust และออกแบบให้ทำงานใน zkVM ด้วย
• OP โอราเคิล Succinct L2 Output Oracle: สัญญาอัจฉริยะ Solidity ที่มีอาร์เรย์ของ L2 state output ทุกตัว ที่มีการยืนยันสถานะของโซ่ L2 สัญญานี้มีอยู่ในระบบ Optimism เดิม แต่ได้รับการปรับเปลี่ยนให้ใช้การตรวจสอบพิสูจน์เป็นกลไกการรับรองตัวตน
• OP Succinct Proposer: สังเกตการณ์ชุดธุรกรรมที่เผยแพร่บน L1 และจัดการในการสร้างพิสูจน์สำหรับโปรแกรมระยะและการรวมกลุ่ม

2.2 OP Succinct จะอยู่ได้อย่างไรในนิเวศการขยายของ Ethereum?

การสร้าง zkEVM Rollups เป็นเรื่องที่ท้าทายเนื่องจากต้องใช้ความเชี่ยวชาญด้านการเข้ารหัสอย่างกว้างขวาง เมื่อ OP Labs พัฒนา OP Stack แบบแยกส่วนพวกเขาคาดว่าจะสนับสนุนกลไกการพิสูจน์ต่างๆ ด้วยเหตุนี้พวกเขาจึงเปิดแหล่งที่มาของการพัฒนา Kona (ดูลิงค์ส่วนขยาย 1) เพื่อใช้ STF ของ OP Stack Rollups โดยใช้ Rust ในที่สุดก็เปิดใช้งานการสร้าง zero-knowledge proofs (ZKP) สําหรับ OP Stack ผ่าน Kona และโปรแกรม SP1 ซึ่งหมายความว่าในทางทฤษฎีโซ่ OP Stack ใด ๆ สามารถอัพเกรดเพื่อใช้ ZKP ได้

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

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

ตามเอกสาร GitHub อย่างเป็นทางการ กระบวนการนี้ต้องการการติดตั้ง Rust, Foundry และ Docker เพื่ออัปเกรด OP Stack rollup ที่มีอยู่ใด ๆ เป็น Type-1 zkEVM rollup กระบวนการที่ถูกต้องมีสองขั้นตอน:

• Implement สัญญา ZK L2OutputOracle.sol
• เปิดให้บริการบริการข้อเสนอที่กระชับ (อ้างถึงลิงก์ส่วนขยาย GitHub 2 สำหรับขั้นตอนที่เป็นรายละเอียด)

Image Source: บล็อกสรุป - อัพเกรด OP Stack Rollup เป็น ZK Proofs

2.3 การสร้าง Type-1 zkEVM โดยใช้ SP1 Reth

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

SP1 เป็น zkVM ประสิทธิภาพสูงที่ปรับแต่งได้อย่างเต็มที่ซึ่งเป็นโอเพ่นซอร์ส 100% สามารถตรวจสอบการทํางานของโปรแกรม Rust (หรือ LLVM-compiled) โดยพลการ ตามข้อมูลสาธารณะ OP Succinct Stack ประสบความสําเร็จในการทํางานบน OP Mainnet, OP Sepolia และ Base chain โดยมีค่าหลักฐานการทําธุรกรรมตั้งแต่ $ 0.01 ถึง $ 0.02 (ดูลิงก์ส่วนขยาย 3) ในอนาคตโครงสร้างพื้นฐานบล็อกเชนทั้งหมดรวมถึง Rollups, bridges และ coprocessors มีแนวโน้มที่จะเขียนใน Rust (หรือภาษาอื่น ๆ ที่รวบรวม LLVM) และใช้ประโยชน์จาก ZKP

โดยอ้างอิงจากสรุปจากบล็อก Succinct และเนื้อหา GitHub แบบ open-source ประสิทธิภาพของ SP1 ต่อไปนี้มาจากปัจจัยสำคัญหลายประการ

• สถาปัตยกรรมแบบ Precompile-Centric: SP1 รองรับระบบ precompile ที่ยืดหยุ่น เร่งการดําเนินการอย่างมาก เช่น secp256k1 และการตรวจสอบลายเซ็น ed25519 การแฮช sha256 และ keccak256 และลดจํานวนรอบ RISC-V ลง 5-10x สําหรับหลายโปรแกรม มีจุดมุ่งหมายเพื่อให้ประสิทธิภาพเทียบเท่ากับวงจร ZK ในขณะที่ยังคงความยืดหยุ่นของ zkVM และประสบการณ์นักพัฒนาที่ยอดเยี่ยม
• เปิดตัวโครงการอย่างเต็มที่: SP1 เป็นโครงการที่เปิดตัวอย่างเต็มที่ 100% ทำให้ทีมเช่น Argument และ Scroll สามารถนำเข้ามาติดตั้งก่อนและลดรอบการทำงานและเพิ่มความเร็วในการสร้างพรูฟ
• Industry Standard: ตั้งแต่เปิดตัวมา ความคิดเกี่ยวกับ internal precompiles สำหรับ zkVMs ได้กลายเป็นมาตรฐานอุตสาหกรรม มีผลต่อโครงการเช่น RISC0, Valida, Nexus และ Jolt SP1 เป็นเพียง zkVM ที่พร้อมใช้งาน รองรับการดำเนินการทางคริปโตกราฟฟิคที่สำคัญในขอบเขตที่กว้าง
• การอ่าน / เขียนหน่วยความจำที่มีประสิทธิภาพ: SP1 ใช้วิธีการพิสูจน์หน่วยความจำที่นวัตกรรมฉลาดที่บ่งบอกถึงความจำที่สอดคล้องกันในหลายๆ การพิสูจน์ด้วยการท้าทายเพียงครั้งเดียว ลดการใช้ทรัพยากรของการสร้างพื้นที่เก็บข้อมูล Merkleized
• การเพิ่มประสิทธิภาพพื้นฐาน: การใช้ปัจจัยการระเบิดที่ต่ํากว่าและพารามิเตอร์การค้นหารุ่นต่อไป (เช่นอนุพันธ์ตามบันทึกเช่น LogUp) พร้อมกับตัวแปร FRI ใน Plonky3 SP1 ช่วยเพิ่มประสิทธิภาพการใช้ภูมิภาคการติดตาม

Image Source: บล็อกกระชับ — ดูคำอธิบายในภาคผนวกในลิงก์ส่วนขยาย 4

3. สามารถ OP กลายเป็นไพ่ Trump ของ OP Stack ต่อ ZK Stack ได้หรือไม่?

ภาพเครดิต: @jtguibas

หากโซลูชันการปรับขนาดของ Ethereum ถูกมองว่า OP ในระยะสั้นและ ZK ในระยะยาวความสําเร็จที่อาจเกิดขึ้นของ OP Succinct อาจเป็นก้าวสําคัญในเส้นทางการพัฒนาของ Ethereum OP Succinct ให้เส้นทางที่อัปเกรดได้สําหรับ ETH Rollups เพื่อเปลี่ยนจากการตรวจสอบในแง่ดีเป็น zero-knowledge proofs (ZKP) การเปลี่ยนแปลงนี้ไม่เพียง แต่ลดต้นทุนการทําธุรกรรม แต่ยังเพิ่มความเร็วในการทําธุรกรรมในขณะที่รักษาคุณลักษณะด้านความปลอดภัยและความเป็นส่วนตัวของ ZK Rollups ซึ่งเปิดโอกาสใหม่สําหรับการขยายเลเยอร์แอปพลิเคชันในอนาคต

ในหมู่ที่จำแนกไว้ 4 โซลูชันชั้นที่ 2 ที่ได้รับการยอมรับ OP Stack ปัจจุบันดูเหมือนจะมีข้อได้เปรียบเล็กน้อยต่อ ZK Stack ในเชิงการพัฒนานิวัติศาสตร์ อนาคตอาจจะเห็น Matthew effect ที่ชัดเจนมากขึ้น โดยที่การรวม OP Succinct อาจจะสาบานฉีกขน ZK Stack ได้บางส่วนของการโต้คลื่นและศักย์ความเป็นไปได้ หาก OP Succinct พิสูจน์ความสำเร็จได้ มันอาจทำให้เกิดความท้าทายต่อ Rollups ที่ใช้ zkEVM แบบดั้งเดิม

อย่างไรก็ตาม จากตรรกะการดำเนินการที่นำเสนอในขณะนี้ มีปัจจัยสำคัญหนึ่งที่เกิดขึ้น: วิธีการนักพัฒนาทำให้มั่นใจว่าความเสี่ยงระบบทั่วไปที่เกิดขึ้นจากช่องโหว่ที่ไม่รู้จักเมื่อแก้ไขฟังก์ชันการเปลี่ยนสถานะ (STF) หรือเพิ่ม precompiles ใหม่ ถูกตรวจพบในเวลาที่เหมาะสมหรือไม่? นี่เป็นส่วนที่ต้องให้ความสนใจในระยะยาว

ข้อความปฏิเสธความรับผิดชอบ：

1. บทความนี้ถูกพิมพ์ซ้ำจาก [ YBB Capital]. สิทธิ์ในการคัดลอกทั้งหมดเป็นของผู้เขียนต้นฉบับ [ Ac-Core]. หากมีข้อขัดแย้งใด ๆ เกี่ยวกับการพิมพ์ฉีดนี้ กรุณาติดต่อ Gate Learnทีม และพวกเขาจะดำเนินการโดยเร็ว
2. คำประกาศข้อจำกัดความรับผิด: มุมมองและความเห็นที่แสดงในบทความนี้เป็นเพียงแค่ของผู้เขียนเท่านั้นและไม่เป็นการให้คำแนะนำเกี่ยวกับการลงทุนใด ๆ
3. การแปลบทความเป็นภาษาอื่นๆ ทำโดยทีม Gate Learn หากไม่ระบุไว้ การคัดลอก การแจกจ่ายหรือการลอกเลียนแบบบทความที่แปลนั้นถูกห้าม