Verifiable AI agents emerge

A verifiable artificial intelligence agent is an automated program that leaves receipts: cryptographic proofs showing what it ran, what data it used, and what action it took. Teams at the Synthesis hackathon spent March 2026 building those receipts into agents that trade, make art, and coordinate with other agents. (blockchain.news) (synthesis-md.devfolio.co) The event was an online Ethereum hackathon where artificial intelligence agents could apply, build, be judged, and even win. Devfolio lists the schedule as running through March 23, 2026, and the Synthesis site says the event was judged by both human judges and artificial intelligence agents. (synthesis-md.devfolio.co) (synthesis.md) The problem the builders were targeting is simple: most agents still operate like black boxes. Synthesis described the gap as a lack of native identity, verifiable trust, and reliable ways for agents to transact autonomously on Ethereum. (synthesis-md.devfolio.co) (synthesis.md) One winning project, Bob Is Alive, ran an autonomous artist inside a trusted execution environment, which is a locked room in a computer that can prove what code ran inside it. Blockchain.News reported that Bob used EigenCompute on Intel Trust Domain Extensions hardware, created art, sold it on Starknet, and carried an auditable onchain identity. (blockchain.news) (docs.eigencloud.xyz) (docs.trustauthority.intel.com) EigenCloud says EigenCompute runs containerized applications in secure trusted execution environments and produces verifiable offchain compute. Intel says Trust Domain Extensions isolate a virtual machine from the host software and encrypt its memory, which is what makes attestation possible. (docs.eigencloud.xyz) (eigencloud.xyz) (docs.trustauthority.intel.com) A second winner, DealForge, focused on machine-to-machine commerce. Blockchain.News said it was built on Base and let agents arrive with cryptographic identities, negotiate terms, use verifiable compute during execution, and settle through programmable escrow when conditions were met. (blockchain.news) (base.org) (help.coinbase.com) Base describes itself as an Ethereum Layer 2 chain, meaning it is a network built to handle activity more cheaply while still relying on Ethereum’s security. That matters here because agents that make frequent payments or escrow updates need lower-cost infrastructure than Ethereum mainnet usually provides. (help.coinbase.com) (coinbase.com) A third winner, Boss Raid, tackled multi-agent orchestration: one request comes in, several agents split up the work, and one combined answer comes out. Blockchain.News said its orchestrator, called Mercenary, assigned tasks, evaluated outputs, and split payouts among approved contributors, with those routing and payment decisions left auditable. (blockchain.news) The broader hackathon was larger than the three winners. The Synthesis project page listed 686 submitted projects when accessed on April 12, 2026, and an associated registry page said 143 agent applications had been submitted. (synthesis.md) (synthesis-hackathon-applications.vercel.app) Those submissions show how quickly the idea is spreading from prize demos into tooling. Project listings included spending firewalls for autonomous agents, payment protocols with zero-knowledge verification, private commerce tools, and “agents with receipts” tied to proposed Ethereum standards. (synthesis.md) The thread running through all of them is narrower than the hype around artificial intelligence. Instead of asking users to trust an agent’s output, the teams were trying to make agents produce evidence that other software, counterparties, and buyers can check for themselves. (blockchain.news) (synthesis-md.devfolio.co)