AGENTTRUST
Writing
Notes on identity, policy, and feedback as AgentTrust ships toward the Solana mainnet payment lane.

AI agents are about to start paying each other on Solana
Agent-to-agent commerce is here and today's stack has no on-chain trust layer. AgentTrust ships that layer on Solana with three Anchor programs.

How does an agent bootstrap onto Solana in one transaction?
Walk a fresh wallet from zero to a fully on-chain Quantu identity, AgentTrust policy, and velocity ledger in one signed devnet transaction.

Six formally-verified properties that gate AgentTrust payments
What 635 sub-checks across six Kani-proven invariants actually guarantee about every gate_payment decision on AgentTrust's PolicyVault.