webasm-solidity
webasm-solidity copied to clipboard
Dispute Resolution support preprocessing pipeline task
Before a normal wasm task is submitted there can also be a preprocessing step. This preprocessing can involve a pipeline
Pipeline
-Preprocess code (initialize wasm task) -Floating point -Metering -Linking (Optional)
Each of these steps could use their own verification games, or they can be combined into one game (aka the pipeline task). This single pipeline task can simply return the root hash of the preprocessed files.
In the case where a verifier challenges a task, and that task uses the preprocessing step, a verifier will dispute the preprocessing task first. Then once that passes, the game will carry on to the normal wasm task dispute.