Tôi đã đọc bài viết gần đây từ @SonicLabs về Xác minh chính thức & đồng thuận DAG Thật lòng mà nói, đây là loại nội dung khiến tôi rất phấn khích, vì vậy tôi đã phải đơn giản hóa nó và chia sẻ để mọi người dễ hiểu hơn, đặc biệt là những người bạn Sooonic của tôi, những người yêu thích những ngách kỹ thuật, những thứ siêu thông minh Đầu tiên, nếu bạn đang nghĩ "DAG là gì vậy, có nghĩa là gì?" 🔷DAG (Đồ thị có hướng không chu trình): 🔹Mỗi giao dịch giống như một nút trong một mạng lưới khổng lồ 🔹Thay vì chờ đợi các khối, các giao dịch trực tiếp tham chiếu đến nhiều giao dịch trước đó, theo cách đó mạng lưới trở nên sâu hơn 🔹Tạo ra một cấu trúc nhánh, giống như mạng lưới so với phong cách blockchain tuyến tính với một khối duy nhất truyền thống 🔹Có nhiều giao thức DAG khác nhau hiện đang được sử dụng (DAG-Rider, Hashgraph, Aleph, Cordial Miner, ES Bullshark) mỗi cái đều xuất sắc ở những lĩnh vực khác nhau, không có người chiến thắng hoàn hảo (xem biểu đồ Radar của tôi bên dưới ⤵️) 🔷Bây giờ, cách tiếp cận của Sonic khác như thế nào: Sonic đã xây dựng giao thức độc đáo của riêng mình từ đầu và phát triển một thư viện xác minh chứng minh tính chính xác trên nhiều giao thức DAG, bao gồm cả Sonic (những thứ ngắn gọn, siêu thông minh👀): 🔹Các validator tạo ra các khối sự kiện tham chiếu đến nhiều sự kiện trước đó 🔹Sử dụng các cuộc bầu cử chồng chéo qua các lớp để chọn các sự kiện "lãnh đạo" cho tốc độ 🔹Khi được bầu làm lãnh đạo, các sự kiện sẽ được tuyến tính hóa vào chuỗi chính 🔹Được xây dựng đặc biệt cho BFT không đồng bộ (Tolerant Lỗi Byzantine) và PoS (không trộn lẫn với DAG-rider, Hashgraph, v.v.) 🔷Tại sao điều này thực sự quan trọng: Hầu hết bảo mật crypto ngày nay = "chúng tôi đã kiểm tra kỹ lưỡng, không tìm thấy lỗi... có lẽ an toàn?" 🤷‍♂️ Sonic giờ đây đã sử dụng BẰNG CHỨNG toán học rằng hành vi không an toàn là hoàn toàn không thể. Không phải "không có khả năng" mà là KHÔNG THỂ. Không chỉ là xác suất mà là sự chắc chắn toán học Các con số thật điên rồ: 14 tháng người làm nghiên cứu xác minh chính thức, giờ đã mã nguồn mở cho toàn bộ cộng đồng blockchain. Điều này chuyển toàn bộ ngành công nghiệp từ "hãy tin chúng tôi, chúng tôi đã kiểm tra" sang "đây là bằng chứng toán học rằng nó hoạt động" sử dụng xác minh chính thức TLA+. Crypto của bạn luôn chỉ an toàn như toán học đứng sau nó, và giờ đây chúng ta có TOÁN HỌC CỦA TOÁN HỌC ĐỂ CÓ TOÁN HỌC. Cảm ơn @SonicAssistant đã chia sẻ lại bài viết, nếu không tôi đã bỏ lỡ nó🤝 🔷biểu đồ bên dưới: 1⃣Cơ chế DAG chung 2⃣5 khả năng kiến trúc DAG khác nhau 3⃣Về Sonic 4⃣Những hiểu biết chính