Struct snarkvm_wasm::algorithms::commitment::PedersenCommitmentGadget [−][src]
pub struct PedersenCommitmentGadget<G, F, GG>(_, _, _)
where
G: Group,
F: Field,
GG: GroupGadget<G, F>;
Trait Implementations
impl<F, G, GG, S> CommitmentGadget<PedersenCommitment<G, S>, F> for PedersenCommitmentGadget<G, F, GG> where
G: Group,
S: PedersenSize,
F: PrimeField,
GG: GroupGadget<G, F>, [src]
impl<F, G, GG, S> CommitmentGadget<PedersenCommitment<G, S>, F> for PedersenCommitmentGadget<G, F, GG> where
G: Group,
S: PedersenSize,
F: PrimeField,
GG: GroupGadget<G, F>, [src]type OutputGadget = GG
type ParametersGadget = PedersenCommitmentParametersGadget<G, S, F>
type RandomnessGadget = PedersenRandomnessGadget<G>
pub fn check_commitment_gadget<CS>(
cs: CS,
parameters: &<PedersenCommitmentGadget<G, F, GG> as CommitmentGadget<PedersenCommitment<G, S>, F>>::ParametersGadget,
input: &[UInt8],
randomness: &<PedersenCommitmentGadget<G, F, GG> as CommitmentGadget<PedersenCommitment<G, S>, F>>::RandomnessGadget
) -> Result<<PedersenCommitmentGadget<G, F, GG> as CommitmentGadget<PedersenCommitment<G, S>, F>>::OutputGadget, SynthesisError> where
CS: ConstraintSystem<F>, [src]
cs: CS,
parameters: &<PedersenCommitmentGadget<G, F, GG> as CommitmentGadget<PedersenCommitment<G, S>, F>>::ParametersGadget,
input: &[UInt8],
randomness: &<PedersenCommitmentGadget<G, F, GG> as CommitmentGadget<PedersenCommitment<G, S>, F>>::RandomnessGadget
) -> Result<<PedersenCommitmentGadget<G, F, GG> as CommitmentGadget<PedersenCommitment<G, S>, F>>::OutputGadget, SynthesisError> where
CS: ConstraintSystem<F>,
Auto Trait Implementations
impl<G, F, GG> RefUnwindSafe for PedersenCommitmentGadget<G, F, GG> where
F: RefUnwindSafe,
G: RefUnwindSafe,
GG: RefUnwindSafe,
F: RefUnwindSafe,
G: RefUnwindSafe,
GG: RefUnwindSafe,
impl<G, F, GG> Send for PedersenCommitmentGadget<G, F, GG> where
GG: Send,
GG: Send,
impl<G, F, GG> Sync for PedersenCommitmentGadget<G, F, GG> where
GG: Sync,
GG: Sync,
impl<G, F, GG> Unpin for PedersenCommitmentGadget<G, F, GG> where
F: Unpin,
G: Unpin,
GG: Unpin,
F: Unpin,
G: Unpin,
GG: Unpin,
impl<G, F, GG> UnwindSafe for PedersenCommitmentGadget<G, F, GG> where
F: UnwindSafe,
G: UnwindSafe,
GG: UnwindSafe,
F: UnwindSafe,
G: UnwindSafe,
GG: UnwindSafe,
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]pub fn borrow_mut(&mut self) -> &mut T[src]
pub fn borrow_mut(&mut self) -> &mut T[src]Mutably borrows from an owned value. Read more
impl<T> Pointable for T
impl<T> Pointable for Timpl<T> Same<T> for T
impl<T> Same<T> for Ttype Output = T
type Output = TShould always be Self
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
impl<V, T> VZip<V> for T where
V: MultiLane<T>,