บานสะพรั่งอย่างยิ่งใหญ่: zkApps ระดับการผลิตที่เรียบง่าย ทรงพลัง กำลังจะมาเยือน Mina
ผู้เขียนต้นฉบับ: o1labs ฟิล เคลลี่
ต้นฉบับแปล: YBB Capital Erin
คำนำ
การอัปเกรดครั้งใหญ่ของ Mina นำมาซึ่งกรณีการใช้งานที่ไม่มีความรู้เชิงนวัตกรรม โดยนำเสนอความสามารถในการดำเนินการสัญญาอัจฉริยะแบบออฟไลน์ในสภาพแวดล้อมไคลเอนต์ เช่น เบราว์เซอร์หรือเซิร์ฟเวอร์ บทความนี้สำรวจความสำคัญของ zkApps (แอปพลิเคชันที่เปิดใช้งาน zk) ผลกระทบที่อาจเกิดขึ้นกับ Web3 และบทบาทที่สำคัญของการอัปเกรด Berkeley ที่กำลังจะมาถึงของ Mina
ในสาขาที่มีการพัฒนาอย่างรวดเร็วของ Web3 ความก้าวหน้าล่าสุดในด้านความรู้เป็นศูนย์ได้เปิดศักราชใหม่ ตั้งแต่การโรลอัปที่เร็วขึ้นและไคลเอนต์แบบเบาไปจนถึงการเชื่อมโยงเทคโนโลยี ความก้าวหน้าในโครงสร้างพื้นฐาน ZooKeeper ยังคงดึงดูดความสนใจอย่างต่อเนื่อง แต่เราเชื่อว่าความสามารถในการเปลี่ยนแปลงเกมอย่างแท้จริงได้เกิดขึ้นแล้ว - ความสามารถในการดำเนินการสัญญาอัจฉริยะแบบออฟไลน์โดยสมบูรณ์ในสภาพแวดล้อมไคลเอนต์ เช่น เบราว์เซอร์หรือเซิร์ฟเวอร์
ย้ายออกจากห่วงโซ่
สิ่งนี้สำเร็จได้อย่างไร? กุญแจสำคัญของนวัตกรรมนี้คือการสร้างสัญญาอัจฉริยะโดยใช้โค้ด zk application (zkApp) โค้ดประเภทนี้ช่วยให้มั่นใจได้ถึงการดำเนินการที่ป้องกันการงัดแงะ และสามารถพิสูจน์ความถูกต้องของการดำเนินงานต่อบุคคลที่สาม โดยไม่ต้องแนะนำสมมติฐานด้านความน่าเชื่อถือใหม่ โดยพื้นฐานแล้วสะท้อนถึงฟังก์ชันการทำงานของสัญญาอัจฉริยะแบบออนไลน์
ผลกระทบของแอปพลิเคชันที่เปิดใช้งาน zk เหล่านี้มีผลกระทบอย่างกว้างขวาง ด้วยการย้ายการดำเนินการของสัญญาอัจฉริยะแบบออฟไลน์ คุณสามารถเอาชนะความท้าทายมากมายที่เกี่ยวข้องกับการดำเนินการแบบออนไลน์ได้ เช่น ต้นทุนก๊าซ ข้อจำกัดของข้อมูล ข้อจำกัดด้านขนาด และความล่าช้าของเวลา นอกจากนี้ zkApps ยังให้การปกป้องความเป็นส่วนตัวที่ดียิ่งขึ้น ช่วยให้สามารถตรวจสอบข้อมูลที่ละเอียดอ่อน เช่น อายุ โดยไม่เปิดเผยรายละเอียดส่วนบุคคลที่ถูกต้อง เช่น วันเกิด
การเปิดตัว zkApps จะก่อให้เกิดคลื่นแห่งนวัตกรรม เติมชีวิตชีวาให้กับจิตวิญญาณแห่งไซเฟอร์พังค์ของ Web3 และฟื้นคืนแนวคิดที่ครั้งหนึ่งเคยถือว่าทำไม่ได้ในช่วง 5-10 ปีที่ผ่านมา
ทอดสมออยู่บนโซ่
แม้ว่า zkApps จะมีฟังก์ชันการทำงานแบบ off-chain แต่ Anchor chain ยังคงมีความสำคัญ หลังจากพัฒนามานานกว่าสองปี การอัพเกรด Berkeley ของ Mina อยู่ในขั้นตอนสุดท้ายของการเตรียมการ ทำไม zkApps ถึงต้องมีเชน? เนื่องจากการพิสูจน์ zkApp ภายนอกเชนจำเป็นต้องมีการตรวจสอบ การใช้เชนจึงสามารถนำมาซึ่งข้อดีในการตรวจสอบที่น่าเชื่อถือหลายประการ:
การตรวจสอบอัตโนมัติบนห่วงโซ่โดยผู้ตรวจสอบที่เป็นกลางระดับมืออาชีพ
ทริกเกอร์การดำเนินการติดตามผลโดยอัตโนมัติตามผลการตรวจสอบ (เช่น เมื่อคุณพิสูจน์ว่าคุณอายุเกิน 18 ปี บัญชี DeFi ของคุณจะถูกเปิดและธุรกรรมจะถูกปิด)
เก็บข้อมูลการยืนยันอย่างถาวรเพื่อใช้อ้างอิงข้อมูลในอนาคต
การตรวจสอบที่สามารถเชื่อมต่อกับเครือข่ายอื่นได้
ความจริงก็คือกระบวนการตรวจสอบระหว่างสัญญาอัจฉริยะแบบ off-chain และการตรวจสอบแบบ on-chain อาจฟังดูเป็นขั้นตอนที่ไม่เซ็กซี่นัก และหากมีสิ่งผิดปกติเกิดขึ้น ข้อดีของแนวทางแบบ off-chain ก็สามารถกัดกร่อนได้อย่างรวดเร็ว หากไม่มีเครือข่ายที่สร้างขึ้นตามวัตถุประสงค์อย่าง Mina การตรวจสอบสัญญาอัจฉริยะอาจกลายเป็นเรื่องใหญ่ ซับซ้อน และมีราคาแพง ดังนั้น Mina จึงถูกสร้างขึ้นใหม่ทั้งหมดเพื่อจัดการกับ Zero-Knowledge Proofs (ZKP) หลังจากอัปเกรด Berkeley แล้ว บล็อกเชนของ Mina จะกลายเป็นสถานที่ที่ยอดเยี่ยมในการตรวจสอบการพิสูจน์แอปพลิเคชันนอกเครือข่าย เหตุใด Mina จึงเป็นสถานที่ที่ดีเยี่ยมในการตรวจสอบ zkApps
หากไม่มีต้นทุนค่าน้ำมัน ค่าใช้จ่ายในการตรวจสอบการพิสูจน์ออนเชนจะต่ำเสมอ โดยไม่คำนึงถึงขนาดของสัญญาอัจฉริยะนอกเชน
สถานะเล็กๆ ของ Mina หมายความว่าในอนาคตอันใกล้นี้ โหนดเต็มรูปแบบควรจะสามารถทำงานในเบราว์เซอร์ของผู้ใช้ได้ ทำให้สามารถส่งการพิสูจน์ได้โดยไม่ต้องใช้โปรโตคอลการเรียกขั้นตอนระยะไกล (RPC) ของบุคคลที่สาม ซึ่งเหมาะสำหรับการปกป้องความเป็นส่วนตัว
สถานะเล็กๆ ของ Mina ยังหมายความว่าสามารถแสดงบน chain อื่นๆ ผ่านทาง state proof-based bridging (โดยไม่ต้องแฮ็กโทเค็น) ดังนั้น Mina จึงสามารถทำหน้าที่เป็นชั้นพิสูจน์แบบโมดูลาร์สำหรับ Web3 ทั้งหมด ท่ามกลางคุณสมบัติอื่นๆ มากมาย สิ่งนี้ทำให้คุณสามารถเขียนแอปพลิเคชัน zk ของคุณได้เพียงครั้งเดียว ตรวจสอบเอาต์พุตหนึ่งครั้งบน Mina จากนั้นเชื่อมโยงการตรวจสอบกับเชนอื่นๆ หลายๆ เชน นี่คือยุคของ DApp แบบหลายสายทันที
การตรวจสอบความถูกต้องสามารถทำได้โดยตรงบนห่วงโซ่ EVM แต่ในด้านแอปพลิเคชันซอฟต์แวร์ เราทุกคนรู้ดีว่า "สามารถ" ไม่เท่ากับ "ควร" ดังนั้นตามทฤษฎีแล้ว EVM ยังสามารถใช้เป็นเลเยอร์ Data Availability (DA) และผู้สั่งซื้อแบบกระจายอำนาจสำหรับเครือข่ายอื่นๆ ได้ แต่โลกของ Web3 ได้พิสูจน์แล้วว่าความเป็นโมดูลาร์เป็นวิธีหนึ่งในการบรรลุฟังก์ชันพิเศษเหล่านี้ และการตรวจสอบได้พิสูจน์แล้วว่ามีความเชี่ยวชาญสูง การทำงาน.
การปฏิวัตินอกเครือข่าย
กลับมาที่โค้ดของแอปพลิเคชันกันดีกว่า และมองไปข้างหน้าไปจนถึงช่วงที่เหลือของปี 2024 พวกเราที่ o1Labs กำลังตั้งตารอที่นวัตกรรมแอปพลิเคชันและกรณีการใช้งานที่เพิ่มขึ้นอย่างรวดเร็วซึ่งขับเคลื่อนโดยการประมวลผลแบบออฟไลน์ของ zk และการปฏิวัติแบบออฟไลน์นี้นำมาซึ่งความเป็นไปได้ที่น่าตื่นเต้นหลายประการ:
การคำนวณแบบไม่ใช้แก๊ส: การคำนวณแบบออฟเชนของ zk ช่วยให้สามารถคำนวณขนาดใดก็ได้โดยไม่ต้องเสียค่าธรรมเนียมก๊าซและไม่ต้องเชื่อถือ
ความเป็นส่วนตัวที่ตรวจสอบได้: ลูกค้า zk รับประกันความพร้อมใช้งานของความเป็นส่วนตัวที่ตรวจสอบได้อย่างกว้างขวาง
การใช้ข้อมูล Web2: การใช้การคำนวณหลายฝ่าย (MPC) และ ZK สำหรับ “การรับรองเอกสาร” ทำให้การใช้ข้อมูล Web2 ในแต่ละวันเป็นไปได้
การสร้าง zkApps อย่างง่าย: ภาษาเฉพาะโดเมน (DSL) ใหม่ เช่น o1.js โดยใช้ TypeScript ช่วยให้นักพัฒนาสามารถสร้างแอปพลิเคชัน zk ได้อย่างรวดเร็วและง่ายดาย
o1js : ทำให้โค้ด zk เข้าถึงได้แบบออฟไลน์
แม้ว่าในอดีตจะเป็นไปได้ที่จะสร้างโค้ด zk แบบ off-chain แต่ในทางปฏิบัติ o1js ทำให้มันง่ายมาโดยตลอด ด้วยการใช้ประโยชน์จาก TypeScript o1js จึงมอบภาษาระดับสูงที่ใช้งานง่าย ซึ่งทำให้ปรับใช้และบำรุงรักษาได้ง่ายขึ้น เนื่องจาก o1js รองรับฟังก์ชัน WebAssembly (WASM) zkApp ของคุณจึงสามารถทำงานได้อย่างราบรื่นในเบราว์เซอร์ของผู้ใช้ นอกจากนี้ ความสามารถในการเรียกซ้ำของ o1js ยังสามารถใช้เพื่อรวบรวมและบีบอัดการพิสูจน์หลายรายการจากการคำนวณนอกห่วงโซ่ให้เป็นการพิสูจน์ขนาดเล็ก
o1js เปิดให้บริการมาตั้งแต่ปี 2022 และไม่เพียงแต่จะเติบโตเต็มที่เท่านั้น แต่ยังได้รับความสามารถใหม่ๆ อีกด้วย การปรับปรุงล่าสุดที่น่าตื่นเต้นสำหรับฟังก์ชันพื้นฐาน ของ o1js ช่วยให้แอปพลิเคชัน zk สามารถจัดการกับอินพุตที่หลากหลายยิ่งขึ้น ตัวอย่างได้แก่:
เผยแพร่ ECDSA และ Keccak การประมวลผลดั้งเดิม เพื่อให้คุณสามารถใช้ข้อมูลแหล่งข้อมูล Ethereum ที่ลงนามโดย MetaMask ได้
รองรับเทคโนโลยีการเข้ารหัส SHA-256 ซึ่งเป็นพื้นฐานสำหรับแหล่งข้อมูลจำนวนมากในโลก Web2 (เช่น ข้อมูลหนังสือเดินทาง)
การรับรองเอกสารและการเป็นพยานเบื้องต้นที่สร้างข้อมูลในข้อมูลที่ได้รับการรับรองเซสชัน Web2 (เช่น ยอดคงเหลือในบัญชีธนาคารของคุณ) สำหรับข้อมูลที่เกี่ยวข้องเพิ่มเติม โปรดติดตาม!
เข้าร่วมการปฏิวัติ zkApp
การเกิดขึ้นของ zkApps บน Mina ถือเป็นช่วงเวลาสำคัญในการพัฒนา Web3 โดยปลดล็อกขอบเขตของความเป็นไปได้ที่ครั้งหนึ่งเคยถือว่าทำไม่ได้ เรากำลังรอคอยที่จะได้เห็นการอัพเกรดของ Berkeley
สิ่งที่ระบบนิเวศจะสร้าง ติดตามความเคลื่อนไหวล่าสุดใน Berkeley โดยติดตามเราบน Twitter/X และเข้าร่วม Mina Discord
