Struct poseidon_permutation::r1cs::InstanceVar
source · pub struct InstanceVar<F: PrimeField> {
pub parameters: PoseidonParameters<F>,
pub cs: ConstraintSystemRef<F>,
pub state_words: Vec<FpVar<F>>,
}
Expand description
Represents a Poseidon permutation instance.
Fields§
§parameters: PoseidonParameters<F>
Parameters for this instance of Poseidon.
cs: ConstraintSystemRef<F>
Constraint system
state_words: Vec<FpVar<F>>
Current state
Implementations§
source§impl<F> InstanceVar<F>where
F: PrimeField,
impl<F> InstanceVar<F>where
F: PrimeField,
sourcepub fn n_to_1_fixed_hash(
parameters: PoseidonParameters<F>,
cs: ConstraintSystemRef<F>,
input_words: Vec<FpVar<F>>
) -> FpVar<F>
pub fn n_to_1_fixed_hash( parameters: PoseidonParameters<F>, cs: ConstraintSystemRef<F>, input_words: Vec<FpVar<F>> ) -> FpVar<F>
Fixed width hash from n:1. Outputs a F given t
input words.
Auto Trait Implementations§
impl<F> Freeze for InstanceVar<F>where
F: Freeze,
impl<F> !RefUnwindSafe for InstanceVar<F>
impl<F> !Send for InstanceVar<F>
impl<F> !Sync for InstanceVar<F>
impl<F> Unpin for InstanceVar<F>where
F: Unpin,
impl<F> !UnwindSafe for InstanceVar<F>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more