Ai thực sự trả tiền cho sự an toàn trong Web3? Và mô hình hiện tại có hiệu quả không? CSO của chúng tôi @BenSepanski đã lên sân khấu tại Hội nghị An ninh của @ETHDenver để phân tích kinh tế thực sự đằng sau các cuộc kiểm toán, phần thưởng và các động lực an ninh. Câu trả lời không đơn giản như hầu hết mọi người nghĩ 👇

Xác minh chính thức cho zkVMs: trích xuất các ràng buộc mà người xác minh kiểm tra, sau đó chạy một người xác minh trên những ràng buộc đó. Đầu tiên kiểm tra các mạch không xác định, sau đó xác minh các thuộc tính cụ thể. Quy trình tương tự có thể mở rộng cho các hệ thống phức tạp như zkVMs.

Hầu hết các đội ngũ Web3 dành 10-20 giờ/tuần cho công việc bảo mật có thể tự động hóa. Vấn đề? Bạn không biết nhiệm vụ nào thực sự có thể tự động hóa cho đến khi ai đó chỉ cho bạn. Tại ETH Denver, chúng tôi đang cung cấp các Đánh giá Tự động hóa Bảo mật miễn phí 10 phút với Giám đốc Bảo mật của chúng tôi, @bensepanski