CESC '22: Ghi chú thực địa từ Hội thảo Kiến thức Không

Lưu ý của biên tập viên: Ghi chú hiện trường là một chuỗi mà chúng tôi báo cáo thực địa về các ngành công nghiệp, nghiên cứu và các sự kiện quan trọng khác. Trong ấn bản này, Valeria Nikolaenko, đối tác nghiên cứu tiền điện tử a16z chia sẻ những điểm nổi bật nhanh chóng của cô ấy từ Hội thảo Bằng chứng Kiến thức Zero liên kết với Hội nghị bảo mật kinh tế tiền điện tử (CESC), diễn ra vào ngày 30 tháng XNUMX tại Đại học California ở Berkeley. Các chương trình nhằm mục đích tập hợp các nhà nghiên cứu và các nhà thực hành để giới thiệu và thảo luận về những phát triển gần đây nhất trong blockchain và web3. Bạn có thể xem bản ghi của các bài thuyết trình tại đây.

• Bình minh bài hát (UC Berkeley) đã công bố một MOOC mới cho Mùa xuân năm 2023 về chứng minh không có kiến ​​thức, được lên lịch bắt đầu vào ngày 17 tháng 2023 năm 2022 và nhắc nhở về các MOOC đã chạy vào Mùa thu năm XNUMX:

• Trương Ngọc Bằng (Đại học Texas A&M) đã trình bày một hướng dẫn về sự phát triển gần đây của hệ thống ZKP, tổng quan đặc biệt về các phương pháp tiếp cận khác nhau để xây dựng hệ thống bằng chứng zk, ánh xạ chúng qua 4 trục: tính ngắn gọn, hiệu quả của phương thức và trình xác minh và thiết lập minh bạch so với đáng tin cậy.

• Dan Boneh (Đại học Stanford) trình bày một cái nhìn tổng quan trừu tượng của IOP nói chung và đa thức Plonk-IOP nói riêng.

Dan cũng giải thích một hệ thống mới có tên là HyperPlonk, điều này có thể loại bỏ các FFT đắt tiền ở bên cạnh câu châm ngôn và xử lý các cổng ở mức độ cao hiệu quả hơn nhiều, giảm cả thời gian của câu tục ngữ và kích thước của bằng chứng. Thông số thú vị cần nhớ là FFTs thống trị thời gian của câu tục ngữ khi số lượng cửa trên 2²⁰.

• Thiên Thành Xie (UC Berkeley) được trình bày trên zkBridge (đọc bài báo tại đây), nêu bật tầm quan trọng của thiết kế tốt hơn cho các cây cầu trong bối cảnh của nhiều vụ hack gần đây (Khai thác cầu Ronin, hack lỗ sâu, Cống cầu du mục, và như thế). zkBridge giảm thiểu sự tin cậy và cải thiện hiệu suất với hệ thống kiểm chứng không có kiến ​​thức deVirgo.
• Bình minh bài hát (UC Berkeley) đã công bố zkCollective - một nền tảng cho khả năng tương tác chuỗi chéo an toàn. Có thể điền vào biểu mẫu để tham gia nỗ lực tại đây.
• Quạt Leo (Cysic) đã nêu bật kết quả của họ trong việc tăng tốc phép nhân đa vô hướng (MSM) trên FPGA cho zk -ects's, trong đó MSM thường chiếm hơn 50% thời gian của ngôn ngữ. Chúng được ước tính là nhanh hơn những nỗ lực tương đương (đường ốngMSM và Lốc xoáyMSM). Mục tiêu cuối cùng của họ là xây dựng một ASIC.
• Marek Olszewski (Celo) đã đưa ra một bản demo tuyệt vời về việc chạy ứng dụng khách nhẹ của Celo, Plumo, đã được 2 năm phát triển và ra mắt trong năm nay. Máy khách được phát triển như một mạch lớn với 2²⁷ cổng và được cung cấp bởi một lạc quan quyền hạn của tau buổi lễ có thể hữu ích cho các dự án khác. Các thành viên cộng đồng đang tạo các bằng chứng SNARK hàng ngày (sau mỗi thay đổi kỷ nguyên), quá trình kiểm chứng mất ~ 1 giờ trên máy 256 lõi. Thư viện WASM của họ cho phép xác minh các bằng chứng từ các ứng dụng web.
• Howard Wu (aleo) đã trình bày những ý tưởng đằng sau thiết kế của Aleo, xây dựng một chuỗi khối cho các giao dịch riêng tư cho phép cập nhật trạng thái đồng thời và hiệu quả.
• Jeremy Bruestle (Rủi ro0) đã giải thích lý do thiết kế đằng sau việc xây dựng zkVM cho tập lệnh RISC-V được thực hiện với zkSTARK. RISC-V có một bộ hướng dẫn rất nhỏ (<40), được hỗ trợ tốt bởi các trình biên dịch khác nhau, hoàn toàn mở. Và, quan trọng nhất, nó được thiết kế để triển khai phần cứng hiệu quả, nghĩa là thiết kế mạch hiệu quả cho các bằng chứng zk.
• Uma Roy (Phòng thí nghiệm Succinct) đã đưa ra một cái nhìn tổng quan về một cách ngắn gọn để xác minh sự đồng thuận của Ethereum với zkSNARKs với thời gian chứng minh chỉ là 1 phút.

Valeria Nikolaenko là Đối tác nghiên cứu của tiền điện tử a16z. Nghiên cứu của cô tập trung vào mật mã và bảo mật blockchain. Cô cũng đã làm việc về các chủ đề như tấn công tầm xa trong giao thức đồng thuận PoS, lược đồ chữ ký, bảo mật hậu lượng tử và tính toán đa bên. Cô có bằng Tiến sĩ về Mật mã tại Đại học Stanford và đã làm việc trên chuỗi khối Diem như một phần của nhóm nghiên cứu cốt lõi.

-

Các quan điểm được trình bày ở đây là quan điểm của từng nhân viên AH Capital Management, LLC (“a16z”) được trích dẫn và không phải là quan điểm của a16z hoặc các chi nhánh của nó. Một số thông tin trong đây đã được lấy từ các nguồn của bên thứ ba, bao gồm từ các công ty danh mục đầu tư của các quỹ do a16z quản lý. Mặc dù được lấy từ các nguồn được cho là đáng tin cậy, a16z đã không xác minh độc lập thông tin đó và không đưa ra tuyên bố nào về tính chính xác lâu dài của thông tin hoặc tính thích hợp của nó đối với một tình huống nhất định. Ngoài ra, nội dung này có thể bao gồm các quảng cáo của bên thứ ba; a16z đã không xem xét các quảng cáo đó và không xác nhận bất kỳ nội dung quảng cáo nào có trong đó.

Nội dung này chỉ được cung cấp cho mục đích thông tin và không được dựa vào như lời khuyên về pháp lý, kinh doanh, đầu tư hoặc thuế. Bạn nên tham khảo ý kiến ​​của các cố vấn của riêng mình về những vấn đề đó. Các tham chiếu đến bất kỳ chứng khoán hoặc tài sản kỹ thuật số nào chỉ dành cho mục đích minh họa và không cấu thành khuyến nghị đầu tư hoặc đề nghị cung cấp dịch vụ tư vấn đầu tư. Hơn nữa, nội dung này không hướng đến cũng như không nhằm mục đích sử dụng cho bất kỳ nhà đầu tư hoặc nhà đầu tư tiềm năng nào và không được dựa vào bất kỳ trường hợp nào khi đưa ra quyết định đầu tư vào bất kỳ quỹ nào do a16z quản lý. (Đề nghị đầu tư vào quỹ a16z sẽ chỉ được thực hiện bởi bản ghi nhớ phát hành riêng lẻ, thỏa thuận đăng ký và các tài liệu liên quan khác về bất kỳ quỹ nào như vậy và phải được đọc toàn bộ.) Bất kỳ khoản đầu tư hoặc công ty danh mục đầu tư nào được đề cập, đề cập đến, hoặc được mô tả không phải là đại diện cho tất cả các khoản đầu tư vào xe do a16z quản lý và không thể đảm bảo rằng các khoản đầu tư sẽ sinh lời hoặc các khoản đầu tư khác được thực hiện trong tương lai sẽ có các đặc điểm hoặc kết quả tương tự. Danh sách các khoản đầu tư được thực hiện bởi các quỹ do Andreessen Horowitz quản lý (không bao gồm các khoản đầu tư mà tổ chức phát hành không cho phép a16z tiết lộ công khai cũng như các khoản đầu tư không thông báo vào tài sản kỹ thuật số được giao dịch công khai) có tại https://a16z.com/investments /.

Các biểu đồ và đồ thị được cung cấp bên trong chỉ nhằm mục đích cung cấp thông tin và không nên dựa vào khi đưa ra bất kỳ quyết định đầu tư nào. Hiệu suất trong quá khứ không cho thấy kết quả trong tương lai. Nội dung chỉ nói kể từ ngày được chỉ định. Mọi dự đoán, ước tính, dự báo, mục tiêu, triển vọng và / hoặc ý kiến ​​thể hiện trong các tài liệu này có thể thay đổi mà không cần báo trước và có thể khác hoặc trái ngược với ý kiến ​​của người khác. Vui lòng xem https://a16z.com/disclosures để biết thêm thông tin quan trọng.