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:
0:00 - Giới thiệu: Aztec & ngôn ngữ Noir
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  - Noir so sánh với các ZK DSL khác như thế nào
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 nào được ưu tiên 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ác 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 như vậy có thể như thế nào
26:13  - Mạch Noir so với zkVM về quyền riêng tư
28:16  - Hệ thống chứng minh cục bộ so với mạng 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