We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 36a665b commit 66a4ce4Copy full SHA for 66a4ce4
ledger/src/proofs/step.rs
@@ -1948,8 +1948,10 @@ pub fn expand_deferred(params: ExpandDeferredParams) -> Result<DeferredValues<Fp
1948
let zeta = ScalarChallenge::limbs_to_field(&plonk0.zeta_bytes);
1949
let alpha = ScalarChallenge::limbs_to_field(&plonk0.alpha_bytes);
1950
let step_domain: u8 = proof_state.deferred_values.branch_data.domain_log2.as_u8();
1951
- let domain: Radix2EvaluationDomain<Fp> =
1952
- Radix2EvaluationDomain::new(1 << step_domain as u64).unwrap();
+ let Some(domain) = Radix2EvaluationDomain::<Fp>::new(1 << step_domain as u64) else {
+ return Err(InvalidBigInt);
1953
+ };
1954
+
1955
let zetaw = zeta * domain.group_gen;
1956
1957
let plonk_minimal = PlonkMinimal::<Fp, 4> {
0 commit comments