#[repr(u64)]pub enum Parameters {
Bn254X5 = 0,
}Expand description
Configuration parameters for the Poseidon hash function.
The parameters of each configuration consist of:
- Elliptic curve type: This defines the prime field in which the cryptographic operations are conducted.
- S-Box: The substitution box used in the cryptographic rounds.
- Full rounds: The number of full transformation rounds in the hash function.
- Partial rounds: The number of partial transformation rounds in the hash function.
Each configuration variant’s name is composed of its elliptic curve type followed by its S-Box specification.
Variants§
Bn254X5 = 0
Configuration using the Barreto–Naehrig curve with an embedding degree of 12, defined over a 254-bit prime field.
Configuration Details:
- S-Box: ( x^5 )
- Width: ( 2 \leq t \leq 13 )
- Inputs: ( 1 \leq n \leq 12 )
- Full rounds: 8
- Partial rounds: Depending on width: [56, 57, 56, 60, 60, 63, 64, 63, 60, 66, 60, 65]
Trait Implementations§
Source§impl TryFrom<u64> for Parameters
impl TryFrom<u64> for Parameters
Source§type Error = PoseidonSyscallError
type Error = PoseidonSyscallError
The type returned in the event of a conversion error.
Source§fn try_from(
value: u64,
) -> Result<Parameters, <Parameters as TryFrom<u64>>::Error>
fn try_from( value: u64, ) -> Result<Parameters, <Parameters as TryFrom<u64>>::Error>
Performs the conversion.
Auto Trait Implementations§
impl Freeze for Parameters
impl RefUnwindSafe for Parameters
impl Send for Parameters
impl Sync for Parameters
impl Unpin for Parameters
impl UnwindSafe for Parameters
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
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> IntoPropValue<Option<T>> for T
impl<T> IntoPropValue<Option<T>> for T
Source§fn into_prop_value(self) -> Option<T>
fn into_prop_value(self) -> Option<T>
Convert
self to a value of a Properties struct.Source§impl<T> IntoPropValue<T> for T
impl<T> IntoPropValue<T> for T
Source§fn into_prop_value(self) -> T
fn into_prop_value(self) -> T
Convert
self to a value of a Properties struct.Source§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T, O> SuperFrom<T> for Owhere
O: From<T>,
impl<T, O> SuperFrom<T> for Owhere
O: From<T>,
Source§fn super_from(input: T) -> O
fn super_from(input: T) -> O
Convert from a type to another type.
Source§impl<T, O, M> SuperInto<O, M> for Twhere
O: SuperFrom<T, M>,
impl<T, O, M> SuperInto<O, M> for Twhere
O: SuperFrom<T, M>,
Source§fn super_into(self) -> O
fn super_into(self) -> O
Convert from a type to another type.