Independently Verifiable Construction Workflow Protocol | Independently Verifiable Construction | Mathematics | NEROS