Skip to main content

JobReceipt

Struct JobReceipt 

Source
pub struct JobReceipt {
    pub backend_id: String,
    pub circuit_hash: [u8; 32],
    pub calibration_ref: Option<[u8; 32]>,
    pub result_hash: [u8; 32],
    pub shots: u64,
    pub merkle_root: [u8; 32],
    pub joules_micro: u64,
    pub grant: GrantRef,
    pub parent_receipt_hash: Option<[u8; 32]>,
    pub signer_pubkey: [u8; 32],
    pub signer_id: String,
    pub sig: [u8; 64],
}
Expand description

A signed, joule-metered, grant-authorized record of one dispatched circuit — bound to the exact calibration state the device was in when it ran.

Fields§

§backend_id: String

Which backend actually ran it: "ionq:aria-1", "wai.quantum.circuit".

§circuit_hash: [u8; 32]

Content hash of the dispatched circuit (e.g. a WQC container / QASM).

§calibration_ref: Option<[u8; 32]>

The CalibrationReceipt::receipt_hash of the device state in effect — the QCIVET “the claimed calibration was actually in effect” binding. None for a simulator or an uncalibrated run.

§result_hash: [u8; 32]

Content hash of the returned result (counts histogram / statevector).

§shots: u64

Shots requested (informational).

§merkle_root: [u8; 32]

Merkle root over [circuit_hash, result_hash, (calibration_ref?)].

§joules_micro: u64

Measured energy of the job (µJ). Attested by the signature.

§grant: GrantRef§parent_receipt_hash: Option<[u8; 32]>§signer_pubkey: [u8; 32]§signer_id: String§sig: [u8; 64]

Implementations§

Source§

impl JobReceipt

Source

pub fn seal( signer: &SigningKey, signer_id: impl Into<String>, backend_id: impl Into<String>, circuit_hash: [u8; 32], result_hash: [u8; 32], calibration_ref: Option<[u8; 32]>, shots: u64, joules_micro: u64, grant: GrantRef, parent_receipt_hash: Option<[u8; 32]>, ) -> JobReceipt

Source

pub fn honors_budget(&self) -> bool

Source

pub fn verify(&self) -> bool

Merkle recomputes, joules within the grant ceiling, signature valid.

Source

pub fn verify_against_calibration(&self, cal: &CalibrationReceipt) -> bool

The cross-link check: this job claims it ran under cal’s device state. Confirms cal verifies and its id equals this job’s calibration_ref. A third party can now assert “this result was produced on a device in this attested calibration state” — the property QCIVET names and nobody signs.

Source

pub fn result_matches(&self, result_bytes: &[u8]) -> bool

Confirm the result bytes bind to this receipt’s result_hash.

Source

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

Source

pub fn to_json(&self) -> String

Source

pub fn from_json(s: &str) -> Option<JobReceipt>

Trait Implementations§

Source§

impl Clone for JobReceipt

Source§

fn clone(&self) -> JobReceipt

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for JobReceipt

Source§

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

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

impl PartialEq for JobReceipt

Source§

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

Equality operator ==. Read more
1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more
Source§

impl StructuralPartialEq for JobReceipt

Auto Trait Implementations§

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

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

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.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

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, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

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

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

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

Source§

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

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

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

Performs the conversion.