Automation Network: conceptual design

Block Assignment with Operator Stake in Eigenlayer:

Every block is allocated to an operator who holds a stake in Eigenlayer, using the randomness of the RANDAO mechanism. A greater stake results in a higher likelihood of being assigned a block.

Smart Contract Checking and Transaction Execution:

For the assigned block, the operator verifies all Ditto user smart contracts requiring transaction execution (resolve() == true).

Submission of Multicall Transaction:

The operator then initiates a multicall transaction containing the necessary executions. Execution metadata is stored on-chain within the Ditto Network contract.

Fail-Safe Mechanism with Fraud Proof:

If the operator fails, Fishers can submit fraud-proof. This proof demonstrates that block N should have been executed by operator K, contradicting the recorded execution metadata.