Functions — github.com/arkworks-rs/ripp

CodeHub MCPcopy Create free account

hub / github.com/arkworks-rs/ripp / functions

Functions109 in github.com/arkworks-rs/ripp

⨍ Functions 109◇ Types & classes 45

( ck: (&[LMC::Key], &[RMC::Key], &IPC::Key), com: (&LMC::Output, &RMC::Output, &IPC::Output),

ip_proofs/src/gipa.rs:135

( v_srs: &VerifierSRS<P>, ck_t: &IPC::Key, com: (&LMC::Output, &RMC::Output, &IPC::Out

ip_proofs/src/tipa/mod.rs:233

( v_srs: &VerifierSRS<P>, com: &P::G1, point: &P::ScalarField, eval: &P::Scala

ip_proofs/src/applications/poly_commit/mod.rs:108

( ck: &(Vec<P::G1>, Vec<P::G2>), com: &PairingOutput<P>, point: &(P::ScalarField, P::S

ip_proofs/src/applications/poly_commit/transparent.rs:188

(k: &[Self::Key], m: &[Self::Message], com: &Self::Output)

dh_commitments/src/lib.rs:52

Verify an inner-pairing-product proof.

sipp/src/lib.rs:109

Methodverify_recursive_challenge_transcript

Helper function used to calculate recursive challenges from proof execution (transcript in reverse)

ip_proofs/src/gipa.rs:315

Methodverify_with_srs_shift

( v_srs: &VerifierSRS<P>, ck_t: &IPC::Key, com: (&LMC::Output, &RMC::Output, &IPC::Out

ip_proofs/src/tipa/mod.rs:242

Methodverify_with_structured_scalar_message

( ck: (&[LMC::Key], &IPC::Key), com: (&LMC::Output, &IPC::Output), scalar_b: &LMC::Sca

ip_proofs/src/tipa/structured_scalar_message.rs:86

← previous101–109 of 109, ranked by callers