Function prio::pcp::prove[−][src]

pub fn prove<V: Value>(
    input: &V, 
    prove_rand: &[V::Field], 
    joint_rand: &[V::Field]
) -> Result<Proof<V::Field>, PcpError>

Expand description

Generate a proof of an input’s validity.