Struct WitnessSet 

pub struct WitnessSet {
    pub vkeywitness: Option<NonEmptyVec<VKeyWitness>>,
    pub native_script: Option<NonEmptyVec<MemoizedNativeScript>>,
    pub bootstrap_witness: Option<NonEmptyVec<BootstrapWitness>>,
    pub plutus_v1_script: Option<NonEmptyVec<PlutusScript<1>>>,
    pub plutus_data: Option<NonEmptyVec<MemoizedPlutusData>>,
    pub redeemer: Option<Redeemers>,
    pub plutus_v2_script: Option<NonEmptyVec<PlutusScript<2>>>,
    pub plutus_v3_script: Option<NonEmptyVec<PlutusScript<3>>>,
}

FIXME: Accidentally not a set

NonEmptyVec below are supposed to be a NonEmptySet where duplicates would fail to decode. But it isn’t. In the Haskell’s codebsae, the default decoder for Set fails on duplicate starting from v9 and above:

https://github.com/IntersectMBO/cardano-ledger/blob/fe0af09c8667bf8ffdd17dd1a387515b9b0533bf/libs/cardano-ledger-binary/src/Cardano/Ledger/Binary/Decoding/Decoder.hs#L906-L928.

However, the decoders for witnesses fields were (accidentally) overridden and did not use the default Set implementation. So, duplicates were silently ignored instead of leading to decoder failure (while still allowing a set tag, and still expecting at least one element):

https://github.com/IntersectMBO/cardano-ledger/blob/fe0af09c8667bf8ffdd17dd1a387515b9b0533bf/eras/alonzo/impl/src/Cardano/Ledger/Alonzo/TxWits.hs#L610-L624

Importantly, this behaviour is changing again in v12, back to being a non-empty set / maps.

Fields

vkeywitness: Option<NonEmptyVec<VKeyWitness>>

native_script: Option<NonEmptyVec<MemoizedNativeScript>>

bootstrap_witness: Option<NonEmptyVec<BootstrapWitness>>

FIXME: Accidentally not a set

See note on vkeywitness.

plutus_v1_script: Option<NonEmptyVec<PlutusScript<1>>>

plutus_data: Option<NonEmptyVec<MemoizedPlutusData>>

redeemer: Option<Redeemers>

plutus_v2_script: Option<NonEmptyVec<PlutusScript<2>>>

plutus_v3_script: Option<NonEmptyVec<PlutusScript<3>>>

Implementations

impl WitnessSet

pub fn get_provided_scripts(&self) -> BTreeMap<Hash<SCRIPT>, ScriptKind>

Collect provided scripts and compute each ScriptHash in a witness set

Trait Implementations

impl Clone for WitnessSet

fn clone(&self) -> WitnessSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WitnessSet

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

Formats the value using the given formatter.

impl<'bytes, Ctx> Decode<'bytes, Ctx> for WitnessSet

fn decode( __d777: &mut Decoder<'bytes>, __ctx777: &mut Ctx, ) -> Result<WitnessSet, Error>

Decode a value using the given Decoder.

fn nil() -> Option<Self>

If possible, return a nil value of Self.

impl Default for WitnessSet

fn default() -> WitnessSet

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for WitnessSet

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<Ctx> Encode<Ctx> for WitnessSet

fn encode<__W777>( &self, __e777: &mut Encoder<__W777>, __ctx777: &mut Ctx, ) -> Result<(), Error<__W777::Error>>

where __W777: Write,

Encode a value of this type using the given Encoder.

fn is_nil(&self) -> bool

Is this value of Self a nil value?

impl PartialEq for WitnessSet

fn eq(&self, other: &WitnessSet) -> 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 Serialize for WitnessSet

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for WitnessSet

impl StructuralPartialEq for WitnessSet