snark_verifier::system::halo2

Function transcript_initial_state

Source
pub fn transcript_initial_state<C: CurveAffine>(
    vk: &VerifyingKey<C>,
) -> C::Scalar
Expand description

Returns the transcript initial state of the VerifyingKey. Roundabout way to do it because VerifyingKey doesn’t expose the field.