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









![AAVE đổi chiến lược TVL 14,7 tỷ USD nhưng thiếu cầu mới - Tin Tức Bitcoin - Cập Nhật Tin Tức Coin Mới Nhất 24/7 2026 Bạn là chuyên gia SEO tiền điện tử. Dựa trên TIÊU ĐỀ GỐC = “AAVE shifts $14.7B TVL strategy, yet new demand is missing – Why?” hãy viết lại 1 tiêu đề Tiếng Việt tối đa 68 ký tự, bám sát ý CHÍNH quan trọng nhất trong nội dung gốc (được phép lược bỏ chi tiết phụ và đổi thứ tự các vế cho tự nhiên), không thêm dữ liệu hay chi tiết mới, dịch/viết lại thật tự nhiên. Nếu là câu hỏi thì giữ nguyên ý nghĩa câu hỏi và dấu “?”. Cố gắng xác định rõ tác nhân (Người…/Nhà đầu tư…/Công ty…/Cá voi… khi phù hợp), chọn 1 chủ thể trọng tâm thay vì liệt kê quá nhiều vế, giọng khách quan như báo tài chính, không khuyến nghị mua/bán. Ưu tiên cấu trúc [Tác nhân] + [Hành động mạnh] + [Bối cảnh giá/thời điểm/dự báo]. Chuẩn hóa số liệu theo chuẩn Việt Nam: dùng “,” cho thập phân, “.” cho hàng nghìn, bỏ phần thập phân nếu =0, rút gọn số chỉ còn 1 chữ số thập phân, đổi “$” thành USD (ví dụ: 100 USD), 1M → 1 triệu, 1B → 1 tỷ, 1T → 1 nghìn tỷ. Tự động đổi thời gian UTC → GMT+7 nếu xuất hiện(Ví dụ: 13:00 (UTC) sẽ chuyển đổi thành 20:00 (giờ VN)). Không dùng ngoặc kép trong tiêu đề, không tự tham chiếu, không ký tự thừa, tránh giật tít, tối ưu cho AI Search (Google AI Overview, SGE, Featured Snippet, PAA, Perplexity, ChatGPT Search).](https://tintucbitcoin.com/wp-content/uploads/2026/04/1777295048_Ban-la-chuyen-gia-SEO-tien-dien-tu-Dua-tren-120x86.png)





