Sonic Labs đã phát hành một thư viện mã nguồn mở mới được thiết kế để cung cấp xác minh chính thức cho các giao thức đồng thuận blockchain dựa trên DAG, một động thái mà họ khẳng định sẽ giúp nâng cao các tiêu chuẩn an ninh cho các mạng phi tập trung.
Chứng minh Toán học để Xác minh Giao thức đồng thuận
Thư viện xác minh chính thức, được phát triển hợp tác với các nhà nghiên cứu từ Đại học Sydney và viện nghiên cứu Pháp INRIA, đã được trình bày lần đầu vào đầu tháng này tại NASA Formal Methods 2025 (NFM 2025) ở Williamsburg, Virginia.
Thư viện sử dụng TLA+, một ngôn ngữ đặc tả hình thức được phát triển bởi Microsoft Research, để chứng minh toán học tính chính xác của các giao thức đồng thuận.
Sonic Labs cho biết công cụ này đơn giản hóa quy trình mô hình hóa và xác minh các hệ thống phân tán phức tạp bằng cách cung cấp các thành phần có thể tái sử dụng và mô-đun có thể được áp dụng trên nhiều kiến trúc blockchain khác nhau.
Các giao thức đã được xác minh bao gồm DAG-Rider, Cordial Miner, Bullshark, Hashgraph và Aleph. Giao thức đồng thuận tương thích EVM của Sonic cũng đã được xác minh là một sản phẩm phái sinh sử dụng công cụ này.
“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,” ông Bernhard Scholz, Giám đốc Nghiên cứu cho biết.
Thách thức bảo mật trong đồng thuận blockchain
Các blockchain ngày nay bảo vệ hàng nghìn tỷ đô la tài sản kỹ thuật số, đặt ra áp lực đáng kể lên cơ sở hạ tầng đồng thuận cơ bản để hoạt động mà không gặp lỗi.
Các lỗ hổng trong những cơ chế này có thể dẫn đến việc chi tiêu gấp đôi, không nhất quán sổ cái, hoặc các khai thác quy mô lớn.
Mặc dù kiểm toán và kiểm tra xâm nhập là những thực hành tiêu chuẩn trong ngành, nhưng chúng không thể đảm bảo sự vắng mặt hoàn toàn của các lỗi nghiêm trọng, đặc biệt là trong các môi trường phức tạp, bất đồng bộ.
Xác minh hình thức cung cấp một lựa chọn bằng cách chứng minh toán học rằng một giao thức hoạt động an toàn dưới tất cả các kịch bản có thể. Sonic Labs cho biết công cụ mới của họ có thể được sử dụng không chỉ để kiểm toán các giao thức hiện có mà còn để hỗ trợ các nhà phát triển trong việc thiết kế hoặc sửa đổi các hệ thống dựa trên DAG từ đầu.
Công ty đã sử dụng thư viện này nội bộ để xác minh độ an toàn của mạng lưới blockchain của chính mình và tuyên bố rằng họ có thể loại bỏ khả năng hành vi không an toàn theo các điều kiện xác định một cách toán học.
Bằng cách mã nguồn mở thư viện, Sonic Labs nhằm giảm chi phí và độ phức tạp trong việc xây dựng các hệ thống blockchain an toàn trong khi thúc đẩy việc áp dụng rộng rãi hơn về xác minh chính thức trong phát triển Web3.
Sonic là một blockchain tương thích với EVM được thiết kế cho khả năng thông lượng cao, cung cấp độ hoàn tất dưới một giây và tốc độ xử lý lên đến 400,000 giao dịch mỗi giây.
Mạng lưới có một mô hình Kiếm tiền từ Phí cho phép các nhà phát triển kiếm được 90% phí giao dịch phát sinh từ các ứng dụng phi tập trung của họ.
Tại sao điều này quan trọng
Khi ngày càng nhiều giá trị được khóa trong các mạng blockchain, những lỗi nhỏ trong các giao thức đồng thuận có thể gây ra tổn thất tài chính lớn và làm tổn hại đến lòng tin. Công cụ xác minh mã nguồn mở của Sonic Labs sử dụng toán học để đảm bảo an toàn cho giao thức, lấp đầy một khoảng trống mà việc thử nghiệm truyền thống thường bỏ qua.
Xem tin tức crypto đang thịnh hành trên DailyCoin:
Quỹ ETF Crypto Mới của Trump Media Nhắm Đến Bitcoin và Ethereum
Nhà phát triển chính Shiba Inu gợi ý về Super App: Điều lớn tiếp theo của SHIB?
Mọi người cũng hỏi:
Giao thức đồng thuận trong blockchain là gì? Giao thức đồng thuận là một tập hợp các quy tắc cho phép các thành viên trong mạng phân tán đồng ý về trạng thái hiện tại của blockchain, đảm bảo tất cả các bản sao đều nhất quán và các giao dịch được xác minh chính xác.
Tại sao sự đồng thuận lại quan trọng đối với các blockchain? Sự đồng thuận là cần thiết để duy trì tính toàn vẹn, an ninh và độ tin cậy của một blockchain. Nó ngăn chặn các vấn đề như chi tiêu gấp đôi và đảm bảo rằng tất cả các thành viên trong mạng chia sẻ cùng một lịch sử giao dịch.
Giao thức đồng thuận dựa trên DAG là gì? DAG (Đồ thị vô hướng ) các giao thức đồng thuận sử dụng cấu trúc đồ thị thay vì chuỗi truyền thống để ghi lại giao dịch. Thiết kế này có thể cải thiện khả năng mở rộng và tốc độ giao dịch so với các blockchain tuyến tính.
Xác minh chính thức là gì? Xác minh chính thức là một phương pháp toán học được sử dụng để chứng minh tính chính xác và an ninh của thiết kế hệ thống, đảm bảo nó hoạt động như mong muốn trong tất cả các điều kiện có thể.
Nội dung chỉ mang tính chất tham khảo, không phải là lời chào mời hay đề nghị. Không cung cấp tư vấn về đầu tư, thuế hoặc pháp lý. Xem Tuyên bố miễn trừ trách nhiệm để biết thêm thông tin về rủi ro.
Sonic Labs Ra Mắt Thư Viện Mã Nguồn Mở cho Xác Minh Blockchain DAG
Sonic Labs đã phát hành một thư viện mã nguồn mở mới được thiết kế để cung cấp xác minh chính thức cho các giao thức đồng thuận blockchain dựa trên DAG, một động thái mà họ khẳng định sẽ giúp nâng cao các tiêu chuẩn an ninh cho các mạng phi tập trung.
Chứng minh Toán học để Xác minh Giao thức đồng thuận
Thư viện xác minh chính thức, được phát triển hợp tác với các nhà nghiên cứu từ Đại học Sydney và viện nghiên cứu Pháp INRIA, đã được trình bày lần đầu vào đầu tháng này tại NASA Formal Methods 2025 (NFM 2025) ở Williamsburg, Virginia.
Thư viện sử dụng TLA+, một ngôn ngữ đặc tả hình thức được phát triển bởi Microsoft Research, để chứng minh toán học tính chính xác của các giao thức đồng thuận.
Sonic Labs cho biết công cụ này đơn giản hóa quy trình mô hình hóa và xác minh các hệ thống phân tán phức tạp bằng cách cung cấp các thành phần có thể tái sử dụng và mô-đun có thể được áp dụng trên nhiều kiến trúc blockchain khác nhau.
Các giao thức đã được xác minh bao gồm DAG-Rider, Cordial Miner, Bullshark, Hashgraph và Aleph. Giao thức đồng thuận tương thích EVM của Sonic cũng đã được xác minh là một sản phẩm phái sinh sử dụng công cụ này.
“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,” ông Bernhard Scholz, Giám đốc Nghiên cứu cho biết.
Thách thức bảo mật trong đồng thuận blockchain
Các blockchain ngày nay bảo vệ hàng nghìn tỷ đô la tài sản kỹ thuật số, đặt ra áp lực đáng kể lên cơ sở hạ tầng đồng thuận cơ bản để hoạt động mà không gặp lỗi.
Các lỗ hổng trong những cơ chế này có thể dẫn đến việc chi tiêu gấp đôi, không nhất quán sổ cái, hoặc các khai thác quy mô lớn.
Mặc dù kiểm toán và kiểm tra xâm nhập là những thực hành tiêu chuẩn trong ngành, nhưng chúng không thể đảm bảo sự vắng mặt hoàn toàn của các lỗi nghiêm trọng, đặc biệt là trong các môi trường phức tạp, bất đồng bộ.
Xác minh hình thức cung cấp một lựa chọn bằng cách chứng minh toán học rằng một giao thức hoạt động an toàn dưới tất cả các kịch bản có thể. Sonic Labs cho biết công cụ mới của họ có thể được sử dụng không chỉ để kiểm toán các giao thức hiện có mà còn để hỗ trợ các nhà phát triển trong việc thiết kế hoặc sửa đổi các hệ thống dựa trên DAG từ đầu.
Công ty đã sử dụng thư viện này nội bộ để xác minh độ an toàn của mạng lưới blockchain của chính mình và tuyên bố rằng họ có thể loại bỏ khả năng hành vi không an toàn theo các điều kiện xác định một cách toán học.
Bằng cách mã nguồn mở thư viện, Sonic Labs nhằm giảm chi phí và độ phức tạp trong việc xây dựng các hệ thống blockchain an toàn trong khi thúc đẩy việc áp dụng rộng rãi hơn về xác minh chính thức trong phát triển Web3.
Sonic là một blockchain tương thích với EVM được thiết kế cho khả năng thông lượng cao, cung cấp độ hoàn tất dưới một giây và tốc độ xử lý lên đến 400,000 giao dịch mỗi giây.
Mạng lưới có một mô hình Kiếm tiền từ Phí cho phép các nhà phát triển kiếm được 90% phí giao dịch phát sinh từ các ứng dụng phi tập trung của họ.
Tại sao điều này quan trọng
Khi ngày càng nhiều giá trị được khóa trong các mạng blockchain, những lỗi nhỏ trong các giao thức đồng thuận có thể gây ra tổn thất tài chính lớn và làm tổn hại đến lòng tin. Công cụ xác minh mã nguồn mở của Sonic Labs sử dụng toán học để đảm bảo an toàn cho giao thức, lấp đầy một khoảng trống mà việc thử nghiệm truyền thống thường bỏ qua.
Xem tin tức crypto đang thịnh hành trên DailyCoin:
Quỹ ETF Crypto Mới của Trump Media Nhắm Đến Bitcoin và Ethereum
Nhà phát triển chính Shiba Inu gợi ý về Super App: Điều lớn tiếp theo của SHIB?
Mọi người cũng hỏi:
Giao thức đồng thuận trong blockchain là gì? Giao thức đồng thuận là một tập hợp các quy tắc cho phép các thành viên trong mạng phân tán đồng ý về trạng thái hiện tại của blockchain, đảm bảo tất cả các bản sao đều nhất quán và các giao dịch được xác minh chính xác.
Tại sao sự đồng thuận lại quan trọng đối với các blockchain? Sự đồng thuận là cần thiết để duy trì tính toàn vẹn, an ninh và độ tin cậy của một blockchain. Nó ngăn chặn các vấn đề như chi tiêu gấp đôi và đảm bảo rằng tất cả các thành viên trong mạng chia sẻ cùng một lịch sử giao dịch.
Giao thức đồng thuận dựa trên DAG là gì? DAG (Đồ thị vô hướng ) các giao thức đồng thuận sử dụng cấu trúc đồ thị thay vì chuỗi truyền thống để ghi lại giao dịch. Thiết kế này có thể cải thiện khả năng mở rộng và tốc độ giao dịch so với các blockchain tuyến tính.
Xác minh chính thức là gì? Xác minh chính thức là một phương pháp toán học được sử dụng để chứng minh tính chính xác và an ninh của thiết kế hệ thống, đảm bảo nó hoạt động như mong muốn trong tất cả các điều kiện có thể.
.social-share-icons { display: inline-flex; flex-direction: row; gap: 8px; border-radius: 8px; border: 1px solid #dedede; padding: 8px 16px; margin-bottom: 8px; }
.social-share-icons a { display: flex; color: #555; text-decoration: none; justify-content: center; align-items: center; background-color: #dedede; border-radius: 100%; padding: 10px; }
.social-share-icons a:hover { background-color: #F7BE23; fill: trắng; }
.social-share-icons svg { width: 24px; height: 24px; }