consensus-shipyard / ipc-actors

Rust implementation of the IPC actors for FVM
MIT License
6 stars 3 forks source link

Checkpoint: Implicit execution of top-down checkpoints #104

Open adlrocha opened 1 year ago

adlrocha commented 1 year ago

Related: https://github.com/consensus-shipyard/ipc-actors/issues/103

Top-down checkpoints are used to agree on the state of the parent that the validators of a subnet have seen, so they can agree when a top-down message is final, and they can trigger the execution of top-down messages. Currently, top-down checkpoints are submitted in the same way as bottom-up checkpoints, through explicit messages from a validators. However, in order to remove the need from gas from validators and all the gas-related problems in the submission and execution of top-down messages, we can probably execute the submission of top-down checkpoints implicitly. With this: