Hãy tham gia cùng chúng tôi trong buổi trò chuyện thân mật đầy thông tin chi tiết với @mjdklein, một kỹ sư phần mềm tại @aztecnetwork, khi chúng ta đi sâu vào ngôn ngữ lập trình @NoirLang—một thành phần quan trọng của Aztec Network.

Được tổ chức bởi @FormallyJon từ @VeridiseInc.

Dấu thời gian:
00:00 - Giới thiệu: Aztec & Noir language
00:57 - Tại sao Aztec xây dựng ngôn ngữ ZK của riêng mình
02:22 - Tổng quan về Noir và trải nghiệm nhà phát triển
03:20 - So sánh Noir với các ZK DSL khác
04:33 - Các hàm không ràng buộc
06:19 - Noir cung cấp những gì mà các zk DSL khác không có
07:00 - Các công cụ hiện đang thiếu trong Noir
08:24 - Hệ sinh thái Noir có thể phát triển như thế nào & các công cụ mới
09:19 - Lập trình meta trong Noir và những gì nó cho phép
11:28 - Cải thiện tính ngắn gọn & lập trình meta
13:56 - Ai có thể sử dụng Noir và liệu nó có bị ràng buộc với Aztec hay không
15:17 - Các loại lỗ hổng bảo mật hàng đầu
17:15 - Công việc được thực hiện để đảm bảo các lần tối ưu hóa hợp lệ
18:20 - Cân nhắc về xác minh chính thức (bộ giải SMT)
19:18 - Các loại lỗi mà nhà phát triển có thể vô tình gây ra
21:18 - Cách entropy có thể dẫn đến rò rỉ quyền riêng tư
23:35 - Các biện pháp bảo vệ được tích hợp trong Noir để ngăn chặn các vấn đề như vậy
24:50 - Mức độ phổ biến của các lỗ hổng bảo mật như vậy
26:13 - So sánh mạch Noir với zkVM về quyền riêng tư
28:16 - So sánh hệ thống chứng minh cục bộ với mạng lưới chứng minh
29:36 - Cách nhà phát triển có thể đánh giá xem bộ giải SMT có phù hợp với họ hay không