Báo cáo cuối kỳ chuỗi khối và ứng dụng đề tài hợp đồng thông minh smart contract

  TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI VIỆN TOÁN ỨNG DỤNG VÀ TIN HỌC BÁO CÁO CUỐI KỲ CHUỖI KHỐI VÀ ỨNG DỤNG Đề tài: Hợp đồng thông minh - Smart contract GV hướng dẫn: VŨ THÀNH NAM Sinh viên thực hiện: Phạm Trung Hội Nguyễn Đức Minh HÀ NỘI – 2023 20185363 20185383   Mục lục Giới thiệu   Tổng quan blockchain hợp đồng thông minh   2.1 BlockChain  2.2 Smart contract  2.2.1 Tạo hợp đồng thông minh   2.2.2 Triển khai hợp đồng thông minh   2.2.3 Thực hợp đồng thơng minh  2.2.4 Hồn thành hợp đồng thông minh  10 11 11 11 Những thách thức tiến hợp đồng thông minh13 3.1 Thử thách tạo hợp đồng thông minh  3.1.1 Khả đọc   3.1.2 Các vấn đề chức năng  3.2 Thách thức việc phát triển smart contract  3.2.1 Tính đắn hợp đồng   3.2.2 Luồng điều khiển động  3.3 Thách thức việc thực thi smart contract   3.3.1 Kiểm duyệt đáng tin cậy  3.3.2 Sự phụ thuộc vào thứ tự giao dịch  3.3.3 Hiệu thực hiện  3.4 Thử thách hoàn thiện   3.4.1 Quyền riêng tư bảo mật   3.4.2 Lừa đảo  Nền tảng phát triển hợp đồng thông minh 4.1 Nền tảng đại diện   4.1.1 Ethereum  4.1.2 Siêu sổ (Hyperledger fabric)   4.1.3 Corda    13 13 16 17 17 17 18 18 18 19 19 19 19 21 21 21 22 22   4.1.4 Stellar   4.1.5 Rootstock  4.1.6 EOS   4.2 So sánh tảng hợp đồng thông minh  Ứng dụng smart contract 5.1 5.2 5.3 5.4 5.5 5.6 Internet of things  Bảo mật hệ thống phân tán  Tài chính  Nguồn liệu   Chia sẻ phát triển kinh tế   Dịch vụ công  Ví dụ minh họa   Tài liệu tham khảo   6.1 Đặt vấn đề  6.2 Các hàm sử dụng để giải vấn đề   6.2.1 Hàm "registerShipment"  6.2.2 Hàm "reportIncident"   6.3 Lập trình  6.4 Kết luận     23 23 24 24 27 28 28 29 30 31 32 34 34 34 35 35 36 37 40   Lời cảm ơn Chúng em xin chân thành cảm ơn thầy Vũ Thành Nam hướng dẫn, giảng dạy cho chúng em kiến thức để chúng em hồn thành báo cáo Trong thời gian học môn Chuỗi khối ứng dụng, thầy tận tình bảo chúng em kiến thức sở kiến thức bên lề để chúng em hồn thành báo cáo cách hoàn chỉnh Bài làm chúng em chắn thiếu thiếu xót, chúng em mong nhận lời góp ý bổ sung từ thầy Chúng em xin chân thành cảm ơn!!!   Bảng từ viết tắt   Chương Giới thiệu Công nghệ blockchain (chuỗi khối) gần thúc đẩy quan tâm rộng rãi từ giới học thuật ngành công nghiệp Chuỗi khối hệ thống phần mềm phân tán cho phép giao dịch xử lý mà không cần bên thứ ba đáng tin cậy Kết là, hoạt động kinh doanh hồn thành cách nhanh chóng khơng tốn Hơn nữa, tính bất biến chuỗi khối đảm bảo tin cậy phân tán gần khơng thể giả mạo giao dịch lưu trữ chuỗi khối tất giao dịch lịch sử kiểm tra theo dõi Công nghệ chuỗi khối cho phép hợp đồng thông minh (smart contract) đề xuất lần vào năm 1990 Nick Szabo Trong hợp đồng thông minh, điều khoản hợp đồng viết chương trình máy tính tự động thực điều kiện xác định trước đáp ứng Các hợp đồng thông minh bao gồm giao dịch lưu trữ, chép cập nhật chuỗi khối phân tán Ngược lại, hợp đồng thơng thường cần hồn thành bên thứ ba đáng tin cậy theo cách tập trung, dẫn đến thời gian thực lâu chi phí bổ sung Việc tích hợp cơng nghệ chuỗi khối với hợp đồng thông minh biến giấc mơ “thị trường ngang hàng” trở thành thực Lấy hợp đồng thông minh người mua nhà cung cấp làm ví dụ Như hiển thị Hình (1), trước tiên, nhà cung cấp gửi danh mục sản phẩm cho người mua thông qua mạng chuỗi khối Danh mục bao gồm mô tả sản phẩm (chẳng hạn thuộc tính, số lượng, giá tính sẵn có) với điều khoản giao hàng toán lưu trữ phân phối chuỗi khối để người mua lấy thơng tin sản phẩm xác minh tính xác thực uy tín nhà cung cấp   Hình 1.1: Ví dụ hợp đồng thơng minh người mua nhà cung cấp   lúc Sau đó, người mua gửi đơn đặt hàng với số lượng ngày toán định thơng qua chuỗi khối Tồn thủ tục tạo thành hợp đồng mua bán (tức Hợp đồng 1) đặt hộp màu xanh lam Hình (1) Điều đáng nói tồn thủ tục hoàn thành người mua nhà cung cấp mà khơng có can thiệp bên thứ ba Sau Hợp đồng thực hiện, nhà cung cấp tìm kiếm nhà vận chuyển chuỗi khối để hoàn thành giai đoạn vận chuyển Giống Hợp đồng 1, hãng vận chuyển công bố mơ tả vận chuyển (chẳng hạn phí vận chuyển, nguồn, điểm đến, công suất thời gian vận chuyển) điều kiện điều khoản vận chuyển chuỗi khối Nếu nhà cung cấp chấp nhận hợp đồng hãng vận chuyển phát hành, sản phẩm giao cho người vận chuyển, người cuối gửi sản phẩm cho người mua Toàn quy trình xây dựng Hợp đồng (được đặt màu hồng) Hình (1) Tương tự, tồn quy trình Hợp đồng tiến hành mà khơng có can thiệp bên thứ ba Ngoài việc tự động thực Hợp đồng Hợp đồng 2, thủ tục toán (bao gồm toán từ nhà cung cấp cho nhà vận chuyển toán từ người mua cho nhà cung cấp) hồn thành tự động Ví dụ: sau người mua xác nhận việc nhận sản phẩm, việc toán người mua nhà cung cấp tự động kích hoạt điều kiện xác định trước đáp ứng Việc giải tài từ người mua đến nhà cung cấp thực thông qua loại tiền điện tử (ví dụ: Bitcoin Ether.1 ) Trái ngược với giao dịch thông thường, tồn q trình thực theo phương thức ngang hàng mà khơng có can thiệp bên thứ ba ngân hàng Do đó, thời gian quay vịng chi phí giao dịch tiết kiệm đáng kể Tóm lại, hợp đồng thơng minh có ưu điểm sau so với hợp đồng thông thường:  Giảm rủi ro Do tính bất biến chuỗi khối, hợp đồng thông minh bị thay đổi tùy ý sau chúng phát hành Hơn nữa, tất giao dịch lưu trữ chép toàn hệ thống chuỗi khối phân tán theo dõi kiểm tra Do đó, hành vi độc hại gian lận tài giảm thiểu đáng kể •   • •  Cắt giảm chi phí quản lý dịch vụ Chuỗi khối đảm bảo tin cậy toàn hệ thống chế đồng thuận phân tán mà không cần thông qua nhà môi giới trung tâm người hịa giải Hợp đồng thơng minh lưu trữ chuỗi khối kích hoạt tự động theo cách phi tập trung Do đó, chi phí quản lý dịch vụ can thiệp bên thứ ba tiết kiệm đáng kể  Nâng cao hiệu quy trình kinh doanh Việc loại bỏ phụ thuộc vào trung gian cải thiện đáng kể hiệu trình kinh doanh Lấy quy trình chuỗi cung ứng nói làm ví dụ Việc giải tài tự động hoàn thành theo cách ngang hàng sau điều kiện xác định trước đáp ứng (ví dụ: người mua xác nhận việc nhận sản phẩm) Do đó, thời gian quay vịng giảm đáng kể Hình 1.2: Hợp đồng truyền thống hợp đồng thông minh Hợp đồng thông minh thúc đẩy nhiều ứng dụng khác nhau, từ Internet vạn vật công nghiệp đến dịch vụ tài Mặc dù hợp đồng thơng minh có tiềm lớn để định hình lại thủ tục kinh doanh   thông thường, có số thách thức cần giải Ví dụ: chuỗi khối đảm bảo tính ẩn danh định bên hợp đồng, quyền riêng tư tồn q trình thực hợp đồng khơng bảo tồn tất giao dịch có sẵn tồn cầu Hơn nữa, khó để đảm bảo tính xác hợp đồng thơng minh lỗ hổng chương trình máy tính lỗi lỗi Ví dụ: Ethereum sử dụng để tiến hành kinh doanh bất hợp pháp, chẳng hạn kế hoạch có tên Ponzi báo cáo lừa đảo 410.000 đô la Mỹ có nghiên cứu giải vấn đề Mục tiêu viết tiến hành nhìn tổng quan có hệ thống thách thức kỹ thuật hợp đồng thơng minh kích hoạt cơng nghệ chuỗi khối Những đóng góp báo cáo nêu bật sau:  Những thách thức nghiên cứu quan trọng vịng đời hợp đồng thơng minh xác định  Những tiến gần việc giải thách thức kỹ thuật tóm tắt  Một so sánh chi tiết tảng hợp đồng thơng minh điển hình thực  Các ứng dụng hợp đồng thơng minh đa dạng tóm tắt • • • •   26 • • thuận PoW thường sử dụng nhiều tính tốn Fabric chọn thuật tốn đồng thuận PBFT , số vịng bỏ phiếu nút xác thực thực để đạt đồng thuận Do đó, PBFT cần nhiều mạng Ngược lại, Corda áp dụng thuật toán đồng thuận đơn giản Raft để đạt đồng thuận lĩnh vực khác cấp độ giao dịch riêng lẻ thay hệ thống tồn cầu Tương tự, Stellar phát triển thuật toán đồng thuận đơn giản có tên SCP để đạt đồng thuận EOS sử dụng kết hợp BFT DPOS  Sự cho phép: Ethereum, EOS RSK tảng hợp đồng thông minh công khai (tức không phép) người dùng tùy ý tham gia mạng Corda Hyperledger tảng riêng tư cho phép người dùng xác thực truy cập Stellar nằm chuỗi khối công khai riêng tư chuỗi khối liên kết lĩnh vực doanh nghiệp (hoặc tổ chức) khác  Các ứng dụng hợp đồng thông minh: Không giống Corda, Stellar RSK hỗ trợ tiền kỹ thuật số Ethereum Fabric phục vụ cho nhiều ứng dụng đa dạng hơn, từ tiền kỹ thuật số, quản lý tài sản kỹ thuật số, đầu tư vốn, khu vực công kinh tế chia sẻ Trong tương lai, Corda, EOS, Stellar RSK sản phẩm phái sinh chúng hỗ trợ nhiều ứng dụng chung   27 Chương Ứng dụng smart contract Hợp đồng thơng minh có nhiều ứng dụng khác nhau, từ Internet vạn vật đến kinh tế chia sẻ Cụ thể, ta phân loại đại khái ứng dụng hợp đồng thơng minh thành sáu loại Hình (5) Hình 5.1: Ứng dụng smart contract   28 5.1 Internet of things Internet vạn vật (IoT) cơng nghệ hứa hẹn hỗ trợ nhiều ứng dụng bao gồm quản lý chuỗi cung ứng, hệ thống kiểm soát hàng tồn kho, nhà bán lẻ, kiểm soát truy cập, thư viện, hệ thống y tế điện tử, Internet cơng nghiệp Sáng kiến IoT tích hợp đối tượng “thơng minh” (nghĩa “mọi thứ”) vào Internet cung cấp dịch vụ khác cho người dùng IoT đề xuất để tự động hóa giao dịch kinh doanh khác theo cách ngầm Với tích hợp với hợp đồng thơng minh, tiềm IoT giải phóng Lấy sản xuất cơng nghiệp làm ví dụ Hầu hết nhà sản xuất trì hệ sinh thái IoT họ theo cách tập trung Chẳng hạn, cập nhật chương trình sở lấy thủ cơng máy chủ trung tâm thiết bị IoT khác thông qua truy vấn từ thiết bị đến máy chủ Hợp đồng thông minh cung cấp giải pháp tự động cho vấn đề Các nhà sản xuất đặt hàm băm cập nhật chương trình sở hợp đồng thông minh triển khai chuỗi khối phân phối toàn mạng Sau đó, thiết bị tự động lấy mã băm phần sụn từ hợp đồng thông minh Bằng cách này, tài nguyên tiết kiệm nhiều Hợp đồng thơng minh mang lại lợi ích cho mơ hình kinh doanh điện tử IoT Ví dụ: mơ hình kinh doanh điện tử truyền thống thường u cầu bên thứ ba đóng vai trị đại lý để hồn tất tốn Tuy nhiên, hình thức toán tập trung tốn phát huy hết lợi IoT Các Tổng công ty tự trị phân tán (DAC) đề xuất để tự động hóa giao dịch, khơng có vai trị truyền thống phủ cơng ty liên quan đến tốn Được thực hợp đồng thơng minh, DAC hoạt động tự động mà không cần can thiệp người Hơn nữa, hợp đồng thông minh giúp tăng tốc chuỗi cung ứng thơng thường Ví dụ: kết hợp chuỗi cung ứng với hợp đồng thơng minh tự động hóa quyền nghĩa vụ theo hợp đồng trình toán giao hàng tất bên tồn q trình đáng tin cậy 5.2 Bảo mật hệ thống phân tán Hợp đồng thông minh mang lại lợi ích việc cải thiện tính bảo mật hệ thống phân tán Các công từ chối dịch vụ   29 phân tán (DDoS) mối đe dọa bảo mật mạng máy tính Những kẻ công làm tràn ngập máy mục tiêu với yêu cầu không cần thiết làm tải hệ thống, làm gián đoạn tạm dừng dịch vụ Internet Gần đây, chế hợp tác đề xuất để giảm thiểu công DDoS So với giải pháp truyền thống, kế hoạch dựa hợp đồng thơng minh giải cơng theo cách hồn tồn phi tập trung Đặc biệt, máy chủ bị công, địa IP kẻ công tự động lưu trữ hợp đồng thông minh Theo cách này, nút khác thông báo địa kẻ công Hơn nữa, sách bảo mật khác thực thi lập tức, ví dụ: lọc lưu lượng từ người dùng độc hại 5.3 Tài Hợp đồng thơng minh có khả giảm rủi ro tài chính, cắt giảm chi phí quản lý dịch vụ, đồng thời nâng cao hiệu dịch vụ tài Tiếp theo, chúng tơi giải thích lợi ích hợp đồng thơng minh dịch vụ tài điển hình sau Thị trường vốn ngân hàng đầu tư Các thị trường vốn truyền thống phải chịu đựng chu kỳ toán dài Hợp đồng thơng minh rút ngắn đáng kể thời gian tốn từ 20 ngày trở lên xuống cịn đến 10 ngày, tăng sức hấp dẫn khách hàng Do đó, người ta dự đốn mang lại mức tăng trưởng nhu cầu từ 5/100 đến 6/100 tương lai dẫn đến thu nhập bổ sung  Ngân hàng thương mại bán lẻ: Ngoài thị trường vốn, việc áp dụng hợp đồng thơng minh mang lại lợi ích cho ngành cho vay chấp Các khoản vay chấp truyền thống thường phức tạp quy trình khởi tạo, tài trợ phục vụ, gây thêm chi phí chậm trễ Hợp đồng thơng minh có khả giảm chi phí chậm trễ thơng qua việc tự động hóa quy trình chấp với việc số hóa tài liệu pháp lý chuỗi khối  Bảo hiểm: Việc áp dụng hợp đồng thơng minh ngành bảo hiểm giảm chi phí xử lý tiết kiệm chi phí, đặc biệt việc xử lý yêu cầu bồi thường Lấy bảo hiểm xe máy làm ví dụ Có nhiều bên tham gia bảo hiểm xe giới: công ty bảo hiểm, khách hàng, nhà để xe, nhà cung cấp dịch vụ vận tải bệnh viện Hợp • •   30 đồng thơng minh tự động hóa việc giải khiếu nại cách chia sẻ tài liệu pháp lý sổ phân tán, nâng cao hiệu quả, giảm thời gian xử lý khiếu nại tiết kiệm chi phí Một ví dụ khác, gã khổng lồ bảo hiểm AXA mắt bảo hiểm cho chậm trễ chuyến bay dựa hợp đồng thông minh Ethereum Hành khách mua bảo hiểm chuyến bay tự động ký hợp đồng thông minh, hợp đồng kết nối với sở liệu khơng lưu tồn cầu Nếu hệ thống nhận thấy chuyến bay bị hỗn hai giờ, kích hoạt chức hợp đồng thơng minh, theo hành khách tốn 5.4 Nguồn liệu Ngoài dịch vụ tài chính, hợp đồng thơng minh sử dụng để đảm bảo chất lượng thông tin nghiên cứu khoa học sức khỏe cộng đồng Việc ngụy tạo làm sai lệch liệu thử nghiệm lâm sàng xảy thường xuyên năm gần Ví dụ khác, báo xuất tạp chí Nature năm 2009 báo cáo có chứa liệu gian lận Haruko Obokata thực Dữ liệu bịa đặt làm sai hướng nghiên cứu diễn cản trở q trình phục hồi bệnh nhân Do đó, làm xói mịn nghiêm trọng lịng tin khoa học công chúng Nguồn gốc liệu sau đề xuất để giảm thiểu vấn đề Ý tưởng nguồn gốc liệu lưu trữ thông tin siêu liệu nguồn gốc, dẫn xuất chuyển đổi liệu Tuy nhiên, có số thách thức việc thực thi nguồn gốc liệu Ví dụ: hầu hết cơng cụ ghi nhật ký xuất xứ Progger Mô-đun tảng đáng tin cậy (TPM) lưu trữ hoạt động liệu với thông tin nhạy cảm quyền riêng tư (ví dụ: ID người dùng, thời gian truy cập vai trò người dùng) Làm để bảo vệ thông tin riêng tư thách thức Ramachandran Kantarcioglu đề xuất hệ thống xuất xứ liệu dựa hợp đồng thông minh chuỗi khối Các nhà nghiên cứu gửi liệu mã hóa họ tới hệ thống Khi có thay đổi liệu nào, hợp đồng thông minh gọi để theo dõi biến đổi thực liệu Theo cách này, hành vi làm sai lệch liệu có ác ý bị bắt giữ Ngoài ra, Liang et al đề xuất ProvChain để thu thập xác minh   31 nguồn gốc liệu đám mây Ý tưởng ProvChain nhúng liệu xuất xứ vào giao dịch chuỗi khối để sửa đổi liệu theo dõi ProvChain bao gồm ba quy trình: thu thập liệu xuất xứ, lưu trữ liệu xuất xứ xác thực liệu xuất xứ Kết thử nghiệm chứng minh ProvChain cung cấp nguồn gốc liệu chống giả mạo, bảo vệ quyền riêng tư độ tin cậy liệu Hơn nữa, hợp đồng thông minh sử dụng để bảo vệ tài sản trí tuệ phương tiện kỹ thuật số sáng tạo Ví dụ, Hình (5.4) cho thấy ví dụ ứng dụng Mỗi sản phẩm kỹ thuật số nhúng với hình mờ kỹ thuật số (chẳng hạn địa ví kỹ thuật số người mua ID sản phẩm) Nếu có vi phạm (ví dụ: người mua bán sản phẩm kỹ thuật số cho người khác mà khơng có cho phép người tạo), nhân viên thực thi pháp luật theo dõi tệp bất hợp pháp với tệp gốc thơng qua trích xuất hình mờ kỹ thuật số so sánh địa ví kỹ thuật số với địa người mua Do đó, hành vi xâm phạm quyền sở hữu dễ dàng xác định Tồn quy trình đạt thông qua hợp đồng thông minh chuỗi khối Hình 5.2: Hợp đồng thơng minh để bảo vệ tài sản trí tuệ 5.5 Chia sẻ phát triển kinh tế Nền kinh tế chia sẻ mang lại nhiều lợi ích giảm chi phí tiêu dùng cách mượn tái chế mặt hàng, cải thiện việc sử dụng tài nguyên, nâng cao chất lượng dịch vụ, giảm tác động đến môi trường Tuy nhiên, hầu hết tảng kinh tế chia sẻ phải chịu chi phí giao dịch cao khách hàng, quyền riêng tư bị lộ độ tin cậy bên thứ ba khơng đáng tin cậy tính tập trung Hợp đồng thơng   32 minh có khả định hình lại kinh tế chia sẻ cách phân cấp tảng kinh tế chia sẻ Trong đó, thơng tin cá nhân bảo mật Việc triển khai thực tế xác minh tính hiệu hệ thống Ngoài ra, kết hợp Internet vạn vật (IoT) hợp đồng thông minh thúc đẩy ứng dụng kinh tế chia sẻ 5.6 Dịch vụ công Hợp đồng thông minh với cơng nghệ chuỗi khối định hình lại việc quản lý khu vực công Blockchain ngăn chặn gian lận liệu cung cấp tính minh bạch thơng tin cơng khai Lấy đấu thầu cơng khai làm ví dụ Việc tích hợp chuỗi khối hợp đồng thơng minh chứng minh danh tính người đặt giá thầu thực thể đặt giá thầu, tự động hóa quy trình đặt giá thầu, cung cấp hỗ trợ kiểm tốn đánh giá Có số thách thức hệ thống bỏ phiếu điện tử, chẳng hạn xác minh danh tính người dùng bảo vệ quyền riêng tư người dùng (hoặc ẩn danh bỏ phiếu) Hợp đồng thông minh cung cấp giải pháp cho hệ thống bỏ phiếu điện tử Một hệ thống bỏ phiếu dựa chuỗi khối có tên Follow My Vote8 đề xuất để xác minh danh tính người dùng mà không tiết lộ quyền riêng tư người dùng Tuy nhiên, dựa vào quan thứ ba đáng tin cậy để xáo trộn cử tri để không tiết lộ quyền riêng tư người dùng McCorry cộng sử dụng kiến thức giao thức bỏ phiếu tự kiểm đếm (nghĩa cử tri kiểm phiếu mà khơng cần bên thứ ba đáng tin cậy) để xây dựng hệ thống bỏ phiếu công dựa hợp đồng thơng minh Bằng cách này, phiếu bầu giữ kín danh tính người dùng xác minh lúc Hợp đồng thông minh sử dụng để thiết lập danh tính danh tiếng kỹ thuật số cá nhân Ví dụ, Hệ thống danh tiếng người dùng Đại học Thanh Hoa (TURS) hệ thống quản lý danh tính trực tuyến dựa hợp đồng thơng minh Hồ sơ TURS người dựa ba khía cạnh: danh tiếng cá nhân, danh tiếng trực tuyến danh tiếng nghề nghiệp Người dùng bảo vệ thơng tin cá nhân thơng qua hợp đồng thông minh cấp quyền truy cập cho người dùng khác mệnh đề (câu lệnh) lập trình   33 Trong đó, tất giao dịch ghi vào chuỗi khối bị can thiệp xóa   34 Chương Ví dụ minh họa 6.1 Đặt vấn đề Xem xét ví dụ hợp đồng bảo hiểm cho doanh nghiệp vận tải đường Các doanh nghiệp vận tải thường phải đối mặt với rủi ro bị tai nạn giao thơng mát hàng hóa trình vận chuyển Để bảo vệ khỏi rủi ro này, họ mua hợp đồng bảo hiểm từ công ty bảo hiểm Một thách thức lớn bảo hiểm vận chuyển xác định xác kiện gây thiệt hại mức độ thiệt hại phù hợp Việc đòi hỏi minh bạch độ tin cậy việc thu thập thông tin từ bên liên quan Để giải vấn đề này, hợp đồng bảo hiểm thơng minh sử dụng cơng nghệ blockchain để lưu trữ thông tin vận chuyển đảm bảo tính tồn vẹn liệu 6.2 Các hàm sử dụng để giải vấn đề Để giải toán này, ta cần quan tâm đến vấn đề chính:  Thơng tin vận chuyển lơ hàng tham số liên quan giá trị phí bảo hiểm  Báo cáo cố yêu cầu toán bồi thường từ bên bảo hiểm Hợp đồng bảo hiểm thơng minh sử dụng hai hàm sau: • •   35 6.2.1 Hàm "registerShipment" Để cho phép công ty bảo hiểm đăng ký thông tin vận chuyển lô hàng tham số liên quan giá trị phí bảo hiểm Hàm "registerShipment" sinh để đăng ký thông tin vận chuyển:   f u n c t i on r e g i s t er S h i p me n t ( s t r i n g m e m or y s h i pm e n tI d , a d d r es s t r a ns p o rt e r , u i n t2 v a lu e , u i nt 56 p r em i um ) p u bl i c {   r e q u ir e ( m s g s e n de r = = i n su r e r , " O n l y i n s u re r ca n re g i s te r s hi p m e nt " ) ;   s h i p me n t s [ s h i p m en t I d ] = S h i p me n t ( t r a n sp o r te r , v a l u e , p r em i u m , b l o ck t i m e s ta m p , , false);   } Trong đó, tham số đầu vào bao gồm:  shipmentId: Mã số định danh cho lô hàng vận chuyển  transporter: Địa đơn vị vận chuyển ủy quyền vận chuyển lơ hàng  value: Giá trị ước tính lô hàng  premium: Số tiền bảo hiểm mà doanh nghiệp vận tải phải trả cho công ty bảo hiểm  insurer: Địa cơng ty bảo hiểm • • • • • 6.2.2 Hàm "reportIncident" Để báo cáo cố yêu cầu toán bồi thường từ bên bảo hiểm Hàm "reportIncident" sử dụng Khi cố xảy ra, người bảo hiểm gửi thông tin cố tới hợp đồng thơng qua hàm Chúng ta sử dụng số hàm “require” để kiểm tra tính hợp lệ thơng tin nhập vào trước tiến hành báo cáo toán bồi thường   r eq u i r e ( s h i pm e n t s [ s h i pm e n t I d ] s h i pm e n t Id ! = " " , " S h i p me n t d o es n o t e x i st " ) ;   r e q u ir e ( ! s h i p m e nt s [ s h i p m e nt I d ] s h i p m en t D e li v e r ed , " S h i p m e nt a l r e ad y d e l i ve r e d " ) ; Hàm require sử dụng để kiểm tra điều kiện điều kiện khơng đúng, hàm ngừng thực gây lỗi Nếu điều kiện đúng, hàm tiếp tục thực lệnh Các hàm require đảm bảo thông tin báo cáo cố toán bồi thường thực tránh lỗi tiềm ẩn Đầu tiên, kiểm tra xem tổng số lượng bồi thường mà người báo cáo yêu cầu có nhỏ số lượng tài sản bị hư hại hay không   36 Tiếp theo, kiểm tra xem số lượng tài sản nhập vào có phù hợp với số lượng tài sản hợp đồng bảo hiểm Sau đó, kiểm tra xem thơng tin tài sản mức độ hư hại chúng có phù hợp với thông tin hợp đồng bảo hiểm Cuối cùng, kiểm tra xem cố báo cáo hay chưa 6.3 Lập trình Đây ví dụ cách sử dụng hai hàm registerShipment reportIncident để quản lý q trình vận chuyển hàng hóa xử lý cố:   p r ag m a s o l i di t y ^ ;   c o n tr a c t S h i p p i ng I n s u n c e {   s t r uc t S h i p me n t {   s t r in g s h i p me n t I d ;   s t r in g f r o m Lo c a t i on ;   s t r in g t o L o ca t i o n ;   u i n t 25 s h i p m en t V a l ue ; 10   11   b o ol s h i p m en t D e l i ve r e d ; } 12 13   s t r uc t I n c i de n t { 14   s t r in g s h i p me n t I d ; 15   s t r in g i n c i d e nt D e s c ri p t i o n ; 16   u i n t 25 d a m a g eV a l u e ; 17   b o ol p a y m e nt I s s u ed ;   } 20   m a p pi n g ( s t r i ng = > S h i pm e n t ) p u b li c sh i p m en t s ; 21   m a p pi n g ( s t r i ng = > I n c id e n t ) p u b li c in c i d en t s ; 18 19 22 23   f u n c ti o n r e g i s te r S h i p me n t ( 24   s t r in g m e m or y s h i pm e n tI d , 25   s t r in g m e m or y f r o mL o c a ti o n , 26   s t r in g m e m or y t o L oc a t io n , 27   28   u i n t 25 s h i p m en t V a l ue ) p ub li c {   29 s h i p me n t s [ s h i p me n t I d ] = S h i p me n t ( { 30   shipmentId: shipmentId , 31   fromLocation: fromLocation , 32   toLocation: toLocation , 33   shipmentValue: shipmentValue , 34     35 36 s h i p m en t D e l i ve r e d : f a l se }) ;   }   f u n c ti o n r e p o r tI n c i d en t ( 37 38   37 39   s t r in g m e m or y s h i pm e n tI d , 40   string memory incidentDescription , 41     42 u i n t 25 d a m a g eV a l u e ) p ub li c { 43   r e q u ir e ( s h i p m e nt s [ s h i p m e nt I d ] s h i p m e nt I d ! = " " , " S h i p m en t d o e s n o t e x i st " ) ; 44   r e q u ir e ( ! s h i p m en t s [ s h i p m e nt I d ] s h i p m en t D e li v e r ed , " S h i p m en t a l r e ad y d e l i ve r e d " ) ; 45   i n c i de n t s [ s h i p me n t I d ] = I n c i de n t ( { 46   47   incidentDescription: incidentDescription , 48   d a m a g e V a l u e : d a m a g e V a l ue ,   49 p a y m e nt I s s u ed : f a l se   50   51 52 shipmentId: shipmentId , }) ; }  } Đầu tiên, ta gọi hàm registerShipment để đăng ký lô hàng vận chuyển:   r e g i s te r S h i p me n t ( " S H " , " H a n o i " , " H o c h i m in h " , 0 00 ) ; Kết quả: lơ hàng có thơng tin sau đăng ký hệ thống:   S h i pm e n t {   s h i p m en t I d : " S H " ,   f r o m L o ca t i o n : " H a n o i " ,   t o L o ca t i o n : " H o c h i m i nh " ,   s h i p m en t V a l ue : 00 ,   s h i p m e nt D e l i ve r e d : f a l se  } Sau đó, ta tiến hành báo cáo cố trình vận chuyển cách gọi hàm reportIncident:   r e po r tI n ci d en t ( " S H0 " , " H a n g b i v o n at t r on g q ua t r in h v an c h uy e n ", 00 ) ; Kết quả: cố báo cáo với thông tin sau:   I n c id e n t {     i n ci d en t D es c ri p t io n : " H a ng b i v o n a t t r on g q u a t r in h v a n c h uy e n " ,   d a m a g eV a l u e : 00 ,   p a y m en t I s s ue d : f a l se s h i p m en t I d : " S H " ,  } 6.4 Kết luận Ví dụ Smart Contract bảo hiểm đơn giản, minh họa rõ tính tiềm cơng nghệ Blockchain Smart Contract   38 Thông qua việc sử dụng Smart Contract, đưa điều khoản điều kiện cho hợp đồng cách minh bạch dễ dàng xác định Hơn nữa, điều khoản mã hóa lưu trữ Blockchain, giúp ngăn chặn vi phạm tránh tranh chấp tương lai Bên cạnh đó, Smart Contract giúp tăng tính minh bạch độ tin cậy giao dịch, loại bỏ can thiệp bên thứ ba giảm thiểu chi phí hoạt động Trong ví dụ trên, thấy rõ cách sử dụng Smart Contract để quản lý bảo hiểm cho tài sản vận chuyển, giúp tăng tính hiệu đảm bảo tính an tồn cho việc vận chuyển hàng hóa Tóm lại, Smart Contract cơng nghệ tiên tiến có tiềm ứng dụng rộng rãi nhiều lĩnh vực khác nhau, giúp tăng tính minh bạch, tính an tồn giảm chi phí hoạt động   39 Tổng kết Báo cáo trình bày nhìn tổng quan hợp đồng thông minh tiên tiến Cụ thể, trước tiên cung cấp đánh giá ngắn gọn hợp đồng thông minh công nghệ chuỗi khối Sau đó, thách thức hợp đồng thơng minh khía cạnh khác việc tạo, triển khai, thực hiện, hồn thành hợp đồng thơng minh Trong đó, báo cáo thảo luận tiến gần việc giải thách thức Tiếp theo so sánh số tảng hợp đồng thông minh lớn Hơn nữa, báo cáo phân loại ứng dụng hợp đồng thông minh liệt kê số trường hợp sử dụng điển hình loại ứng dụng Tóm lại, hy vọng viết đóng vai trị hướng dẫn để phát triển ứng dụng hợp đồng thơng minh an tồn mở rộng thúc đẩy phát triển cơng nghệ chuỗi khối Ngồi chuỗi khối, hợp đồng thơng minh phát triển nhanh chóng số thách thức cần giải Hầu hết chủ đề nghiên cứu hợp đồng thông minh tập trung vào vấn đề ngơn ngữ lập trình, bảo mật quyền riêng tư phổ biến ứng dụng hợp đồng thông minh chuỗi khối đặt thách thức Giống công cụ phần mềm máy tính khác, hợp đồng thơng minh chứa số lỗi tạo cách vô tình cố ý Tuy nhiên, việc phát xác định lỗi đòi hỏi nhiều nỗ lực khía cạnh cơng nghệ phần mềm phân tích liệu Ngồi ra, người hành nghề doanh nghiệp thiếu kiến thức lập trình máy tính, họ có chun mơn cơng nghệ vận hành xây dựng luật (tức lập hợp đồng), nhiên, lại thiếu hụt lập trình viên máy tính Làm để lấp đầy khoảng cách công nghệ vận hành (OT) cơng nghệ thơng tin (CNTT) có tầm quan trọng lớn phát triển hợp đồng thơng minh Sự tích hợp cơng nghệ phần mềm, xử lý ngơn ngữ tự nhiên trí tuệ nhân tạo giải pháp khả thi cho thách thức tương lai   40 Tài liệu tham khảo [1] The idea of smart contracts Nick Szabo’s Papers and Concise Tutorials (1997) [2] Dai H.-N., Zheng Z., Zhang Y Blockchain for internet of things: A survey [3] A Bogner, M Chanson, A Meeuw, A decentralised sharing app running a smart contract on the ethereum blockchain, in: Proceedings of the 6th International Conference on the Internet of Things, 2016, pp 177–178 [4] Y Zhang, J Wen, An IoT electric business model based on the protocol of bitcoin, in: Proceedings of 18th International Conference on Intelligence in Next Generation Networks, ICIN, 2015, pp 184–191.4, [5] McCorry P., Shahandashti S.F., Hao F A smart contract for boardroom voting with maximum voter privacy (2017) ... tảng hợp đồng thơng minh điển hình thực  Các ứng dụng hợp đồng thông minh đa dạng tóm tắt • • • •   Chương Tổng quan blockchain hợp đồng thông minh Hợp đồng thông minh xây dựng dựa công nghệ chuỗi. .. thơng minh Sau đó, hợp đồng thơng minh xác thực triển khai cho tảng chuỗi khối Các hợp đồng lưu trữ chuỗi khối sửa đổi tính bất biến chuỗi khối Bất kỳ sửa đổi yêu cầu tạo hợp đồng Sau hợp đồng thông. .. triển hợp đồng thông minh 3.1 Thử thách tạo hợp đồng thông minh Tạo hợp đồng bước quan trọng để thực hợp đồng thông minh Người dùng phải viết mã hợp đồng riêng họ sau triển khai chúng tảng chuỗi khối