The AI interprets the policy. The contract enforces it.
A lender writes lending rules in plain English, an AI agent compiles them into a policy committed on-chain before anyone applies, and credit moves only when the Attestcoin Protocol has cryptographically proven the borrower's history.
- policies committed
- -
- precompile verifications
- -
- PGC released to borrower
- -
Commit a policy
The lender writes rules in plain English. The AI compiles them into a machine-readable policy, committed on-chain before any borrower applies, immutable forever after.
Run a decision
The agent reads the committed policy and the proven history, decides within the policy, and executes. The contract releases the decoded, proven total, never the claim.
Try to cheat
Go ahead. Forge a repayment, or inflate the claim. Every attempt is broadcast on-chain, and every failure below is the protocol's own revert, mined forever as evidence.
Proven history
Repayments on Ethereum Sepolia: not claimed, cryptographically proven by the Attestcoin Protocol's Native Query Verifier precompile on Creditcoin.
Claimed vs proven
The contract released the decoded, proven total, never the claim: recorded from the policy #3 release.