README
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.)
Namespaces
| Namespace | Description |
|---|---|
| V2 | - |
Classes
| Class | Description |
|---|---|
| BatchReducer | A reducer to process actions in fixed-size batches. |
| OffchainStateCommitments | Commitments that keep track of the current state of an offchain Merkle tree constructed from actions. Intended to be stored on-chain. |
Type Aliases
| Type alias | Description |
|---|---|
| ActionBatch | - |
| IndexedMerkleMap | - |
Variables
| Variable | Description |
|---|---|
| ProvableBigInt | - |
| V2 | - |
Functions
| Function | Description |
|---|---|
| ActionBatch | Provable type that represents a batch of actions. |
| createProvableBigInt | Creates a class representing a ProvableBigInt with modular arithmetic capabilities. This is particularly useful for implementing prime fields that don't fit into the native field. |
| IndexedMerkleMap | Class factory for an Indexed Merkle Map with a given height. |
| memoizeWitness | Like Provable.witness, but memoizes the witness during transaction construction for reuse by the prover. This is needed to witness non-deterministic values. |
| OffchainState | Offchain state for a SmartContract. |
| Recursive | - |