Struct BabyBearUnit 

#[repr(transparent)]
pub struct BabyBearUnit(pub BabyBear);

Transparent Unit wrapper around BabyBear.

Tuple Fields

0: BabyBear

Trait Implementations

impl Add for BabyBearUnit

type Output = BabyBearUnit

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self

Performs the + operation.

impl Clone for BabyBearUnit

fn clone(&self) -> BabyBearUnit

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for BabyBearUnit

impl Debug for BabyBearUnit

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Deref for BabyBearUnit

type Target = MontyField31<BabyBearParameters>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl EncodedSessionId for BabyBearUnit

Reads a byte string as BabyBear units, one element per byte.

This is what lets a sponge over BabyBearUnit be seeded from a session identifier: DuplexSponge implements DuplexSpongeInit over any alphabet that byte strings embed into. With it, ProverState::new works over BabyBear exactly as it does over bytes.

One element per byte rather than a denser packing: every element is then in [0, 256), so the map is injective by inspection and there is no remainder case to get wrong. A 32-byte session identifier costs 32 units, absorbed once per proof.

Security

Like the identity embedding on bytes, this map is injective but not prefix-free across lengths: b"ab" maps to a prefix of b"abc". It is admissible where the byte length is fixed by the protocol — a session identifier is always 32 bytes — and a variable-length byte string must be length-prefixed by the caller.

fn encode_bytes(bytes: &[u8]) -> impl AsRef<[Self]>

Reads bytes as a string of units.

impl Eq for BabyBearUnit

impl From<BabyBearUnit> for BabyBear

fn from(value: BabyBearUnit) -> Self

Converts to this type from the input type.

impl From<MontyField31<BabyBearParameters>> for BabyBearUnit

fn from(value: BabyBear) -> Self

Converts to this type from the input type.

impl Hash for BabyBearUnit

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Mul for BabyBearUnit

type Output = BabyBearUnit

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> Self

Performs the * operation.

impl PartialEq for BabyBearUnit

fn eq(&self, other: &BabyBearUnit) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Ring for BabyBearUnit

const ONE: Self

The multiplicative identity.

fn add(self, other: Self) -> Self

fn mul(self, other: Self) -> Self

impl StructuralPartialEq for BabyBearUnit

impl Unit for BabyBearUnit

const ZERO: Self

The zero element.