tailieunhanh - Ứng dụng Chatbot thông minh trong việc xác thực hợp đồng thông minh Ethereum

Bài viết trình bày tập trung hướng nghiên cứu của mình vào việc tích hợp với chatbot thông minh cùng với thực thi Symbolic Execution để xác minh các hợp đồng thông minh Ethereum. Thông qua trò chuyện với người dùng, chatbot đóng vai trò là một đại diện trung gian nắm bắt ý định của người dùng, dẫn dắt và lấy các thông tin cần thiết cho việc xác thực. | Kỷ yếu Hội nghị KHCN Quốc gia lần thứ XIII về Nghiên cứu cơ bản và ứng dụng Công nghệ thông tin FAIR Nha Trang ngày 8-9 10 2020 DOI ỨNG DỤNG CHATBOT THÔNG MINH TRONG VIỆC XÁC THỰC HỢP ĐỒNG THÔNG MINH ETHEREUM Băng Ngọc Bảo Tâm Trần Quang Quản Thành Thơ Đại Học Bách khoa Thành phố Hồ Chí Minh bnbaotam@ tranquang@ qttho@ TÓM TẮT Hợp đồng thông minh Ethereum hoạt động dựa trên nền tảng công nghệ Blockchain là một trong những ứng dụng mạnh mẽ và đầy hứa hẹn sẽ cung cấp một nền tảng giao dịch phi tập trung hỗ trợ tất cả các lĩnh vực trong đời sống. Bên cạnh đó các hợp đồng thông minh sau khi được triển khai trên hệ thống sẽ hoạt động theo cơ chế phân tán không thể thay đổi và được truy cập công khai. Điều đó khiến chúng rất dễ bị tấn công bởi nhiều hình thức tấn công khác nhau và yếu tố bảo mật cho các hợp đồng thông minh được đặt lên hàng đầu. Trong bài viết này chúng tôi tập trung hướng nghiên cứu của mình vào việc tích hợp với chatbot thông minh cùng với thực thi Symbolic Execution để xác minh các hợp đồng thông minh Ethereum. Thông qua trò chuyện với người dùng chatbot đóng vai trò là một đại diện trung gian nắm bắt ý định của người dùng dẫn dắt và lấy các thông tin cần thiết cho việc xác thực. Sau đó chúng tôi dùng Symbolic Execution để xác minh xem các hợp đồng thông minh này có thực sự phản ánh ý định của người dùng mà không có lỗi bảo mật hay không. Cần lưu ý rằng khi hợp đồng thông minh thực thi thông tin sẽ được ghi vào blockchain và không thể sửa đổi sau đó. Do đó việc xác minh biểu tượng của hợp đồng thông minh mà không thực thi nó trong tình huống này là rất quan trọng. Ngoài ra phương pháp của chúng tôi còn giúp cho người dùng không có nhiều kiến thức về lĩnh vực này vẫn có thể hiểu được một cách dễ dàng. Từ khóa Intelligence chatbot smart contracts control-flow graph Symbolic Execution. I. GIỚI THIỆU Blockchain tuy không phải là một công nghệ mới nhưng nó đã đạt được nhiều thành tựu to lớn trong

TÀI LIỆU LIÊN QUAN
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.