ProofOptions

Struct ProofOptions 

Source
pub struct ProofOptions<M, T> {
    pub context: Option<Context>,
    pub created: Option<Lexical<DateTimeStamp>>,
    pub verification_method: Option<ReferenceOrOwned<M>>,
    pub proof_purpose: ProofPurpose,
    pub expires: Option<Lexical<DateTimeStamp>>,
    pub domains: Vec<String>,
    pub challenge: Option<String>,
    pub nonce: Option<String>,
    pub options: T,
    pub extra_properties: BTreeMap<String, Value>,
}
Expand description

Proof options.

Fields§

§context: Option<Context>§created: Option<Lexical<DateTimeStamp>>

Date a creation of the proof.

§verification_method: Option<ReferenceOrOwned<M>>

Verification method.

§proof_purpose: ProofPurpose

Purpose of the proof.

§expires: Option<Lexical<DateTimeStamp>>

Specifies when the proof expires.

§domains: Vec<String>

Conveys one or more security domains in which the proof is meant to be used.

A verifier SHOULD use the value to ensure that the proof was intended to be used in the security domain in which the verifier is operating. The specification of the domain parameter is useful in challenge-response protocols where the verifier is operating from within a security domain known to the creator of the proof.

Example domain values include: domain.example`` (DNS domain), https://domain.example:8443(Web origin),mycorp-intranet(bespoke text string), andb31d37d4-dd59-47d3-9dd8-c973da43b63a` (UUID).

§challenge: Option<String>

Used to mitigate replay attacks.

Used once for a particular domain and window of time. Examples of a challenge value include: 1235abcd6789, 79d34551-ae81-44ae-823b-6dadbab9ebd4, and ruby.

§nonce: Option<String>

Arbitrary string supplied by the proof creator.

One use of this field is to increase privacy by decreasing linkability that is the result of deterministically generated signatures.

§options: T

Additional proof options required by the cryptographic suite.

For instance, tezos cryptosuites requires the public key associated with the verification method, which is a blockchain account id.

§extra_properties: BTreeMap<String, Value>

Extra properties.

Implementations§

Source§

impl<M, T> ProofOptions<M, T>

Source

pub fn new( created: Lexical<DateTimeStamp>, verification_method: ReferenceOrOwned<M>, proof_purpose: ProofPurpose, options: T, ) -> ProofOptions<M, T>

Source

pub fn from_method_and_options( verification_method: ReferenceOrOwned<M>, options: T, ) -> ProofOptions<M, T>

Source

pub fn from_method( verification_method: ReferenceOrOwned<M>, ) -> ProofOptions<M, T>
where T: Default,

Source

pub fn map<N, U>( self, map_verification_method: impl FnOnce(M) -> N, map_options: impl FnOnce(T) -> U, ) -> ProofOptions<N, U>

Source

pub fn cast<N, U>(self) -> ProofOptions<N, U>
where M: Into<N>, T: Into<U>,

Source

pub fn try_map<N, U, E>( self, map_verification_method: impl FnOnce(M) -> Result<N, E>, map_options: impl FnOnce(T) -> Result<U, E>, ) -> Result<ProofOptions<N, U>, E>

Source

pub fn into_configuration_with<S>( self, type_: S, f: impl FnOnce(T) -> <S as CryptographicSuite>::ProofOptions, ) -> Result<ProofConfiguration<S>, ConfigurationError>
where S: CryptographicSuite<VerificationMethod = M>,

Source

pub fn into_configuration<S>( self, type_: S, ) -> Result<ProofConfiguration<S>, ConfigurationError>
where S: CryptographicSuite<VerificationMethod = M, ProofOptions = T>,

Trait Implementations§

Source§

impl<M, T> Clone for ProofOptions<M, T>
where M: Clone, T: Clone,

Source§

fn clone(&self) -> ProofOptions<M, T>

Returns a duplicate 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<M, T> Debug for ProofOptions<M, T>
where M: Debug, T: Debug,

Source§

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

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

impl<M, T> Default for ProofOptions<M, T>
where T: Default,

Source§

fn default() -> ProofOptions<M, T>

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

impl<'de, M, T> Deserialize<'de> for ProofOptions<M, T>
where M: Deserialize<'de>, T: Deserialize<'de>,

Source§

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

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

impl<M, T> Serialize for ProofOptions<M, T>
where M: Serialize, T: Serialize,

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

Auto Trait Implementations§

§

impl<M, T> Freeze for ProofOptions<M, T>
where T: Freeze, M: Freeze,

§

impl<M, T> RefUnwindSafe for ProofOptions<M, T>

§

impl<M, T> Send for ProofOptions<M, T>
where T: Send, M: Send,

§

impl<M, T> Sync for ProofOptions<M, T>
where T: Sync, M: Sync,

§

impl<M, T> Unpin for ProofOptions<M, T>
where T: Unpin, M: Unpin,

§

impl<M, T> UnwindSafe for ProofOptions<M, T>
where T: UnwindSafe, M: UnwindSafe,

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> At for T

Source§

fn at<M>(self, metadata: M) -> Meta<T, M>

Wraps self inside a Meta<Self, M> using the given metadata. 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> BorrowStripped for T

Source§

fn stripped(&self) -> &Stripped<T>

Source§

impl<T> BorrowUnordered for T

Source§

impl<T> Clear for T

Source§

fn clear(&mut self)

Completely overwrites this value.
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<'de, T, C> DeserializeTyped<'de, C> for T
where T: Deserialize<'de>,

Source§

fn deserialize_typed<S>( _: &C, deserializer: S, ) -> Result<T, <S as Deserializer<'de>>::Error>
where S: Deserializer<'de>,

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, C> FromWithContext<T, C> for T

Source§

fn from_with(value: T, _context: &C) -> T

Source§

impl<T> InitializableFromZeroed for T
where T: Default,

Source§

unsafe fn initialize(place: *mut T)

Called to initialize a place to a valid value, after it is set to all-bits-zero. Read more
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, U, C> IntoWithContext<U, C> for T
where U: FromWithContext<T, C>,

Source§

fn into_with(self, context: &C) -> U

Source§

impl<T> ResourceProvider<()> for T

Source§

fn get_resource(&self) -> &()

Returns a reference to the resource of type T.
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> ToOwned for T

Source§

type Owned = T

Source§

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

Source§

type Error = Infallible

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

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

Performs the conversion.
Source§

impl<T, U, C> TryFromWithContext<U, C> for T
where U: IntoWithContext<T, C>,

Source§

type Error = Infallible

Source§

fn try_from_with( value: U, context: &C, ) -> Result<T, <T as TryFromWithContext<U, C>>::Error>

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.
Source§

impl<T, U, C> TryIntoWithContext<U, C> for T
where U: TryFromWithContext<T, C>,

Source§

type Error = <U as TryFromWithContext<T, C>>::Error

Source§

fn try_into_with( self, context: &C, ) -> Result<U, <T as TryIntoWithContext<U, C>>::Error>

Source§

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

Source§

fn vzip(self) -> V

Source§

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

Source§

fn with<C>(&self, context: C) -> Contextual<&T, C>

Source§

fn into_with<C>(self, context: C) -> Contextual<T, C>

Source§

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

Source§

impl<T, U> DeserializeTypedOwned<T> for U
where U: for<'de> DeserializeTyped<'de, T>,