fix

succinctlabs · Apr 16, 2024 · 288b940 · 288b940
1 parent ba9d5a5
commit 288b940
Showing 1 changed file with 3 additions and 7 deletions.
diff --git a/core/src/stark/machine.rs b/core/src/stark/machine.rs
@@ -315,16 +315,12 @@ impl<SC: StarkGenericConfig, A: MachineAir<Val<SC>>> MachineStark<SC, A> {
                     if shard_proof.public_values.committed_value_digest != *claimed_digest {
                         return Err(ProgramVerificationError::InvalidPublicValuesDigest);
                     }
-                    // The last shard should be halted.
-                    if i == proof.shard_proofs.len() - 1
-                        && shard_proof.public_values.last_instr_halt == 0
-                    {
+                    // The last shard should be halted. Halt is signaled with next_pc == 0.
+                    if i == proof.shard_proofs.len() - 1 && shard_proof.public_values.next_pc != 0 {
                         return Err(ProgramVerificationError::InvalidShardTransition);
                     }
                     // All non-last shards should not be halted.
-                    if i != proof.shard_proofs.len() - 1
-                        && shard_proof.public_values.last_instr_halt != 0
-                    {
+                    if i != proof.shard_proofs.len() - 1 && shard_proof.public_values.next_pc == 0 {
                         return Err(ProgramVerificationError::InvalidShardTransition);
                     }
                 }