Skip to main content

Crate hyli_model

Crate hyli_model 

Source

Modules§

api
base64_field
utils
verifiers

Structs§

AggregateSignature
Blob
A Blob is a binary-serialized action that the contract has to parse An action is often written as an enum representing the call of a specific contract function.
BlobData
BlobHash
BlobIndex
BlobProofOutput
BlobProofOutputHash
BlobTransaction
BlobsHashes
BlockHeight
BlockStakingData
Calldata
This struct is passed from the application backend to the contract as an input. It contains the data that the contract will use to run the blob’s action on its state.
ConsensusInfo
ConsensusProposal
ConsensusProposalHash
Contract
ContractName
CutDisplay
DataProposal
DataProposalHash
DeleteContractAction
Used as a blob action to delete a contract.
DropEndOfReader
Struct used to be able to deserialize a StructuredBlobData without knowing the concrete type of Action warning: this will drop the end of the reader, thus, you can’t deserialize a structure that contains a StructuredBlobData<DropEndOfReader> Unless this struct is at the end of your data structure. It’s not meant to be used outside the sdk internal logic.
HandledBlobProofOutput
HyliOutput
This struct has to be the zkvm committed output. It will be used by hyli node to verify & settle the blob transaction.
HyliOutputHash
Identity
An identity is a string that identifies the person that sent the BlobTransaction
IndexedBlobs
Blob of the transactions the contract uses to validate its transition
LaneBytesSize
LaneId
NodeStateBlock
OnchainEffectHash
ProgramId
Proof
ProofData
ProofDataHash
ProofMetadata
ProofTransaction
RegisterContractAction
Used as a blob action to register a contract.
RegisterContractEffect
Used by the Hyli node to recognize contract registration. Simply output this struct in your HyliOutput registered_contracts. See uuid-tld for examples.
RewardsClaim
Signature
Signed
SignedBlock
StateCommitment
State commitment of the contract.
StatefulEvents
StructuredBlob
StructuredBlobData
This struct allows to define cross-contract calls (aka contract composition). A contract A can “call” an other contract B by being it’s “caller”:
Transaction
TransactionMetadata
TxContext
TxHash
TxId
UnsettledBlobTransaction
UpdateContractProgramIdAction
UpdateContractTimeoutWindowAction
ValidatorCandidacy
ValidatorPublicKey
ValidatorSignature
VerifiedProofTransaction
Verifier

Enums§

ConsensusStakingAction
Represents the operations that can be performed by the consensus
DataAvailabilityEvent
DataAvailabilityRequest
DataEvent
DataProposalParent
MempoolBlockEvent
MempoolStatusEvent
NodeStateEvent
OnchainEffect
Enum for various side-effects blobs can have on the chain. This is implemented as an enum for easier forward compatibility.
StakingAction
Enum representing the actions that can be performed by the Staking contract.
StatefulEvent
TimeoutWindow
TransactionData
TransactionKind
Auto-generated discriminant enum variants
TransactionStateEvent

Constants§

HASH_DISPLAY_SIZE
HYLI_TESTNET_CHAIN_ID

Traits§

ContractAction
DataSized
Hashed

Type Aliases§

BlobProof
BlockHash
Cut
LaneSuffix
PoDA
SignedByValidator
Slot
View