🧵 Trong vài tháng qua, chúng tôi đã xuất bản một loạt bài viết trên blog khám phá những thách thức kỹ thuật và ý tưởng định hình các chứng minh không kiến thức, mật mã và an ninh. Chủ đề này tổng hợp những điều mới nhất, từ việc tìm lỗi bằng AI đến SNARKs hậu lượng tử 👇
Gần đây, chúng tôi đã phát hiện ra một vấn đề về tính chính xác tinh vi nhưng quan trọng trong Halo2, mà chúng tôi đã đặt tên là lỗi va chạm truy vấn. Nó ảnh hưởng đến một số mạch biên và đã có mặt trong các phiên bản được sử dụng rộng rãi, bao gồm cả triển khai chính của Zcash và nhánh của PSE. 👇🏼
Chúng tôi sẽ có mặt ở Cannes vào thứ Ba! Hãy đến gặp đội ngũ zkSecurity và cùng trò chuyện về chứng minh không kiến thức, phô mai và rượu vang trong một buổi picnic ZK!
Trong Phiên 05 của "Proof is in the Pudding", @cryptodavidw đi sâu vào:
+ TEEs và tính toán bảo mật
+ Tại sao TEEs an toàn (và tại sao chúng không an toàn)
+ Mã hóa bộ nhớ, đo lường và firmware
THỜI GIAN
0:00 Giới thiệu
0:25 Tính toán bảo mật
12:55 An ninh TEE và các vectơ tấn công
25:08 Gốc của niềm tin
27:51 TXT, SGX, VMX và mã hóa bộ nhớ
35:55 Đo lường và firmware