diff --git a/crypto/stark/src/prover.rs b/crypto/stark/src/prover.rs index 5078ce290..faf512a72 100644 --- a/crypto/stark/src/prover.rs +++ b/crypto/stark/src/prover.rs @@ -2283,11 +2283,11 @@ pub trait IsStarkProver< // grinding: generate nonce and append it to the transcript #[cfg(feature = "instruments")] let t_sub = Instant::now(); - let security_bits = air.context().proof_options.grinding_factor; + let grinding_factor = air.context().proof_options.grinding_factor; let mut nonce = None; - if security_bits > 0 { + if grinding_factor > 0 { let nonce_value = - grinding::generate_nonce_maybe_gpu(&transcript.state(), security_bits) + grinding::generate_nonce_maybe_gpu(&transcript.state(), grinding_factor) .expect("nonce not found"); transcript.append_bytes(&nonce_value.to_be_bytes()); nonce = Some(nonce_value); diff --git a/crypto/stark/src/verifier.rs b/crypto/stark/src/verifier.rs index ca6f15152..44add9c21 100644 --- a/crypto/stark/src/verifier.rs +++ b/crypto/stark/src/verifier.rs @@ -1579,9 +1579,9 @@ pub trait IsStarkVerifier< } // Receive grinding value - let security_bits = air.context().proof_options.grinding_factor; + let grinding_factor = air.context().proof_options.grinding_factor; let mut grinding_seed = [0u8; 32]; - if security_bits > 0 + if grinding_factor > 0 && let Some(nonce_value) = proof.nonce() { grinding_seed = transcript.state(); @@ -1662,10 +1662,10 @@ pub trait IsStarkVerifier< ); // verify grinding - let security_bits = air.context().proof_options.grinding_factor; - if security_bits > 0 { + let grinding_factor = air.context().proof_options.grinding_factor; + if grinding_factor > 0 { let nonce_is_valid = proof.nonce().is_some_and(|nonce_value| { - grinding::is_valid_nonce(&challenges.grinding_seed, nonce_value, security_bits) + grinding::is_valid_nonce(&challenges.grinding_seed, nonce_value, grinding_factor) }); if !nonce_is_valid {