Spekulation i verifieringen resulterar i spekulativ avkodning, vilket möjliggör asynkron ritare och verifierare. (*given en dedikerad hårdvara för ritaren.)