Struct VerifiedRandomness 

pub struct VerifiedRandomness(/* private fields */);

Captured drand randomness from a successful verify CPI.

Wraps the raw [u8; 32] randomness in a #[must_use] newtype. This closes a class of consumer bugs that ? extraction on a bare Result<[u8; 32]> cannot catch: writing alea_sdk::cpi::verify(...)?; discards the randomness silently with no compiler warning, because ? extracts the Ok variant and Rust happily drops array return values.

By wrapping in a #[must_use] struct, alea_sdk::cpi::verify(...)?; produces a compile-time unused_must_use warning — the consumer is forced to capture the result. Phase 4.5 T1-17 integration-audit fix.

Usage

// Preferred — capture the bytes:
let randomness = alea_sdk::cpi::verify(/* … */)?.into_inner();

// Or keep the wrapper and read without moving:
let verified = alea_sdk::cpi::verify(/* … */)?;
let first_u64 = u64::from_le_bytes(
    verified.as_bytes()[0..8].try_into().unwrap()
);

Implementations

impl VerifiedRandomness

pub fn into_inner(self) -> [u8; 32]

Returns the raw 32-byte randomness and consumes the wrapper.

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

Borrows the underlying 32 bytes without consuming the wrapper.

Trait Implementations

impl AsRef<[u8]> for VerifiedRandomness

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

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

impl Clone for VerifiedRandomness

fn clone(&self) -> VerifiedRandomness

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifiedRandomness

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

Formats the value using the given formatter.

impl From<VerifiedRandomness> for [u8; 32]

fn from(v: VerifiedRandomness) -> Self

Converts to this type from the input type.

impl PartialEq for VerifiedRandomness

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for VerifiedRandomness

impl Eq for VerifiedRandomness

impl StructuralPartialEq for VerifiedRandomness