Bản trình diễn PIECHAIN: Khám phá Khung tương tác Blockchain thực tế

Tổng quan về nội dung

Tóm tắt & Giới thiệu

Tổng quan về PIEChain

Triển khai PIEChain

Kế hoạch trình diễn

Tiện ích mở rộng

Người giới thiệu

trừu tượng

Rất nhiều nền tảng blockchain khác nhau đã xuất hiện trong những năm gần đây, nhưng nhiều nền tảng trong số đó hoạt động độc lập. Do đó, cần có giao tiếp xuyên chuỗi đáng tin cậy để cho phép khả năng tương tác của blockchain. Khả năng tương tác của chuỗi khối là một thách thức vì các giao dịch thường không thể hoàn nguyên - do đó, nếu một giao dịch được thực hiện thì giao thức phải đảm bảo rằng tất cả các giao dịch liên quan cũng được thực hiện. Các phương pháp tiếp cận khả năng tương tác hiện tại, ví dụ như Cosmos và Polkadot, bị hạn chế ở chỗ chúng chỉ hỗ trợ khả năng tương tác giữa các chuỗi con của riêng chúng hoặc yêu cầu những thay đổi mang tính xâm phạm đối với các chuỗi khối hiện có. Để khắc phục hạn chế này, chúng tôi đề xuất PIECHAIN, một khung giao tiếp xuyên chuỗi dựa trên Kafka. Chúng tôi sử dụng PIECHAIN cho một nghiên cứu điển hình thực tế: đấu giá chuỗi chéo trong đó người dùng nắm giữ mã thông báo trên nhiều chuỗi đấu giá để mua vé được bán trên chuỗi khác. PIECHAIN là triển khai thực tế, công khai đầu tiên của một khuôn khổ chung cho giao tiếp xuyên chuỗi.

I. GIỚI THIỆU

Chuỗi khối là một cơ sở dữ liệu được sao chép, có bằng chứng giả mạo được thiết kế cho các môi trường thù địch. Nó bao gồm một số nút, trong đó một số nút có thể độc hại, duy trì một sổ cái chỉ bổ sung. Sổ cái lưu trữ các giao dịch sửa đổi một số trạng thái toàn cầu. Trong ví dụ điển hình, tức là tiền điện tử [7], các trạng thái toàn cầu là tài khoản người dùng và mã thông báo gốc (có thể thay thế) và sổ cái chứa các giao dịch chuyển mã thông báo từ tài khoản này sang tài khoản khác. Trong một ứng dụng mới nổi khác, chuỗi khối lưu trữ các mã thông báo không thể thay thế (NFT) đại diện duy nhất cho các tài sản, ví dụ: tác phẩm nghệ thuật kỹ thuật số hoặc vé buổi hòa nhạc. Nhiều blockchain cũng hỗ trợ hợp đồng thông minh cho phép người dùng xác định trạng thái của riêng họ và mã sửa đổi trạng thái. Hợp đồng thông minh được lưu trữ trong sổ cái và được sao chép và giữ nhất quán bởi tất cả các nút blockchain. Trong những năm gần đây, nhiều nền tảng blockchain độc lập đã xuất hiện, tạo nên một hệ sinh thái có cái đuôi dài. Một mặt, có một số lượng nhỏ các nền tảng blockchain đa năng, cực kỳ phổ biến như Ethereum và Hyperledger. Mặt khác, có hàng nghìn blockchain nhỏ hơn được thiết kế cho các ứng dụng cụ thể, hầu hết trong số đó chỉ đang ở giai đoạn phát triển ban đầu. Điều này bao gồm hơn 10.000 loại tiền điện tử [3] tính đến đầu năm 2023, cùng với các chuỗi khối dành cho chăm sóc sức khỏe, quản lý danh tính và IoT. Nhìn chung, các blockchain này không tương tác với nhau, tức là chúng tồn tại trong các silo. Như vậy, khả năng tương tác của blockchain, tức là khả năng người dùng trao đổi thông tin hoặc tài sản trên các blockchain khác nhau, là chủ đề đang thu hút sự quan tâm ngày càng tăng từ cộng đồng nghiên cứu [6], [10], [4], [1], [ 11].

Một trong những thách thức chính trong việc thiết kế khung khả năng tương tác blockchain an toàn là đảm bảo tính nguyên tử, nghĩa là tất cả các bước của một tập hợp giao dịch đã thỏa thuận đều kết thúc thành công hoặc không có bước nào thực hiện được. Điều này phức tạp hơn trong blockchain so với cơ sở dữ liệu truyền thống vì các giao dịch blockchain (về nguyên tắc) là không thể đảo ngược. Ví dụ: nếu khoản thanh toán cho NFT trên Chuỗi A đã được thực hiện trên Chuỗi B thì tính nguyên tử yêu cầu giao dịch trên Chuỗi A phải được tiếp tục vì giao dịch trên Chuỗi B không thể hoàn nguyên. Một cách tiếp cận phổ biến để đảm bảo tính nguyên tử là ký quỹ tất cả các mã thông báo có liên quan đến thỏa thuận trong hợp đồng thông minh và chỉ phát hành chúng thông qua thông báo cam kết được tất cả các bên ký kết [6]. Một thách thức quan trọng khác trong khả năng tương tác của blockchain là đảm bảo tính tồn tại, sao cho các token được ký quỹ không thể bị đóng băng mãi mãi. Để đảm bảo tính tồn tại, các nút phải có khả năng gửi thông báo hủy bỏ cho phép tất cả các bên rút tài sản của họ khỏi ký quỹ.

Để đảm bảo cả tính nguyên tử và tính sống động, một khung khả năng tương tác phải có khả năng chấp nhận các nút đối nghịch gửi thông báo cam kết đến một chuỗi khối và thông báo hủy bỏ đến một chuỗi khối khác. Điều này được biết đến với các mạng không đồng bộ (tức là không có giới hạn về độ trễ của tin nhắn) rằng điều này không thể đạt được nếu không có bên thứ ba đáng tin cậy (TTP) [10]. Có hai cách tiếp cận chính để vượt qua thách thức này [6]. Cách tiếp cận đầu tiên là kết hợp giả định đồng bộ hóa với thời gian hồi chiêu cho các lần hủy bỏ – tức là giả sử rằng một phiếu bầu cam kết, sau khi được tạo, có thể được thêm vào tất cả các chuỗi khối bị ảnh hưởng trước khi kết thúc bất kỳ khoảng thời gian hồi chiêu nào cho các lần hủy bỏ. Cách tiếp cận này được thực hiện, ví dụ, các hợp đồng có khóa thời gian băm [5]. Cách tiếp cận thứ hai là thay thế TTP bằng một blockchain khác để đảm bảo rằng có thể tạo một thông báo cam kết hoặc hủy bỏ hợp lệ, nhưng không phải cả hai [6], [9].

Mặc dù các phương pháp tiếp cận của cả hai loại đã được đề xuất trong tài liệu khoa học, nhưng chúng không được triển khai công khai [5], [6], [9] hoặc bị giới hạn trong phạm vi ứng dụng của chúng, ví dụ: tạo tài sản được hỗ trợ trên một blockchain khác [11] hoặc hoán đổi token [8]. Trong một sự phát triển riêng biệt, một số nền tảng blockchain đã xuất hiện cho phép khả năng tương tác theo mặc định, ví dụ: Cosmos và Polkadot. Tuy nhiên, các nền tảng này chỉ hỗ trợ khả năng tương tác giữa các chuỗi con của riêng chúng hoặc yêu cầu các thay đổi mang tính xâm phạm đối với các chuỗi khối hiện có. Điều này thúc đẩy nhu cầu về một khuôn khổ tương tác chung và thực tế có thể giao tiếp với các nền tảng blockchain hiện có mà không cần sửa đổi chúng. Mục tiêu của chúng tôi là cung cấp một khuôn khổ như vậy.

Đóng góp & Tính mới : Chúng tôi giới thiệu PIECHAIN để đạt được mục tiêu này. Vì khó có thể đảm bảo tính đồng bộ trong thực tế nên PIECHAIN sử dụng các dịch vụ chuỗi chéo để thay thế TTP. Các dịch vụ chuỗi chéo giao tiếp bằng nhật ký sự kiện sử dụng giao thức Kafka của Apache để đạt hiệu quả. Để chứng minh mức độ phù hợp thực tế của PIECHAIN, chúng tôi đã triển khai dịch vụ chuỗi chéo cho một nghiên cứu điển hình thực tế: đấu giá chuỗi chéo. Chúng tôi đã kết nối PIECHAIN với một số nền tảng blockchain phổ biến nhất hỗ trợ hợp đồng thông minh: Ethereum, Hyperledger Fabric và Quorum. Cuối cùng, chúng tôi đã phát triển GUI cho nghiên cứu điển hình của mình. Nghiên cứu điển hình về đấu giá là một trong ba nghiên cứu điển hình (hai phiên đấu giá và một khoản vay nhanh [6]) có mã có thể được tìm thấy trong kho lưu trữ mã PIEChain trên GitHub.

II. TỔNG QUAN VỀ PIECHAIN

A. Thực thể

Các thực thể chính trong PIECHAIN như sau (xem thêm Hình 1):

Chuỗi khối lưu trữ tài sản (ví dụ: mã thông báo, khóa) do người dùng nắm giữ. Người dùng có thể giữ tài sản trên nhiều blockchain. Mỗi blockchain có giao thức riêng để xác định ai có quyền truy cập đọc và ghi – blockchain thường được cấp phép, tức là một tập hợp nút cố định có quyền truy cập đọc và ghi hoặc không được phép, tức là mọi người đều có quyền truy cập đọc và có thể tạo giao dịch và nút có đủ sức mạnh (ví dụ: tốc độ xử lý) có thể thêm giao dịch vào chuỗi khối. Dịch vụ chuỗi chéo (CC-SVC), cho phép người dùng trao đổi tài sản trên các chuỗi khối khác nhau. Mỗi CC-SVC bao gồm một máy chủ tương tác với khách hàng người dùng để tạo điều kiện liên lạc xuyên chuỗi. Trong thực tế, CC-SVC tính phí tham gia của người dùng và nó có thể tương tác với bất kỳ số lượng chuỗi khối nào. Sau đây, mỗi CC-SVC tương ứng với một tập hợp các sự kiện liên quan đến trao đổi tài sản nguyên tử được máy chủ gửi đến sổ cái Kafka. Trong thực tế, một máy chủ có thể vận hành nhiều CC-SVC.

Mạng Kafka, đóng vai trò là nhật ký chỉ bổ sung các sự kiện do CC-SVC tạo ra. Các sự kiện tương ứng với các giao dịch được thực hiện trên các chuỗi khối cơ bản. Mạng Kafka được vận hành bởi một tập hợp các nút cố định tính phí CCSVC khi tải lên các sự kiện.

Trong PIECHAIN, chúng tôi giả định rằng CC-SVC là bán tin cậy và họ có động cơ hành xử trung thực bằng cách giữ vững danh tiếng, giống như các nhà cung cấp dịch vụ thương mại thuê ngoài. Các nhà khai thác mạng Kafka không đáng tin cậy nhưng không có động cơ để hành xử sai vì họ không tương tác với các chuỗi khối cơ bản. Điều này cho phép chúng tôi chạy một giao thức (Kafka) ưu tiên hiệu quả hơn bảo mật. Một thiết kế thay thế là làm cho CC-SVC không đáng tin cậy và mạng Kafka đáng tin cậy. Trong trường hợp này, mỗi nút Kafka chạy một ứng dụng khách (nhẹ) cho từng chuỗi khối cơ bản để xác thực việc bao gồm các giao dịch trên các chuỗi đó. Trong trường hợp này, nhật ký sự kiện sẽ phải sử dụng giao thức an toàn hơn như PBFT [2]. Chúng tôi để lại một thiết kế như vậy như một công việc trong tương lai.

B. Quy trình xử lý

Với các thực thể của Phần II-A, quy trình trong PIECHAIN có cấu trúc tương tự như các giao dịch xuyên chuỗi như Herlihy et al đề xuất. [6]. Giao dịch chuỗi chéo là thỏa thuận của nhiều người dùng để trao đổi tài sản trên các chuỗi khối khác nhau và bao gồm năm giai đoạn (xem thêm Hình 2):

1. Giai đoạn thanh toán bù trừ: CC-SVC tạo ra các hợp đồng thông minh trên các chuỗi khối khác nhau được sử dụng để ký quỹ và chuyển giao các tài sản liên quan đến giao dịch.

   
   

2. Giai đoạn ký quỹ: người dùng ký quỹ tài sản gửi đi của họ bằng cách chuyển chúng sang hợp đồng thông minh.

   
   

3. Giai đoạn chuyển giao: tài sản được trao đổi tạm thời, tức là logic thực thi của hợp đồng thông minh được chỉ định.

   
   

4. Giai đoạn xác thực: mỗi người dùng kiểm tra xem kết quả của logic thực thi có làm họ hài lòng hay không.

   
   

5. Giai đoạn cam kết: thỏa thuận được ký kết thông qua cam kết nếu tất cả các bên đều hài lòng hoặc thông qua việc phá bỏ. Cam kết có nghĩa là logic thực thi trong hợp đồng thông minh được thực thi và tài sản được trao đổi theo quy định của thỏa thuận. Việc hủy bỏ có nghĩa là tài sản trong mỗi hợp đồng thông minh sẽ được trả lại cho chủ sở hữu ban đầu của chúng.

Để cam kết, người dùng tương tác xây dựng một phiếu bầu cam kết, được CC-SVC gửi đến sổ cái Kafka. Để hủy bỏ, một người dùng sẽ gửi một tin nhắn hủy bỏ tới CC-SVC. Đối với mỗi CC-SVC, thông báo cam kết hoặc hủy bỏ có thể được thêm vào sổ cái Kafka, nhưng không được cả hai. Bằng chứng bao gồm một cuộc bỏ phiếu cam kết trên sổ cái Kafka được chấp nhận bởi tất cả các hợp đồng thông minh trên các chuỗi khối khác nhau – điều này đảm bảo rằng một khi một cuộc bỏ phiếu cam kết được xây dựng, tất cả các hoạt động chuyển giao tài sản có thể được thực hiện hoặc không.

III. TRIỂN KHAI PIECHAIN

Để minh họa khả năng ứng dụng thực tế của PIECHAIN, chúng tôi đã kết nối nó với một số nền tảng blockchain thường được sử dụng và sử dụng nó để triển khai một ứng dụng từ tài liệu khoa học [6]: đấu giá chuỗi chéo cho một tài sản kỹ thuật số. Hỗ trợ blockchain mở rộng sang các nghiên cứu điển hình khác, như chúng tôi thảo luận trong Phần V.

A. Hỗ trợ chuỗi khối

Để kết nối chuỗi khối cơ bản với PIECHAIN, CC-SVC phải có khả năng xác thực các giao dịch trên các chuỗi đó. Việc triển khai của chúng tôi hỗ trợ các nền tảng blockchain sau: Ethereum (cả phiên bản Proof-of-Work và Proof-ofAuthority của Ethereum riêng tư), Hyperledger Fabric và Quorum. Hai chuỗi sau hỗ trợ các chuỗi khối được cấp phép, trong khi Ethereum có chuỗi chính không được cấp phép nhưng cũng hỗ trợ các chuỗi riêng tư có cùng chức năng.

B. Đấu giá

Trong nghiên cứu điển hình của chúng tôi, một người bán đấu giá bán một tài sản trên một blockchain và nhận thanh toán dưới dạng tài sản trên một blockchain khác. Như trong [6], chúng tôi sử dụng ví dụ về người bán vé. Vé là một NFT trên một chuỗi khối chuyên dụng, trong khi chuỗi khối kia hỗ trợ các mã thông báo có thể thay thế được sử dụng phổ biến hơn (ví dụ: Ether). Chuỗi khối trước đây được gọi là chuỗi khối vé và chuỗi khối sau được gọi là chuỗi khối tiền xu. Điều này dễ dàng được khái quát hóa cho các cài đặt có nhiều hơn một chuỗi khối tiền xu. Sau đây, chúng tôi xem xét đấu giá theo giá đầu tiên (tức là người đặt giá thầu cao nhất sẽ trả giá và nhận được tài sản). Năm giai đoạn của giao thức như sau:

1. Nhà đấu giá sử dụng CC-SVC để tạo ra các hợp đồng thông minh trên chuỗi khối vé và chuỗi khối tiền xu.

   
   

2. Nhà đấu giá chuyển tài sản của mình (NFT của vé) sang hợp đồng bán vé và những người đấu giá chuyển giá thầu của họ sang hợp đồng trên blockchain tiền xu của họ.

   
   

3. Logic thực hiện được xác định: người bán đấu giá cập nhật từng hợp đồng vé và tiền xu bằng cách chỉ định bên nào nhận được vé và giá thầu nào được chuyển cho người bán đấu giá. (Lưu ý rằng logic này không thể được chỉ định trước trong hợp đồng vé vì hợp đồng trên chuỗi vé không thể đọc dữ liệu từ chuỗi khối tiền xu.)

   
   

4. Mỗi người dùng (tức là người bán đấu giá và người đặt giá thầu) xác định xem kết quả của giao thức chuyển giao có phù hợp với họ hay không, tức là liệu vé có thực sự được chuyển đến đúng bên hay không.

   
   

5. Tất cả người dùng xây dựng một cuộc bỏ phiếu cam kết – khi điều này đã được xây dựng, nó sẽ được gửi đến từng hợp đồng để thực hiện các giao dịch chuyển tiền được chỉ định trong giai đoạn chuyển giao.

Trong PIECHAIN, cuộc đấu giá yêu cầu hai loại CC-SVC (hợp lý): người chuyển tiếp và người ký. Bộ chuyển tiếp lắng nghe các sự kiện (giá thầu) trên chuỗi tiền xu và chuyển tiếp chúng đến chuỗi vé. Người ký hỗ trợ tạo phiếu cam kết.

IV. KẾ HOẠCH THỰC HIỆN

Để trình diễn, chúng tôi đã phát triển giao diện người dùng đồ họa (GUI) sử dụng khung React để minh họa đấu giá chuỗi chéo. GUI bao gồm ba trang chính: một trang tổng quan hiển thị danh sách các phiên đấu giá đã biết như được mô tả trong Hình 3, chế độ xem chi tiết cho các phiên đấu giá riêng lẻ như được mô tả trong Hình 5 và một trang để tạo các phiên đấu giá mới (không được hiển thị). Quan điểm của người bán đấu giá cũng giống như của người đấu giá. Trên chế độ xem bảng điều khiển, các nhà đấu giá tiềm năng có thể nhấp vào nút “Tạo phiên đấu giá mới” để bắt đầu phiên đấu giá – người đấu giá chọn CC-SVC, tài sản sẽ được bán đấu giá, các chuỗi khối khác sẽ chấp nhận giá thầu từ đó, tỷ giá hối đoái cho các mã thông báo giữa các chuỗi khác nhau chuỗi khối (phải được ấn định trước) và thời điểm kết thúc cuộc đấu giá. Tiếp theo, CC-SVC chuyển tiếp tạo các hợp đồng liên quan và gửi địa chỉ của hợp đồng trên chuỗi tài sản cho nhà đấu giá. Sau đó, người bán đấu giá có thể thêm phiên đấu giá trên trang tổng quan của mình bằng cách thêm địa chỉ hợp đồng và nhấp vào nút “Thêm phiên đấu giá hiện có”. Trong khi đó, nó quảng cáo địa chỉ hợp đồng cho các nhà thầu tiềm năng.

Khi người đặt giá thầu biết địa chỉ hợp đồng tài sản, họ cũng có thể thêm địa chỉ đó vào trang tổng quan của mình. Sau khi người đặt giá thầu thêm phiên đấu giá, cô ấy có thể xem nó chi tiết hơn bằng cách nhấn nút “Xem” trong bảng điều khiển của phiên đấu giá, thao tác này sẽ đưa cô ấy đến trang xem chi tiết. Trên trang này, người đặt giá thầu có thể xem thông tin quan trọng về cuộc đấu giá như thời gian tạo và kết thúc cũng như danh sách giá thầu. Giá thầu cao nhất được đánh dấu bằng dấu hoa thị. Nếu cuộc đấu giá vẫn đang diễn ra thì người đặt giá thầu có thể thêm giá thầu bằng cách chỉ định blockchain

mà giá thầu được thực hiện và số lượng mã thông báo để đặt giá thầu. Sau đó, một giao dịch được thực hiện với hợp đồng tiền xu có liên quan và thông tin được gửi đến CC-SVC chuyển tiếp. Người dùng cũng có thể hủy bỏ bất kỳ giá thầu nào đã thực hiện thông qua CC-SVC.

Sau khi cuộc đấu giá kết thúc, CC-SVC chuyển tiếp sẽ thông báo cho tất cả những người tham gia và chỉ định việc chuyển giao hàng hóa dự kiến trong hợp đồng thông minh. CC-SVC sau đó yêu cầu tất cả khách hàng của người tham gia tham gia tạo phiếu bầu cam kết. (Không tham gia sẽ bị phạt [4].) Khi phiếu cam kết đã được tạo, nó sẽ được gửi đến tất cả các hợp đồng để bắt đầu quá trình chuyển giao tài sản cuối cùng. Tại thời điểm này, GUI sẽ hiển thị rằng cuộc đấu giá đã kết thúc.

Luồng chính xác của bản demo sẽ như sau:

1. Một người dùng – người bán đấu giá – mở GUI dựa trên trình duyệt web và sử dụng nó để bắt đầu cuộc đấu giá cho một tài sản đã chọn. Trong quá trình này, tất cả các tính năng trên trang tạo đấu giá đều được thể hiện. Tài sản tồn tại trên chuỗi bán vé chuyên dụng chạy trong Hyperledger Fabric. Hợp đồng được tạo trên tất cả các chuỗi khối có liên quan (bước 1 của Hình 2.

   
   

2. Ít nhất hai người dùng khác, những người sử dụng cửa sổ trình duyệt trên các máy khác nhau, điều hướng đến trang chi tiết của phiên đấu giá mới được tạo và gửi giá thầu riêng của họ cho nội dung (bước 2 của Hình 2). Ít nhất một nhà thầu sử dụng Ethereum (riêng tư) và người còn lại sử dụng Quorum.

   
   

3. Sau một thời gian, cuộc đấu giá kết thúc và giá trúng thầu được xác định (bước 3 của Hình 2). Điều này sẽ khiến sự kiện “kết thúc đấu giá” được người tổ chức đấu giá gửi đến CCSVC chuyển tiếp. Những người ký tên đang lắng nghe loại sự kiện này sẽ chú ý đến sự kiện đó và xây dựng một biểu quyết cam kết (bước 4 của Hình 2). Sau đó, phiếu cam kết được gửi đến Kafka và được nút chuyển tiếp chuyển tiếp đến hợp đồng đấu giá và hợp đồng chuỗi tiền xu. Tại thời điểm này, tài sản được chuyển cho người trúng đấu giá và giá trúng thầu cho người điều hành đấu giá (bước 5 của Hình 2).

Trong suốt bản demo, chúng tôi sẽ sử dụng cửa sổ đầu cuối để truy vấn trạng thái của các chuỗi khối cơ bản sau mỗi bước, như được hiển thị trong Hình 4. Điều này sẽ cho phép khán giả quan sát những thay đổi xảy ra trong nền và tương tác với luồng của trình diễn: ví dụ: bằng cách yêu cầu các hành động mới để xem trạng thái nền thay đổi như thế nào.

Để minh họa quy trình của bản demo, bạn có thể tìm thấy video trực tuyến 2 mô tả các trang trình bày demo dự kiến và màn hình nếu người bán đấu giá và những người đặt giá thầu thực hiện hành động của họ bằng một máy tính. (Đây không phải là hạn chế của PIECHAIN nhưng giúp quay video dễ dàng hơn.)

V. MỞ RỘNG

Khung CC-SVC và giao diện cho các chuỗi khối được hỗ trợ có thể được sử dụng để dễ dàng mở rộng PIECHAIN sang các trường hợp sử dụng khác. Một trong số đó là khoản vay flash xuyên chuỗi như được mô tả trong [6]. GUI cho các khoản vay nhanh sẽ có mức độ liên quan thực tế hạn chế vì các cơ hội chênh lệch giá thường được giải quyết nhanh chóng, do đó, các tương tác với CC-SVC thường được thực hiện bởi các bot giao dịch. Tuy nhiên, nếu thời gian cho phép, chúng tôi sẽ hiển thị hình ảnh trực quan về tác động của các bước trong khoản vay nhanh đối với trạng thái của các hợp đồng liên quan khác nhau.

NGƯỜI GIỚI THIỆU

[1] Rafael Belchior, Andre Vasconcelos, S ergio Guerreiro và Miguel ` Correia. Một cuộc khảo sát về khả năng tương tác của blockchain: Xu hướng trong quá khứ, hiện tại và tương lai. Khảo sát máy tính ACM (CSUR), 2021.

[2] Miguel Castro và Barbara Liskov. Khả năng chịu lỗi Byzantine thực tế. Trong OsDI, tập 99, trang 173–186, 1999.

[3] CoinLore. https://www.coinlore.com/all coins, 2023.

[4] Daniel Engel, Maurice Herlihy và Yingjie Xue. Thất bại (theo nghĩa đen) là một lựa chọn: Cam kết nguyên tử so với tính tùy chọn trong tài chính phi tập trung. Trong SSS 2021, 2021.

[5] Maurice Herlihy. Hoán đổi chuỗi chéo nguyên tử. Trong ACM PODC, trang 245–254, 2018.

[6] Maurice Herlihy, Barbara Liskov và Liuba Shrira. Giao dịch xuyên chuỗi và thương mại đối nghịch. Tạp chí VLDB, 2021.

[7] Satoshi Nakamoto. Bitcoin: Hệ thống tiền điện tử ngang hàng, 2008.

[8] Sri AravindaKrishnan Thyagarajan, Giulio Malavolta và Pedro Moreno-Sanchez. Hoán đổi nguyên tử phổ quát: Trao đổi tiền xu an toàn trên tất cả các chuỗi khối. Trong IEEE S&P, 2022.

[9] Victor Zakhary, Divyakant Agrawal, và Amr El Abbadi. Cam kết nguyên tử trên các chuỗi khối. Kỷ yếu của VLDB Endowment, 13(9), 2021.

[10] Alexei Zamyatin, Mustafa Al-Bassam, Dionysis Zindros, Eleftherios Kokoris-Kogias, Pedro Moreno-Sanchez, Aggelos Kiayias và William J Knottenbelt. SoK: Giao tiếp trên các sổ cái phân tán. Trong Tiền điện tử tài chính, 2021.

[11] Alexei Zamyatin, Dominik Harz, Joshua Lind, Panayiotis Panayiotou, Arthur Gervais và William Knottenbelt. Xclaim: Tài sản không đáng tin cậy, có thể tương tác, được hỗ trợ bằng tiền điện tử. Trong IEEE S&P, 2019.