pub struct ZomeCallInvocation {
    pub cell_id: CellId,
    pub zome: Zome,
    pub cap_secret: Option<CapSecret>,
    pub fn_name: FunctionName,
    pub payload: ExternIO,
    pub provenance: AgentPubKey,
    pub signature: Signature,
    pub nonce: Nonce256Bits,
    pub expires_at: Timestamp,
}
Expand description

A top-level call into a zome function, i.e. coming from outside the Cell from an external Interface

Fields§

§cell_id: CellId

The Id of the Cell in which this Zome-call would be invoked

§zome: Zome

The Zome containing the function that would be invoked

§cap_secret: Option<CapSecret>

The capability request authorization. This can be None and still succeed in the case where the function in the zome being called has been given an Unrestricted status via a CapGrant. Otherwise, it will be necessary to provide a CapSecret for every call.

§fn_name: FunctionName

The name of the Zome function to call

§payload: ExternIO

The serialized data to pass as an argument to the Zome call

§provenance: AgentPubKey

The provenance of the call. Provenance means the ‘source’ so this expects the AgentPubKey of the agent calling the Zome function

§signature: Signature

The signature of the call from the provenance of the call. Everything except the signature itself is signed.

§nonce: Nonce256Bits

The nonce of the call. Must be unique and monotonic. If a higher nonce has been seen then older zome calls will be discarded.

§expires_at: Timestamp

This call MUST NOT be respected after this time, in the opinion of the callee.

Implementations§

to decide if a zome call grant is authorized:

  • we need to find a live (committed and not deleted) cap grant that matches the secret
  • if the live cap grant is for the current author the call is ALWAYS authorized ELSE
  • the live cap grant needs to include the invocation’s provenance AND zome/function name

to verify if the zome call is authorized:

  • the signature must be valid
  • the nonce must not have already been seen
  • the grant must be valid the checks MUST be done in this order as witnessing the nonce is a write and so we MUST NOT write nonces until after we verify the signature.

Trait Implementations§

Returns a copy of the value. Read more
Performs copy-assignment from source. Read more
Formats the value using the given formatter. Read more
Deserialize this value from the given Serde deserializer. Read more
Converts to this type from the input type.
Some invocations call into a single zome and some call into many or all zomes. An example of an invocation that calls across all zomes is init. Init must pass for every zome in order for the Dna overall to successfully init. An example of an invocation that calls a single zome is validation of an entry, because the entry is only defined in a single zome, so it only makes sense for that exact zome to define the validation logic for that entry. In the future this may be expanded to support a subset of zomes that is larger than one. For example, we may want to trigger a callback in all zomes that implement a trait/interface, but this doesn’t exist yet, so the only valid options are All or One.
Invocations execute in a “sparse” manner of decreasing specificity. In technical terms this means that the list of strings in FnComponents will be concatenated into a single function name to be called, then the last string will be removed and a shorter function name will be attempted and so on until all variations have been attempted. For example, if FnComponents was vec![“foo”, “bar”, “baz”] it would loop as “foo_bar_baz” then “foo_bar” then “foo”. All of those three callbacks that are defined will be called unless a definitive callback result is returned. See CallbackResult::is_definitive in zome_types. All of the individual callback results are then folded into a single overall result value as a From implementation on the invocation results structs (e.g. zome results vs. ribosome results).
the serialized input from the host for the wasm call this is intentionally NOT a reference to self because ExternIO may be huge we want to be careful about cloning invocations
Serialize this value into the given Serde serializer. Read more

Auto Trait Implementations§

Blanket Implementations§

Gets the TypeId of self. Read more
TODO: once 1.33.0 is the minimum supported compiler version, remove Any::type_id_compat and use StdAny::type_id instead. https://github.com/rust-lang/rust/issues/27745
The archived version of the pointer metadata for this type.
Converts some archived metadata to the pointer metadata for itself.
Immutably borrows from an owned value. Read more
Mutably borrows from an owned value. Read more
Deserializes using the given deserializer

Returns the argument unchanged.

Attaches the provided Context to this type, returning a WithContext wrapper. Read more
Attaches the current Context to this type, returning a WithContext wrapper. Read more
Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Instruments this type with the current Span, returning an Instrumented wrapper. Read more

Calls U::from(self).

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

The alignment of pointer.
The type for initializers.
Initializes a with the given initializer. Read more
Dereferences the given pointer. Read more
Mutably dereferences the given pointer. Read more
Drops the object pointed to by the given pointer. Read more
The type for metadata in pointers and references to Self.
Should always be Self
The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
Checks if self is actually part of its subset T (and can be converted to it).
Use with care! Same as self.to_subset but without any property checks. Always succeeds.
The inclusion map: converts self to the equivalent element of its superset.
The resulting type after obtaining ownership.
Creates owned data from borrowed data, usually by cloning. Read more
Uses borrowed data to replace owned data, usually by cloning. Read more
The type returned in the event of a conversion error.
Performs the conversion.
The type returned in the event of a conversion error.
Performs the conversion.
upcast ref
upcast mut ref
upcast boxed dyn
Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more