module arch.system.state.resource_machine.primitive_interfaces.fixed_size_type.hash;

Hash¶

Hash type is defined as a fixed size type that is binding, meaning that if the input value of type Arg changed, the output value would change as well.

In the context of hashes, we say a is an opening of a hash h: Hash if h = hash(a).

Todo

for shielded: cryptographic hash, hiding
do we want a separate interface for the logic hash, given it is a verifier key? UPD in Taiga we had the verifier key hashed. Is it fixed size? If not, what was the reason for tripple hashing? vk + hash + function privacy commitment

Hash interface diagram¶


classDiagram

    class Hash~T, Arg~ {
         <<Interface>>
    }

    Hash <|-- LogicVKCompact
    Hash <|-- LabelHash
    Hash <|-- ValueHash

    Hash <|-- Commitment
    Hash <|-- Nullifier
    Hash <|-- Kind
    Hash <|-- DeltaHash
    Hash <|-- LogicVKOuterHash
    Hash <|-- MerkleTreeNodeHash

    Hash <|-- AppDataValueHash

Used in¶

Resource components:
1. logicRef
2. labelRef
3. valueRef
Resource computable components:
1. commitment
2. nullifier
3. kind
4. delta
Computing Merkle tree nodes and roots