New York City, New York, 21 tháng 5 năm 2026, Chainwire
Certora, nền tảng đảm bảo an ninh đầu cuối được tin dùng bởi các đội ngũ tiên tiến nhất trong Web3, đã nhận được khoản tài trợ 2.010.000 Canton Coin (khoảng 300.000 USD) từ Canton Development Fund để xây dựng một công cụ phân tích tĩnh mã nguồn mở mới dành cho các dự án Daml. Sáng kiến này nhằm hỗ trợ công việc liên tục của Certora trong việc khiến hành vi của hợp đồng thông minh hoàn toàn minh bạch và có thể được máy móc kiểm chứng, mở rộng năng lực đó cho các tổ chức xây dựng trên Canton Network.
Công cụ của Certora sẽ phân tích các tệp .dar đã biên dịch, các gói hợp đồng thông minh đã biên dịch của Canton, để phát hiện và trực quan hóa các tương tác xuyên gói, một trong những khía cạnh phức tạp và khó khăn nhất của các hệ thống hợp đồng thông minh. Công cụ sẽ xác định mọi trường hợp một gói có thẩm quyền gọi vào gói khác, bao gồm các tham chiếu chi tiết như đường dẫn tệp nguồn và số dòng chính xác. Truy vết toàn bộ chuỗi cung ứng của mỗi hợp đồng Daml là điều thiết yếu để hiểu được các tác động về quyền riêng tư khi tương tác với một hợp đồng thông minh trên Canton. Mức độ quan sát này có ý nghĩa sống còn trong kiến trúc ưu tiên quyền riêng tư của Canton, nơi việc rò rỉ thông tin ngoài ý muốn mang lại hậu quả nghiêm trọng. Công cụ của Certora tự động hóa kiểu phân tích mà doanh nghiệp cần trước khi triển khai hoặc tương tác với một hợp đồng Daml.
Ủy quyền xuyên gói là một trong những khía cạnh khó kiểm toán thủ công nhất của các hệ thống hợp đồng thông minh đa bên. Bằng cách tự động hóa quy trình này, công cụ giúp giảm gánh nặng cho các đội ngũ phát triển, bảo mật và tuân thủ, đồng thời gia tăng mức độ tin cậy cho các tổ chức đang đánh giá các ứng dụng xây dựng trên Canton.
Công cụ sẽ được phát hành theo giấy phép Apache 2.0, được tích hợp trực tiếp vào dpm, công cụ dòng lệnh của Canton dùng để xây dựng, kiểm thử và vận hành các ứng dụng Canton, giúp các nhà phát triển xây dựng ứng dụng đa bên trên Daml có thể tiếp cận dễ dàng.
Đối với các ngân hàng, tổ chức tài chính và nhà cung cấp hạ tầng đang đánh giá hạ tầng sổ cái phân tán, việc hiểu chính xác hành vi của hợp đồng thông minh trước khi triển khai là điều kiện tiên quyết. Công cụ của Certora mang mức độ nghiêm ngặt đó đến với hệ sinh thái Canton.
“Khi các tổ chức tài chính đưa hạ tầng quan trọng lên các hệ thống sổ cái phân tán, tiêu chuẩn đảm bảo cho hợp đồng thông minh cũng phải được nâng lên tương xứng. Công việc của Certora với Canton Foundation là để đáp ứng tiêu chuẩn đó, mang cùng một mức độ phân tích tự động, nghiêm ngặt mà chúng tôi đã xây dựng cho DeFi đến với những tổ chức cần nó nhất," đồng sáng lập Certora, Mooly Sagiv cho biết.
Niềm tin trong các hệ thống phân tán là một thách thức lớn đối với việc áp dụng blockchain. Kiến trúc ưu tiên quyền riêng tư của Canton cung cấp một cách an toàn để tham gia các blockchain công khai, nhưng ngay cả các trình xác thực được tin cậy cũng cần hành vi của hợp đồng thông minh được hiểu rõ và có thể kiểm chứng.
Certora sẽ cung cấp cho các nhà phát triển và nhà vận hành cái nhìn rõ ràng, có thể hành động được về cách các hợp đồng tương tác xuyên suốt các gói, cho phép họ đánh giá rủi ro bảo mật trước khi triển khai. Để tìm hiểu thêm, hãy truy cập certora.com.
Về Certora
Certora là đối tác đảm bảo an ninh được tin dùng bởi các đội ngũ tiên tiến nhất trong Web3. Được thành lập năm 2018 bởi những người tiên phong trong lĩnh vực ngôn ngữ lập trình và phương pháp hình thức, Certora giúp các giao thức hàng đầu như Lido, Aave, Uniswap và Compound bảo vệ an toàn hàng tỷ giá trị tài sản với sự tự tin.
Về Canton Foundation
The Canton Foundation là tổ chức quản trị độc lập của Canton Network, mạng blockchain hỗ trợ quyền riêng tư được xây dựng cho các dịch vụ tài chính được quản lý. Foundation giám sát quản trị mạng, phát triển hệ sinh thái và việc gia nhập của các bên tham gia.
Liên hệ
Senior PR Manager
Lauren Bukoskey
[email protected]