Struct WorkClaim 

pub struct WorkClaim<Claim> {
    pub claim: MaybePruned<Claim>,
    pub work: MaybePruned<Work>,
}

A wrapper around the underlying claim that additionally includes the amount of verifiable work completed, and the nonces used, in the process of proving the claim.

This type is instantiated as WorkClaim<ReceiptClaim> when PoVW is used with zkVM proving.

Fields

claim: MaybePruned<Claim>

The wrapped claim (e.g. ReceiptClaim).

work: MaybePruned<Work>

Work associated with proving the wrapped claim.

Implementations

impl WorkClaim<ReceiptClaim>

pub fn join(&self, other: &Self) -> Result<Self, WorkClaimError>

Joins two work claims by combining their receipt claims and work values while ensuring the consumed nonce ranges are disjoint.

pub fn resolve<Claim: Digestible + ?Sized>( &self, assumption: &Claim, ) -> Result<Self>

Available on crate feature std only.

Resolves assumptions in the receipt claim while preserving the work value.

impl<Claim> WorkClaim<Claim>

pub fn into_unknown(self) -> WorkClaim<Unknown>

where Claim: Digestible,

Prunes the claim, retaining its digest, and converts into a WorkClaim with an unknown claim type. Can be used to get receipts of a uniform type across heterogeneous claims.

impl WorkClaim<ReceiptClaim>

pub fn encode_to_seal(&self, buf: &mut Vec<u32>) -> Result<(), PrunedValueError>

Encodes the work claim to a seal buffer.

pub fn decode_from_seal(buf: &mut VecDeque<u32>) -> Result<Self, DecodeError>

Decodes a work claim from a seal buffer.

Trait Implementations

impl<Claim> BorshDeserialize for WorkClaim<Claim>

where Claim: BorshDeserialize,

fn deserialize_reader<__R: Read>(reader: &mut __R) -> Result<Self, Error>

fn deserialize(buf: &mut &[u8]) -> Result<Self, Error>

Deserializes this instance from a given slice of bytes. Updates the buffer to point at the remaining bytes.

fn try_from_slice(v: &[u8]) -> Result<Self, Error>

Deserialize this instance from a slice of bytes.

fn try_from_reader<R>(reader: &mut R) -> Result<Self, Error>

where R: Read,

impl<Claim> BorshSerialize for WorkClaim<Claim>

where Claim: BorshSerialize,

fn serialize<__W: Write>(&self, writer: &mut __W) -> Result<(), Error>

impl<Claim: Clone> Clone for WorkClaim<Claim>

fn clone(&self) -> WorkClaim<Claim>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Claim> Debug for WorkClaim<Claim>

where Claim: Digestible + Debug,

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

Formats the value using the given formatter.

impl<'de, Claim> Deserialize<'de> for WorkClaim<Claim>

where Claim: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<Claim> Digestible for WorkClaim<Claim>

where Claim: Digestible,

fn digest<S: Sha256>(&self) -> Digest

Hash the ReceiptClaim to get a digest of the struct.

impl<Claim> Serialize for WorkClaim<Claim>

where Claim: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.