Verifereum

Verifereum là một mô hình chính thức của Ethereum được triển khai bằng logic bậc cao (#HOL4), được thiết kế để xác minh các ứng dụng và công cụ trong hệ sinh thái Ethereum (#EVM), từ hợp đồng thông minh đến trình biên dịch. Mục đích của nó là ngăn chặn các cuộc tấn công của tin tặc và đảm bảo mức độ bảo mật cao nhất bằng cách cung cấp mã không có lỗi với độ an toàn được đảm bảo.