setld

Live proof

Two mandates settled on public testnets. A valid cross-chain proof proves what happened. setld still decides whether what happened satisfied the job.

The same Attestcoin verifier proved both transactions. setld paid the correct executor and refused the wrong one, with no evaluator.

Mandate 0x907043a3…fb9598Treasury rebalance v1
Attestcoin proof Verified — source block 11632681, tx index 109
Executor identity Match — 0xD76455…787F
Receipt status Success — the Ethereum transaction was included and succeeded
Committed predicate Pass — every committed field satisfied
Reward Released to executor
Executor bond Returned
Creditcoin settlement0x56f0adde…0dad4b ↗ CC3
Reference model Agreed — FULFILLED
Show the verified execution
{ "sourceChainKey": 1, "blockHeight": 11632681, "transactionIndex": 109, "sourceTxKey": "0xf6407fbc1810989fed5310018ab1abba968e3674edd1eda182533954ca3a55a8", "txFrom": "0xD76455eB2015591A239ef651518d0e9BEeF4787F", "txTo": "0x6cCB5496e2752BDA84730122832aE732ae96D389", "txToIsNull": false, "txValue": "0", "selector": "0xc85bcd18", "calldata": "0xc85bcd18907043a3e8db72db45e0fd737b69d8975a53570487ff1b4c47f3db3cc1fb9598000000000000000000000000dcf3bb782f28279c6271b20dc5e3ed8f8d83c537000000000000000000000000a70040b6adcf432dc817e8886fe9eadebd8872380000000000000000000000008310b2cf26e2d2571abdf6cec38043d2018e156000000000000000000000000000000000000000000000010f0cf064dd592000000000000000000000000000000000000000000000000001e7e4171bf4d3a00000", "receiptStatus": 1, "receiptGasUsed": "59933", "logs": [ { "emitter": "0x6cCB5496e2752BDA84730122832aE732ae96D389", "topics": [ "0xaaf8ab446cca74260aa24a3796d7227de55390e1f526fbdc4fd9645d6ff62007", "0x907043a3e8db72db45e0fd737b69d8975a53570487ff1b4c47f3db3cc1fb9598", "0x000000000000000000000000d76455eb2015591a239ef651518d0e9beef4787f", "0x000000000000000000000000dcf3bb782f28279c6271b20dc5e3ed8f8d83c537" ], "data": "0x000000000000000000000000a70040b6adcf432dc817e8886fe9eadebd8872380000000000000000000000008310b2cf26e2d2571abdf6cec38043d2018e156000000000000000000000000000000000000000000000010f0cf064dd592000000000000000000000000000000000000000000000000001e7e4171bf4d3a00000" }, { "emitter": "0x8310B2Cf26e2D2571AbdF6cEC38043D2018e1560", "topics": [ "0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef", "0x000000000000000000000000dcf3bb782f28279c6271b20dc5e3ed8f8d83c537", "0x000000000000000000000000d76455eb2015591a239ef651518d0e9beef4787f" ], "data": "0x000000000000000000000000000000000000000000000202fefbf2d7c2f00000" }, { "emitter": "0xdCF3bb782f28279c6271B20dc5E3eD8f8d83C537", "topics": [ "0x2e2e12a60a82e45c3a89ab9f4d664990c4e04ca3d17c2f473c91a6eae663c752" ], "data": "0x907043a3e8db72db45e0fd737b69d8975a53570487ff1b4c47f3db3cc1fb9598000000000000000000000000d76455eb2015591a239ef651518d0e9beef4787f000000000000000000000000a70040b6adcf432dc817e8886fe9eadebd8872380000000000000000000000008310b2cf26e2d2571abdf6cec38043d2018e156000000000000000000000000000000000000000000000010f0cf064dd59200000000000000000000000000000000000000000000000000202fefbf2d7c2f00000" }, { "emitter": "0x6cCB5496e2752BDA84730122832aE732ae96D389", "topics": [ "0x1a5bd54cbdafb7016907a027dec570b2958c3f9924638f95bbcb1719d023f58d", "0x907043a3e8db72db45e0fd737b69d8975a53570487ff1b4c47f3db3cc1fb9598", "0x000000000000000000000000d76455eb2015591a239ef651518d0e9beef4787f", "0x000000000000000000000000dcf3bb782f28279c6271b20dc5e3ed8f8d83c537" ], "data": "0x000000000000000000000000000000000000000000000202fefbf2d7c2f00000" } ] }
Show the proof material
{ "chainKey": 1, "headerNumber": 11632681, "transactionIndex": 109, "txHash": "0xa9df340ed955a3d1acde7b218a53503a6ec0a20313f5d575a8192027963c73ba", "cached": true, "generatedAt": "2026-09-04T09:56:06.869996444Z", "merkleRoot": "0x4267d57f7e395dbc36fae664d70bb162a60f3202817b965c60c58fde2cbc3f88", "continuityRoots": 10 }
Mandate 0xc28c59ba…5e9360Treasury rebalance v1
Attestcoin proof Verified — source block 11632731, tx index 122
Executor identity Match — 0xD76455…787F
Receipt status Success — the Ethereum transaction was included and succeeded
Committed amount cap Fail — AMOUNT_IN_OVER_CAP (predicate step 11)
Reward Refunded to creator
Executor bond Penalty applied
Creditcoin settlement0x20f9e00e…841fc9 ↗ CC3
Reference model Agreed — AMOUNT_IN_OVER_CAP
Show the verified execution
{ "sourceChainKey": 1, "blockHeight": 11632731, "transactionIndex": 122, "sourceTxKey": "0x49b8d8b690199ad4fdd339c7859818103ac7fd50aed786614893771bf989b65a", "txFrom": "0xD76455eB2015591A239ef651518d0e9BEeF4787F", "txTo": "0x6cCB5496e2752BDA84730122832aE732ae96D389", "txToIsNull": false, "txValue": "0", "selector": "0xc85bcd18", "calldata": "0xc85bcd18c28c59bac1c4ca108af0361c0cf27820a0455c57eff53ab05b3f9da3fe5e9360000000000000000000000000dcf3bb782f28279c6271b20dc5e3ed8f8d83c537000000000000000000000000a70040b6adcf432dc817e8886fe9eadebd8872380000000000000000000000008310b2cf26e2d2571abdf6cec38043d2018e156000000000000000000000000000000000000000000000054b40b1f852bda000000000000000000000000000000000000000000000000001e7e4171bf4d3a00000", "receiptStatus": 1, "receiptGasUsed": "59933", "logs": [ { "emitter": "0x6cCB5496e2752BDA84730122832aE732ae96D389", "topics": [ "0xaaf8ab446cca74260aa24a3796d7227de55390e1f526fbdc4fd9645d6ff62007", "0xc28c59bac1c4ca108af0361c0cf27820a0455c57eff53ab05b3f9da3fe5e9360", "0x000000000000000000000000d76455eb2015591a239ef651518d0e9beef4787f", "0x000000000000000000000000dcf3bb782f28279c6271b20dc5e3ed8f8d83c537" ], "data": "0x000000000000000000000000a70040b6adcf432dc817e8886fe9eadebd8872380000000000000000000000008310b2cf26e2d2571abdf6cec38043d2018e156000000000000000000000000000000000000000000000054b40b1f852bda000000000000000000000000000000000000000000000000001e7e4171bf4d3a00000" }, { "emitter": "0x8310B2Cf26e2D2571AbdF6cEC38043D2018e1560", "topics": [ "0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef", "0x000000000000000000000000dcf3bb782f28279c6271b20dc5e3ed8f8d83c537", "0x000000000000000000000000d76455eb2015591a239ef651518d0e9beef4787f" ], "data": "0x000000000000000000000000000000000000000000000a0efaebbe36ceb00000" }, { "emitter": "0xdCF3bb782f28279c6271B20dc5E3eD8f8d83C537", "topics": [ "0x2e2e12a60a82e45c3a89ab9f4d664990c4e04ca3d17c2f473c91a6eae663c752" ], "data": "0xc28c59bac1c4ca108af0361c0cf27820a0455c57eff53ab05b3f9da3fe5e9360000000000000000000000000d76455eb2015591a239ef651518d0e9beef4787f000000000000000000000000a70040b6adcf432dc817e8886fe9eadebd8872380000000000000000000000008310b2cf26e2d2571abdf6cec38043d2018e156000000000000000000000000000000000000000000000054b40b1f852bda00000000000000000000000000000000000000000000000000a0efaebbe36ceb00000" }, { "emitter": "0x6cCB5496e2752BDA84730122832aE732ae96D389", "topics": [ "0x1a5bd54cbdafb7016907a027dec570b2958c3f9924638f95bbcb1719d023f58d", "0xc28c59bac1c4ca108af0361c0cf27820a0455c57eff53ab05b3f9da3fe5e9360", "0x000000000000000000000000d76455eb2015591a239ef651518d0e9beef4787f", "0x000000000000000000000000dcf3bb782f28279c6271b20dc5e3ed8f8d83c537" ], "data": "0x000000000000000000000000000000000000000000000a0efaebbe36ceb00000" } ] }
Show the proof material
{ "chainKey": 1, "headerNumber": 11632731, "transactionIndex": 122, "txHash": "0xb1e4cb611e4f31a5d2bd85ea879539da455630990f832722fabf04e457b74849", "cached": true, "generatedAt": "2026-09-04T10:06:24.816997818Z", "merkleRoot": "0xd025c9e8460d5088f937e7de0e56f4ee50f66e42c776ff4da298503921d72d91", "continuityRoots": 10 }

Replay is rejected

Re-submitting the correct-case proof against a fresh accepted mandate reverts SourceTxAlreadyConsumed(0xf6407fbc1810989fed5310018ab1abba968e3674edd1eda182533954ca3a55a8). The proof submitter earns only a fixed reimbursement and never the reward.

Why Attestcoin earns its place

The same two executions, same predicate, same economics, run through a trusted-reporter baseline instead of the Attestcoin path:

Honest reporter — agreement with setld▪ every case
Compromised reporter — invalid reward leaked (baseline)1 case · 10 tSETLD
Compromised reporter — invalid reward leaked (setld) 0

A compromised reporter paid the reward for an execution that violated the committed cap. setld refused the identical execution because the on-chain proof and predicate did not support it.

The agent decides whether to act, not whether it succeeded

▫ ABSTAIN 0xf7d1d1a7b5guardrail: DEADLINE_TOO_CLOSE
▪ ACCEPT 0x8e1efd162eNet margin (~13 ETH) is ~6.5x the bond at risk with ample deadline buffer, clearing the 10% threshold by a wide margin.
▫ ABSTAIN 0x4bc87fd197Net margin of ~0.0599 ETH is roughly 2% of the 3 ETH bond at risk, well under the ~10% threshold needed to justify putting the full bond on the line.

Model: claude-sonnet-5. Deterministic guardrails gate every decision; the model cannot bypass them, mark an execution successful, or choose a payout.

How could this result be misleading?
One production-quality template (treasury rebalance). Broad 'arbitrary Ethereum task' claims are not made. CC3<->Sepolia attestation lag was ~1 block/min net during the build; a fresh source transaction takes ~20-30 min to become provable. The live demo uses pre-generated proofs (PRD 28 permits this). The 100-case deterministic campaign runs on a Foundry fork, not public testnet. The reporter-compromise ablation uses 2 matched real executions; it demonstrates the mechanism, it is not a large-sample study. CC3 RPC omits mixHash; CC3 contracts are compiled with evm_version london and deployed via an ethers orchestrator rather than forge script.

Verify it yourself

pnpm probe:attestcoin # re-run the S0/S1 environment + field-extraction probe pnpm verify:mandate --id 0x2e69eac5b98a7192868083b62ad5d756aa917a019ac0c0a701b117e3a43094c7 pnpm verify:mandate --id 0x507b1d27d27cc9121a7f1af24bb364efbde7c49d6856ec0fef91f354b6f9950d --tamper cd contracts && forge test