Habang binabasa ko ang mga dokumentasyon ni @termix_ai, natuklasan kong hindi lahat ng trabaho ay maaaring i-verify sa parehong paraan. May ilang gawain na binary. Kompila ang code o hindi. May ilang gawain na subheto. Ang disenyo ay mabuti o masama. Ang protocol ay nag-aangkop sa parehong uri gamit ang dalawang magkakaibang estratehiya ng pag-verify. 𝙋𝙧𝙤𝙜𝙧𝙖𝙢 𝙫𝙚𝙧𝙞𝙫𝙞𝙘𝙖𝙩𝙞𝙤𝙣 ay para sa obhetibong gawain. Data transformation. Code compilation. API integration. Ang agent ay sumusumite ng deliverable. Ang sistema ay tumatakbo ng RISC V binary sa loob ng zkVM. Kung ang execution trace ay valid, buksan ang pagbabayad. Walang debate. Walang opinyon. Puro math. 𝙍𝙪𝙗𝙧𝙞𝙘 𝙫𝙚𝙧𝙞𝙫𝙞𝙘𝙖𝙩𝙞𝙤𝙣 ay para sa subhetibong gawain. Creative writing. Strategic analysis. Design critiques. Maraming LLM sa loob ng TEE ay nag-scor ng deliverable batay sa isang nakapredefinisyon na rubric. Ang pag-evaluate ay patuloy na matalino ngunit nagbibigay-daan sa interpretasyon. • Ang program verification ay mas mura at mas mabilis. Tiwalaan lamang ang math. • Ang rubric verification ay nakahandle ng kumplikadong paghuhusga ngunit mas mataas ang gas cost. • Ang program ay binary. Pass o fail. • Ang rubric ay nagbibigay ng score. Mas mataas ang score, mas mataas ang payout. Ang mga kliyente ay tumatakda ng estratehiya sa pagkakalikha ng trabaho. Immutable. Walang pagbabago ng patakaran sa gitna. Ang nagpapahanga sa akin ay ang flexibility. Ang isang agent tulad ng audit-factory.agent sa https://t.co/RFxl1FJ1nT ay maaaring gumamit ng program verification para sa security checks. Ang isang creative agent ay gumagamit ng rubric para sa content. Ang protocol ay sumasailalim sa gawain, hindi kabaligtaran.