Sonic Labs, đội ngũ đứng sau blockchain Sonic, đã ra mắt thư viện xác minh chính thức mới cho các giao thức đồng thuận dựa trên DAG. Mục tiêu là cung cấp công cụ chứng minh cho sự an toàn của các blockchain.
Sonic Labs và sự bảo mật của blockchain: ra mắt thư viện xác minh chính thức mới
Sonic Labs, đội ngũ đứng sau blockchain Sonic, đã thông báo ra mắt thư viện xác minh chính thức mới, dành riêng cho các giao thức đồng thuận dựa trên DAG.
Trên thực tế, đây là một thư viện mã nguồn mở sử dụng xác minh chính thức để chứng minh toán học sự an toàn của các blockchain đồ thị không chu trình có hướng, bao gồm cả blockchain Sonic EVM.
Cảm ơn việc sử dụng trợ lý thử nghiệm TLA+, có thể đơn giản hóa quy trình xác minh các giao thức đồng thuận dựa trên DAG, cho phép các nhà phát triển mô hình hóa và xác minh các giao thức với nỗ lực tối thiểu.
Đây là một công cụ kiểm tra để xác minh tính bảo mật của các blockchain. Thư viện bao gồm các bài kiểm tra cho các giao thức dựa trên DAG quan trọng như DAG-Rider, Cordial Miner, Bullshark, Hashgraph và Aleph, với giao thức đồng thuận Sonic được xác minh là được phát sinh.
Thư viện xác minh chính thức được trình bày lần đầu tiên tại NASA Formal Methods 2025 (NFM 2025) ở Williamsburg, Virginia, từ ngày 11 đến 13 tháng 6
Sonic Labs và phương pháp toán học nghiêm ngặt để chứng minh tính bảo mật của một giao thức
Tình hình hiện tại của bảo mật blockchain thường thấy sự dễ bị tổn thương của các giao thức đồng thuận có thể dẫn đến các khai thác thảm khốc. Chi tiêu gấp đôi hoặc sự không nhất quán của sổ cái là một ví dụ.
Nói chung, thực tế là các bài kiểm tra và xác minh truyền thống để đảm bảo an ninh cho các blockchain đã trở nên không đủ.
Ở đây, theo nghĩa này, Sonic Labs đã quyết định chấp nhận thách thức của thời điểm này với một cách tiếp cận hoàn toàn toán học, điều này chứng minh rằng một giao thức là an toàn trong tất cả các kịch bản có thể, không để lại chỗ cho lỗi.
Liên quan đến vấn đề này, Tiến sĩ Bernhard Scholz, Giám đốc Nghiên cứu, Sonic Labs, đã bình luận:
“Trong blockchain, các lỗi bảo mật thường xuất phát từ những giả định không được xác minh cho đến khi quá muộn. Với thư viện này, chúng tôi đang chuyển từ hy vọng sang chứng minh, cung cấp các công cụ để xác minh, với độ chắc chắn toán học, rằng một giao thức sẽ hoạt động an toàn trong mọi điều kiện. Mục tiêu của chúng tôi là làm cho việc xác minh chính thức trở nên dễ tiếp cận với tất cả các nhà phát triển giao thức.”
Sonic Labs đã bắt đầu thực hiện xác minh chính thức để chứng minh rằng hành vi không an toàn là không thể xảy ra về mặt toán học trên chuỗi khối Sonic.
Sự xuất hiện của token S trên Coinbase
Trong vài giờ qua, cũng có thông tin về việc token Sonic (S) sẽ được niêm yết trên sàn giao dịch tiền điện tử nổi tiếng Coinbase.
$S hiện đã có sẵn trên @Coinbase. pic.twitter.com/E6AIy6yusF
Sonic Labs (@SonicLabs) 24 giugno 2025
Trong thực tế, khách hàng của Coinbase cũng có thể truy cập ứng dụng Coinbase trên iOS và Android để mua, bán, chuyển đổi, gửi, nhận hoặc lưu trữ token S.
Hiện tại, Sonic (S) đang ở vị trí 73 trong bảng xếp hạng tiền điện tử tổng thể, với vốn hóa thị trường là 932 triệu đô la. Tại thời điểm viết, S có giá trị là $0.32.
Vào giữa tháng 4 năm 2025, Fantom đã ra mắt bản cập nhật Sonic mới nhất để cách mạng hóa DeFi. Với khả năng xử lý hơn 10,000 giao dịch mỗi giây (TPS) và thời gian hoàn tất dưới 2 giây, Sonic ngay lập tức định vị mình là một trong những mạng Layer 1 nhanh nhất và mở rộng nhất trong bối cảnh crypto. Với Sonic, mã thông báo S cũng được ra mắt, ban đầu gắn với FTM của Fantom.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Sonic Labs: thư viện xác minh chính thức mới cho các giao thức dựa trên DAG
Sonic Labs, đội ngũ đứng sau blockchain Sonic, đã ra mắt thư viện xác minh chính thức mới cho các giao thức đồng thuận dựa trên DAG. Mục tiêu là cung cấp công cụ chứng minh cho sự an toàn của các blockchain.
Sonic Labs và sự bảo mật của blockchain: ra mắt thư viện xác minh chính thức mới
Sonic Labs, đội ngũ đứng sau blockchain Sonic, đã thông báo ra mắt thư viện xác minh chính thức mới, dành riêng cho các giao thức đồng thuận dựa trên DAG.
Trên thực tế, đây là một thư viện mã nguồn mở sử dụng xác minh chính thức để chứng minh toán học sự an toàn của các blockchain đồ thị không chu trình có hướng, bao gồm cả blockchain Sonic EVM.
Cảm ơn việc sử dụng trợ lý thử nghiệm TLA+, có thể đơn giản hóa quy trình xác minh các giao thức đồng thuận dựa trên DAG, cho phép các nhà phát triển mô hình hóa và xác minh các giao thức với nỗ lực tối thiểu.
Đây là một công cụ kiểm tra để xác minh tính bảo mật của các blockchain. Thư viện bao gồm các bài kiểm tra cho các giao thức dựa trên DAG quan trọng như DAG-Rider, Cordial Miner, Bullshark, Hashgraph và Aleph, với giao thức đồng thuận Sonic được xác minh là được phát sinh.
Thư viện xác minh chính thức được trình bày lần đầu tiên tại NASA Formal Methods 2025 (NFM 2025) ở Williamsburg, Virginia, từ ngày 11 đến 13 tháng 6
Sonic Labs và phương pháp toán học nghiêm ngặt để chứng minh tính bảo mật của một giao thức
Tình hình hiện tại của bảo mật blockchain thường thấy sự dễ bị tổn thương của các giao thức đồng thuận có thể dẫn đến các khai thác thảm khốc. Chi tiêu gấp đôi hoặc sự không nhất quán của sổ cái là một ví dụ.
Nói chung, thực tế là các bài kiểm tra và xác minh truyền thống để đảm bảo an ninh cho các blockchain đã trở nên không đủ.
Ở đây, theo nghĩa này, Sonic Labs đã quyết định chấp nhận thách thức của thời điểm này với một cách tiếp cận hoàn toàn toán học, điều này chứng minh rằng một giao thức là an toàn trong tất cả các kịch bản có thể, không để lại chỗ cho lỗi.
Liên quan đến vấn đề này, Tiến sĩ Bernhard Scholz, Giám đốc Nghiên cứu, Sonic Labs, đã bình luận:
“Trong blockchain, các lỗi bảo mật thường xuất phát từ những giả định không được xác minh cho đến khi quá muộn. Với thư viện này, chúng tôi đang chuyển từ hy vọng sang chứng minh, cung cấp các công cụ để xác minh, với độ chắc chắn toán học, rằng một giao thức sẽ hoạt động an toàn trong mọi điều kiện. Mục tiêu của chúng tôi là làm cho việc xác minh chính thức trở nên dễ tiếp cận với tất cả các nhà phát triển giao thức.”
Sonic Labs đã bắt đầu thực hiện xác minh chính thức để chứng minh rằng hành vi không an toàn là không thể xảy ra về mặt toán học trên chuỗi khối Sonic.
Sự xuất hiện của token S trên Coinbase
Trong vài giờ qua, cũng có thông tin về việc token Sonic (S) sẽ được niêm yết trên sàn giao dịch tiền điện tử nổi tiếng Coinbase.
$S hiện đã có sẵn trên @Coinbase. pic.twitter.com/E6AIy6yusF
Trong thực tế, khách hàng của Coinbase cũng có thể truy cập ứng dụng Coinbase trên iOS và Android để mua, bán, chuyển đổi, gửi, nhận hoặc lưu trữ token S.
Hiện tại, Sonic (S) đang ở vị trí 73 trong bảng xếp hạng tiền điện tử tổng thể, với vốn hóa thị trường là 932 triệu đô la. Tại thời điểm viết, S có giá trị là $0.32.
Vào giữa tháng 4 năm 2025, Fantom đã ra mắt bản cập nhật Sonic mới nhất để cách mạng hóa DeFi. Với khả năng xử lý hơn 10,000 giao dịch mỗi giây (TPS) và thời gian hoàn tất dưới 2 giây, Sonic ngay lập tức định vị mình là một trong những mạng Layer 1 nhanh nhất và mở rộng nhất trong bối cảnh crypto. Với Sonic, mã thông báo S cũng được ra mắt, ban đầu gắn với FTM của Fantom.