Struct risc0_zkvm::sha::Digest

source ·
pub struct Digest(_);
Expand description

Digest represents the results of a hashing function. It is always 256 bits of storage although depending on the hash it may have additional structure (for example Poseidon’s output is actually composed of field elements). The storage is in u32’s in part to simiplify alignment requirements, especially in the zkVM.

Implementations§

source§

impl Digest

source

pub const fn new(data: [u32; 8]) -> Digest

Constant constructor

source

pub fn as_words(&self) -> &[u32]

Returns a reference to the Digest as a slice of words.

source

pub fn as_bytes(&self) -> &[u8]

Returns a reference to the Digest as a slice of bytes.

source

pub fn as_mut_words(&mut self) -> &mut [u32]

Returns a mutable slice of words.

source

pub fn as_mut_bytes(&mut self) -> &mut [u8]

Returns a mutable slice of bytes.

Trait Implementations§

source§

impl AsMut<[u32]> for Digest

source§

fn as_mut(&mut self) -> &mut [u32]

Converts this type into a mutable reference of the (usually inferred) input type.
source§

impl AsMut<[u32; 8]> for Digest

source§

fn as_mut(&mut self) -> &mut [u32; 8]

Converts this type into a mutable reference of the (usually inferred) input type.
source§

impl AsMut<[u8]> for Digest

source§

fn as_mut(&mut self) -> &mut [u8]

Converts this type into a mutable reference of the (usually inferred) input type.
source§

impl AsMut<[u8; 32]> for Digest

source§

fn as_mut(&mut self) -> &mut [u8; 32]

Converts this type into a mutable reference of the (usually inferred) input type.
source§

impl AsRef<[u32]> for Digest

source§

fn as_ref(&self) -> &[u32]

Converts this type into a shared reference of the (usually inferred) input type.
source§

impl AsRef<[u32; 8]> for Digest

source§

fn as_ref(&self) -> &[u32; 8]

Converts this type into a shared reference of the (usually inferred) input type.
source§

impl AsRef<[u8]> for Digest

source§

fn as_ref(&self) -> &[u8]

Converts this type into a shared reference of the (usually inferred) input type.
source§

impl AsRef<[u8; 32]> for Digest

source§

fn as_ref(&self) -> &[u8; 32]

Converts this type into a shared reference of the (usually inferred) input type.
source§

impl Clone for Digest

source§

fn clone(&self) -> Digest

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl Debug for Digest

source§

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

Formats the value using the given formatter. Read more
source§

impl Default for Digest

source§

fn default() -> Digest

Returns the “default value” for a type. Read more
source§

impl<'de> Deserialize<'de> for Digest

source§

fn deserialize<__D>( __deserializer: __D ) -> Result<Digest, <__D as Deserializer<'de>>::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
source§

impl<'zeroio_deserialize> Deserialize<'zeroio_deserialize> for Digest

§

type RefType = DigestRef<'zeroio_deserialize>

source§

const FIXED_WORDS: usize = 8usize

source§

fn deserialize_from( _buf: &'zeroio_deserialize [u32] ) -> <Digest as Deserialize<'zeroio_deserialize>>::RefType

source§

fn from_ref( _val: &<Digest as Deserialize<'zeroio_deserialize>>::RefType ) -> Digest

source§

impl Display for Digest

source§

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

Formats the value using the given formatter. Read more
source§

impl<'a> From<&'a [u32; 8]> for &'a Digest

source§

fn from(data: &'a [u32; 8]) -> &'a Digest

Converts to this type from the input type.
source§

impl From<[u32; 8]> for Digest

Create a new Digest from an array of words.

source§

fn from(data: [u32; 8]) -> Digest

Converts to this type from the input type.
source§

impl From<[u8; 32]> for Digest

Create a new Digest from an array of bytes.

source§

fn from(data: [u8; 32]) -> Digest

Converts to this type from the input type.
source§

impl From<Digest> for [u32; 8]

source§

fn from(digest: Digest) -> [u32; 8]

Converts to this type from the input type.
source§

impl From<Digest> for [u8; 32]

source§

fn from(digest: Digest) -> [u8; 32]

Converts to this type from the input type.
source§

impl FromHex for Digest

§

type Error = FromHexError

source§

fn from_hex<T>(hex: T) -> Result<Digest, <Digest as FromHex>::Error>where T: AsRef<[u8]>,

Creates an instance of type Self from the given hex string, or fails with a custom error type. Read more
source§

impl Ord for Digest

source§

fn cmp(&self, other: &Digest) -> Ordering

This method returns an Ordering between self and other. Read more
1.21.0 · source§

fn max(self, other: Self) -> Selfwhere Self: Sized,

Compares and returns the maximum of two values. Read more
1.21.0 · source§

fn min(self, other: Self) -> Selfwhere Self: Sized,

Compares and returns the minimum of two values. Read more
1.50.0 · source§

fn clamp(self, min: Self, max: Self) -> Selfwhere Self: Sized + PartialOrd<Self>,

Restrict a value to a certain interval. Read more
source§

impl PartialEq<Digest> for Digest

source§

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

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl PartialOrd<Digest> for Digest

source§

fn partial_cmp(&self, other: &Digest) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · source§

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

This method tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · source§

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

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · source§

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

This method tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · source§

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

This method tests greater than or equal to (for self and other) and is used by the >= operator. Read more
source§

impl Serialize for Digest

source§

fn serialize<__S>( &self, __serializer: __S ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where __S: Serializer,

Serialize this value into the given Serde serializer. Read more
source§

impl Serialize for Digest

source§

const FIXED_WORDS: usize = 8usize

source§

fn tot_len(&self) -> usize

source§

fn fill( &self, _buf: &mut AllocBuf<'_>, _a: &mut Alloc<'_> ) -> Result<(), ZeroioError>

source§

impl TryFrom<&[u32]> for Digest

§

type Error = TryFromSliceError

The type returned in the event of a conversion error.
source§

fn try_from(data: &[u32]) -> Result<Digest, <Digest as TryFrom<&[u32]>>::Error>

Performs the conversion.
source§

impl TryFrom<&[u8]> for Digest

§

type Error = TryFromSliceError

The type returned in the event of a conversion error.
source§

fn try_from(data: &[u8]) -> Result<Digest, <Digest as TryFrom<&[u8]>>::Error>

Performs the conversion.
source§

impl<'a> TryFrom<&'a [u32]> for &'a Digest

§

type Error = PodCastError

The type returned in the event of a conversion error.
source§

fn try_from( data: &'a [u32] ) -> Result<&'a Digest, <&'a Digest as TryFrom<&'a [u32]>>::Error>

Performs the conversion.
source§

impl TryFrom<Vec<u32, Global>> for Digest

§

type Error = Vec<u32, Global>

The type returned in the event of a conversion error.
source§

fn try_from( data: Vec<u32, Global> ) -> Result<Digest, <Digest as TryFrom<Vec<u32, Global>>>::Error>

Performs the conversion.
source§

impl TryFrom<Vec<u8, Global>> for Digest

§

type Error = Vec<u8, Global>

The type returned in the event of a conversion error.
source§

fn try_from( data: Vec<u8, Global> ) -> Result<Digest, <Digest as TryFrom<Vec<u8, Global>>>::Error>

Performs the conversion.
source§

impl Zeroable for Digest

source§

fn zeroed() -> Self

source§

impl Copy for Digest

source§

impl Eq for Digest

source§

impl Pod for Digest

source§

impl StructuralEq for Digest

source§

impl StructuralPartialEq for Digest

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CheckedBitPattern for Twhere T: AnyBitPattern,

§

type Bits = T

Self must have the same layout as the specified Bits except for the possible invalid bit patterns being checked during is_valid_bit_pattern.
source§

fn is_valid_bit_pattern(_bits: &T) -> bool

If this function returns true, then it must be valid to reinterpret bits as &Self.
source§

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T> Instrument for T

source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for Twhere U: From<T>,

const: unstable · source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

§

impl<T> Pointable for T

§

const ALIGN: usize = mem::align_of::<T>()

The alignment of pointer.
§

type Init = T

The type for initializers.
§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
source§

impl<T> Same<T> for T

§

type Output = T

Should always be Self
source§

impl<T> ToHex for Twhere T: AsRef<[u8]>,

source§

fn encode_hex<U>(&self) -> Uwhere U: FromIterator<char>,

Encode the hex strict representing self into the result. Lower case letters are used (e.g. f9b4ca)
source§

fn encode_hex_upper<U>(&self) -> Uwhere U: FromIterator<char>,

Encode the hex strict representing self into the result. Upper case letters are used (e.g. F9B4CA)
source§

impl<T> ToOwned for Twhere T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T> ToString for Twhere T: Display + ?Sized,

source§

default fn to_string(&self) -> String

Converts the given value to a String. Read more
source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
const: unstable · source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

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

The type returned in the event of a conversion error.
const: unstable · source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

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

§

fn vzip(self) -> V

source§

impl<T> WithSubscriber for T

source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

impl<T> AnyBitPattern for Twhere T: Pod,

source§

impl<T> DeserializeOwned for Twhere T: for<'a> Deserialize<'a>,

source§

impl<T> DeserializeOwned for Twhere T: for<'de> Deserialize<'de>,

source§

impl<T> NoUninit for Twhere T: Pod,