Struct arkworks_gadgets::poseidon::PoseidonParameters [−][src]
Expand description
The Poseidon permutation.
Fields
round_keys: Vec<F>
The round key constants
mds_matrix: Vec<Vec<F>>
The MDS matrix to apply in the mix layer.
Implementations
Trait Implementations
fn new_variable<T: Borrow<PoseidonParameters<F>>>(
_cs: impl Into<Namespace<F>>,
f: impl FnOnce() -> Result<T, SynthesisError>,
_mode: AllocationMode
) -> Result<Self, SynthesisError>
fn new_variable<T: Borrow<PoseidonParameters<F>>>(
_cs: impl Into<Namespace<F>>,
f: impl FnOnce() -> Result<T, SynthesisError>,
_mode: AllocationMode
) -> Result<Self, SynthesisError>
Allocates a new variable of type Self
in the ConstraintSystem
cs
.
The mode of allocation is decided by mode
. Read more
fn new_constant(
cs: impl Into<Namespace<F>>,
t: impl Borrow<V>
) -> Result<Self, SynthesisError>
fn new_constant(
cs: impl Into<Namespace<F>>,
t: impl Borrow<V>
) -> Result<Self, SynthesisError>
Allocates a new constant of type Self
in the ConstraintSystem
cs
. Read more
fn new_input<T>(
cs: impl Into<Namespace<F>>,
f: impl FnOnce() -> Result<T, SynthesisError>
) -> Result<Self, SynthesisError> where
T: Borrow<V>,
fn new_input<T>(
cs: impl Into<Namespace<F>>,
f: impl FnOnce() -> Result<T, SynthesisError>
) -> Result<Self, SynthesisError> where
T: Borrow<V>,
Allocates a new public input of type Self
in the ConstraintSystem
cs
. Read more
fn new_witness<T>(
cs: impl Into<Namespace<F>>,
f: impl FnOnce() -> Result<T, SynthesisError>
) -> Result<Self, SynthesisError> where
T: Borrow<V>,
fn new_witness<T>(
cs: impl Into<Namespace<F>>,
f: impl FnOnce() -> Result<T, SynthesisError>
) -> Result<Self, SynthesisError> where
T: Borrow<V>,
Allocates a new private witness of type Self
in the ConstraintSystem
cs
. Read more
Returns the “default value” for a type. Read more
Auto Trait Implementations
impl<F> RefUnwindSafe for PoseidonParameters<F> where
F: RefUnwindSafe,
impl<F> Send for PoseidonParameters<F> where
F: Send,
impl<F> Sync for PoseidonParameters<F> where
F: Sync,
impl<F> Unpin for PoseidonParameters<F> where
F: Unpin,
impl<F> UnwindSafe for PoseidonParameters<F> where
F: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
Instruments this type with the provided Span
, returning an
Instrumented
wrapper. Read more
type Output = T
type Output = T
Should always be Self