Tạp chí Microsoft Developer Network đăng bài viết mà Zhang và deVadoss là đồng tác giả về sự đồng thuận blockchain

TIN TỨC NEO

2019-10-09

Erik Zhang - đồng sáng lập NEO và John deVadoss - người đứng đầu NGD Seattle, đã đồng sáng tác một bài viết về các cơ chế đồng thuận blockchain cho tạp chí Microsoft Developer Network (MSDN). Bài viết đã được xuất bản trên tạp chí bản tháng 10 năm 2019 và giới thiệu về công nghệ blockchain, vai trò của các giao thức đồng thuận và những lợi thế được cung cấp bởi dBFT của NEO. Sự xuất hiện của NEO trên tạp chí MSDN phù hợp với các nỗ lực của dự án nhằm thu hút các nhà phát triển truyền thống vào ngành công nghiệp blockchain, đặc biệt tập trung vào các nhà phát triển .NET. Trong những tin tức gần đây khác, NEO trở thành dự án blockchain đầu tiên tham gia .NET Foundation, một ví dụ khác về những nỗ lực tiếp cận cộng đồng đang diễn ra. Giới thiệu về Blockchain Bài viết có tiêu đề “Khám phá sự đồng thuận của Blockchain”, bắt đầu với phần giới thiệu về blockchain như một danh sách các hồ sơ được liên kết bằng cách sử dụng mật mã, làm nổi bật tính bất biến và minh bạch của sổ cái. Đi xa hơn, các nền tảng blockchain như Ethereum và NEO được giải thích là các blockchain có thể lập trình, sử dụng hợp đồng thông minh để hỗ trợ các ứng dụng phi tập trung trên nhiều thị trường và ứng dụng thực tiễn. Lưu ý các blockchain là một loại hệ thống phân tán mới, bài viết cũng lưu ý tầm quan trọng của khả năng chịu lỗi trong việc đảm bảo hoạt động liên tục trong môi trường hỗn loạn, dự kiến sẽ được phân cấp cho các mạng phi tập trung. Tiếp tục, deVadoss giải thích rằng khả năng chịu lỗi thường đạt được thông qua sao chép máy trạng thái, sử dụng các cơ chế đồng thuận để đảm bảo rằng các node đồng ý với bất kỳ chuyển đổi trạng thái nào. Theo thuật ngữ của layman, nhân rộng máy trạng thái đề cập đến việc chạy nhiều bản sao của cùng một node / máy chủ. Càng nhiều bản sao (replicas) được tạo, càng có thể thất bại trước khi dịch vụ bị ngăn không hoạt động. Cơ chế đồng thuận Các cơ chế đồng thuận được yêu cầu để đảm bảo rằng mỗi bản sao của máy trạng thái đồng ý về trạng thái chuỗi tiếp theo (khối) sẽ theo cách xác định. Để được coi là khả năng chịu lỗi, phải thỏa mãn ba thuộc tính chính:

Chấm dứt - các node không bị lỗi cuối cùng sẽ đạt được tiến bộ trong việc chuyển sang trạng thái tiếp theo (tính sinh động)
Tính toàn vẹn - nếu tất cả / hầu hết các node không bị lỗi đề xuất một giá trị đầu ra nhất định, tất cả các node không bị lỗi sẽ xác định cùng một giá trị đầu ra
Tất cả các node không bị lỗi trong mạng cuối cùng sẽ đồng ý với các đầu ra (an toàn).

Zhang và deVadoss lưu ý hai cách tiếp cận chính để giải quyết thách thức, chẳng hạn như sự đồng thuận Nakamoto của Bitcoin, tạo điều kiện cho các thỏa thuận theo cách xác suất. Tuy nhiên, cách tiếp cận này không bao giờ cung cấp tính sau cùng thực sự cho một trạng thái nhất định, trong đó cho phép các fork sắp xếp lại blockchain, có khả năng liên quan đến việc đảo ngược hoặc loại trừ các giao dịch. Sự thiếu sót về tính sau cùng này là nguyên nhân khiến Erik Zhang và Da Hongfei, đồng sáng lập NEO, theo đuổi các phương pháp đồng thuận thay thế, dựa trên niềm tin rằng tính sau cùng có tầm quan trọng chính đối với các ứng dụng tài chính. Khả năng chịu lỗi Byzantine được ủy quyền (dBFT) Dựa trên công trình được thực hiện bởi Castro và Listov trong việc phát triển BFT thực tiễn (pBFT), dBFT mở rộng pBFT sang các kịch bản sao chép máy trạng thái, cho phép sử dụng nó trong các blockchain. Ban đầu được sáng tác bởi chính Zhang, ông nhấn mạnh rằng dBFT cung cấp tính sau cùng trong một khối, thường là 15 giây. Zhang giải thích dBFT và pBFT là ví dụ về các cơ chế đồng thuận dựa trên nhà lãnh đạo, họ chọn các node chính để gửi đề xuất đến các node khác, sử dụng hệ thống thay đổi chế độ xem để đảm bảo tính sinh động. Trong trường hợp của NEO, các đề xuất này chứa một khối tiềm năng mới, sau đó các node đồng thuận khác có thể xác nhận và ký. Nếu 2/3 trong số các node đồng ý với tính hợp lệ của khối, thì nó sẽ được phát lên mạng và một vòng đồng thuận mới bắt đầu. [caption id="" align="aligncenter" width="800"]

Tin nhắn yêu cầu giữa bốn node trong ba giai đoạn của dBFT[/caption] Quá trình này được chia thành ba giai đoạn; chuẩn bị trước, chuẩn bị, và kiên trì. Cùng với nhau, các giai đoạn này đảm bảo rằng đủ số lượng bản sao được thỏa thuận trước khi các khối được xác minh hoặc xuất bản. Nếu không đạt được sự đồng thuận (do lỗi giao tiếp hoặc khối không hợp lệ được đề xuất), cơ chế thay đổi chế độ xem được sử dụng để báo hiệu việc bầu một nhà lãnh đạo mới, người sẽ đề xuất một khối mới. Zhang cũng đề cập đến một vấn đề được phát hiện trong phiên bản dBFT ban đầu; trước khi bổ sung pha cam kết thứ ba, một trường hợp cạnh tồn tại có thể gây ra một fork khối duy nhất. Điều này xảy ra khi nhà lãnh đạo tích cực nhận được đủ chữ ký để xác thực khối của nó, nhưng không thể truyền nó qua mạng. Các node khác có thể thay đổi chế độ xem và đạt được sự đồng thuận như mong đợi, tuy nhiên, nhà lãnh đạo ban đầu có thể quản lý để phát khối bị bỏ rơi của mình cho các node khác trên mạng. Nếu được chấp nhận, các node này sau đó sẽ bị ngăn cản trên khối bị fork, trong một số trường hợp có thể gây trở ngại cho hoạt động của các máy chủ được sử dụng bởi ví nhẹ hoặc nhà thám hiểm blockchain. Giai đoạn thứ ba của sự đồng thuận dBFT đã được thêm vào trong bản cập nhật dBFT 2.0, cũng đi kèm với chiến lược tái tạo cho phép các node được tự động phục hồi sau một lỗi. Thông tin thêm về dBFT 2.0 có thể được tìm thấy ở đây. Bài viết gốc có thể được đọc tại liên kết sau: https://msdn.microsoft.com/en-us/magazine/mt833527?f=255&MSPPError=-2147217396 TINTUCNEO – Tham gia các cộng đồng Tin tức NEO tại: Website tin tức Medium tin tức Telegram tin tức Telegram Thảo luận Kênh Youtube