Nội dung biên tập đáng tin cậy, được xem xét bởi các chuyên gia hàng đầu trong ngành và các biên tập viên dày dạn kinh nghiệm. Công bố quảng cáo
Sonic Labs đã sống đúng với tên gọi của mình và đang miệt mài trong phòng thí nghiệm với một tài liệu nghiên cứu mới. Nó không chỉ đơn thuần là một tài liệu lý thuyết: nó đã mang lại một ứng dụng cụ thể trong lĩnh vực đồng thuận blockchain, và thư viện xác minh chính thức mà Sonic Labs đã phát triển hiện đã được mã nguồn mở và có sẵn trên Github.
Nhóm Sonic Labs tất nhiên được biết đến nhiều nhất với việc kiến trúc chuỗi Sonic Layer-1 đã nổi lên từ đống tro tàn của Fantom. Sonic sử dụng một DAG (Đồ thị không chu trình có hướng) cho sự đồng thuận của mình, và đây chính là lĩnh vực mà nhóm Labs đã chọn để tập trung nỗ lực của họ một cách hợp lý. Trong khi thư viện xác minh tiếp theo mà họ phát triển có ảnh hưởng đến mạng EVM của Sonic, nó cũng có thể được áp dụng cho tất cả các chuỗi dựa trên DAG hiện tại và tương lai, nơi nó có khả năng tăng cường đáng kể tính bảo mật bằng cách ngăn chặn lỗ hổng xuất hiện.
Sonic Labs Gives DAGs a Do-Over
Thiết kế đồng thuận blockchain là một lĩnh vực phức tạp đòi hỏi sự chuyên môn của các nhà nghiên cứu trong các lĩnh vực toán học, mật mã và lý thuyết trò chơi. Trong khi đội ngũ Sonic Labs có kiến thức vững vàng trong những lĩnh vực này, họ đã mời một vài chuyên gia để hỗ trợ trong việc nghiên cứu sâu về DAG với mục tiêu làm cho chúng có thể được xác minh an toàn.
Được phát triển hợp tác với các nhà logic hàng đầu từ Đại học Sydney và INRIA, thư viện này tận dụng trợ lý chứng minh TLA+ để cung cấp các thành phần mô-đun, có thể tái sử dụng. Những thành phần này đơn giản hóa quy trình xác minh cho các nhà phát triển, cho phép họ mô hình hóa và xác nhận sự an toàn của các giao thức dựa trên DAG một cách dễ dàng. Thư viện bao gồm các chứng minh đã được xác minh cho các giao thức chính như DAG-Rider, Cordial Miner, Bullshark, Hashgraph và Aleph, với giao thức đồng thuận của Sonic được xác thực như một biến thể.
Với giá trị hiện đang chảy qua các hệ sinh thái blockchain, lợi ích của việc làm cho chúng an toàn hơn là của tất cả mọi người. Tuy nhiên, điều này dễ nói hơn làm, vì các quy trình kiểm toán tiêu chuẩn không phải lúc nào cũng hoàn hảo và không phải là hiếm khi các lỗ hổng xuất hiện và sau đó bị khai thác với những hậu quả tàn khốc.
Làm cho Blockchain An toàn hơn cho Mọi người
Cách tiếp cận xác minh chính thức của Sonic Labs sử dụng các bằng chứng toán học nghiêm ngặt để loại bỏ lỗi, đảm bảo rằng các giao thức hoạt động đáng tin cậy trong mọi kịch bản có thể xảy ra. Thư viện không chỉ xác minh các giao thức hiện có mà còn trao quyền cho các nhà phát triển thiết kế các hệ thống dựa trên DAG mới hoặc cải tiến các hệ thống hiện tại. Sonic Labs đã áp dụng công cụ độc quyền của mình để chứng minh rằng hành vi không an toàn là không thể về mặt toán học trên blockchain Sonic.
Lần đầu tiên được giới thiệu tại NASA Formal Methods 2025 ở Williamsburg, Virginia vào giữa tháng Sáu, thư viện này bổ sung một công cụ phòng thủ quý giá cho kho vũ khí của các nhà phát triển blockchain. Khi thiết kế mô-đun trở thành cách xây dựng blockchain mặc định, nguy cơ về các rủi ro bảo mật gia tăng. Ví dụ, nhiều nhà cung cấp Blockchain-as-a-Service cho phép các nhóm tạo và triển khai một mạng tùy chỉnh chỉ với vài cú nhấp chuột. Nhưng nếu họ quyết định thay đổi các tham số của cơ chế đồng thuận trong quá trình này, có khả năng vô tình giới thiệu một lỗ hổng bảo mật.
Đây chỉ là một lĩnh vực mà thư viện xác minh chính thức của Sonic Labs có ứng dụng rõ ràng. Nhưng nó cũng có giá trị để đánh giá các chuỗi dựa trên DAG hiện có. Các lỗ hổng thường có thể không được phát hiện trong nhiều năm ở ngoài thực tế trước khi, trong trường hợp tốt nhất, một whitehat phát hiện ra và nó được vá. Trong trường hợp tồi tệ nhất, nó rơi vào tay một blackhat có khả năng khai thác nó.
Như Giám đốc Nghiên cứu của Sonic Labs, Tiến sĩ Bernhard Scholz tóm tắt, "Trong blockchain, các lỗi bảo mật thường xuất phát từ những giả định không được kiểm tra 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 bằng chứng, 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 dưới mọi điều kiện." Với thư viện mã nguồn mở hiện có sẵn cho các nhà phát triển web3, trách nhiệm thuộc về họ để sử dụng công cụ này và tận dụng tối đa nó.
Quy trình biên tập cho bitcoinist tập trung vào việc cung cấp nội dung được nghiên cứu kỹ lưỡng, chính xác và không thiên vị. Chúng tôi duy trì các tiêu chuẩn nguồn gốc nghiêm ngặt, và mỗi trang đều trải qua quá trình xem xét cẩn thận bởi đội ngũ chuyên gia công nghệ hàng đầu và các biên tập viên dày dạn kinh nghiệm của chúng tôi. Quy trình này đảm bảo tính toàn vẹn, sự liên quan và giá trị của nội dung cho độc giả của chúng tôi.
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 Tăng Cường An Ninh Blockchain Với Thư Viện Xác Minh Chính Thức Mới | Bitcoinist.com
Nhóm Sonic Labs tất nhiên được biết đến nhiều nhất với việc kiến trúc chuỗi Sonic Layer-1 đã nổi lên từ đống tro tàn của Fantom. Sonic sử dụng một DAG (Đồ thị không chu trình có hướng) cho sự đồng thuận của mình, và đây chính là lĩnh vực mà nhóm Labs đã chọn để tập trung nỗ lực của họ một cách hợp lý. Trong khi thư viện xác minh tiếp theo mà họ phát triển có ảnh hưởng đến mạng EVM của Sonic, nó cũng có thể được áp dụng cho tất cả các chuỗi dựa trên DAG hiện tại và tương lai, nơi nó có khả năng tăng cường đáng kể tính bảo mật bằng cách ngăn chặn lỗ hổng xuất hiện.
Sonic Labs Gives DAGs a Do-Over
Thiết kế đồng thuận blockchain là một lĩnh vực phức tạp đòi hỏi sự chuyên môn của các nhà nghiên cứu trong các lĩnh vực toán học, mật mã và lý thuyết trò chơi. Trong khi đội ngũ Sonic Labs có kiến thức vững vàng trong những lĩnh vực này, họ đã mời một vài chuyên gia để hỗ trợ trong việc nghiên cứu sâu về DAG với mục tiêu làm cho chúng có thể được xác minh an toàn.
Được phát triển hợp tác với các nhà logic hàng đầu từ Đại học Sydney và INRIA, thư viện này tận dụng trợ lý chứng minh TLA+ để cung cấp các thành phần mô-đun, có thể tái sử dụng. Những thành phần này đơn giản hóa quy trình xác minh cho các nhà phát triển, cho phép họ mô hình hóa và xác nhận sự an toàn của các giao thức dựa trên DAG một cách dễ dàng. Thư viện bao gồm các chứng minh đã được xác minh cho các giao thức chính như DAG-Rider, Cordial Miner, Bullshark, Hashgraph và Aleph, với giao thức đồng thuận của Sonic được xác thực như một biến thể.
Với giá trị hiện đang chảy qua các hệ sinh thái blockchain, lợi ích của việc làm cho chúng an toàn hơn là của tất cả mọi người. Tuy nhiên, điều này dễ nói hơn làm, vì các quy trình kiểm toán tiêu chuẩn không phải lúc nào cũng hoàn hảo và không phải là hiếm khi các lỗ hổng xuất hiện và sau đó bị khai thác với những hậu quả tàn khốc.
Làm cho Blockchain An toàn hơn cho Mọi người
Cách tiếp cận xác minh chính thức của Sonic Labs sử dụng các bằng chứng toán học nghiêm ngặt để loại bỏ lỗi, đảm bảo rằng các giao thức hoạt động đáng tin cậy trong mọi kịch bản có thể xảy ra. Thư viện không chỉ xác minh các giao thức hiện có mà còn trao quyền cho các nhà phát triển thiết kế các hệ thống dựa trên DAG mới hoặc cải tiến các hệ thống hiện tại. Sonic Labs đã áp dụng công cụ độc quyền của mình để chứng minh rằng hành vi không an toàn là không thể về mặt toán học trên blockchain Sonic.
Lần đầu tiên được giới thiệu tại NASA Formal Methods 2025 ở Williamsburg, Virginia vào giữa tháng Sáu, thư viện này bổ sung một công cụ phòng thủ quý giá cho kho vũ khí của các nhà phát triển blockchain. Khi thiết kế mô-đun trở thành cách xây dựng blockchain mặc định, nguy cơ về các rủi ro bảo mật gia tăng. Ví dụ, nhiều nhà cung cấp Blockchain-as-a-Service cho phép các nhóm tạo và triển khai một mạng tùy chỉnh chỉ với vài cú nhấp chuột. Nhưng nếu họ quyết định thay đổi các tham số của cơ chế đồng thuận trong quá trình này, có khả năng vô tình giới thiệu một lỗ hổng bảo mật.
Đây chỉ là một lĩnh vực mà thư viện xác minh chính thức của Sonic Labs có ứng dụng rõ ràng. Nhưng nó cũng có giá trị để đánh giá các chuỗi dựa trên DAG hiện có. Các lỗ hổng thường có thể không được phát hiện trong nhiều năm ở ngoài thực tế trước khi, trong trường hợp tốt nhất, một whitehat phát hiện ra và nó được vá. Trong trường hợp tồi tệ nhất, nó rơi vào tay một blackhat có khả năng khai thác nó.
Như Giám đốc Nghiên cứu của Sonic Labs, Tiến sĩ Bernhard Scholz tóm tắt, "Trong blockchain, các lỗi bảo mật thường xuất phát từ những giả định không được kiểm tra 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 bằng chứng, 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 dưới mọi điều kiện." Với thư viện mã nguồn mở hiện có sẵn cho các nhà phát triển web3, trách nhiệm thuộc về họ để sử dụng công cụ này và tận dụng tối đa nó.