สรุปกระชับ

• คุณลักษณะหลักของ OP Succinct คือความสามารถในการรวมพิสูจน์ที่ไม่รู้ (ZKP) เข้าสู่การออกแบบโมดูลาร์ของ OP Stack โดยทำให้ OP Stack Rollup กลายเป็น ZK Rollup ที่ตรวจสอบได้อย่างเต็มที่
• หากเป้าหมายในอนาคตสำหรับการขยายของ Ethereum คือการแปลง Rollups ทั้งหมดเป็น ZK Rollups OP พันธกิจของ Succinct คือการผสม Rust และ SP1 เพื่อนำ OP Stack's Type-1 zkEVM มาใช้งาน ซึ่งเป็นเพียงการเข้ากันได้กับ Ethereum
• OP Succinct Proposer รับผิดชอบในการสร้างพิสูจน์ในโหมดขนานและรวมและยืนยัน
• ระบบ OP Stack ปัจจุบันใช้ "หน้าต่างป้องกันการฉ้อโกง 7 วัน" ซึ่งทำให้การยืนยันธุรกรรมล่าช้าเป็นเวลาหนึ่งสัปดาห์หากเกิดข้อพิพาท ในขณะที่ OP Succinct ใช้ ZK proofs เพื่อลดเวลาที่จำเป็นในการทำธุรกรรมสุดท้าย ลดความต้องการใช้ระยะเวลาในการป้องกันการฉ้อโกงเพิ่มเติม
• OP Succinct มีศักยภาพในการลดค่าธรรมเนียมการทำธุรกรรมอย่างมาก

1. ภาพรวมล่าสุด: สถานะปัจจุบันของ OP Mainnet และบทบาทของ OP Stack และ OP Labs

แหล่งที่มา: Blockscout

1.1 พัฒนาการล่าสุดของเครือข่ายหลัก OP

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

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

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

หากเกิดข้อพิพาท ผู้ดำเนินงาน Layer 2 จะต้องให้หลักฐานเพื่อตอบโต้คำโต้แย้งและยืนยันความถูกต้องของข้อมูลของพวกเขา

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

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

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

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

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

OP Labs ยังร่วมมือกับโครงการอื่น ๆ เช่น Succinct Labs เพื่อเพิ่มความก้าวหน้าให้กับเทคโนโลยีการขยายของ Ethereum โดยเน้นที่การปรับปรุงของพิสูจน์ที่ไม่มีความรู้ด้วยกิริยาเช่น OP Succinct

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

● สแต็ก OP:

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

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

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

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

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

2. การร่วมมือระหว่าง Succinct Labs และ OP Labs เพื่อรวม ZK Elements เข้ากับ OP Stack

แหล่งที่มา: บล็อกสรุป

2.1 โครงสร้างของ OP อย่างกระชับ

ในการอ้างถึงกลับไปที่ส่วนท้ายของส่วนที่ 1.2 ซึ่งกล่าวถึง "สี่ส่วนหลักของ OP Stack" OP Succinct เป็นการเพิ่มประสิทธิภาพที่เบาลงให้กับ OP Stack โดยอนุญาตให้เครื่องหมายฉบับเต็มใช้เฉพาะบล็อกที่ได้รับการยืนยันโดยใช้พิสูจน์ที่เหลือเชื่อซึ่งเป็นภูมิลำเนาที่สาม (op-geth, op-batcher, และ op-node) ยังคงเดิม OP Succinct ประกอบไปด้วยสี่องค์ประกอบต่อไปนี้คือ

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

2.2 น่าจะเนี่ยนที่สุด OP นำเสนอข้อมูลเพื่อการขยาย Ethereum ได้อย่างไร

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

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

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

ตามคำแนะนำจากเอกสารประกอบทางการของ GitHub การอัพเกรด OP Stack Rollup ที่มีอยู่เป็น Type-1 zkEVM Rollup คือง่าย: ติดตั้ง Rust, Foundry, และ Docker และทำตามขั้นตอนเหล่านี้: 1. นำ ZK L2OutputOracle.sol contract ไปใช้งาน; 2. เปิดให้บริการ OP Succinct proposer (รายละเอียดเพิ่มเติมสามารถหาได้ใน GitHub extended link 2)

อัปเกรดชุด Stack Rollup ของ OP เป็น ZK Proofs; แหล่งที่มาของภาพ: บล็อก Succinct

2.3 ประเภทของตึก-1 zkEVM พร้อม SP1 Reth

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

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

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

1. สถาปัตยกรรมที่เน้นการเตรียมคอมไพล์: SP1 มีระบบเตรียมคอมไพล์ที่ยืดหยุ่นซึ่งช่วยเพิ่มความเร็วของการดำเนินการต่างๆ (เช่นการตรวจสอบลายเซ็น secp256k1 และ ed25519 รวมถึงฟังก์ชันการเข้ารหัส sha256 และ keccak256) ลดจำนวนรอบการทำงานสำหรับโปรแกรมหลายๆ รายการลง 5-10 เท่า การออกแบบมุ่งเน้นการให้ประสิทธิภาพเทียบเท่ากับวงจร ZK พร้อมทั้งรักษาความยืดหยุ่นของ zkVM และการสร้างประสบการณ์ในการพัฒนาที่ดี
2. เปิดเผยแบบสมบูรณ์: SP1 เป็นแหล่งข้อมูลโอเพนซอร์สทั้งหมด ทำให้ทีมเช่น Argument และ Scroll สามารถนำเข้าสูตรก่อนการคำนวณที่กำหนดเองได้ เราสามารถลดจำนวนวงรอบและเร่งความเร็วในการสร้างพิสูจน์ได้
3. Industry Standard: ตั้งแต่เริ่มใช้งานครั้งแรกแนวคิดเกี่ยวกับ precompiles ภายใน zkVMs กลายเป็นมาตรฐานอุตสาหกรรมที่ได้รับการนำมาใช้ในโครงการเช่น RISC0, Valida, Nexus และ Jolt โดย SP1 ยังเป็นเครื่องมือพร้อมใช้งานเดียวที่รองรับการดำเนินการทางคริปโตกราฟีสำคัญผ่าน precompiles อย่างแพร่หลาย
4. การดำเนินการด้วยความจำที่มีประสิทธิภาพ: SP1 ใช้เทคนิคการพิสูจน์ความจำอย่างมีนวัตกรรมซึ่งใช้ความท้าทายเพียงครั้งเดียวเพื่อให้มั่นใจว่าความจำเป็นมีความทุ่มเทในการพิสูจน์หลายๆ รายการ ซึ่งช่วยลดการบรรทบที่เกี่ยวข้องกับความจำแบบ Merkleized ได้
5. การปรับปรุงประสิทธิภาพพื้นฐาน: มันรวมถึงตัวปัดล่างที่น้อยลงและพารามิเตอร์การค้นหารุ่นต่อไป (เช่น LogUp ที่อิงจากอนุพันธ์ลอการิทึม) พร้อมกับตัวแปร FRI รูปแบบหนึ่งใน Plonky3 ซึ่งเพิ่มประสิทธิภาพในการติดตามพื้นที่

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

3. สามารถ OP Succinct กลายเป็นข้อดีสำคัญของ OP Stack ต่อ ZK Stack ได้หรือไม่?

Image source author: @jtguibas

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

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

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

ข้อความประกาศล้มเหลว:

1. บทความนี้พิมพ์ซ้ําจาก[blockbeat],ส่งต่อชื่อต้นฉบับ OP เส้นทางสู่ความก้าวหน้าของ Stack: OP Succinct ปลดล็อกศักยภาพของ ZK Rollup ลิขสิทธิ์ทั้งหมดเป็นของผู้เขียนต้นฉบับ [Ac-Core,YBB Capital Researcher] หากมีการคัดค้านการพิมพ์ซ้ํานี้โปรดติดต่อ Gate Learn ทีมและพวกเขาจะจัดการกับมันทันที

2. คำประกาศความรับผิดชอบ: มุมมองและความคิดเห็นที่แสดงในบทความนี้เป็นเพียงแค่ของผู้เขียนเท่านั้นและไม่เป็นที่ปรึกษาการลงทุนใด ๆ

3. การแปลบทความเป็นภาษาอื่น ๆ ทำโดยทีม Gate Learn นอกจากที่กล่าวถึงGate.io, การคัดลอก การกระจาย หรือการลอกเลียนแบบบทความที่ถูกแปลต้องห้าม