INNER CODE UNIT · Rust

claimed_rhs

arkworks-rs/poly-commit · poly-commit/src/lib.rs:527

                let claimed_rhs = *eqn_evaluations
                    .get(&(lc_label.clone(), point.clone()))
                    .ok_or(Error::MissingEvaluation {
                        label: lc_label.to_string(),
                    })?;

                let mut actual_rhs = F::zero();

                // Compute the value of the linear combination by adding the
                // claimed value for each polynomial in it (to be proved later)
                // scaled by the corresponding coefficient.
                for (coeff, label) in lc.iter() {
                    let eval = match label {
                        LCTerm::One => F::one(),
                        LCTerm::PolyLabel(l) => *poly_evals
                            .get(&(l.clone().into(), point.clone()))
                            .ok_or(Error::MissingEvaluation {
                                label: format!("{}-{:?}", l.clone(), point.clone()),

View source record →