Certora, một nền tảng đảm bảo an ninh Web3 tập trung vào xác minh hợp đồng thông minh, đã nhận được khoản tài trợ 2,01 triệu Canton Coin, trị giá khoảng 300.000 đô la Mỹ, từ Quỹ Canton để phát triển một công cụ mã nguồn mở mới cho các dự án Daml.
Công cụ mới này được thiết kế để cải thiện khả năng hiển thị bên trong các hệ thống hợp đồng thông minh đa bên được xây dựng trên Mạng Canton. Nó sẽ phân tích các tệp .dar đã biên dịch, là các hợp đồng thông minh được đóng gói trong Daml, và xác định các tương tác giữa các gói hợp đồng khác nhau. Hệ thống cũng sẽ hiển thị nơi một gói có quyền gọi gói khác, bao gồm vị trí tệp nguồn và tham chiếu dòng chính xác.
Dự án này nhắm đến một trong những khía cạnh khó khăn nhất của bảo mật blockchain. Trong các hệ thống đa bên quy mô lớn, các mối quan hệ hợp đồng và quyền được ủy quyền có thể trở nên khó theo dõi thủ công. Điều này tạo ra thách thức cho các nhà phát triển, kiểm toán viên và nhóm tuân thủ cần hiểu rõ cách thức hoạt động của ứng dụng trước khi triển khai.
Certora, một công ty chuyên về bảo mật và xác minh hợp đồng thông minh, cho biết công cụ này sẽ giúp tự động hóa quy trình và giảm bớt công việc cần thiết cho việc xem xét bảo mật. Công ty dự định phát hành phần mềm theo giấy phép mã nguồn mở Apache 2.0 và tích hợp nó vào dpm, môi trường dòng lệnh của Canton được sử dụng để xây dựng và chạy các ứng dụng.
Sự phát triển này cũng hướng đến các tổ chức tài chính đang nghiên cứu hệ thống Sổ cái phân tán . Các ngân hàng và nhà cung cấp cơ sở hạ tầng thường yêu cầu phân tích chi tiết hành vi hợp đồng trước khi sử dụng các ứng dụng blockchain trong môi trường sản xuất.
Hình ảnh: Tuyệt đẹp
