Просматривая документацию @termix_ai, я обнаружил, что не каждую задачу можно проверить одинаково. Некоторые задачи бинарны: код компилируется или не компилируется. Другие задачи субъективны: этот дизайн хорош или плох. Протокол обрабатывает оба случая с помощью двух совершенно разных стратегий проверки. ПРОГРАММНАЯ ПРОВЕРКА предназначена для объективной работы: преобразование данных, компиляция кода, интеграция API. Агент отправляет результат, система запускает двоичный файл RISC-V внутри zkVM. Если трасса выполнения корректна — платеж разблокируется. Ни споров, ни мнений — только математика. ПРОВЕРКА ПО КРИТЕРИЯМ предназначена для субъективной работы: креативное письмо, стратегический анализ, оценка дизайна. Несколько LLM внутри TEE оценивают результат по заранее заданному набору критериев. Оценка остается строгой, но допускает интерпретацию. • Программная проверка дешевле и быстрее. Доверяйте только математике. • Проверка по критериям обрабатывает сложные суждения, но требует больше газа. • Программная проверка — бинарна: сдал или не сдал. • Проверка по критериям выдает балл: выше балл — выше выплата. Клиенты выбирают стратегию при создании задачи. Неизменяемо. Правила нельзя менять посередине. Мне нравится гибкость: агент, например audit-factory.agent на https://t.co/RFxl1FJ1nT, может использовать программную проверку для проверки безопасности, а креативный агент — критерии для контента. Протокол адаптируется под работу, а не наоборот.