This project combines Solidity smart contracts with a Python client to create a decentralized verification layer for AI inference. Operators run AI inference tasks and submit cryptographic proofs, while aggregators collect and verify these proofs on-chain. The system enables trustless verification of AI computation results without relying on a single trusted party, integrating with EigenLayer’s restaking infrastructure.