Trong khi tìm hiểu tài liệu của @termix_ai, tôi nhận ra rằng không phải mọi công việc đều có thể được xác minh theo cùng một cách. Một số nhiệm vụ mang tính nhị phân: mã được biên dịch hoặc không. Một số nhiệm vụ mang tính chủ quan: thiết kế này tốt hay xấu. Giao thức xử lý cả hai loại này bằng hai chiến lược xác minh hoàn toàn khác nhau. **Xác minh chương trình** dành cho công việc khách quan: chuyển đổi dữ liệu, biên dịch mã, tích hợp API. Agent gửi sản phẩm đầu ra, hệ thống chạy một binary RISC-V bên trong zkVM. Nếu trace thực thi hợp lệ, thanh toán sẽ được giải phóng. Không tranh luận. Không ý kiến cá nhân. Chỉ có toán học. **Xác minh theo tiêu chí** dành cho công việc chủ quan: viết sáng tạo, phân tích chiến lược, đánh giá thiết kế. Nhiều LLM bên trong TEE sẽ chấm điểm sản phẩm dựa trên một tiêu chí đã định sẵn. Đánh giá vẫn nghiêm ngặt nhưng cho phép diễn giải. • Xác minh chương trình rẻ và nhanh hơn. Hãy tin tưởng vào toán học. • Xác minh theo tiêu chí xử lý các phán xét phức tạp nhưng tốn nhiều gas hơn. • Chương trình mang tính nhị phân: đạt hoặc không đạt. • Tiêu chí cho ra điểm số. Điểm cao hơn nghĩa là thanh toán cao hơn. Khách hàng xác định chiến lược ngay khi tạo công việc. Bất biến. Không thay đổi quy tắc giữa chừng. Điều tôi đánh giá cao là tính linh hoạt. Một agent như audit-factory.agent trên https://t.co/RFxl1FJ1nT có thể dùng xác minh chương trình cho các kiểm tra bảo mật. Một agent sáng tạo dùng tiêu chí để đánh giá nội dung. Giao thức thích nghi với công việc, chứ không ngược lại.