การทำให้คอมพิวเตอร์ความรู้เป็นศูนย์เป็นประชาธิปไตย: พลังของเครือข่ายบอนไซของ RISC Zero - ทุนบล็อคเชน

เผยแพร่ซ้ำโดยเพลโต

ผู้ติดตาม: 0

By บาร์ต สตีเฟนส์, ไรอัน สเปรูลและ หยวน ฮั่น หลี่

ลองนึกภาพโลกที่ความเป็นส่วนตัวของข้อมูล ความปลอดภัย และความเชื่อถือไม่ใช่เรื่องที่ต้องกังวลอีกต่อไป ที่ซึ่งห่วงโซ่อุปทานของซอฟต์แวร์มีความโปร่งใสและตรวจสอบได้ และที่ซึ่งแอปพลิเคชันรุ่นใหม่สามารถควบคุมพลังของการประมวลผลแบบไม่มีความรู้เพื่อแก้ปัญหาความท้าทายที่เร่งด่วนที่สุดของ ยุคดิจิทัล นี่คือคำมั่นสัญญาของการประมวลผลแบบไม่มีความรู้ (ZK) และเหตุผลที่เราลงทุน RISC ศูนย์ซึ่งเป็นบริษัทที่ก้าวล้ำที่มีเป้าหมายเพื่อทำให้การเข้าถึง ZK เป็นประชาธิปไตยผ่านเครือข่าย Bonsai

การประมวลผลด้วยความรู้เป็นศูนย์ (ZK) เป็นการปฏิวัติดั้งเดิมที่ช่วยให้แอปพลิเคชันและโปรโตคอลสามารถใช้ประโยชน์จากคุณสมบัติหลักสามประการ ได้แก่ ความรวบรัด ความถูกต้อง และความรู้ที่ไม่มีศูนย์ สิ่งนี้หมายความว่าโดยการตรวจสอบการพิสูจน์ ZK (ความถูกต้อง) ผู้ตรวจสอบจะรู้—ด้วยการรับประกันทางคณิตศาสตร์ที่ใกล้เคียง—ว่าการคำนวณนั้นดำเนินการอย่างถูกต้อง

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

อย่างแรก การเรียกใช้การคำนวณใน ZK ใช้เวลานานเกินไปและแพงเกินไป เวลาและค่าใช้จ่ายในการพิสูจน์จำเป็นต้องลดลงอย่างมากก่อนที่การคำนวณที่ซับซ้อนใน ZK จะใช้งานได้จริง ข่าวดีก็คือสิ่งเหล่านี้กำลังลดลงอย่างมาก: วิถีของเวลาและค่าใช้จ่ายในการพิสูจน์ ZK เป็นไปตามแนวโน้มที่คุ้นเคยในประวัติศาสตร์ของเทคโนโลยี ไม่ว่าจะเป็นกฎของมัวร์ที่ต้นทุนของการคำนวณลดลงครึ่งหนึ่งทุก ๆ สองปี กฎของแฟลตลีย์ที่ต้นทุน เพื่อจัดลำดับจีโนมมนุษย์ให้ลดลงในอัตราที่มีนัยสำคัญยิ่งกว่า หรือกฎของไครเดอร์ที่ความหนาแน่นของจานแม่เหล็กเพิ่มขึ้นเป็นสองเท่าทุก ๆ 13 เดือน ความก้าวหน้าทางสถาปัตยกรรมล่าสุดในระบบการพิสูจน์ (Plonky2, Hyperplonk, STARK) พร้อมกับความก้าวหน้าในการเข้ารหัสพื้นฐาน (โพไซดอน) ได้ลดจำนวนโอเวอร์เฮดในการสร้างการพิสูจน์ ZK ของการคำนวณใดๆ แม้ว่าความก้าวหน้าในด้านเหล่านี้จะยังคงเกิดขึ้นในอัตราที่ใกล้เคียงกัน (โดยเฉพาะอย่างยิ่งการหลั่งไหลของบุคลากรที่มีความสามารถเข้ามาใน ZK) การพิสูจน์ให้เห็นถึงค่าใช้จ่ายจะได้รับประโยชน์จากความก้าวหน้าในการเร่งฮาร์ดแวร์ (MSM, NTT) ซึ่งเป็นสิ่งที่ยังไม่ได้สำรวจจนถึงตอนนี้ .

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

ตามหลักการแล้ว นักพัฒนามีอิสระในการเขียนโปรแกรมในภาษาที่พวกเขาต้องการ ในขณะที่ยังมีความสามารถในการพิสูจน์การคำนวณด้วยความรู้เป็นศูนย์ โดยไม่จำเป็นต้องเขียนด้วยลายมือและออกแบบวงจรในภาษาโปรแกรม ZK เฉพาะระดับต่ำ นี่คือจุดที่แพลตฟอร์ม Bonsai ของ RISC Zero กลายเป็นตัวเปลี่ยนเกมสำหรับนักพัฒนาทั่วโลก และเป็นเหตุผลที่เราลงทุนใน RISC Zero

ด้วยการสร้างเครื่องเสมือนที่ไม่มีความรู้ (zkVM) ที่จำลองสถาปัตยกรรมชุดคำสั่ง RISC-V (ISA) ทำให้ RISC Zero ได้สร้างระบบที่สามารถพิสูจน์การดำเนินการของโค้ดระดับต่ำได้ เนื่องจาก ISA เป็นสะพานเชื่อมระหว่างรหัสที่มนุษย์อ่านได้และคำสั่งที่เครื่องสามารถตีความได้ ความสำเร็จนี้หมายความว่าเครือข่าย Bonsai สามารถพิสูจน์โปรแกรมระดับสูงที่สามารถคอมไพล์เข้ากับสถาปัตยกรรมนี้ได้ ด้วยภาษาการเขียนโปรแกรมสมัยใหม่ส่วนใหญ่ที่เข้ากันได้กับ RISC-V Bonsai ของ RISC Zero ช่วยให้สามารถดำเนินการกับโปรแกรมคอมพิวเตอร์ตามอำเภอใจแทบทุกชนิดด้วยความรู้ที่เป็นศูนย์

ในอนาคตที่การคำนวณแบบ Zero-knowledge (ZK) กลายเป็นเรื่องธรรมดา แอปพลิเคชันจำนวนมากที่ก่อนหน้านี้ไม่สามารถทำได้จะถูกเปิดใช้งาน สิ่งเหล่านี้ไม่เพียงแต่รวมถึงแอปพลิเคชันบน Ethereum ที่ใช้ประโยชน์จากเครือข่าย Bonsai ของ RISC Zero เป็นตัวประมวลผลร่วม—ทำงานแบบออฟไลน์ที่ใช้ทรัพยากรมากก่อนที่จะตรวจสอบผลลัพธ์บนเครือข่าย—แต่ยังขยายไปถึงแอปพลิเคชันนอกคริปโตด้วย ตัวอย่างเช่น Bonsai สามารถช่วยให้แฮ็กเกอร์หมวกขาวสามารถพิสูจน์การมีอยู่ของช่องโหว่ด้านความปลอดภัยและจุดบกพร่องได้โดยไม่ต้องเปิดเผยช่องโหว่โดยตรง นอกจากนี้ยังสามารถป้องกันการโจมตีซอฟต์แวร์ของห่วงโซ่อุปทานในอนาคตโดยอนุญาตให้ผู้ใช้ดาวน์โหลดและตรวจสอบหลักฐาน ZK เพื่อให้แน่ใจว่าพวกเขากำลังเรียกใช้รหัสที่ได้รับการตรวจสอบล่วงหน้าใน Bonsai สิ่งที่น่าตื่นเต้นที่สุดคือการนำบอนไซมาใช้อย่างแพร่หลายอาจนำไปสู่กรณีการใช้งานที่แปลกใหม่ซึ่งยังไม่มีใครจินตนาการถึง

การเพิ่มความก้าวหน้าทางเทคโนโลยีที่น่าประทับใจของ RISC Zero คือทีมงานที่แข็งแกร่งและไม่เหมือนใครที่อยู่เบื้องหลัง ผู้ร่วมก่อตั้งทั้งสามคน—ไบรอัน เรตฟอร์ด, เจเรมี บรูสเทิลและ แฟรงค์ ลาบ-รู้จักกันมากว่า 20 ปี ประวัติร่วมกันของพวกเขารวมถึงการสร้างบริษัทหลายแห่งร่วมกัน ซึ่งล่าสุดอยู่ในการเพิ่มประสิทธิภาพ AI และพื้นที่การคอมไพล์ และท้ายที่สุดก็ถูกซื้อกิจการโดย Intel

สมาชิกทั้งสามคนนำประสบการณ์มากมายมาสู่ RISC Zero โดย Brian ได้ฝึกฝนทักษะของเขาที่ Google Cloud Platform ซึ่งเขาทำงานเกี่ยวกับระบบการกำหนดราคาและการวัดผล Jeremy ผู้คลั่งไคล้คณิตศาสตร์มาตลอดชีวิต ทำงานเกี่ยวกับการเร่งความเร็ว GPU สำหรับการจัดลำดับยีน และมีพื้นฐานด้านการเข้ารหัส HPC และความปลอดภัย และแฟรงก์ซึ่งมีพื้นฐานที่แข็งแกร่งในคอมไพเลอร์และได้ออกแบบโค้ดเบสจำนวนมาก ด้วยประวัติที่มีร่วมกันและชุดทักษะที่หลากหลาย RISC ศูนย์ ทีมงานมีความพร้อมที่จะส่งมอบการประมวลผลแบบไม่มีความรู้ให้กับคนทั่วไป และอาจเปลี่ยนโฉมภูมิทัศน์ทางดิจิทัลในกระบวนการนี้

ในขณะที่เรามองไปยังอนาคตที่การประมวลผลแบบ Zero-knowledge แพร่หลาย ความเป็นไปได้ของนวัตกรรมนั้นไร้ขอบเขต เครือข่าย Bonsai ของ RISC Zero ที่มีความสามารถในการรองรับภาษาการเขียนโปรแกรมที่หลากหลาย จะทำให้การประมวลผล ZK เป็นประชาธิปไตยและช่วยให้นักพัฒนาสามารถสร้างแอปพลิเคชันที่ปลอดภัย เป็นส่วนตัว และไร้ความน่าเชื่อถือในโดเมนต่างๆ ตั้งแต่การเสริมความแข็งแกร่งให้กับมาตรการรักษาความปลอดภัยทางไซเบอร์ ไปจนถึงการเพิ่มความไว้วางใจในห่วงโซ่อุปทานของซอฟต์แวร์ และเพิ่มพลังการคำนวณที่มีให้อย่างมากสำหรับแอปพลิเคชันบนเครือข่าย ผลกระทบที่อาจเกิดขึ้นจากการประมวลผลแบบไม่มีความรู้นั้นมีมากมายมหาศาล การผสมผสานระหว่างเวลาและต้นทุนในการพิสูจน์ ZK ที่ลดลงอย่างรวดเร็ว ทีมงานที่มุ่งมั่นที่ RISC Zero และการเกิดขึ้นของ Bonsai ในฐานะแพลตฟอร์มคอมพิวเตอร์อเนกประสงค์ ถือเป็นการประกาศศักราชใหม่ของการใช้คอมพิวเตอร์ ยุคที่ความเป็นส่วนตัว ความปลอดภัย และความไว้วางใจถูกสร้างขึ้นในโครงสร้างของโครงสร้าง ของโลกดิจิทัลของเรา

การเปิดเผยข้อมูล: Blockchain Capital เป็นผู้ลงทุนในหลายโปรโตคอลที่กล่าวถึงข้างต้น

มุมมองที่แสดงในแต่ละบล็อกโพสต์อาจเป็นมุมมองส่วนตัวของผู้เขียนแต่ละคน และไม่จำเป็นต้องสะท้อนถึงมุมมองของ Blockchain Capital และบริษัทในเครือ ทั้ง Blockchain Capital และผู้เขียนไม่รับประกันความถูกต้อง ความเพียงพอ หรือความสมบูรณ์ของข้อมูลที่ให้ในแต่ละบล็อกโพสต์ ไม่มีการรับรองหรือการรับประกันใด ๆ ไม่ว่าโดยชัดแจ้งหรือโดยปริยายหรือมอบให้โดยหรือในนามของ Blockchain Capital ผู้เขียนหรือบุคคลอื่นใดเกี่ยวกับความถูกต้องและครบถ้วนหรือยุติธรรมของข้อมูลที่มีอยู่ในบล็อกโพสต์ใด ๆ และไม่รับผิดชอบหรือรับผิดใด ๆ สำหรับข้อมูลดังกล่าว ไม่มีสิ่งใดในบล็อกโพสต์แต่ละรายการที่ถือเป็นการลงทุน ข้อบังคับ กฎหมาย การปฏิบัติตามกฎระเบียบ หรือภาษี หรือคำแนะนำอื่น ๆ และไม่เป็นที่พึ่งพาในการตัดสินใจลงทุน บล็อกโพสต์ไม่ควรถูกมองว่าเป็นคำแนะนำในปัจจุบันหรือในอดีตหรือการชักชวนให้ซื้อหรือขายหลักทรัพย์หรือนำกลยุทธ์การลงทุนมาใช้ บล็อกโพสต์อาจมีการคาดคะเนหรือแถลงการณ์เชิงคาดการณ์ล่วงหน้าอื่นๆ ซึ่งอิงตามความเชื่อ ข้อสันนิษฐาน และความคาดหวังที่อาจเปลี่ยนแปลงอันเป็นผลมาจากเหตุการณ์หรือปัจจัยต่างๆ ที่เป็นไปได้ หากมีการเปลี่ยนแปลงเกิดขึ้น ผลลัพธ์ที่แท้จริงอาจแตกต่างอย่างมากจากที่แสดงในข้อความคาดการณ์ล่วงหน้า แถลงการณ์เชิงคาดการณ์ล่วงหน้าทั้งหมดกล่าวถึง ณ วันที่จัดทำแถลงการณ์เท่านั้น และทั้ง Blockchain Capital และผู้เขียนแต่ละรายไม่มีหน้าที่ในการปรับปรุงข้อความดังกล่าว ยกเว้นตามที่กฎหมายกำหนด ในขอบเขตที่เอกสาร งานนำเสนอ หรือสื่ออื่นๆ ที่ผลิต เผยแพร่ หรือแจกจ่ายโดย Blockchain Capital ถูกอ้างอิงในบล็อกโพสต์ใดๆ ควรอ่านเนื้อหาดังกล่าวด้วยความระมัดระวังต่อข้อจำกัดความรับผิดชอบใดๆ ที่ระบุไว้ในนั้น