Verifereum

Công cụ xác minh hợp đồng thông minh Ethereum

verifereum.org

Github

Overview

So sánh:

Verifereum

Thông tin cơ bản

Verifereum là mô hình chính thức của Ethereum được triển khai theo logic bậc cao (#HOL4), nhằm mục đích cho phép 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, để ngăn chặn tin tặc và cung cấp mức đảm bảo cao nhất có thể về mã không có lỗ hổng.

nhãn: Cơ sở hạ tầng Nền tảng nhà phát triển Giải pháp bảo mật

hệ sinh thái(1): Ethereum

Thời gian thành lập: 2024

Hôm nay bạn cảm thấy thế nào về Verifereum?

Tổng số phiếu bầu: 1433

Đã bỏ phiếu

67.3%

Đã bỏ phiếu

32.7%

Bullish

Bearish