Tổ chức phát triển đằng sau blockchain Stellar đã công bố việc thực hiện các kiểm tra bảo mật toàn diện cho nền tảng smart contract Soroban sắp tới của mình.
Họ đã ký hợp tác với công ty bảo mật Certora, nổi tiếng với các công cụ xác minh hình thức, để tiến hành kiểm tra bảo mật này.
Soroban, hiện đang hoạt động trên mạng thử nghiệm, sẽ cung cấp cho các nhà phát triển một cơ chế mới để triển khai các smart contract, mở rộng hệ sinh thái các ứng dụng được xây dựng trên blockchain Stellar. Nền tảng này sử dụng WebAssembly (WASM) – một định dạng mã nhị phân được tùy chỉnh cho việc tích hợp web và blockchain truyền thống.
Xét đến môi trường blockchain cạnh tranh nơi ngay cả các lỗ hổng mã code nhỏ cũng có thể gây ra những trở ngại lớn, Stellar đã xác nhận rằng việc thực hiện các kiểm tra bảo mật nghiêm ngặt là cần thiết. Vì tính minh bạch và không thể thay đổi của smart contract, việc áp dụng các biện pháp bảo mật nghiêm ngặt là cần thiết để ngăn chặn các mối đe dọa tiềm năng.
Tổ chức phát triển đằng sau Stellar cho biết họ sẽ sử dụng các công cụ xác minh chính thức của Certora, vượt xa việc chỉ kiểm tra mã code một lần và cung cấp dịch vụ tích hợp liên tục. Khi mã code được sửa đổi, nó phải tuân thủ các thông số kỹ thuật. Phương pháp này được thiết kế để liên tục loại bỏ lỗi và lỗ hổng khỏi mã nguồn.
“Việc Certora hỗ trợ Soroban sẽ trang bị hơn 100 dự án đang được phát triển trên nền tảng này với các công cụ xác minh hiện đại nhằm đảm bảo tính toàn vẹn của phần mềm,” Tomer Weller, Phó Chủ tịch Sản phẩm tại Tổ chức phát triển Stellar cho biết. “Kết hợp với những tính năng kiểm tra và bảo mật cố định của Soroban, các nhà phát triển có những công cụ cần thiết để vượt qua những lỗ hổng và xây dựng một hệ sinh thái DeFi an toàn từ đầu.”
Stellar blockchain
Stellar là một giao thức blockchain mã nguồn mở được thành lập năm 2014 bởi Jed McCaleb và Joyce Kim, cho phép thực hiện các giao dịch giao thương vượt quốc gia nhanh chóng.
Ban đầu, Stellar hoạt động trên một hệ thống tương tự Ripple vì nó được tạo ra như một nhánh từ Ripple. Tuy nhiên, đối mặt với những thách thức và với khát khao tạo ra một giải pháp riêng biệt, Stellar đã giới thiệu một mã nguồn hoàn toàn mới với cơ chế đồng thuận được cải tiến gọi là Stellar Consensus Protocol (SCP).
Mặc dù Stellar đã hỗ trợ smart contract trong quá khứ, nhóm phát triển chính đang tập trung ngày càng nhiều vào việc phát triển Soroban như một nền tảng chung và thân thiện với nhà phát triển để triển khai các ứng dụng dựa trên WASM có hiệu suất cao. Dự kiến Soroban sẽ ra mắt chính thức vào đầu năm sau.
Tin Tức Bitcoin tổng hợp
