CESC '22: บันทึกภาคสนามจาก ZKP Workshop

บันทึกภาคสนามคือชุดข้อมูลที่เรารายงานภาคสนามในอุตสาหกรรม การวิจัย และกิจกรรมอื่นๆ ที่สำคัญ ในฉบับนี้ Valeria Nikolaenko หุ้นส่วนการวิจัยกับห้องปฏิบัติการ crypto a16z รายงานเกี่ยวกับ เวิร์กช็อปพิสูจน์ความรู้เป็นศูนย์ จาก การประชุมความมั่นคงทางเศรษฐกิจ Crypto (CESC)ซึ่งจัดขึ้นเมื่อวันที่ 30 ตุลาคม ณ University of California at Berkeley ดิ โครงการ มีวัตถุประสงค์เพื่อรวบรวมนักวิจัยและผู้ปฏิบัติงานเพื่อแสดงและหารือเกี่ยวกับการพัฒนาล่าสุดในบล็อกเชนและเว็บ3 คุณสามารถดูบันทึกการนำเสนอ โปรดคลิกที่นี่เพื่ออ่านรายละเอียดเพิ่มเติม.

• เพลงรุ่งอรุณ (UC Berkeley) ประกาศ MOOC . ใหม่ สำหรับฤดูใบไม้ผลิปี 2023 เรื่องการพิสูจน์ความรู้ที่เป็นศูนย์ซึ่งกำหนดให้ เริ่มในวันที่ 17 มกราคม 2023 และเตือนให้นึกถึง MOOC ที่เริ่มดำเนินการในฤดูใบไม้ร่วงปี 2022:

• หยูเผิง จาง (มหาวิทยาลัยเท็กซัส A&M) นำเสนอ a กวดวิชาเกี่ยวกับการพัฒนาล่าสุดของระบบ ZKPภาพรวมที่โดดเด่นของแนวทางต่างๆ ในการสร้างระบบการพิสูจน์ zk โดยจับคู่ระหว่าง 4 แกน: ความรัดกุม ประสิทธิภาพการพิสูจน์และการตรวจสอบ และการตั้งค่าที่โปร่งใสเทียบกับที่เชื่อถือได้

• Dan Boneh (มหาวิทยาลัยสแตนฟอร์ด) นำเสนอ ภาพรวม ของนามธรรมของ IOPs โดยทั่วไปและ Plonk polynomial-IOP โดยเฉพาะ

แดนยังอธิบายระบบใหม่ที่เรียกว่า ไฮเปอร์เพลนซึ่งสามารถขจัด FFT ราคาแพงจากฝั่งผู้พิสูจน์ และจัดการประตูระดับสูงได้อย่างมีประสิทธิภาพมากขึ้น ซึ่งลดทั้งเวลาของผู้พิสูจน์และขนาดของการพิสูจน์ พารามิเตอร์ที่น่าสนใจที่ต้องจำไว้คือ FFTs ครองเวลาของผู้พิสูจน์เมื่อจำนวนเกทสูงกว่า 2²⁰.

• เทียนเฉิง เซี่ย (UC เบิร์กลีย์) นำเสนอบน zkBridge (อ่านกระดาษ โปรดคลิกที่นี่เพื่ออ่านรายละเอียดเพิ่มเติม) เน้นย้ำถึงความสำคัญของการออกแบบที่ดีขึ้นสำหรับบริดจ์ในแง่ของการแฮ็กล่าสุดจำนวนมาก (สะพาน Ronin หาประโยชน์, แฮ็ครูหนอน, สะพานระบายน้ำและอื่นๆ) zkBridge ลดความน่าเชื่อถือและปรับปรุงประสิทธิภาพด้วยระบบพิสูจน์ความรู้ที่เป็นศูนย์ของ deVirgo
• เพลงรุ่งอรุณ (UC Berkeley) ประกาศ zkCollective – รากฐานสำหรับการทำงานร่วมกันข้ามสายโซ่ที่ปลอดภัย สามารถกรอกแบบฟอร์มเข้าร่วมกิจกรรมได้ โปรดคลิกที่นี่เพื่ออ่านรายละเอียดเพิ่มเติม.

• ลีโอ แฟน (ซิซิก) เน้นผลลัพธ์ของพวกเขาสำหรับการเร่งการคูณแบบหลายสเกลาร์ (MSM) บน FPGA สำหรับ zk-prover's ซึ่ง MSM มักจะคิดเป็นมากกว่า 50% ของเวลาของผู้พิสูจน์ พวกเขาคาดว่าจะเร็วกว่าความพยายามที่เปรียบเทียบได้ (ท่อMSM และ ไซโคลนMSM). เป้าหมายสูงสุดของพวกเขาคือการสร้าง ASIC
• มาเร็ค โอลเซวสกี้ (ความร้อน) สาธิตการใช้งาน Plumo ซึ่งเป็นไคลเอนต์ Light ของ Celo ซึ่งพัฒนาและเปิดตัวในปีนี้เป็นเวลา 2 ปี ลูกค้าได้รับการพัฒนาเป็นวงจรขนาดใหญ่ที่มี2²⁷ ประตูและขับเคลื่อนโดยแง่ดี พลังแห่งเอกภาพ พิธีที่เป็นประโยชน์ต่อโครงการอื่นๆ สมาชิกชุมชนกำลังสร้างการพิสูจน์ SNARK ทุกวัน (หลังจากการเปลี่ยนแปลงแต่ละยุค) การพิสูจน์จะใช้เวลา ~1 ชั่วโมงบนเครื่อง 256-core ห้องสมุด WASM ของพวกเขาอนุญาตให้ตรวจสอบการพิสูจน์จากเว็บแอป
• ฮาวเวิร์ด หวู่ (Aleo) นำเสนอแนวคิดเบื้องหลังการออกแบบ Aleo ซึ่งสร้างบล็อกเชนสำหรับธุรกรรมส่วนตัวที่อนุญาตการทำงานพร้อมกันและการอัปเดตสถานะอย่างมีประสิทธิภาพ
• เจเรมี บรูสเทิล (ริสซี0) อธิบายเหตุผลการออกแบบเบื้องหลังการสร้าง zkVM สำหรับชุดคำสั่ง RISC-V ที่นำไปใช้กับ zkSTARK RISC-V มีชุดคำสั่งขนาดเล็กมาก (<40) ซึ่งได้รับการสนับสนุนอย่างดีจากคอมไพเลอร์ที่แตกต่างกัน เปิดเต็มที่ และที่สำคัญที่สุด มันถูกออกแบบมาสำหรับการใช้งานฮาร์ดแวร์ที่มีประสิทธิภาพ ซึ่งหมายถึงการออกแบบวงจรที่มีประสิทธิภาพสำหรับการพิสูจน์ zk
• อุมารอย (รวบรัด Labs) ให้ภาพรวมของวิธีการตรวจสอบฉันทามติของ Ethereum อย่างรัดกุมกับ zkSNARK โดยใช้เวลาพิสูจน์เพียง 1 นาที

***

วาเลเรีย นิโกลาเอนโก เป็นหุ้นส่วนการวิจัยที่ a16z crypto งานวิจัยของเธอมุ่งเน้นไปที่การเข้ารหัสและการรักษาความปลอดภัยบล็อกเชน เธอยังทำงานในหัวข้อต่างๆ เช่น การโจมตีระยะไกลในโปรโตคอลฉันทามติ PoS แผนลายเซ็น ความปลอดภัยหลังควอนตัม และการคำนวณแบบหลายฝ่าย เธอสำเร็จการศึกษาระดับปริญญาเอกด้านการเข้ารหัสจากมหาวิทยาลัยสแตนฟอร์ดภายใต้การให้คำปรึกษาของศาสตราจารย์ Dan Boneh และทำงานเกี่ยวกับ Diem blockchain ซึ่งเป็นส่วนหนึ่งของทีมวิจัยหลัก

***

ความคิดเห็นที่แสดงในที่นี้เป็นความคิดเห็นของบุคลากร AH Capital Management, LLC (“a16z”) ที่ยกมาและไม่ใช่ความคิดเห็นของ a16z หรือบริษัทในเครือ ข้อมูลบางอย่างในที่นี้ได้รับมาจากแหล่งบุคคลที่สาม รวมถึงจากบริษัทพอร์ตโฟลิโอของกองทุนที่จัดการโดย a16z ในขณะที่นำมาจากแหล่งที่เชื่อว่าเชื่อถือได้ a16z ไม่ได้ตรวจสอบข้อมูลดังกล่าวอย่างอิสระและไม่รับรองความถูกต้องของข้อมูลหรือความเหมาะสมสำหรับสถานการณ์ที่กำหนด นอกจากนี้ เนื้อหานี้อาจรวมถึงโฆษณาของบุคคลที่สาม a16z ไม่ได้ตรวจทานโฆษณาดังกล่าวและไม่ได้รับรองเนื้อหาโฆษณาใด ๆ ที่อยู่ในนั้น

เนื้อหานี้จัดทำขึ้นเพื่อวัตถุประสงค์ในการให้ข้อมูลเท่านั้น และไม่ควรใช้เป็นคำแนะนำทางกฎหมาย ธุรกิจ การลงทุน หรือภาษี คุณควรปรึกษาที่ปรึกษาของคุณเองในเรื่องเหล่านั้น การอ้างอิงถึงหลักทรัพย์หรือสินทรัพย์ดิจิทัลใดๆ มีวัตถุประสงค์เพื่อเป็นตัวอย่างเท่านั้น และไม่ถือเป็นการแนะนำการลงทุนหรือข้อเสนอเพื่อให้บริการที่ปรึกษาการลงทุน นอกจากนี้ เนื้อหานี้ไม่ได้มุ่งไปที่หรือมีไว้สำหรับการใช้งานโดยนักลงทุนหรือนักลงทุนที่คาดหวัง และไม่อาจเชื่อถือได้ไม่ว่าในกรณีใดๆ เมื่อตัดสินใจลงทุนในกองทุนใดๆ ที่จัดการโดย a16z (การเสนอให้ลงทุนในกองทุน a16z จะกระทำโดยบันทึกเฉพาะบุคคล ข้อตกลงจองซื้อ และเอกสารที่เกี่ยวข้องอื่นๆ ของกองทุนดังกล่าว และควรอ่านให้ครบถ้วน) การลงทุนหรือบริษัทพอร์ตการลงทุนใดๆ ที่กล่าวถึง อ้างถึง หรือ ที่อธิบายไว้ไม่ได้เป็นตัวแทนของการลงทุนทั้งหมดในยานพาหนะที่จัดการโดย a16z และไม่สามารถรับประกันได้ว่าการลงทุนนั้นจะให้ผลกำไรหรือการลงทุนอื่น ๆ ในอนาคตจะมีลักษณะหรือผลลัพธ์ที่คล้ายคลึงกัน รายการการลงทุนที่ทำโดยกองทุนที่จัดการโดย Andreessen Horowitz (ไม่รวมการลงทุนที่ผู้ออกไม่อนุญาตให้ a16z เปิดเผยต่อสาธารณะและการลงทุนที่ไม่ได้ประกาศในสินทรัพย์ดิจิทัลที่ซื้อขายในตลาดหลักทรัพย์) มีอยู่ที่ https://a16z.com/investments /.

แผนภูมิและกราฟที่ให้ไว้ภายในมีวัตถุประสงค์เพื่อให้ข้อมูลเท่านั้น และไม่ควรใช้ในการตัดสินใจลงทุนใดๆ ผลการดำเนินงานในอดีตไม่ได้บ่งบอกถึงผลลัพธ์ในอนาคต เนื้อหาพูดตามวันที่ระบุเท่านั้น การคาดการณ์ การประมาณการ การคาดการณ์ เป้าหมาย โอกาส และ/หรือความคิดเห็นใดๆ ที่แสดงในเอกสารเหล่านี้อาจเปลี่ยนแปลงได้โดยไม่ต้องแจ้งให้ทราบและอาจแตกต่างหรือขัดแย้งกับความคิดเห็นที่แสดงโดยผู้อื่น โปรดดู https://a16z.com/disclosures สำหรับข้อมูลสำคัญเพิ่มเติม