House of ZK Radio #61: Maxim Vezenov, Nhà phát triển tại Aztec - Đã phát hành trên Spotify & YouTube 🔳 Trong tập này, chúng tôi ngồi xuống với @maximvezenov, kỹ sư biên dịch tại @aztecnetwork, để khám phá thiết kế kỹ thuật của @NoirLang - một ngôn ngữ chuyên biệt cho việc viết các mạch ZK. Chúng tôi đề cập đến: • Triết lý thiết kế của Noir và kiến trúc không phụ thuộc vào backend • Các đánh đổi giữa các lớp trừu tượng ZK (DSLs so với zkVMs so với các mạch viết tay) • Cách Noir xử lý quyền riêng tư, thực thi không bị ràng buộc và kết hợp mạch an toàn • Tối ưu hóa các ràng buộc bằng cách sử dụng các hàm hộp đen, oracle và profiler của Aztec • Vai trò của trạng thái riêng tư trong thiết kế ứng dụng, và tại sao phần lớn công việc nằm ở cơ sở hạ tầng, không phải ở mạch • Những hiểu biết thực tiễn về đệ quy, công cụ phát triển, và điều gì đang chờ đợi Noir sau phiên bản 1.0 Tìm hiểu tất cả về việc xây dựng các ứng dụng có thể mở rộng, bảo vệ quyền riêng tư với công cụ ZK hiện đại. Spotify: YouTube: