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 & Noir language
0:57 – Tại sao Aztec xây dựng ngôn ngữ ZK của riêng mình
2:22 – Tổng quan về Noir và trải nghiệm nhà phát triển
3:20 – So sánh Noir với các ZK DSL khác
4:33 – Các hàm không ràng buộc
6:19 – Noir cung cấp những gì mà các zk DSL khác không có
7:00 – Các công cụ hiện đang thiếu trong Noir
8:24 – Hệ sinh thái Noir có thể phát triển như thế nào & các công cụ mới
9: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 cần quan tâm
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 – Entropy có thể dẫn đến rò rỉ quyền riêng tư như thế nào
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 – So sánh các 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