Tuyệt vời! Dưới đây là phân tích chi tiết về mẫu prompt bạn cung cấp, tuân thủ cấu trúc yêu cầu:
1. Phân tích Cấu trúc Prompt
Mẫu prompt này được thiết kế với mục tiêu phân tích một hợp đồng thông minh dựa trên các tiêu chí về tính công bằng và sự thiên vị. Cấu trúc của nó khá rõ ràng, sử dụng các placeholder (biến) để người dùng có thể tùy chỉnh và cung cấp thông tin cụ thể:
- Lệnh chính: “Xem xét logic và cơ chế thực thi của hợp đồng thông minh…” – Đây là yêu cầu cốt lõi, hướng dẫn mô hình thực hiện việc phân tích.
- Placeholder 1:
[ĐỊA_CHỈ_HỢP_ĐỒNG_THÔNG_MINH]– Đây là một biến quan trọng, đại diện cho một chuỗi ký tự duy nhất dùng để định danh một hợp đồng thông minh cụ thể. Người dùng cần cung cấp địa chỉ thực tế của hợp đồng (ví dụ: địa chỉ ví trên Ethereum, BNB Chain, v.v.). - Yêu cầu phụ: “Đánh giá xem nó có đảm bảo tính công bằng và tránh thiên vị chống lại bất kỳ bên nào…” – Phần này làm rõ hơn mục đích của việc phân tích, tập trung vào hai khía cạnh quan trọng là công bằng và không thiên vị.
- Placeholder 2:
[NGUYÊN_TẮC_CÔNG_BẰNG_CHUNG]– Đây là một biến cho phép người dùng định nghĩa hoặc tham chiếu đến một tập hợp các nguyên tắc công bằng mà hợp đồng cần tuân thủ. Điều này linh hoạt hóa yêu cầu, cho phép đánh giá dựa trên các tiêu chuẩn khác nhau (ví dụ: “nguyên tắc công bằng trong phân bổ token”, “nguyên tắc không thiên vị trong các giao dịch P2P”, “quyền lợi ngang nhau cho tất cả người tham gia”).
2. Ý nghĩa & Cách hoạt động
Prompt này hoạt động bằng cách yêu cầu mô hình ngôn ngữ lớn (LLM) thực hiện một tác vụ phân tích kỹ thuật dựa trên hai thông tin đầu vào chính:
- Địa chỉ hợp đồng thông minh: Mô hình, sau khi nhận được địa chỉ này, sẽ cần có khả năng truy cập hoặc tra cứu thông tin về hợp đồng đó. Điều này có thể bao gồm việc xem xét mã nguồn của hợp đồng (nếu có sẵn công khai), phân tích cách thức hoạt động của các hàm (functions), biến trạng thái (state variables), các sự kiện được phát ra (events), và cách dữ liệu được xử lý bên trong hợp đồng.
- Nguyên tắc công bằng chung: Yêu cầu này giúp mô hình giới hạn phạm vi phân tích. Thay vì đánh giá “công bằng” một cách chung chung, mô hình sẽ tập trung vào việc kiểm tra xem logic của hợp đồng có tuân thủ các nguyên tắc cụ thể mà người dùng đặt ra hay không. Ví dụ, nếu nguyên tắc là “phân bổ token theo tỷ lệ đóng góp”, mô hình sẽ kiểm tra xem hàmminting/distribution token có thực hiện đúng tỷ lệ đó không. Nếu nguyên tắc là “không thiên vị trong đấu giá”, mô hình sẽ xem xét các quy tắc bidding để đảm bảo không có người dùng nào được ưu tiên bất hợp pháp.
Về bản chất, prompt này yêu cầu mô hình đóng vai trò là một “người kiểm tra an ninh” hoặc “nhà phân tích logic” cho hợp đồng thông minh, áp dụng một bộ tiêu chí đã được định sẵn bởi người dùng.
3. Ví dụ Minh họa
Dưới đây là hai ví dụ minh họa về cách prompt này có thể được sử dụng:
Ví dụ 1: Phân tích hợp đồng phân phối lợi nhuận
Prompt sử dụng:
Xem xét logic và cơ chế thực thi của hợp đồng thông minh 0xAbCdEf1234567890abcdef1234567890abcdef12. Đánh giá xem nó có đảm bảo tính công bằng và tránh thiên vị chống lại bất kỳ bên nào theo nguyên tắc tất cả người nắm giữ token đều nhận được lợi nhuận theo tỷ lệ sở hữu của họ hay không.
Đầu ra dự kiến của LLM (tóm tắt):
Mô hình sẽ phân tích các hàm liên quan đến việc thu thập lợi nhuận (ví dụ: claimProfits(), distributeProfits()) và cơ chế ghi nhận quyền sở hữu token (ví dụ: balanceOf()). Nó có thể kết luận rằng hợp đồng tuân thủ nguyên tắc nếu logic phân phối lợi nhuận dựa chính xác vào số lượng token mà mỗi địa chỉ ví nắm giữ tại thời điểm phân phối, mà không có bất kỳ khoản phí ẩn hoặc ưu tiên nào cho các địa chỉ đặc biệt.
Ví dụ 2: Phân tích hợp đồng Bán NFT dựa trên đấu giá
Prompt sử dụng:
Xem xét logic và cơ chế thực thi của hợp đồng thông minh 0x112233445566778899aabbccddeeff00112233. Đánh giá xem nó có đảm bảo tính công bằng và tránh thiên vị chống lại bất kỳ bên nào theo nguyên tắc người trả giá cao nhất sẽ thắng và tất cả người tham gia đấu giá đều có cơ hội như nhau hay không.
Đầu ra dự kiến của LLM (tóm tắt):
Mô hình sẽ kiểm tra các hàm liên quan đến việc đặt giá (placeBid()), kết thúc đấu giá (endAuction()), và các biến lưu trữ thông tin người đặt giá cao nhất, giá cao nhất. Nếu hợp đồng đảm bảo rằng chỉ có người đặt giá cao nhất mới nhận được NFT và không có các chức năng cho phép người tạo hợp đồng hoặc bất kỳ bên nào can thiệp để thay đổi kết quả đấu giá một cách bất hợp pháp, thì nó sẽ được đánh giá là công bằng theo nguyên tắc đã nêu.
👉 Tóm lại
Mẫu prompt này là một công cụ mạnh mẽ để yêu cầu LLM thực hiện việc kiểm tra logic và tính công bằng của hợp đồng thông minh. Bằng cách sử dụng các placeholder [ĐỊA_CHỈ_HỢP_ĐỒNG_THÔNG_MINH] và [NGUYÊN_TẮC_CÔNG_BẰNG_CHUNG], người dùng có thể tùy chỉnh yêu cầu để phù hợp với nhu cầu phân tích cụ thể của mình, từ đó nhận được những hiểu biết sâu sắc hơn về cách thức hoạt động và các nguy cơ tiềm ẩn của một hợp đồng thông minh.
