Skip to main content

create_caml_oracles

kimchi::oracles::caml

Function create_caml_oracles 

Source 
pub fn create_caml_oracles<const FULL_ROUNDS: usize, G, CamlF, EFqSponge, EFrSponge, CurveParams>(
    lgr_comm: Vec<PolyComm<G>>,
    index: VerifierIndex<FULL_ROUNDS, G, CurveParams>,
    proof: ProverProof<G, OpeningProof<G, FULL_ROUNDS>, FULL_ROUNDS>,
    public_input: &[G::ScalarField],
) -> Result<CamlOracles<CamlF>, VerifyError>
where
    G: KimchiCurve<FULL_ROUNDS>,
    G::BaseField: PrimeField,
    EFqSponge: Clone + FqSponge<G::BaseField, G, G::ScalarField, FULL_ROUNDS>,
    EFrSponge: FrSponge<G::ScalarField> + From<&'static ArithmeticSpongeParams<G::ScalarField, FULL_ROUNDS>>,
    CamlF: From<G::ScalarField>,
    CurveParams: OpenProof<G, FULL_ROUNDS>,