[][src]Struct poseidon252::StorageScalar

pub struct StorageScalar(pub BlsScalar);

This struct is a Wrapper type over the bls12-381 Scalar which has implemented inside the logic to allows Kelvin Merkle Trees understand how to store Scalars inside of their leaves.

This Struct is the one that we will use inside of our SmartContract storage logic to encode/compress all of our Data Structures data into a single Scalar.

Trait Implementations

impl AsRef<StorageScalar> for PoseidonAnnotation

impl AsRef<StorageScalar> for PoseidonAnnotation

impl Borrow<Scalar> for StorageScalar[src]

impl Borrow<StorageScalar> for PoseidonAnnotation

impl<'__a> Borrow<StorageScalar> for &'__a PoseidonAnnotation

impl Borrow<StorageScalar> for PoseidonAnnotation

impl<'__a> Borrow<StorageScalar> for &'__a PoseidonAnnotation

impl Clone for StorageScalar[src]

impl<A> Combine<A> for StorageScalar[src]

fn combine<E>(elements: &[E]) -> Option<Self> where
    A: Borrow<Self> + Clone,
    E: ErasedAnnotation<A>, 
[src]

This implements the logic that Kelvin needs in order to know how to hash an entire merkle tree level.

It includes the generation of the bitflags logic inside of it.

impl<H> Content<H> for StorageScalar where
    H: ByteHash, 
[src]

impl Debug for StorageScalar[src]

impl Default for StorageScalar[src]

impl<'_> From<&'_ StorageScalar> for StorageScalar[src]

impl From<u64> for StorageScalar[src]

impl Into<Scalar> for StorageScalar[src]

Auto Trait Implementations

impl RefUnwindSafe for StorageScalar

impl Send for StorageScalar

impl Sync for StorageScalar

impl Unpin for StorageScalar

impl UnwindSafe for StorageScalar

Blanket Implementations

impl<A, L, H> Annotation<L, H> for A where
    A: 'static + Combine<A> + for<'any> From<&'any L> + Content<H>,
    H: ByteHash, 

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<A, T> Combine<A> for T where
    T: Associative + Clone

impl<T> Erased for T

impl<T> Erased for T

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,