สัมภาษณ์พิเศษกับ Michael ซีอีโอของ Brevis: การปรับขนาด zkVM มีประสิทธิภาพมากกว่า L2 มาก
บนฮาร์ดแวร์ระดับผู้บริโภค GPU 64 ตัวสามารถพิสูจน์บล็อก L1 ได้สำเร็จถึง 99.6% ภายใน 12 วินาที—Pico Prism เครื่องเสมือนแบบ Zero-Knowledge (zkVM) หลาย GPU ของ Brevis ประสบความสำเร็จอย่างก้าวกระโดดในด้านประสิทธิภาพ
ความสำเร็จครั้งสำคัญนี้ยังดึงดูดความสนใจอย่างมากจากชุมชนแกนหลักของ Ethereum Vitalik Buterin ผู้ก่อตั้ง Ethereum กล่าวว่า "ผมรู้สึกยินดีเป็นอย่างยิ่งที่ได้เห็น Pico Prism ของ Brevis เข้าสู่วงการการตรวจสอบ ZK-EVM อย่างเป็นทางการ นี่ถือเป็นก้าวสำคัญในด้านความเร็วและความสามารถในการพิสูจน์ ZK-EVM" Michael ผู้ร่วมก่อตั้งและซีอีโอของ Brevis กล่าวว่า "ข้อมูลเหล่านี้พิสูจน์ได้ด้วยตัวมันเอง เราได้สร้างโครงสร้างพื้นฐานที่สามารถรองรับการผลิตบล็อกแบบเรียลไทม์ของ Ethereum โดยใช้ฮาร์ดแวร์ระดับผู้บริโภค ประสิทธิภาพนี้สอดคล้องกับเป้าหมายการกระจายศูนย์ของ Ethereum อย่างสมบูรณ์แบบ" ไมเคิล ผู้ร่วมก่อตั้งและซีอีโอของเบรวิส ผู้สำเร็จการศึกษาระดับปริญญาเอกสาขาวิทยาการคอมพิวเตอร์จาก UIUC และผู้เชี่ยวชาญด้านระบบแบบกระจายและเครือข่ายประสิทธิภาพสูง ประสบความสำเร็จในการออกจากบริษัทสตาร์ทอัพหลายแห่งในซิลิคอนแวลลีย์ และงานวิจัยของเขาได้รับการยอมรับจากบริษัทเทคโนโลยีหลายแห่ง รวมถึง Google ในปี 2018 เขาได้ก่อตั้ง Celer Network (ซึ่งมีมูลค่าสูงสุดกว่า 2 พันล้านดอลลาร์สหรัฐ) ปัจจุบันเขาเป็นผู้นำทีมเบรวิสในการผสานการพิสูจน์แบบ Zero-Knowledge เข้ากับการประมวลผลที่ตรวจสอบได้ โดยหวังว่าจะสร้างโครงสร้างพื้นฐานที่สามารถรองรับความต้องการการประมวลผลขนาดใหญ่ของระบบนิเวศ Ethereum ได้อย่างแท้จริง
เพื่อให้เข้าใจถึงความสำเร็จครั้งสำคัญนี้ของเบรวิสได้ดียิ่งขึ้น และผลกระทบที่มีต่อระบบนิเวศ Ethereum BlockBeats ได้สนทนาเชิงลึกกับไมเคิล ผู้ร่วมก่อตั้งและซีอีโอของเบรวิส
เราได้หารือกันถึงสามคำถามหลัก:
· พันธกิจและการวางตำแหน่งของ Brevis
· การประมวลผลที่ตรวจสอบได้จะมอบคุณค่าเชิงปฏิบัติอะไรให้กับแอปพลิเคชันบ้าง
· ขั้นตอนต่อไปของ Brevis ในกระบวนการปรับแนวทางอย่างลึกซึ้งกับระบบนิเวศ Ethereum
นี่ไม่ใช่แค่การสนทนาเกี่ยวกับเทคโนโลยีเท่านั้น แต่ยังเป็นการสะท้อนความคิดเชิงมองไปข้างหน้าเกี่ยวกับอนาคตของความน่าเชื่อถือในการประมวลผลอีกด้วย
Brevis คืออะไร: จากวิสัยทัศน์สู่การวางตำแหน่ง
BlockBeats: คุณช่วยอธิบายด้วยคำง่ายๆ ก่อนได้ไหมว่า Brevis เป็นโครงการประเภทใด และมีเป้าหมายที่จะแก้ไขอะไร
ไมเคิล: เราวางตำแหน่ง Brevis ให้เป็น Infinite Computing Layer ซึ่งรองรับทั้ง Web3 และสถานการณ์การใช้งานที่หลากหลายยิ่งขึ้น เป้าหมายหลักของเราคือการมอบพลังการประมวลผลที่แทบไม่จำกัดสำหรับแอปพลิเคชันแบบออนเชน ควบคู่ไปกับการรักษาการกระจายศูนย์และความปลอดภัย แก้ไขปัญหาความขัดแย้งเชิงโครงสร้างที่มีมายาวนานระหว่างประสิทธิภาพสูง/ฟังก์ชันการทำงานที่ซับซ้อน กับการลดความน่าเชื่อถือ แม้ว่าการขยายเลเยอร์ 2 เมื่อเร็ว ๆ นี้จะช่วยเพิ่มทรูพุตได้อย่างมาก แต่การประมวลผลที่ซับซ้อน (เช่น การประมวลผลข้อมูลย้อนหลังขนาดใหญ่ การรวมข้อมูลข้ามเชน และการใช้เหตุผลเชิงอัลกอริทึม/ปัญญาประดิษฐ์) ยังคงมีจำกัด ซึ่งเป็นอุปสรรคต่อการนำฟีเจอร์ขั้นสูงมากมายมาใช้ โซลูชันของ Brevis คือการประมวลผลแบบออฟเชนและการตรวจสอบแบบออนเชน การประมวลผลจำนวนมากจะดำเนินการแบบออฟเชน และจะสร้างหลักฐานแบบ Zero-Knowledge (หลักฐาน ZK) สัญญาออนเชนจำเป็นต้องตรวจสอบความถูกต้องของหลักฐานด้วยต้นทุนที่ต่ำที่สุด จึงไม่จำเป็นต้องรันการประมวลผลทั้งหมดซ้ำ วิธีนี้ช่วยให้สัญญามีปลั๊กอินที่มีความปลอดภัยทางการเข้ารหัสได้อย่างมีประสิทธิภาพ ช่วยขยายขอบเขตของพลังการประมวลผลและฟังก์ชันการทำงานที่มีอยู่อย่างมีนัยสำคัญ โดยไม่กระทบต่อการกระจายอำนาจหรือความปลอดภัย ปัจจุบัน สัญญาอัจฉริยะยังไม่ฉลาดมากนัก แต่ Brevis สามารถทำให้อัจฉริยะได้อย่างแท้จริงBlockBeats: Brevis ถูกเรียกว่าเลเยอร์การประมวลผลแบบอนันต์ของ Web3 แนวคิดนี้เกิดขึ้นได้อย่างไร? มันแตกต่างโดยพื้นฐานจากความเข้าใจดั้งเดิมของการประมวลผลแบบออนเชนหรือการปรับขนาดอย่างไร
Michael: เราเรียก Brevis ว่าเลเยอร์การประมวลผลแบบอนันต์ของ Web3 เพราะเป้าหมายของมันคือการทลายขีดจำกัดการประมวลผลของบล็อกเชน โซลูชันการปรับขนาดแบบดั้งเดิม (เช่น Layer 2 Rollup) ช่วยเพิ่มปริมาณงานของธุรกรรมจากหลายสิบ TPS เป็นหลายร้อยหรือหลายพัน TPS เป็นหลัก แต่ยังคงมีขีดจำกัดอยู่ และไม่ได้ตอบโจทย์คำถามที่ว่าการประมวลผลที่ซับซ้อนตามอำเภอใจสามารถดำเนินการบนเครือข่ายได้หรือไม่ โดยทั่วไปแล้ว ออนเชนสามารถจัดการได้เฉพาะธุรกรรมและการดำเนินการตามสัญญาที่ค่อนข้างง่ายเท่านั้น เมื่อความซับซ้อนในการประมวลผลเพิ่มขึ้น การสร้างแบบจำลองและโฮสต์บนเครือข่าย เช่น การประมวลผลข้อมูลขนาดใหญ่ การให้เหตุผลด้วย AI หรืออัลกอริทึมที่ซับซ้อนก็จะกลายเป็นเรื่องยาก จุดเริ่มต้นของ Brevis แตกต่างออกไป แทนที่จะเพียงแค่ทำให้ธุรกรรมบางประเภทเร็วขึ้น เรามุ่งมั่นที่จะทำให้บล็อกเชนสามารถยอมรับและนำผลลัพธ์ของการคำนวณใดๆ มาใช้ พร้อมกับการรักษาความปลอดภัยและความน่าเชื่อถือ ซึ่งสอดคล้องกับกระบวนทัศน์ใหม่ของการประมวลผลที่ตรวจสอบได้ ตราบใดที่การประมวลผลนอกเครือข่ายสามารถสร้างหลักฐานทางคณิตศาสตร์ที่ปราศจากความรู้ ความถูกต้องและความปลอดภัยของข้อมูลนั้นสามารถตรวจสอบได้บนเครือข่ายด้วยต้นทุนที่ต่ำมากสำหรับนักพัฒนา Brevis เปรียบเสมือนคลาวด์การประมวลผลที่ตรวจสอบได้: เช่นเดียวกับคลาวด์คอมพิวติ้ง มันปรับขนาดพลังการประมวลผลตามความต้องการ ประมวลผลที่ซับซ้อนนอกเครือข่าย และส่งหลักฐานสำหรับการตรวจสอบบนเครือข่าย ทั้งหมดนี้ยังคงรักษารูปแบบความปลอดภัยและความน่าเชื่อถือเช่นเดียวกับสัญญาบนเครือข่ายดั้งเดิม ดังนั้น เราจึงนิยาม Brevis ว่าเป็นเลเยอร์การประมวลผลแบบอนันต์ ซึ่งให้พื้นที่การประมวลผลที่แทบไม่จำกัดในแง่ของประสิทธิภาพและความพร้อมใช้งาน ในขณะที่ยังคงความน่าเชื่อถือและความปลอดภัยเช่นเดียวกับบล็อกเชน BlockBeats: แนวคิดของการประมวลผลที่ตรวจสอบได้ที่เราเพิ่งพูดถึงไปนั้นฟังดูเป็นนามธรรมมาก คุณช่วยอธิบายบทบาทของ Brevis ใน Brevis ให้เข้าใจง่ายขึ้นได้ไหม Michael: ข้อจำกัดพื้นฐานของบล็อกเชนคือพวกมันสามารถบรรลุขีดความสามารถในการประมวลผลที่จำกัดได้ ในขณะที่ยังคงความปลอดภัยและความน่าเชื่อถือ เครือข่ายสาธารณะอย่าง Ethereum เป็นระบบฉันทามติ ซึ่งโหนดจำนวนมากในเครือข่ายจะทำการคำนวณในธุรกรรมหรือสัญญาเดียวกันอย่างอิสระ และหลังจากบรรลุฉันทามติแล้ว พวกมันจึงจะสร้างบล็อกใหม่ขึ้นมา กลไกนี้มีความปลอดภัยแต่ไม่มีประสิทธิภาพ คล้ายกับสถานการณ์ที่ทั้งชั้นเรียนต้องแก้ปัญหาเดียวกันตั้งแต่ต้นเพื่อยืนยันคำตอบ แนวคิดเบื้องหลังการคำนวณที่ตรวจสอบได้คือการแยกการคำนวณออกจากการตรวจสอบ ช่วยลดความซ้ำซ้อนของความพยายาม ยกตัวอย่างเช่น ปัญหาไก่กับกระต่ายอยู่ร่วมกัน การแก้ปัญหาต้องอาศัยการกำหนดสมการและการหาอนุพันธ์ ในขณะที่การตรวจสอบความถูกต้องของคำตอบที่ต้องการเพียงแค่แทนค่ากลับเข้าไปในสมการ ซึ่งเป็นความพยายามที่มีค่าใช้จ่ายน้อยกว่าการแก้ปัญหามาก การคำนวณและการตรวจสอบผลลัพธ์เป็นปัญหาที่แยกจากกันโดยเนื้อแท้ในทฤษฎีคอมพิวเตอร์ โดยที่การตรวจสอบผลลัพธ์มักจะง่ายกว่า การพิสูจน์แบบ Zero-knowledge จะนำสิ่งนี้ไปใช้กับการคำนวณใดๆ ตั้งแต่การคำนวณง่ายๆ เช่น 1 + 1 = 2 ไปจนถึงการให้เหตุผลเกี่ยวกับแบบจำลองขนาดใหญ่ หลังจากการคำนวณเสร็จสิ้น สามารถสร้างการพิสูจน์ที่กระชับได้ ช่วยให้ผู้อื่นสามารถตรวจสอบผลลัพธ์ได้อย่างรวดเร็วและง่ายดายด้วยค่าใช้จ่ายที่น้อยที่สุด โดยไม่ต้องเปิดเผยรายละเอียดการคำนวณ ใน Brevis การประมวลผลที่หนักหน่วงจะดำเนินการแบบ off-chain เพื่อสร้างหลักฐาน ZK ในขณะที่การตรวจสอบหลักฐานแบบ on-chain เกิดขึ้น ทำให้ไม่จำเป็นต้องรันการคำนวณทั้งหมดซ้ำ นี่คือคุณค่าหลักของการคำนวณที่ตรวจสอบได้ การแยกการคำนวณและการตรวจสอบออกจากกันอย่างสมบูรณ์ ช่วยให้เราลดค่าใช้จ่ายในการประมวลผลเป้าหมายเดียวกันได้อย่างมากนับครั้งไม่ถ้วน
ทำไมต้องเลือก: สถาปัตยกรรมทางเทคนิคและแนวคิดหลัก
Rhythm BlockBeats: ในระดับทางเทคนิค Brevis ประกอบด้วยโมดูลหลักสองโมดูล ได้แก่ ZK Data Coprocessor (ต่อไปนี้จะเรียกว่า zkCoprocessor) และ Pico zkVM ความสัมพันธ์ระหว่างสองโมดูลนี้คืออะไร และช่วยแก้ปัญหาอะไรได้บ้าง Michael:
Brevis สามารถเข้าใจได้ว่าเป็นโครงสร้างแบบเลเยอร์: Pico zkVM ที่เป็นพื้นฐานเป็นเอ็นจิ้นการคำนวณอเนกประสงค์ (Virtual Machine) ที่สามารถประมวลผลการคำนวณตามต้องการและสร้างหลักฐาน zk คุณสมบัติสำคัญของ Brevis คือความเป็นโมดูลาร์สูง ช่วยให้สามารถเชื่อมต่อกับโคโปรเซสเซอร์ได้หลายตัว zkCoprocessor เป็นโคโปรเซสเซอร์สำหรับสถานการณ์ข้อมูลบล็อกเชน คุณสามารถมองว่าเป็นปลั๊กอินหรือปลั๊กอินภายนอกได้ ในรูปแบบปัจจุบัน zkCoprocessor มีลักษณะคล้ายกับระบบหน่วยความจำสำหรับ zkVM มากกว่า ช่วยให้สัญญาอัจฉริยะสามารถดูและเข้าใจเหตุการณ์ในอดีตบนเชน (เช่น ธุรกรรมของผู้ใช้ ยอดคงเหลือ ตำแหน่ง ฯลฯ)
Rhythm BlockBeats: คุณพัฒนา Pico zkVM ภายในองค์กรแทนที่จะนำโซลูชันจากโครงการ zkVM อื่นๆ มาใช้ อะไรคือสิ่งที่ควรพิจารณาเบื้องหลัง? อะไรที่ทำให้ Brevis แตกต่างจากโครงการ zk อื่นๆ?
Michael: นี่เป็นคำถามสำคัญมาก อันที่จริงแล้วมีโครงการ zkVM มากมายในตลาดอยู่แล้ว แล้วทำไม Brevis ถึงสร้าง Pico zkVM ของตัวเองขึ้นมาตั้งแต่ต้น? เหตุผลหลักนั้นง่ายมาก—เราเชื่อว่า zkVM ส่วนใหญ่ที่มีอยู่ยังคงอยู่ในขั้นตอนการทดลองและไม่ได้ถูกออกแบบมาเพื่อการใช้งานจริงขนาดใหญ่อย่างแท้จริง ในแง่ของประสิทธิภาพโดยรวม ต้นทุน และความสามารถในการปรับขนาด พวกมันยังห่างไกลจากความเป็นไปได้ในเชิงพาณิชย์อย่างแท้จริง กล่าวอีกนัยหนึ่ง พวกมันเป็นเหมือนการพิสูจน์แนวคิดมากกว่าระบบระดับการใช้งานจริงที่สามารถรองรับการโทรได้หลายสิบล้านครั้ง
Brevis เผชิญกับสถานการณ์ความต้องการที่สมจริงมากตั้งแต่เริ่มต้น โปรโตคอล DeFi ชั้นนำอย่าง PancakeSwap, Euler, Linea และ Usual สร้าง zk proofs หลายล้านรายการต่อวัน หากประสิทธิภาพของ zkVM พื้นฐานไม่ได้มาตรฐาน ระบบทั้งหมดจะไม่สามารถเปิดใช้งานได้ สิ่งนี้บังคับให้เราต้องสร้างเอนจินประมวลผล zk ที่ออกแบบมาสำหรับสภาพแวดล้อมการใช้งานจริงโดยเฉพาะ นั่นคือ Pico zkVM Pico มีคุณลักษณะเด่นสามประการ ประการแรกคือประสิทธิภาพสูงสุด ปัจจุบัน Pico เป็น zkVM ที่ทรงพลังที่สุดในโลก Pico Prism รุ่นล่าสุดของเราสามารถทำการ proofing แบบเรียลไทม์สำหรับบล็อกหลัก Ethereum ได้ถึง 99.6% (เสร็จสิ้นภายใน 12 วินาที) บนโหนด 64,5090 โหนด โดย 96.8% ของบล็อกเสร็จสิ้นภายใน 10 วินาที ซึ่งแสดงถึงการปรับปรุงประสิทธิภาพ 3-4 เท่าและลดต้นทุนด้านฮาร์ดแวร์ลงประมาณ 50% กล่าวอีกนัยหนึ่ง หาก Ethereum ทำงานบน Pico ในปัจจุบัน ประสิทธิภาพในการตรวจสอบโดยรวมอาจเพิ่มขึ้นอย่างมาก นับเป็นความก้าวหน้าครั้งสำคัญในการพิสูจน์แบบเรียลไทม์ ประการที่สอง Pico มีสถาปัตยกรรมแบบโมดูลาร์ที่โดดเด่น ปัจจุบัน Pico เป็น zkVM เพียงตัวเดียวที่รองรับโคโปรเซสเซอร์ภายนอก zkVM อื่นๆ มักมีโครงสร้างแบบปิด จำกัดเฉพาะการคำนวณทั่วไป ในขณะที่ Pico สามารถโหลดโมดูลที่ปรับแต่งให้เหมาะกับสถานการณ์การใช้งานเฉพาะได้ ตัวอย่างเช่น เมื่อเข้าถึงข้อมูลย้อนหลัง การตรวจสอบความถูกต้องแบบไขว้ของระเบียนบนเชน หรือการรันตรรกะทางการเงินที่ซับซ้อน โคโปรเซสเซอร์ของ Pico สามารถเชื่อมต่อได้เหมือนปลั๊กอินเพื่อเร่งความเร็วงานเฉพาะด้าน ซึ่งทำให้ Pico มีทั้งความคล่องตัวและความสามารถเฉพาะด้านประสิทธิภาพสูง ช่วยให้ครอบคลุมแอปพลิเคชันได้หลากหลาย ตั้งแต่ Web3 DeFi ไปจนถึงการประมวลผล AI Web2 สุดท้าย Pico เป็นมิตรกับนักพัฒนา เราไม่กำหนดให้นักพัฒนาต้องมีความเชี่ยวชาญด้านการเข้ารหัสหรือทฤษฎี ZK เพื่อใช้งาน นักพัฒนาเพียงแค่ต้องมีความรู้ด้าน Rust ก็สามารถใช้งานได้ ทำให้สามารถเขียนแอปพลิเคชัน ZK ได้เหมือนโปรแกรมทั่วไป สิ่งนี้ช่วยลดอุปสรรคในการเข้าถึงได้อย่างมาก และซ่อนความซับซ้อนของ ZK ในระดับต่ำไว้ได้อย่างสมบูรณ์ กล่าวโดยสรุปคือ เราไม่ใช่แค่ zkVM ทดลอง แต่เป็นเอ็นจิ้นประมวลผล ZK ที่สร้างขึ้นสำหรับโลกแห่งความเป็นจริงและกรณีการใช้งานจริง BlockBeats: คุณเพิ่งประกาศเปิดตัว Pico Prism ซึ่งสามารถทำการทดสอบแบบเรียลไทม์ได้ 99.6% บนฮาร์ดแวร์ระดับผู้บริโภค คุณช่วยอธิบายความก้าวหน้าทางเทคนิคเบื้องหลังความสำเร็จนี้ และความหมายที่มีต่อขีดจำกัดประสิทธิภาพของ zkVM ได้ไหมครับ Michael: ก่อนอื่นผมขออธิบายความสำคัญของเรื่องนี้ก่อน การปรับปรุงประสิทธิภาพไม่ใช่แค่การปรับแต่งทางเทคนิคเท่านั้น แต่ยังมีความสำคัญอย่างยิ่งต่อความสามารถในการปรับขนาดและการพัฒนาระบบนิเวศ Ethereum ในอนาคต สถาปัตยกรรมปัจจุบันของ Ethereum กำหนดให้แต่ละโหนดต้องดำเนินการประมวลผลแบบเดียวกันซ้ำๆ ซึ่งมีความปลอดภัยและเชื่อถือได้ แต่ความสามารถในการปรับขนาดกำลังใกล้ถึงขีดจำกัดแล้ว ขั้นตอนต่อไปต้องการกระบวนทัศน์ใหม่ นั่นคือ โหนดเดียวที่ดำเนินการประมวลผลจำนวนมากและสร้างการทดสอบ ZK ในขณะที่โหนดอื่นๆ ทำหน้าที่ตรวจสอบเพียงอย่างเดียว วิธีการคำนวณแบบจุดเดียวและการตรวจสอบหลายจุดนี้สามารถเพิ่มปริมาณงานได้เป็นลำดับขนาด แม้จะไปถึงหรือเกินระดับของ Solana ขณะเดียวกันก็รักษาการกระจายอำนาจและการรักษาความปลอดภัย ขณะเดียวกันก็รักษาระดับโหนดแบบกระจายอำนาจที่จำเป็นในเดือนกรกฎาคมปีนี้ มูลนิธิ Ethereum ได้ประกาศเป้าหมายสองปี นั่นคือ การพิสูจน์บล็อกแบบเรียลไทม์ได้ 99% โดยใช้ฮาร์ดแวร์ระดับผู้บริโภคที่มีราคาต่ำกว่า 100,000 ดอลลาร์สหรัฐ เมื่อบรรลุเป้าหมายนี้แล้ว จะทำให้สามารถปรับขนาดได้อย่างแทบไม่จำกัด ด้วยการเพิ่มพลังการประมวลผลของฮาร์ดแวร์ทั่วไป อย่างไรก็ตาม จนถึงปัจจุบัน สิ่งนี้ถือเป็นความเป็นไปได้ทางทฤษฎี: โซลูชัน zkVM ส่วนใหญ่ยังต่ำกว่ามาตรฐานนี้อย่างมากในแง่ของการครอบคลุม ต้นทุน และความเร็ว โดยหลายโซลูชันประสบปัญหาในการครอบคลุมแบบเรียลไทม์ถึง 90% Pico Prism เป็นระบบแรกที่ก้าวข้ามขีดจำกัดด้านประสิทธิภาพนี้ได้อย่างแท้จริง ในการทดสอบของเรา โดยใช้ GPU เพียง 64,5090 ตัว (ราคาประมาณ 120,000 ดอลลาร์สหรัฐ) เราสามารถพิสูจน์บล็อก Ethereum ได้ 99.6% ภายใน 12 วินาที โดย 96.8% ของบล็อกเสร็จสมบูรณ์ภายใน 10 วินาที โดยมีเวลาพิสูจน์เฉลี่ยเพียง 6.9 วินาที เมื่อเทียบกับโปรโตคอลอื่นๆ Pico มีประสิทธิภาพดีขึ้น 70% และลดต้นทุนได้ 50% กล่าวอีกนัยหนึ่งคือ ไม่เพียงแต่เร็วกว่าเท่านั้น แต่ยังถูกกว่าด้วย ซึ่งหมายความว่าเราใกล้บรรลุเป้าหมายที่มูลนิธิ Ethereum ตั้งไว้มาก BlockBeats: ในแง่ของฟังก์ชันการทำงานและเป้าหมาย Brevis คล้ายกับเลเยอร์เร่งความเร็ว ZK ของ Ethereum หรือคล้ายกับคลาวด์ประมวลผลแบบหลายเชนที่ตรวจสอบได้ ไมเคิล: ในแง่ของฟังก์ชันการทำงานและเป้าหมาย ทั้งสองตำแหน่งนี้ไม่ขัดแย้งกัน ในระยะสั้น Brevis คล้ายกับ Ethereum และเลเยอร์เร่งความเร็ว ZK ของเลเยอร์ 2 มากกว่า เราสอดคล้องกับทิศทางของมูลนิธิ Ethereum นั่นคือการขยายขีดความสามารถของเมนเน็ต 10 เท่าเป็น 100 เท่าผ่านการพิสูจน์แบบ Zero-Knowledge ในขณะเดียวกัน ความสามารถในการพิสูจน์แบบเรียลไทม์จะช่วยปรับปรุงการทำงานร่วมกันของ Layer 2 Rollups อย่างมีนัยสำคัญ ทำให้ธุรกรรมข้ามเชนเร็วขึ้น มีประสิทธิภาพมากขึ้น และมีค่าใช้จ่ายน้อยลง และส่งเสริมการรวมสถานะและสภาพคล่องที่ดีขึ้น จากมุมมองระยะยาวและกว้างขึ้น ตำแหน่งของ Brevis ไม่ได้จำกัดอยู่แค่ Ethereum สถาปัตยกรรมของเรารองรับหลายเชนโดยเนื้อแท้ ปัจจุบันเรากำลังร่วมมือกับพันธมิตรในระบบนิเวศ เช่น BNB Chain (เช่น PancakeSwap) และส่งเสริมความร่วมมือในโครงการต่างๆ นอกเหนือจาก Ethereum เช่น สัญญาแบบถาวร เรายังรักษาความสอดคล้องกับระบบนิเวศแบบเลเยอร์ที่สอง/หลายเชน เช่น Arbitrum, Base และ Avalanche โดยรวมแล้ว เราหวังที่จะสร้าง Brevis ให้เป็นคลาวด์การประมวลผลที่ตรวจสอบได้สำหรับแอปพลิเคชันบล็อกเชนทั้งหมด เป้าหมายของเราคือการทำให้สัญญาอัจฉริยะที่ติดตั้งบนเชนใดๆ สามารถเข้าถึงบริการการประมวลผลนี้ได้อย่างง่ายดายภายใน 3-5 ปีข้างหน้า ในระยะยาว การประมวลผลแอปพลิเคชันบล็อกเชนส่วนใหญ่จะเป็นแบบนอกเชน โดยรับประกันความน่าเชื่อถือโดยใช้ ZK Brevis จะทำหน้าที่เป็นเลเยอร์ความน่าเชื่อถือในการประมวลผลแบบรวมสำหรับระบบแบบกระจายศูนย์ทั้งหมดวิธีการนำไปใช้งาน: แอปพลิเคชันจริงและกรณีศึกษา
BlockBeats: แอปพลิเคชัน DeFi หลายตัว เช่น PancakeSwap, Euler และ Linea ได้ใช้เทคโนโลยี Brevis อยู่แล้ว คุณช่วยยกตัวอย่างการทำงานในสถานการณ์เหล่านี้ให้ชัดเจนหน่อยได้ไหมครับ
Michael: ใช่ครับ สถานการณ์การใช้งานปัจจุบันของเราแบ่งออกเป็นหลายประเภท ซึ่งประเภทที่พบมากที่สุดคือ DeFi PancakeSwap ที่เพิ่งกล่าวถึงไปนี้เป็นตัวอย่างหนึ่ง เราไม่ต้องการให้ประสบการณ์ผู้ใช้ DEX อยู่ในระดับเดียวกัน ไม่ว่าคุณจะเป็นเทรดเดอร์ทั่วไปหรือเทรดเดอร์ความถี่สูง อินเทอร์เฟซและค่าธรรมเนียมจะเหมือนกันทุกประการ เราหวังว่า DEX จะสามารถมอบประสบการณ์ที่แตกต่างให้กับผู้ใช้ประเภทต่างๆ ได้ทีละน้อย เช่นเดียวกับ CEX ในขณะเดียวกัน เรากำลังสำรวจแอปพลิเคชันที่เป็นนวัตกรรมมากขึ้น ตัวอย่างเช่น เรากำลังร่วมมือกับโครงการต่างๆ เช่น SocialFi เพื่อให้ผู้ใช้สามารถพิสูจน์อิทธิพลและสินทรัพย์จริงของตนได้โดยไม่ต้องเปิดเผยกระเป๋าเงินหลัก
นอกจากนี้ เรายังส่งเสริมสถานการณ์บางอย่างที่ดำเนินการเกือบทั้งหมดนอกเครือข่าย เช่น ในระบบการซื้อขายแบบถาวรอย่าง Hyperliquid ตำแหน่งของผู้ใช้ เลเวอเรจ และข้อมูลอื่นๆ มักเปิดเผยต่อสาธารณะ ทำให้มีความเสี่ยงต่อการถูกโจมตีจากเทรดเดอร์รายอื่น เราหวังที่จะปรับโครงสร้างระบบนี้โดยใช้เทคโนโลยี ZK ซึ่งช่วยให้สามารถเข้ารหัสและซ่อนบันทึกคำสั่งซื้อและตำแหน่งทั้งหมดได้ ในขณะที่ยังคงใช้หลักฐาน ZK เพื่อรับรองความถูกต้องของการจับคู่และความปลอดภัยของระบบ ซึ่งจะมอบประสบการณ์ที่ราบรื่นคล้ายกับแพลตฟอร์มการซื้อขายแบบรวมศูนย์ ในขณะเดียวกันก็รักษาความปลอดภัยและความเป็นส่วนตัวในระดับบล็อกเชน
BlockBeats: ในระดับผลิตภัณฑ์ Incentra เป็นแอปพลิเคชันหลักที่คุณได้เปิดตัว และปัจจุบันบริหารจัดการการแจกจ่ายสิ่งจูงใจมูลค่ากว่า 300 ล้านดอลลาร์ ระบบนี้ทำงานอย่างไร
Michael: จุดเริ่มต้นของ Incentra นั้นเรียบง่าย: การกระจายแรงจูงใจเป็นหัวใจสำคัญของการเติบโตของทุกระบบนิเวศ แต่กลไกการกระจายนี้กลับประสบปัญหาด้านความปลอดภัย การปฏิบัติตามกฎระเบียบ และความโปร่งใสมาอย่างยาวนาน
กลไกหลักของ Incentra คือการที่ผู้ใช้สร้างหลักฐาน ZK ตามพฤติกรรมจริงบนเครือข่ายหรือในโปรโตคอล การตรวจสอบสิทธิ์และการเรียกร้องสิทธิ์จะดำเนินการโดยตรงบนสัญญาบนเครือข่าย ทำให้ไม่จำเป็นต้องกระจายแบบรวมศูนย์ รูปแบบนี้มีข้อได้เปรียบเหนือวิธีการแบบเดิมสามประการ ประการแรก ความปลอดภัย: เงินจะถูกชำระภายในสัญญาตามกฎที่กำหนดไว้ล่วงหน้า ลดความเสี่ยงด้านการเก็บรักษาและการดำเนินงานแบบรวมศูนย์ ประการที่สอง การปฏิบัติตามกฎระเบียบและตรวจสอบได้: กฎและหลักฐานสิทธิ์ของ Incentra สามารถตรวจสอบย้อนกลับได้บนเครือข่าย จึงช่วยลดภาระการปฏิบัติตามกฎระเบียบในการโอนเงินไปยังหน่วยงานที่ไม่รู้จัก ประการที่สาม ความยุติธรรมและความโปร่งใส: ข้อเรียกร้องใดๆ สามารถตรวจสอบได้อย่างอิสระจากภายนอก เพื่อสะท้อนถึงการมีส่วนร่วมและเส้นทางการคำนวณที่แท้จริง โดยไม่ต้องจัดสรรแบบกล่องดำ ระบบนี้ได้ถูกนำไปใช้งานแล้วในสถานการณ์การเติบโตและการสร้างแรงจูงใจสำหรับโครงการต่างๆ เช่น BNB Chain, MetaMask, OpenEden และ Usual ไม่ว่าจะอยู่ในระบบนิเวศ stablecoin หรือระบบสร้างแรงจูงใจแบบ on-chain โซลูชันนี้รับประกันการกระจายแรงจูงใจที่ปลอดภัย เป็นไปตามข้อกำหนด และโปร่งใสBlockBeats: เมื่อเทียบกับโครงการ ZK จำนวนมากที่ยังอยู่ในห้องทดลอง Brevis ได้ประสบความสำเร็จในการนำไปใช้งานในวงกว้างแล้ว ทำไมคุณถึงคิดว่าคุณทำได้รวดเร็วขนาดนี้? Michael: ผมคิดว่าเหตุผลหลักคือตั้งแต่วันแรก เราไม่ได้มองว่าตัวเองเป็นห้องปฏิบัติการ ZK ที่มุ่งเน้นการวิจัย แต่เป็นบริษัทโครงสร้างพื้นฐานที่มุ่งเน้นการใช้งานจริง วิธีการทางเทคนิคของเราไม่ใช่การสร้างเอนจิ้นก่อนแล้วจึงค้นหาแอปพลิเคชัน แต่เป็นในทางกลับกัน โดยเริ่มจากข้อกำหนดของแอปพลิเคชันและทำงานย้อนกลับเพื่อออกแบบสถาปัตยกรรมพื้นฐาน สิ่งนี้ทำให้ Brevis แตกต่างอย่างแท้จริง โครงการ ZK หลายโครงการพัฒนา zkVM ที่ดูเหมือนจะสมบูรณ์แบบแบบปิด แล้วจึงพิจารณาถึงการใช้งานที่เป็นไปได้ ในทางกลับกัน เราเริ่มต้นด้วยการทำความเข้าใจปัญหาที่แท้จริงของโครงการพันธมิตรของเรา โดยเริ่มจากการทำความเข้าใจความต้องการในทางปฏิบัติของพวกเขาก่อน จากนั้นจึงค่อยๆ ออกแบบสถาปัตยกรรม zkVM แบบโมดูลาร์ และสร้าง zkCoprocessor แบบปลั๊กอิน กล่าวอีกนัยหนึ่ง วิวัฒนาการทางเทคโนโลยีของ Brevis ไม่ได้ถูกวางแผนขึ้นมาแบบลอยๆ แต่ถูกขับเคลื่อนทีละขั้นตอนโดยผู้ใช้และพันธมิตรจริง แนวทางการวิจัยและพัฒนาที่ขับเคลื่อนด้วยปัญหานี้ช่วยให้สามารถทำซ้ำได้อย่างต่อเนื่องและรวดเร็ว โดยการปรับปรุงแต่ละครั้งจะมุ่งเป้าไปที่กรณีการใช้งานที่ตรวจสอบได้โดยตรง สิ่งนี้ยังช่วยให้มั่นใจได้ถึงเสถียรภาพและความสามารถในการปรับขนาดระดับการผลิตตั้งแต่เริ่มต้น แทนที่จะเขียนโค้ดสำหรับงานวิจัยเพียงอย่างเดียว นอกจากนี้ยังมีเหตุผลที่ตรงไปตรงมามากกว่านั้น นั่นคือ ทีมงานของเรามีความเชี่ยวชาญทั้งในด้านการเข้ารหัสและวิศวกรรมระบบขนาดใหญ่ เราไม่เคยหยุดอยู่แค่การอนุมานเชิงทฤษฎี แต่เราจะพัฒนาประสิทธิภาพและยืนยันเสถียรภาพในสภาพแวดล้อมการผลิตอย่างแท้จริง จนถึงปัจจุบัน Brevis ได้สร้างหลักฐาน Zero-Knowledge มากกว่า 100 ล้านฉบับบนเมนเน็ต ให้บริการผู้ใช้ประมาณ 190,000 คน และจัดการแรงจูงใจในโลกแห่งความเป็นจริงมากกว่า 300 ล้านดอลลาร์สำหรับโปรโตคอลของพันธมิตร แอปพลิเคชันเหล่านี้เป็นแอปพลิเคชันที่ใช้งานจริง ซึ่งรวมถึงโปรเจกต์อย่าง Linea, Euler, Usual และ OpenEden ไม่ใช่เดโมหรือเทสต์เน็ต
ก้าวต่อไป: สถานการณ์เปิดและวิสัยทัศน์ในอนาคต
Rhythm BlockBeats: นอกเหนือจาก DeFi แล้ว คุณคิดว่าโมเดลการตรวจสอบแบบ off-chain computing และ on-chain จะมีผลกระทบต่อ AI ตลาดข้อมูล หรือเกมในอนาคตอย่างไร
Michael: นอกเหนือจาก DeFi แล้ว โมเดลนี้จะส่งผลอย่างยาวนานต่อ AI ที่ตรวจสอบได้ การเชื่อมโยงข้อมูลและการระบุตัวตนจาก Web2 ไปยัง Web3 ตลาดข้อมูลส่วนบุคคล รวมถึงเกมและเครือข่ายสังคมออนไลน์ ประการแรก ในด้าน AI ที่ตรวจสอบได้ โมเดลที่มีอยู่ส่วนใหญ่เป็นกล่องดำ การพิสูจน์แบบ zero-knowledge สามารถสร้างหลักฐานทางคณิตศาสตร์ที่ตรวจสอบได้ของกระบวนการคิดเชิงเหตุผล ซึ่งพิสูจน์ได้ว่าโมเดลเฉพาะเจาะจงสร้างผลลัพธ์ที่สอดคล้องกันโดยอ้างอิงจากอินพุตที่กำหนด และมั่นใจได้ว่าโมเดลและกระบวนการไม่ได้ถูกแทนที่หรือถูกแทรกแซง ประการที่สอง ในสถานการณ์จำลองสะพานเชื่อม Web2 สู่ Web3 ผู้ใช้สามารถนำคุณสมบัติหรือพฤติกรรมบนแพลตฟอร์มรวมศูนย์มาใช้กับแอปพลิเคชันบนเครือข่ายในรูปแบบของหลักฐาน ตัวอย่างเช่น กิจกรรมการซื้อขายบนตลาดแลกเปลี่ยนรวมศูนย์สามารถเชื่อมโยงกับค่าธรรมเนียมที่ลดราคาบนตลาดแลกเปลี่ยนแบบกระจายศูนย์ได้โดยไม่ต้องเปิดเผยตัวตนหรือรายละเอียดบัญชีที่เกี่ยวข้อง สุดท้าย ในวงการเกมและโซเชียล ผู้ใช้สามารถพิสูจน์ความสำเร็จในอดีต การถือครองสินทรัพย์ หรือการทำพฤติกรรมสำคัญให้สำเร็จ เพื่อรับสิทธิ์การเข้าถึง คุณสมบัติที่ตรงกัน หรือสิ่งจูงใจต่างๆ โดยไม่ต้องเปิดเผยกระเป๋าเงินหรือข้อมูลส่วนบุคคลที่ละเอียดอ่อนในระยะยาว ระบบนี้จะนิยามขอบเขตของความน่าเชื่อถือในโลกดิจิทัลใหม่ ผ่าน Web3 และการพิสูจน์แบบ Zero-Knowledge เราหวังว่าจะปรับเปลี่ยนความเข้าใจของสังคมเกี่ยวกับ Trust Computing เพื่อให้มั่นใจว่าทุกการประมวลผลสามารถตรวจสอบและเชื่อถือได้ Brevis ตั้งเป้าที่จะเป็นรากฐานของทั้งหมดนี้ นั่นคือเลเยอร์ความน่าเชื่อถือในการประมวลผลแบบใหม่ BlockBeats: เราได้เห็น Brevis เปิดตัวงาน Brevis Proving Grounds เมื่อวันที่ 13 ตุลาคม คุณช่วยเล่าเนื้อหาหลักของงานนี้และสิ่งที่ผู้ใช้สามารถเข้าร่วมและสัมผัสได้จริงได้ไหม Michael: ตลอดระยะเวลาที่ผ่านมา เราได้ทุ่มเทความพยายามอย่างมากในการตรวจสอบและอนุมัติเอกสารสำหรับการสมัครของเรา เราได้สร้างความร่วมมือเชิงลึกกับพันธมิตรกว่า 20 รายแล้ว แต่ละโครงการเหล่านี้เป็นตัวแทนของสถานการณ์การใช้งานจริงที่ผู้ใช้สามารถใช้งานได้จริง และแสดงให้เห็นถึงประสิทธิภาพที่ยอดเยี่ยมและการรักษาผู้ใช้ อย่างไรก็ตาม เราได้ค้นพบว่าในโลกของบล็อกเชน หลายสิ่งหลายอย่างถูกขับเคลื่อนโดยการรับรู้และการพัฒนาของผู้ใช้ กล่าวอีกนัยหนึ่ง เมื่อผู้ใช้เข้าใจคุณค่าของเทคโนโลยีใหม่อย่างแท้จริง ความคิดเห็นและความต้องการของพวกเขาจะผลักดันให้นักพัฒนาพัฒนาฟีเจอร์ใหม่ๆ มากขึ้น ด้วยเหตุนี้ เราจึงต้องการดึงดูดผู้ใช้อย่างแท้จริง ให้พวกเขาได้สัมผัสและพิสูจน์ถึงประโยชน์ที่แท้จริงด้วยตนเอง นี่คือจุดประสงค์หลักของแคมเปญ "The Brevis Proving Grounds" ของเรา แคมเปญนี้แบ่งออกเป็นสองระยะ ระยะแรกคือ การให้ความรู้แก่ผู้ใช้ ซึ่งเรามุ่งหวังที่จะช่วยให้ผู้คนเข้าใจมากขึ้นว่าพันธมิตรของเรากำลังทำอะไร และปัญหาเฉพาะที่ Zero-Knowledge Proofs (ZK) สามารถแก้ไขได้ในโครงการเหล่านี้ ระยะนี้มุ่งเน้นไปที่การส่งเสริมความเข้าใจและเสริมสร้างความเข้าใจที่ชัดเจนเกี่ยวกับตรรกะและความสำคัญของเทคโนโลยี ระยะที่สองคือระยะประสบการณ์จริง ซึ่งผู้ใช้จะได้ใช้งานแอปพลิเคชันที่มีอยู่ของเราด้วยตนเอง และสัมผัสประสบการณ์การเปลี่ยนแปลงที่ผลิตภัณฑ์เหล่านี้นำมาหลังจากผสานรวม Brevis ซึ่งแตกต่างจากโครงการอื่นๆ ที่แคมเปญมักให้ผู้ใช้คลิกเมาส์ ทำภารกิจให้สำเร็จ และได้รับประโยชน์ แต่โครงการเหล่านี้มักขาดประสบการณ์ที่แท้จริง นวัตกรรม และฟังก์ชันการทำงานระดับล่าง เราแตกต่าง โครงการความร่วมมือของเราเป็นแอปพลิเคชันที่มีคุณค่าอย่างแท้จริง ผู้ใช้ไม่ได้แค่เล่นเกมจำลองสถานการณ์เท่านั้น แต่พวกเขากำลังใช้งานผลิตภัณฑ์ที่ผสานรวมเข้ากับเทคโนโลยี Brevis อย่างลึกซึ้ง เราหวังว่าแนวทางนี้จะช่วยให้ผู้ใช้สัมผัสประสบการณ์ที่ราบรื่นและการเปลี่ยนแปลงคุณค่าที่เทคโนโลยี ZK นำมา และเข้าใจว่าทำไมรูปแบบการคำนวณแบบออฟเชนและแบบออนเชนนี้จึงทำให้แอปพลิเคชันมีความปลอดภัยและมีประสิทธิภาพ ที่สำคัญยิ่งกว่านั้น เราต้องการส่งเสริมให้ผู้ใช้จำนวนมากขึ้นเป็นผู้ขับเคลื่อนระบบนิเวศ เมื่อผู้ใช้เข้าใจและเรียกร้องกลไกนี้อย่างจริงจังสำหรับผลิตภัณฑ์ที่ตนใช้ แรงผลักดันด้านนวัตกรรมของอุตสาหกรรมก็จะฟื้นคืนมาอีกครั้ง
Rhythm BlockBeats: นอกจากงานนี้แล้ว Brevis มีแผนงานอื่น ๆ อะไรอีกบ้าง? ผู้ใช้งานยังสามารถเข้าร่วมได้หรือไม่?
Michael: เราจะยังคงเปิดตัวแผนงานเชิงนิเวศแบบมีส่วนร่วมต่อไป รวมถึงการส่งเสริมการเปิดตัวเครือข่ายโหนดพิสูจน์แบบกระจายศูนย์ เพื่อสร้างโครงสร้างพื้นฐานการพิสูจน์และยืนยันที่เปิดกว้างมากขึ้น แผนงานที่เกี่ยวข้องจะเปิดช่องทางการมีส่วนร่วมให้กับชุมชนและพันธมิตรทางนิเวศ โดยวิธีการและตารางเวลาการมีส่วนร่วมที่เฉพาะเจาะจงจะประกาศให้ทราบในภายหลัง
Rhythm BlockBeats: จากมุมมองระยะยาว คุณหวังว่า Brevis จะเป็นโครงสร้างพื้นฐานประเภทใด? ท้ายที่สุดแล้ว Brevis ต้องการมีบทบาทอย่างไรในโลกของ Web3?
Michael: วิสัยทัศน์ของเราคือการสร้าง Brevis ให้เป็นเลเยอร์การประมวลผลแบบอนันต์ของ Web3 และกลายเป็นแหล่งกำเนิดของการประมวลผลที่เชื่อถือได้ระดับโลก เช่นเดียวกับที่ Ethereum ปรับโครงสร้างตรรกะความน่าเชื่อถือของสินทรัพย์และการเงินผ่านสัญญาอัจฉริยะ Brevis ตั้งเป้าที่จะปรับโครงสร้างตรรกะความน่าเชื่อถือของการคำนวณ ไม่ใช่การเลือกแบบไบนารีระหว่างการคำนวณด้วยตนเองกับการเชื่อถือผลลัพธ์ของผู้อื่นอีกต่อไป แต่เป็นการประกันความปลอดภัยและความถูกต้องของผลลัพธ์ผ่านการคำนวณที่ตรวจสอบได้โดยไม่ซ้ำซ้อน มองไปข้างหน้า แอปพลิเคชันแบบออนเชนจะพัฒนาจากการดำเนินการธุรกรรมและการถ่ายโอนสินทรัพย์แบบง่ายๆ ไปสู่ระบบที่ชาญฉลาดและซับซ้อนมากขึ้น ซึ่งครอบคลุมอัลกอริทึมขั้นสูง การโต้ตอบข้อมูล ประสบการณ์ส่วนบุคคล และการพิสูจน์พฤติกรรมทางสังคม การใช้งานอย่างแพร่หลายต้องอาศัยทั้งพลังการประมวลผลอันทรงพลังและความปลอดภัยที่ครอบคลุม เรามุ่งมั่นที่จะทำให้การคำนวณพิสูจน์ประเภทนี้แพร่หลาย เข้าถึงได้ และคุ้มค่า ช่วยให้แอปพลิเคชัน Web3 ทุกตัวสามารถฝังความสามารถนี้ไว้ได้อย่างเป็นธรรมชาติโดยไม่ต้องสร้างสิ่งใหม่ ในทางสถาปัตยกรรม เราตั้งเป้าที่จะเพิ่มเลเยอร์ความน่าเชื่อถือใหม่ นั่นคือเลเยอร์การคำนวณแบบอนันต์ เหนือเลเยอร์ฉันทามติ ข้อมูล และการดำเนินการ ซึ่งจะกลายเป็นเลเยอร์ที่สี่ของโครงสร้างพื้นฐานบล็อกเชน ซึ่งจะมอบความน่าเชื่อถือในการคำนวณและความสามารถในการตรวจสอบที่เป็นหนึ่งเดียวสำหรับโลกแบบกระจายศูนย์ทั้งหมด อนุญาตให้มีการตรวจสอบและใช้งานการคำนวณที่ชาญฉลาด ซับซ้อน และแม้แต่แบบข้ามสายโซ่ทั้งหมด ภายใต้หลักการ Zero Trust นี่คือสิ่งที่เราเรียกว่าการประมวลผลแบบอนันต์ และยังเป็นพันธกิจระยะยาวของ Brevis อีกด้วย ยินดีต้อนรับสู่ชุมชนทางการของ BlockBeats: กลุ่ม Telegram สมัครสมาชิก: https://t.me/theblockbeats กลุ่ม Telegram พูดคุย: https://t.me/BlockBeats_App บัญชี Twitter ทางการ: https://twitter.com/BlockBeatsAsia
