Lasso และ Jolt เครื่องมือพิสูจน์ความรู้แบบไม่มีศูนย์บนพื้นฐาน SNARK ที่เปิดตัวโดย a16z

โดย Felix, PANews

a16z Crypto เปิดตัวสองเทคโนโลยีที่เกี่ยวข้องกับ SNARK: Lasso และ Jolt ในหมู่พวกเขา Lasso เป็นพารามิเตอร์การค้นหาใหม่ที่สามารถเพิ่มต้นทุนของผู้พิสูจน์ได้อย่างมาก Jolt (เพียงหนึ่งตารางการค้นหา) เป็นเฟรมเวิร์กที่ออกแบบมาสำหรับ Rollups ที่เข้ากันได้กับ Ethereum Virtual Machine ซึ่งเป็นวิธีใหม่ในการสร้าง SNARK VM โดยใช้วิธี Lasso Lasso และ Jolt สามารถเพิ่มความเร็วในการปรับขนาดและสร้างแอปพลิเคชันใน Web3 ได้อย่างมาก และทั้งสองร่วมกันเป็นตัวแทนของแนวทางใหม่ในการออกแบบ SNARK ที่สามารถปรับปรุงประสิทธิภาพของ toolchains ที่ใช้งานอย่างกว้างขวางตามลำดับความสำคัญหรือมากกว่านั้น นอกจากนี้ยังมอบประสบการณ์นักพัฒนาที่ดีและสะดวกยิ่งขึ้น และทำให้การตรวจสอบง่ายขึ้น Lasso และ Jolt จัดการกับข้อกังวลหลัก 3 ประการ ได้แก่ ประสิทธิภาพ ประสบการณ์ของนักพัฒนาซอฟต์แวร์ และความสามารถในการตรวจสอบ

ประสิทธิภาพที่เร็วขึ้น

Lasso เป็นพารามิเตอร์การค้นหาใหม่ที่ผู้พิสูจน์สัญญาว่าจะมีค่าน้อยกว่าและน้อยกว่างานก่อนหน้า ทีมวิจัยของ a16z crypto ระบุว่า Lasso สามารถเพิ่มความเร็วโดยรวมของผู้ตรวจสอบ SNARK ได้อย่างมีนัยสำคัญ โดยมีการปรับปรุงประสิทธิภาพถึงสิบเท่าเมื่อเทียบกับเครื่องมือเช่น Halo2 toolchain ซึ่งจะช่วยพัฒนา ZK-rollups ได้เร็วขึ้น คาดว่าประสิทธิภาพจะเพิ่มขึ้นประมาณ 40 เท่าหลังจากการเพิ่มประสิทธิภาพเสร็จสิ้น ดังนั้น ทีมงานเชื่อว่าเทคโนโลยีตัวพิสูจน์ของ Lasso จะมีประสิทธิภาพดีกว่าเทคโนโลยีตัวพิสูจน์ SNARK ที่ไม่มีความรู้ที่มีอยู่ทั้งหมด ซึ่งใช้โดยโซลูชันปรับขนาด Ethereum L2 ที่สำคัญ

Jolt ใช้ "เอกพจน์การค้นหา" ซึ่งเป็นวิสัยทัศน์ที่เสนอโดย Barry Whitehat ของ Ethereum Foundation เพื่อเปิดใช้งานเครื่องมือที่ง่ายขึ้นและวงจรการค้นหาที่มีน้ำหนักเบาและมีน้ำหนักเบา ทีมงานคาดหวังว่า Jolt จะได้ประสิทธิภาพที่ใกล้เคียงกันหรือดีกว่าเมื่อเทียบกับ zkVM ที่มีอยู่ และที่สำคัญคือการมอบประสบการณ์นักพัฒนาที่มีความคล่องตัวและเข้าถึงได้มากขึ้น

ประสบการณ์นักพัฒนาที่สะดวกยิ่งขึ้น

Lasso มอบเส้นทางที่เป็นมิตรต่อนักพัฒนาและสามารถตรวจสอบได้เพื่อใช้งาน zkVM มากกว่าแนวทางที่มีอยู่

แนวทางก่อนหน้านี้ในการออกแบบ SNARK กำหนดคำสั่ง CPU เป็นวงจรและปรับให้เหมาะสมด้วยตนเอง ซึ่งเป็นงานระดับต่ำและเกิดข้อผิดพลาดได้ง่ายซึ่งต้องใช้ความเชี่ยวชาญด้านภาษาเฉพาะโดเมน ในทางตรงกันข้าม นักพัฒนาของระบบนิเวศภาษาต่างๆ ควรจะสามารถใช้ Lasso ได้อย่างง่ายดาย

นี่เป็นเพราะใน Lasso คำสั่งถูกกำหนดโดยการแบ่งตารางย่อย: ตารางค้นหา "ใหญ่" สามารถประกอบด้วย "ตารางย่อย" ที่เล็กกว่าจำนวนหนึ่ง ที่สำคัญกว่านั้น การสลายตัวดังกล่าวสามารถอธิบายอย่างรวบรัดในภาษาโปรแกรมระดับสูง ตัวอย่างเช่น คำสั่งสามารถนำไปใช้ใน Rust เพียง 50 บรรทัด นอกจากนี้ คำสั่งจำนวนมากในชุดคำสั่งที่แตกต่างกันมีแนวคิดที่เหมือนกัน และอนุญาตให้ใช้รหัสจำนวนมากซ้ำได้ ตัวอย่างเช่น WASM, EVM และ RISC-V ล้วนระบุการดำเนินการทางคณิตศาสตร์พื้นฐาน บิตวิส และการเปรียบเทียบที่เหมือนกัน

ตรวจสอบได้ง่ายขึ้น

วิธีที่ Lasso ทำให้ประสบการณ์ของนักพัฒนาง่ายขึ้นยังช่วยให้ตรวจสอบได้ง่ายกว่าวิธีก่อนหน้าอีกด้วย ความสามารถในการตรวจสอบของ zkVM นั้นมีค่าเป็นพิเศษ เนื่องจาก SNARK จำนวนมากได้รับมูลค่ามหาศาลบนบล็อกเชนแล้วในปัจจุบัน เนื่องจาก Lasso ใช้ลอจิกคำสั่งใน Rust และส่งเสริมการทำซ้ำโค้ดระหว่างชุดคำสั่ง จึงเน้นพื้นที่ที่จะตรวจสอบเป็นฐานโค้ดที่ค่อนข้างเล็กและอ่านได้

ปัจจุบัน นอกเหนือจากงานที่จำเป็นสำหรับการนำ Jolt ไปใช้อย่างเต็มรูปแบบแล้ว ยังมีงานอีกมากมายที่อยู่ระหว่างดำเนินการหรือรอให้นักพัฒนารายอื่นดำเนินการให้เสร็จสิ้น รวมถึง:

• ใช้ / บูรณาการแผนการผูกมัดพหุนามที่แตกต่างกัน เช่น Multilinear Variants ของ KZG (PST, Zeromorph ฯลฯ ), Dory, Ligero, Brakedown และ Sona
• ตระหนักถึงการเพิ่มประสิทธิภาพพารามิเตอร์ผลิตภัณฑ์ที่อธิบายไว้ในส่วนที่ 6 ของเอกสาร Quarks
• การเปรียบเทียบและการจัดการข้อผิดพลาดที่กว้างขวางยิ่งขึ้น
• ใช้การเรียกซ้ำของ SNARK เพื่อให้ได้การตรวจสอบหลักฐานบนเครือข่ายที่มีประสิทธิภาพ