Ứ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.

Từ khóa: Hợp đồng thông minh Ethereum, Ứng dụng Chatbot thông minh, Nền tảng giao dịch phi tập trung, Blockchain và hợp đồng thông minh, Xây dựng cây cú pháp trừu tượng