Effects
@midnight-ntwrk/compact-runtime v0.14.0
@midnight-ntwrk/compact-runtime / Effects
Type Alias: Effects
type Effects = {
claimedContractCalls: [bigint, ContractAddress, string, Fr][];
claimedNullifiers: Nullifier[];
claimedShieldedReceives: CoinCommitment[];
claimedShieldedSpends: CoinCommitment[];
claimedUnshieldedSpends: Map<[TokenType, PublicAddress], bigint>;
shieldedMints: Map<string, bigint>;
unshieldedInputs: Map<TokenType, bigint>;
unshieldedMints: Map<string, bigint>;
unshieldedOutputs: Map<TokenType, bigint>;
};
The contract-external effects of a transcript.
Propertiesβ
claimedContractCallsβ
claimedContractCalls: [bigint, ContractAddress, string, Fr][];
The contracts called from this contract. The values are, in order:
- The sequence number of this call
- The contract being called
- The entry point being called
- The communications commitment
claimedNullifiersβ
claimedNullifiers: Nullifier[];
The nullifiers (spends) this contract call requires
claimedShieldedReceivesβ
claimedShieldedReceives: CoinCommitment[];
The coin commitments (outputs) this contract call requires, as coins received
claimedShieldedSpendsβ
claimedShieldedSpends: CoinCommitment[];
The coin commitments (outputs) this contract call requires, as coins sent
claimedUnshieldedSpendsβ
claimedUnshieldedSpends: Map<[TokenType, PublicAddress], bigint>;
The unshielded UTXO outputs this contract expects to be present.
shieldedMintsβ
shieldedMints: Map<string, bigint>;
The shielded tokens minted in this call, as a map from hex-encoded 256-bit domain separators to unsigned 64-bit integers.
unshieldedInputsβ
unshieldedInputs: Map<TokenType, bigint>;
The unshielded inputs this contract expects.
unshieldedMintsβ
unshieldedMints: Map<string, bigint>;
The unshielded tokens minted in this call, as a map from hex-encoded 256-bit domain separators to unsigned 64-bit integers.
unshieldedOutputsβ
unshieldedOutputs: Map<TokenType, bigint>;
The unshielded outputs this contract authorizes.