SBC 22: บันทึกภาคสนามจากวิทยาศาสตร์ของ Blockchain 2022

บันทึกภาคสนาม เป็นชุดข้อมูลที่เรารายงานเกี่ยวกับอุตสาหกรรมที่สำคัญ การวิจัย และกิจกรรมอื่นๆ ในฉบับนี้ สมาชิกในทีมเข้ารหัสลับ a16z บางคนได้รวบรวมการพูดคุย เอกสาร สไลด์ และอื่นๆ ที่น่าสนใจจาก การประชุมสุดยอดความปลอดภัย DeFi ปี 2022 (27-28 ส.ค.) วิทยาศาสตร์ของการประชุม Blockchain 2022 หรือที่รู้จักในชื่อ SBC 22 (29-31 ส.ค.) และเวิร์คช็อปในเครือต่างๆ (28 ส.ค.-2 ก.ย. XNUMX) ซึ่งทั้งหมดจัดขึ้นที่มหาวิทยาลัยสแตนฟอร์ดเมื่อเดือนที่แล้ว

1. การประชุมวิทยาศาสตร์ของ Blockchain 2022

พื้นที่ การประชุมวิทยาศาสตร์ Blockchain มุ่งเน้นไปที่นวัตกรรมทางเทคนิคในระบบนิเวศบล็อกเชน และรวบรวมนักวิจัยและผู้ปฏิบัติงานในพื้นที่เกี่ยวกับการเข้ารหัส การประมวลผลที่ปลอดภัย ระบบแบบกระจาย การพัฒนาโปรโตคอลแบบกระจายศูนย์ วิธีการอย่างเป็นทางการ การวิเคราะห์เชิงประจักษ์ เศรษฐศาสตร์การเข้ารหัสลับ การวิเคราะห์ความเสี่ยงทางเศรษฐกิจ และอื่นๆ งานนี้ร่วมเป็นประธานโดยศาสตราจารย์ Stanford (และที่ปรึกษาการวิจัยอาวุโสด้าน crypto a16z crypto) Dan Boneh; Tim Roughgarden หัวหน้าฝ่ายวิจัยของ a16z crypto ก็อยู่ในคณะกรรมการโครงการและได้เชิญพูดคุยในบทความที่เราแบ่งปันกับผู้อ่าน ในจดหมายข่าวฉบับล่าสุดของเรา.

ต่อไปนี้คือข้อมูลสรุปบางส่วนของทีมของเรา ลิงก์ และธีมจาก SBC 22 รวมถึงเวิร์กช็อปในเครือสองแห่ง – รวมถึงเวิร์กช็อป "วิทยาศาสตร์และวิศวกรรมแห่งความเป็นเอกฉันท์" (28 ส.ค.) และอีกหัวข้อหนึ่งเกี่ยวกับมูลค่าสูงสุดที่สามารถดึงออกมาได้ หรือ MEV (1 ก.ย.) – ไม่เรียงลำดับเฉพาะ:

• Peiyao Sheng เกี่ยวกับการวิเคราะห์โปรโตคอลบล็อคเชนต่างๆ โดยค้นหาว่าตัวใดมีการสนับสนุนทางนิติเวชที่ดีกว่า ซึ่งจะช่วยตรวจจับพฤติกรรมที่ไม่เหมาะสมของผู้ตรวจสอบพร้อมหลักฐาน (กระดาษ)
• Pratyush Mishra พูดคุยเกี่ยวกับ arkworks ซึ่งเป็นระบบนิเวศของ Rust สำหรับ zkSNARK ที่ใช้กันอย่างแพร่หลายในการใช้งานโครงการ crypto จำนวนมาก (GitHub)
• Srivatsan Sridhar เกี่ยวกับการเปลี่ยนแปลงกฎการดาวน์โหลดในฉันทามติที่ยาวที่สุดเพื่อลดความแออัดของแบนด์วิดท์ระหว่างการโจมตีสแปมบนเครือข่าย (กระดาษ)
• การเจรจาของ Ari Juels และ Mahimna Kelkar เกี่ยวกับการป้องกันการปลอมแปลงคำสั่งธุรกรรมจากฝ่ายตรงข้าม และแผนการบังคับใช้คำสั่งธุรกรรมที่ยุติธรรม (บทคัดย่อการประชุมเชิงปฏิบัติการ, กระดาษ)
• ผู้ร่วมก่อตั้ง Ethereum Vitalik Buterin ในการตอบสนองต่อ - และรอดตาย - การโจมตี 51% (ทวีตผู้เข้าร่วมพร้อมสไลด์)
• David Tse เกี่ยวกับการนำพลังแฮชของ Bitcoin กลับมาใช้ใหม่เพื่อเพิ่มความปลอดภัยให้กับ PoS chains (กระดาษ)
• John Adler พูดถึงความรับผิดชอบ ในกรณีนี้ ความสามารถในการระบุและลงโทษผู้โจมตี ในระบบ PoS (บทคัดย่อการประชุมเชิงปฏิบัติการ)
• Phil Daian เกี่ยวกับวิวัฒนาการของ MEV “ป่ามืด” ที่ครอบคลุมทุกอย่างตั้งแต่ปัญหาหน้าด้าน เค้าโครงทฤษฎีเพื่อระบุตัวตนเบื้องต้นในของเขา กระดาษ Flash Boys 2.0จนถึงการเกิดขึ้นขององค์กรวิจัย MEV Flashbots จนถึงข้อพิจารณาในปัจจุบันที่เกี่ยวข้องกับการต่อต้านการเซ็นเซอร์ธุรกรรมและการสร้างตลาดตัวสร้างและผู้เสนอที่แข็งแกร่งสำหรับกลุ่มธุรกรรมภายหลังการรวม (บทคัดย่อการประชุมเชิงปฏิบัติการ / สไลด์)
• A ชุดรูปแบบ: “สมมติฐานความน่าเชื่อถือแบบอสมมาตรและเชิงอัตนัย (ไม่ใช่ทุกโหนดที่เชื่อถือได้เท่ากัน ไม่ใช่ทุกโหนดจะเชื่อถือเท่ากัน) และโปรโตคอลตามการดู (โหนดตีความมุมมองของรัฐในพื้นที่ และในที่สุดการผสานมุมมองจะกำหนด DAG ที่เป็นที่ยอมรับหรือที่เรียกว่ากราฟ acyclic ทางเลือกของส้อม ฯลฯ)” [กระดาษที่เกี่ยวข้อง]

ชมการนำเสนอ: 1 วัน, 2 วัน, 3 วัน

2. Applied ZK Workshop (ส่วนหนึ่งของ SBC 22)

หลังจากการประชุม Science of Blockchain สิ้นสุดลง สมัคร ZK Workshop (2 ก.ย.) นำนักวิจัยและนักพัฒนามารวมตัวกันเป็นเวลาอีกหนึ่งวันในการเรียนรู้และอภิปรายเกี่ยวกับการพัฒนาล่าสุดในระบบนิเวศ Zero Knowledge (ZK) ลำโพงครอบคลุมทุกอย่างตั้งแต่วงจรดั้งเดิมและสถาปัตยกรรมเครื่องเสมือน (VM) ไปจนถึงการรับรองความปลอดภัยผ่านการตรวจสอบและการตรวจสอบ

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

• Junrui Liu นำเสนออย่างต่อเนื่อง งาน เกี่ยวกับการตรวจสอบความถูกต้องของฟังก์ชันอย่างเป็นทางการของ circom วงจรไฟฟ้า ห้องสมุด โดยใช้ผู้ช่วยพิสูจน์ Coq และ Yu Feng แนะนำ พิคัส, เครื่องมือวิเคราะห์สถิตที่ตรวจสอบคุณสมบัติที่สำคัญบางอย่างโดยอัตโนมัติ (เช่น เอกลักษณ์ของวงจร) สำหรับวงจร R1CS ที่กำหนด
• Eric McCarthy พูดถึงทีมของเขา “การตรวจสอบ” คอมไพเลอร์สำหรับ ราศีสิงห์ที่ ผู้รวบรวม ที่ทำการพิสูจน์ความถูกต้องอย่างเป็นทางการโดยอัตโนมัติรับประกันว่าวงจร R1CS ที่คอมไพล์แล้วเทียบเท่ากับโปรแกรมลีโอต้นทาง

และไฮไลท์เพิ่มเติมจากงาน:

• Yi Sun และ Jonathan Wang นำเสนอการดำเนินการ halo2 ของการดำเนินการเส้นโค้งวงรีที่สำคัญ รวมถึงการคูณหลายสเกลาร์และการตรวจสอบลายเซ็น Elliptic Curve Digital Signature Algorithm (ECDSA) (เพื่อติดตามการทำงานของพวกเขาใน การจับคู่เส้นโค้งวงรี ในวงล้อม); เจ๋งเป็นพิเศษ: การแลกเปลี่ยนเวลาของตัวตรวจสอบผู้พิสูจน์ที่กำหนดค่าได้ซึ่งทำได้โดยการปรับเปลี่ยนรูปร่างของเมทริกซ์วงจร PlonKish (ตารางที่กว้างกว่า [สูงกว่า] จะทำให้ต้นทุนการพิสูจน์ [สูงขึ้น] ลดลง แต่ต้นทุนตัวตรวจสอบ [ต่ำลง] สูงขึ้น)
• Bobbin Threadbare พาเราไปทัวร์วงในของ VM ที่ใช้ STARK แบบ Zero-knowledge ของ Polygon Miden; ไม่เหมือนกับ ZK VM อื่นๆ โปรแกรมจะถูกป้อนด้วย Merkelized abstract syntax tree (MAST) ของคำสั่ง ปรับปรุงทั้งประสิทธิภาพและความปลอดภัย (สไลด์)
• นลิน ภารดาร์จ กล่าวถึงการนำ SNARK แบบเรียกซ้ำไปใช้ในวงรอบ ซึ่งเป็นเทคนิคที่มีประสิทธิภาพในการหาทางเข้าสู่แอปพลิเคชัน ZK อื่นๆ รวมทั้ง เปลี่; การจับคู่ในวงรอบทำให้สามารถยืนยัน SNARK ของ Groth16 ภายในวงจรได้ ซึ่งจะทำให้การรวมที่ปรับขนาดได้มากขึ้น (ทีละรายการเทียบกับทั้งหมดในครั้งเดียว) และช่วยให้ผู้พิสูจน์สามารถแสดงความรู้เกี่ยวกับข้อเท็จจริงโดยไม่ทราบข้อเท็จจริงที่แน่นอนด้วยตนเอง ( พิสูจน์ได้ทั้งสองด้านของทรัพย์สินที่ไม่มีความรู้ในขณะนี้)!
• Aayush Gupta นำเสนอรูปแบบใหม่สำหรับการกำหนด nullifiers ที่อนุญาตให้แอปพลิเคชัน ZK จำกัดผู้ใช้ในการดำเนินการเดียว เช่น การอ้างสิทธิ์ airdrop (สไลด์)
• Uma Roy และ John Guibas นำเสนองานของพวกเขาในการวางไคลเอ็นต์แบบ light on-chain โดยการตรวจสอบฉันทามติผ่าน zk-SNARKs; ผลลัพธ์คือ Tesseract, สะพาน ZK ต้นแบบระหว่าง ETH2 และ Gnosis ที่ปรับปรุงการรักษาความปลอดภัยและการต่อต้านการเซ็นเซอร์

ดูวาระทั้งหมด

3. DeFi Security Summit (ก่อนหน้า SBC 22)

ก่อนการประชุม Science of Blockchain Conference เริ่มขึ้น นักวิจัยและผู้ปฏิบัติงานด้านความปลอดภัยจำนวนหนึ่งมารวมตัวกันในปีแรก การประชุมสุดยอดความปลอดภัย DeFi เพื่อหารือเกี่ยวกับการสะท้อนเหตุการณ์ด้านความปลอดภัยในอดีตและกระบวนการพัฒนาที่ปลอดภัย เพื่อการป้องกัน เช่น ค่าหัวบั๊กและการประกันภัย

บันทึกย่อเกี่ยวกับธีมบางส่วนพร้อมลิงก์ไปยังการพูดคุย:

• Kurt Barry, Jared Flatow และ storming0x อธิบายแนวทางการพัฒนาสัญญาอัจฉริยะที่ปลอดภัยที่ MakerDAO, สารประกอบและ หื่น, ตามลำดับ; หัวข้อทั่วไปคือ รูปแบบสวิสชีสซึ่งซ้อนมาตรการรักษาความปลอดภัยต่างๆ ไว้ด้วยกัน
• คริสตอฟ มิเชล กล่าวถึงวิวัฒนาการของ การโจมตีด้วยการควบคุมราคา (ด้วย CTF . ที่น่าสนใจ ท้าทาย เป็นโบนัส!) และ Yoav Weiss อธิบายต่างๆ การหาประโยชน์จากสะพาน
• Mitchell Amador เทศน์ถึงความสำคัญของความแข็งแกร่ง แรงจูงใจ เพื่อรับความสามารถด้านความปลอดภัยมากขึ้นเพื่อรักษาพื้นที่นี้ให้ปลอดภัย
• มีการเสวนาในหัวข้อต่างๆ เช่น ราคาเฉลี่ยถ่วงเวลา (TWAP) ความปลอดภัยของออราเคิล หลังจากการผสานเช่นเดียวกับบน ความเป็นโมดูลและการอัพเกรด
• อีกประเด็นหนึ่งคือการกำหนดความคาดหวังที่ถูกต้องสำหรับแนวทางการตรวจสอบ ข้อความทั่วไปจากผู้ตรวจสอบคือ แทนที่จะเรียกว่า "การตรวจสอบ" พวกเขาควรเรียกว่า "การประเมินความปลอดภัยตามกำหนดเวลา" จริง ๆ เช่นเดียวกับข้อสังเกตว่างานตรวจสอบ "มีมากกว่า การวางแนว มากกว่า ความรับผิดชอบ"
• นักพัฒนาแสดงความกังวลเกี่ยวกับจุดอ่อนในการตรวจสอบทั่วไป เช่น ระยะเวลารอคอยสินค้านานและแรงจูงใจไม่เพียงพอต่อการรักษาความปลอดภัยฐานรหัส เชอร์ล็อคเสนอเรื่องน่าสนใจ เข้าใกล้ ที่สามารถแก้ไขปัญหาเหล่านี้ได้โดยการรวมประสิทธิภาพของการแข่งขันการตรวจสอบและการตรวจสอบเดิมเข้าด้วยกันเพื่อให้ได้โลกที่ "ดีที่สุด"

ดูวาระทั้งหมด (พร้อมลิงค์พูดคุยบางส่วน)

ชมการนำเสนอ: 1 วัน, 2 วัน

บรรณาธิการ: Robert Hackett (@rhhackett) และ Stephanie Zinn (@stephbzinn)

***

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

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

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