Proof-Gated Signing: Solver-Checked Transaction Guards that Hold Under State Drift for Onchain AI Agents
Proof-Gated Signing (PGS) is a defense mechanism for AI agents controlling wallets. It uses an SMT solver to verify that a proposed transaction adheres to a policy across uncertain price ranges, even if the chain state changes during execution. PGS closes the gap between pre-signing checks and actual transaction execution by compiling proofs into on-chain post-conditions.