Skip to main content


This module exposes APIs that are unstable, in the sense that the API surface is expected to change. (Not unstable in the sense that they are less functional or tested than other parts.)


OffchainStateCommitmentsCommitments that keep track of the current state of an offchain Merkle tree constructed from actions.
OffchainStateOffchain state for a SmartContract.
memoizeWitnessLike Provable.witness, but memoizes the witness during transaction construction