Policy receipts for autonomous DeFi actions
RiskGuard Adapter
RiskGuard checks proposed autonomous DeFi actions against declared risk policies before execution, creates local signed demo receipts, and separately anchors demo receipt component hashes on BSC testnet.
GitHub repo
Source, README, tests and docs.
Release
Deck, video and submission bundle.
Demo video
Short demo showing local verdicts, testnet anchoring, and manifest metadata.
Receipt hash checker
Browser check for receipt hashes, signed payload hash, and preimages.
Deck PDF
Seven-slide submission deck.
HTML deck
Browser-rendered deck.
Submission bundle
Single ZIP with core artifacts.
BscScan source
Verified BSC testnet registry source and ABI.
BSC Testnet Anchoring
The chain stores receipt component hashes; the local bundle carries the preimages and signed demo receipt fixture.
- Contract:
0x10932358609f911B5cA1a131298C91a327ACAdC1 - Source verification:
verified. - Allow receipt transaction
- Block receipt transaction
receiptCount()returns2.
Signed Receipt Evidence
- Safe and blocked demo receipts are signed by a demo-only EVM key.
just verify-demorecomputes evidence and simulation hashes, recovers the EVM signature, and checks the expected demo signer.- Signer:
0xDC4814F2BC829880073D2B64355c518Fc7648Cda
Scope
- Implemented: policy evaluation, receipts, BSC testnet registry, manifest-only ERC-8183 metadata.
- Not claimed: production security, audited status, custody, mainnet funds, real ERC-8183 settlement or opBNB deployment.