Skip to main content

CommitmentOpsGadget

sonobe_primitives::commitments

Trait CommitmentOpsGadget 

Source 
pub trait CommitmentOpsGadget: CommitmentDefGadget<Widget: CommitmentOps> {
    // Required method
    fn open(
        ck: &Self::KeyVar,
        v: &[Self::ScalarVar],
        r: &Self::RandomnessVar,
        cm: &Self::CommitmentVar,
    ) -> Result<(), SynthesisError>;
}
Expand description

CommitmentOpsGadget defines algorithms (majorly the opening algorithm) for commitment schemes in-circuit.

Required Methods§

Source

fn open( ck: &Self::KeyVar, v: &[Self::ScalarVar], r: &Self::RandomnessVar, cm: &Self::CommitmentVar, ) -> Result<(), SynthesisError>

CommitmentOpsGadget::open defines the commitment opening gadget that matches its out-of-circuit widget CommitmentOps::open.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§