ผู้เขียนต้นฉบับ: นักวิจัย YBB Capital Ac-Core
TL;ดร
ฟังก์ชันหลักที่ OP Succinct มอบให้คือการรวม ZKP เข้ากับสถาปัตยกรรมโมดูลาร์ของ OP Stack เพื่อทำการแปลง OP Stack Rollup ให้เป็น ZK Rollup ที่ได้รับการตรวจสอบอย่างสมบูรณ์
หากจุดจบของการขยายตัวในอนาคตของ Ethereum คือการแปลงทุก Rollup ให้เป็น ZK Rollup จุดประสงค์ของ OP Succinct คือการรวม Rust และ SP 1 เพื่อปรับใช้ Type-1 zkEVM ของ OP Stack (เทียบเท่า Ethereum เต็มรูปแบบ);
OP Succinct Proposer ส่วนใหญ่จะทำการสร้างหลักฐานและการรวบรวมและการตรวจสอบหลักฐานแบบคู่ขนานเสร็จสมบูรณ์
ระบบที่มีอยู่ของ OP Stack อาศัย กรอบเวลาต่อต้านการฉ้อโกง 7 วัน หากมีข้อพิพาทเกิดขึ้น การตรวจสอบธุรกรรมจะถูกเลื่อนออกไปหนึ่งสัปดาห์ OP Succinct ใช้หลักฐาน ZK เพื่อลดระยะเวลาในการทำธุรกรรมให้เสร็จสิ้น หน้าต่างป้องกันการฉ้อโกงแบบขยาย
OP Succinct สามารถลดต้นทุนการทำธุรกรรมได้อย่างมาก
1. การตรวจสอบล่าสุด: สถานะปัจจุบันของ OP Mainnet และ OP Stack และ OP Labs
ที่มา: Blockscout
1.1 ไฮไลท์การพัฒนาล่าสุดของ OP Mainnet
ตามข่าวเมื่อวันที่ 30 มีนาคม 2024 OP Labs ได้เปิดตัว การพิสูจน์ข้อผิดพลาด บนเครือข่ายการทดสอบ OP Sepoila และเผยแพร่การพิสูจน์ข้อบกพร่องอย่างเป็นทางการบน OP Mainnet เมื่อวันที่ 11 มิถุนายน 2024 ดังนั้นจึงเป็นการยกระดับการกระจายอำนาจไปสู่ขั้นแรก ซึ่ง อนุญาตให้ถอนโทเค็น ETH และ ERC-20 จาก OP Mainnet ทำให้ผู้ใช้สามารถท้าทายและลบการถอนที่ไม่ถูกต้อง (รวมถึง Base, Metal, Mode และ Zora) โดยไม่จำเป็นต้องใช้บุคคลที่สามที่เชื่อถือได้
เพื่อให้มั่นใจในความปลอดภัยและความน่าเชื่อถือของทรัพย์สินของผู้ใช้ Optimism ใช้การพิสูจน์ความล้มเหลวเพื่อปรับปรุงความแม่นยำและประสิทธิผลของธุรกรรมออนไลน์และป้องกันการกระทำที่ชั่วร้าย หลักการประกอบด้วย:
ความพร้อมใช้งานของข้อมูล: การพิสูจน์ความล้มเหลวในขั้นแรกทำให้แน่ใจได้ว่าข้อมูลทั้งหมดในเลเยอร์ 2 สามารถเข้าถึงได้และสามารถตรวจสอบได้โดยเลเยอร์-1
ช่วงเวลาท้าทาย: ในช่วงระยะเวลาท้าทาย ใครๆ ก็สามารถโต้แย้งข้อมูลในเลเยอร์ 2 ได้
หากมีใครพบว่าข้อมูล Layer-2 ไม่สอดคล้องกับข้อมูล Layer-1 พวกเขาสามารถท้าทายได้ การส่งใบรับรอง: หากมีการคัดค้าน ผู้ดำเนินการ Layer-2 จะต้องส่งใบรับรองเพื่อหักล้างการคัดค้านเหล่านี้และพิสูจน์ความถูกต้องของข้อมูล ขั้นสุดท้าย: หากไม่มีการโต้แย้งที่ถูกต้องภายในระยะเวลาท้าทาย หรือผู้ดำเนินการ Layer-2 ประสบความสำเร็จ โต้แย้งว่าธุรกรรมจะถือเป็นที่สิ้นสุดและถือว่าถูกต้อง
1.2.ความสัมพันธ์และความแตกต่างระหว่าง OP Stack และ OP Labs
OP Labs คือทีมหรือองค์กรที่พัฒนาโซลูชัน Optimism ในขณะที่ OP Stack เป็นเฟรมเวิร์กทางเทคนิคสำหรับการสร้างและขยายเครือข่าย Ethereum Layer 2 ความสัมพันธ์ระหว่าง OP Labs และ OP Stack สามารถเข้าใจได้ว่าเป็นความสัมพันธ์ระหว่างนักพัฒนาและเครื่องมือในการพัฒนาของพวกเขา
ห้องปฏิบัติการ OP:
OP Labs เป็นผู้มีส่วนร่วมหลักในโครงการ Optimism และรับผิดชอบในการพัฒนาและบำรุงรักษาโซลูชันระดับที่สองของ Optimism เป็นทีมหรือองค์กรที่มุ่งเน้นการสร้างและปรับปรุงเครื่องมือทางเทคนิคที่เกี่ยวข้องกับการปรับขนาด Ethereum เช่น Optimistic Rollups เป้าหมายหลักของ OP Labs คือการลดภาระบนเครือข่ายหลัก Ethereum ลดต้นทุนการทำธุรกรรม และเพิ่มความเร็วของการทำธุรกรรมผ่านโซลูชันการปรับขนาดเลเยอร์ 2 OP Labs ยังร่วมมือกับโครงการอื่นๆ เช่น Succinct Labs เพื่อพัฒนาเทคโนโลยีการปรับขนาด Ethereum เช่น OP Succinct ซึ่งมุ่งเน้นไปที่การปรับประสิทธิภาพของการพิสูจน์ความรู้เป็นศูนย์ให้เหมาะสม
OP Labs คือทีมหรือองค์กรหลักที่พัฒนาและดูแลรักษาเครือข่าย Optimism เป้าหมายของพวกเขาคือการสร้างโซลูชันที่มีประสิทธิภาพสำหรับการปรับขนาด Ethereum โดยมุ่งเน้นที่การลดค่าธรรมเนียมการทำธุรกรรมและเพิ่มความเร็วของการทำธุรกรรม พวกเขาไม่เพียงรับผิดชอบในการพัฒนา Optimistic Rollups เท่านั้น แต่ยังส่งเสริมเทคโนโลยีใหม่ๆ ที่เกี่ยวข้องกับการพิสูจน์ความรู้เป็นศูนย์อย่างแข็งขัน เช่น OP Succiinc โดยความร่วมมือกับ Succinct Labs
กอง OP:
OP Stack เป็นสถาปัตยกรรมโมดูลาร์หรือสแต็กเทคโนโลยีที่ใช้ในการสร้างและขยายเครือข่าย Ethereum Layer 2 ประกอบด้วยองค์ประกอบที่ปรับแต่งได้หลายอย่างซึ่งช่วยให้นักพัฒนาสามารถสร้าง Layer 2 Chain ของตนเองได้ตามความต้องการเฉพาะ เป็นวิธีการมาตรฐานที่ช่วยให้นักพัฒนาสามารถสร้างเครือข่ายส่วนขยายเลเยอร์ 2 ที่ตรงตามเงื่อนไขเฉพาะได้อย่างรวดเร็ว
OP Stack เป็นเฟรมเวิร์กโมดูลาร์ที่พัฒนาโดย OP Labs เฟรมเวิร์กนี้จัดเตรียมโครงสร้างพื้นฐานสำหรับการสร้างเครือข่ายเลเยอร์ที่สอง นักพัฒนาสามารถใช้ OP Stack เพื่อสร้างเครือข่ายขยายต่างๆ ได้อย่างรวดเร็ว เนื่องจากการออกแบบแบบโมดูลาร์ของ OP Stack จึงช่วยให้ผู้ใช้สามารถเลือกกลไกการตรวจสอบที่แตกต่างกันได้อย่างยืดหยุ่น (เช่น Optimistic Rollups หรือ ZK Rollups) เพื่อตอบสนองความต้องการของโครงการต่างๆ
OP Labs เรียกได้ว่าเป็นผู้พัฒนา OP Stack OP Stack เป็นเครื่องมือทางเทคนิคที่ OP Labs มอบให้เพื่อช่วยนักพัฒนาในการสร้างและขยายเครือข่ายชั้นที่สองของ Ethereum
ก่อนที่จะทำความเข้าใจ OP โดยสรุป คุณต้องเข้าใจองค์ประกอบหลักสี่ประการของแต่ละ OP stack เพิ่มเติม: 1. op-geth: รับธุรกรรมจากผู้ใช้ และใช้ธุรกรรมเหล่านี้เพื่อสร้างบล็อกและดำเนินการบล็อก 2. op-batcher: แปลงของผู้ใช้ ธุรกรรมจะถูกจัดกลุ่มและส่งไปยัง L1 3. op-node: อ่านข้อมูลแบตช์จาก L1 และขับเคลื่อน op-geth สำหรับการเปลี่ยนสถานะในโหมดที่ไม่ใช่ซีเควนเซอร์ 4. op-proposer: เผยแพร่เอาต์พุตไปยัง L1 เป็นประจำเพื่อบันทึกสถานะ L2 ดำเนินการถอนเงินได้ง่าย
2. Succinct Labs และ OP Labs ทำงานร่วมกันเพื่อแทรกองค์ประกอบ ZK ลงใน OP Stack
ที่มา: บล็อกสั้น ๆ
2.1 องค์ประกอบสถาปัตยกรรม OP รวบรัด
เมื่อรวมกับ องค์ประกอบหลักสี่ประการของ OP Stack ที่ส่วนท้ายของบทที่ 1.2 ข้างต้น OP Succinct เป็นการอัปเกรด OP Stack แบบมีน้ำหนักเบา ช่วยให้ chain ใช้เฉพาะบล็อกที่ตรวจสอบโดย ZK เท่านั้น ในขณะที่ยังคงรักษาองค์ประกอบอีกสามส่วนไว้ไม่เปลี่ยนแปลง (op -geth , op-batcher และ op-node) OP Succinct ส่วนใหญ่ประกอบด้วยสี่สิ่งต่อไปนี้:
โปรแกรมช่วง: นี่คือโปรแกรมที่ดำเนินการบล็อกแบบแบตช์ โปรแกรมนี้เขียนด้วยภาษา Rust และได้รับการออกแบบให้ดำเนินการใน zkVM
โปรแกรมการรวมกลุ่ม: โปรแกรม Proof of aggregation range เพื่อลดต้นทุนการตรวจสอบแบบออนไลน์ โปรแกรมนี้เขียนด้วยภาษา Rust และได้รับการออกแบบมาให้ดำเนินการใน zkVM
OP Succinct L2 Output Oracle.: สัญญาอัจฉริยะ Solidity ที่มีอาร์เรย์ของเอาต์พุตสถานะ L2 โดยที่แต่ละเอาต์พุตจะคอมมิตกับสถานะลูกโซ่ L2 สัญญานี้มีอยู่แล้วในระบบดั้งเดิมของ Optimism แต่ได้รับการแก้ไขเพื่อใช้การพิสูจน์ยืนยันเป็นกลไกการตรวจสอบสิทธิ์
OP ผู้เสนอโดยสรุป: สังเกตชุดธุรกรรมที่เผยแพร่บน L1 และควบคุมการพิสูจน์ขอบเขตโปรแกรมและโปรแกรมการรวมกลุ่ม
2.2 OP Succinct บอกเล่าเรื่องราวเกี่ยวกับการขยาย Ethereum แบบใด?
zkEVM Rollup สร้างขึ้นได้ยากมากเนื่องจากมีความเชี่ยวชาญด้านการเข้ารหัสอย่างลึกซึ้ง เมื่อสร้าง OP Stack แบบโมดูลาร์ ทีมงาน OP Labs ได้พิจารณาสนับสนุนการพิสูจน์กลไกความถูกต้องต่างๆ และพัฒนา Kona (ดูลิงก์เพิ่มเติม 1) ให้เป็นโอเพ่นซอร์สเพื่อส่งผ่าน Rust ในการใช้ฟังก์ชันการเปลี่ยนสถานะ STF (ลอจิกฟังก์ชันของการเปลี่ยนสถานะธุรกรรม) ภายใต้ OP Stack Rollup และสุดท้ายใช้โปรแกรม Kona และ SP 1 เพื่อสร้าง Zero-Knowledge Proof (ZKP) ของ OP Stack นั่นคือตามทฤษฎีแล้ว โซ่ทั้งหมดของ OP Stack สามารถทำได้ อัปเกรดและใช้ ZKP
เป้าหมายของ SP 1 (Succinct Processor 1) คือการทำให้นักพัฒนาใดๆ สามารถรวม Type-1 zkEVM rollup ได้อย่างราบรื่นโดยใช้โค้ด Rust มาตรฐาน และเชื่อมโยง OP Stack ใดๆ ที่มีอยู่ได้อย่างราบรื่นในเวลาเพียง 1 ชั่วโมงผ่าน OP Succinct Upgrade เป็น Type-1 zkEVM rollup และจัดเตรียม ประสิทธิภาพสูงที่ต้องการโดยแอปพลิเคชัน สิ่งนี้ให้ข้อดีดังต่อไปนี้:
การยืนยันอย่างรวดเร็วของ ZKP: ลดความล่าช้าในการรับรองให้เหลือสิบนาทีเพื่อ แทนที่ ระยะเวลาท้าทายการรับรองการฉ้อโกง 7 วัน
ลดต้นทุนและเพิ่มประสิทธิภาพ: ต้นทุนเฉลี่ยของแต่ละธุรกรรมต่ำเพียงไม่กี่เซ็นต์
สลับ OP Stack เป็น ZK: เพียงปรับใช้สัญญาอัจฉริยะและเริ่มบริการข้อเสนอ OP Succinct แบบน้ำหนักเบา (ดูด้านล่าง) เพื่อสร้างการพิสูจน์ผ่านการเรียก API (รวมถึงตัวประมวลผล/ซีเควนแบบแบตช์, op-node, ตัวสร้างดัชนี ฯลฯ)
Type-1 zkEVM: เครื่องมือและสัญญาอัจฉริยะทั้งหมดที่เข้ากันได้กับ OP Stack Rollup เหมาะสำหรับ OP Succinct Rollup;
ปรับปรุงความสามารถในการปรับขนาด: การใช้ OP Succinct rollup ที่ปรับแต่งได้ สามารถเพิ่มการคอมไพล์ล่วงหน้าใหม่และตรรกะ Rollup ได้
ตาม GitHub อย่างเป็นทางการ กระบวนการนี้ต้องการเพียงการติดตั้ง Rust, Foundry และ Docker เพื่ออัปเกรดชุดรวม OP Stack ที่มีอยู่เป็นชุดรวม zkEVM Type-1 และกระบวนการนี้ง่ายขึ้นเหลือเพียงสองขั้นตอนเท่านั้น: 1. ปรับใช้สัญญา ZK L2 OutputOracle.sol ;2. เริ่มบริการข้อเสนอ OP Succinct (ดูลิงก์ส่วนขยาย GitHub 2 สำหรับกระบวนการ)
อัปเกรด OP Stack Rollup เป็นการพิสูจน์ ZK แหล่งที่มา: บล็อกสั้น ๆ
2.3 สร้าง Type-1 zkEVM โดยใช้ SP 1 Reth
โดยสรุปเชื่อว่าอนาคตของ EVM Rollup จะเป็น zkEVM ที่บำรุงรักษาได้ซึ่งเขียนด้วยภาษา Rust ในปัจจุบัน OP Rollup เผชิญกับปัญหาสามประการหลัก: กรอบเวลาพิสูจน์การฉ้อโกงที่ยาวเกินไป 7 วัน การทำงานร่วมกันที่ซับซ้อน และการพึ่งพาหลายกลุ่มในบางกรณี มากกว่ากลไกป้องกันการฉ้อโกง นอกจากนี้ การสร้าง zkEVM ยังเป็นกระบวนการที่ต้องใช้เวลายาวนาน ดังนั้น SP 1 จึงได้รับการพัฒนาเพื่อแก้ไขปัญหาเหล่านี้
SP 1 เป็นโอเพ่นซอร์สประสิทธิภาพสูง 100% และ zkVM แบบโอเพนซอร์สที่ปรับแต่งได้อย่างสมบูรณ์ ซึ่งสามารถตรวจสอบการทำงานของโปรแกรม Rust (หรือภาษาที่คอมไพล์ LVM) ใด ๆ ตามข้อมูลสาธารณะ OP Succinct Stack ได้ถูกใช้งานบน OP Mainnet, OP แล้ว Sepolia และ Base chains ดำเนินการและบรรลุต้นทุนการพิสูจน์ที่ $0.01-0.02 ในธุรกรรม Ethereum (ดูลิงก์เพิ่มเติม 3) หวังว่าในอนาคตโครงสร้างพื้นฐานบล็อกเชนทั้งหมด (รวมถึง Rollup, Bridges, โปรเซสเซอร์ร่วม ฯลฯ) จะถูกเขียนด้วยภาษา Rust (หรือภาษาที่คอมไพล์ LLVM อื่นๆ) และใช้ ZKP
จากข้อมูลสรุปของบล็อกสั้นๆ และเนื้อหา 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 ใช้วิธีการพิสูจน์หน่วยความจำที่เป็นนวัตกรรมใหม่ โดยใช้ความท้าทายเพียงครั้งเดียวเพื่อให้ได้หน่วยความจำที่สม่ำเสมอสำหรับการพิสูจน์หลายครั้ง หลีกเลี่ยงค่าใช้จ่ายที่เกิดจากหน่วยความจำ Merkleized
การเพิ่มประสิทธิภาพขั้นพื้นฐาน: การใช้ปัจจัยการระเบิดที่ต่ำกว่าและพารามิเตอร์การค้นหารุ่นใหม่ (เช่น LogUp ตามอนุพันธ์ลอการิทึม) รวมถึงตัวแปร FRI ใน Plonky 3 ประสิทธิภาพการใช้งานของพื้นที่การติดตามได้รับการปรับปรุง
แหล่งที่มาของรูปภาพ: บล็อกสั้น ๆ ดูคำอธิบายภาคผนวกลิงก์ขยาย 4
3. OP Succinct สามารถเป็นไพ่ทรัมป์ของ OP Stack เทียบกับ ZK Stack ได้หรือไม่?
ผู้เขียนแหล่งที่มาของภาพ: @jtguibas
หากแผนการขยายของ Ethereum มองที่ OP ในระยะสั้นและ ZK ในระยะยาว จะถือเป็นเหตุการณ์สำคัญในเส้นทางการพัฒนาของ Ethereum โดยสมมติว่า OP Succinct สามารถประสบความสำเร็จได้ OP Succinct มอบเส้นทางที่สามารถอัปเกรดได้สำหรับ ETH Rollups เพื่อแปลงจากการตรวจสอบในแง่ดีเป็นการพิสูจน์ความรู้เป็นศูนย์ ซึ่งไม่เพียงแต่ช่วยลดต้นทุนการทำธุรกรรม แต่ยังเพิ่มความเร็วของการทำธุรกรรมอีกด้วย และยังรักษาคุณสมบัติด้านความปลอดภัยและการไม่เปิดเผยตัวตนของ ZK Rollups อีกด้วย ซึ่งมอบโซลูชันเลเยอร์แอปพลิเคชันในอนาคต . การระบาดนำมาซึ่งความเป็นไปได้ใหม่ๆ
ในบรรดาราชาทั้งสี่ที่ได้รับการยอมรับในเลเยอร์ 2 นั้น OP Stack นั้นดีกว่า ZK Stack เล็กน้อยในแง่ของการพัฒนาระบบนิเวศของโครงการในขั้นตอนนี้ Matthew Effect อาจปรากฏขึ้นอีกในอนาคต ด้วยการเพิ่ม OP Succinct มันก็ดูดซับ ZK ไปด้วย ในระดับหนึ่ง ปริมาณการใช้งานและศักยภาพของ Stack หาก OP Succinct สามารถเกิดขึ้นได้ในอนาคต ก็อาจส่งผลกระทบบางอย่างต่อการรวม zkEVM แบบเดิม
อย่างไรก็ตาม ตามที่ระบุไว้ต่อสาธารณะในขั้นตอนนี้ การค้นหาจากตรรกะการทำงานของ OP Succinct นั้นไม่ใช่เรื่องยาก เพื่อให้แน่ใจว่านักพัฒนาจะค้นพบความเสี่ยงเชิงระบบที่เกิดจากช่องโหว่ที่ไม่รู้จักทันทีเมื่อแก้ไขฟังก์ชัน STF หรือเพิ่มฟังก์ชันที่คอมไพล์ใหม่ ต้องการ เราให้ความสำคัญกับระยะยาว
ลิงค์ส่วนขยาย:
(1) https://github.com/anton-rs/kona?ref=blog.succinct.xyz
(2) https://github.com/succinctlabs/op-succinct
