So there is no agreement on the output? Once the inputs are agreed upon, you’re saying that the canisters just execute? So…where is the consensus on the outputs? What if a canister decides not to execute the same as the other canisters? I thought there was detection for the most minimal deviation from deterministic execution?
I might just have to go read the papers more in-depth.