Một lựa chọn thiết kế lớn mà chúng tôi đã thực hiện khi xây dựng Herd là cách giao tiếp các trạng thái hợp lệ với một llm Bắt đầu đơn giản, đối với một giao dịch chuyển USDC, chúng tôi có thể nói "hàm balanceOf có thể được sử dụng để hiển thị giá trị chuyển tối đa và nếu nó hợp lệ" mà không cần mã hóa cứng những kiểm tra này.