ActionBatch

function ActionBatch<A>(actionType: A): (value: {
  isRecursive: Bool;
  onchainActionState: Field;
  onchainStack: Field;
  processedActionState: Field;
  stack: MerkleList<MerkleList<Hashed<InferProvable<A, Field>>>>;
  useOnchainStack: Bool;
  witnesses: Unconstrained<ActionWitnesses>;
 }) => {
  isRecursive: Bool;
  onchainActionState: Field;
  onchainStack: Field;
  processedActionState: Field;
  stack: MerkleList<MerkleList<Hashed<InferProvable<A, Field>>>>;
  useOnchainStack: Bool;
  witnesses: Unconstrained<ActionWitnesses>;
 } & {
  _isStruct: true;
 } & Provable<{
  isRecursive: Bool;
  onchainActionState: Field;
  onchainStack: Field;
  processedActionState: Field;
  stack: MerkleList<MerkleList<Hashed<InferProvable<A, Field>>>>;
  useOnchainStack: Bool;
  witnesses: Unconstrained<ActionWitnesses>;
 }, {
  isRecursive: boolean;
  onchainActionState: bigint;
  onchainStack: bigint;
  processedActionState: bigint;
  stack: any;
  useOnchainStack: boolean;
  witnesses: ActionWitnesses;
 }> & {
  empty: () => {
     isRecursive: Bool;
     onchainActionState: Field;
     onchainStack: Field;
     processedActionState: Field;
     stack: MerkleList<MerkleList<Hashed<InferProvable<A, Field>>>>;
     useOnchainStack: Bool;
     witnesses: Unconstrained<ActionWitnesses>;
    };
  fromJSON: (x: {
     isRecursive: boolean;
     onchainActionState: string;
     onchainStack: string;
     processedActionState: string;
     stack: {
        _emptyHash: null | string;
        _innerProvable:   | null
           | {
           check: {};
           empty: {};
           fromFields: {};
           fromValue: {};
           toAuxiliary: {};
           toCanonical: null | {};
           toFields: {};
           toInput: {};
           toValue: {};
           sizeInFields: ;
          };
        _nextHash: null | {};
        _provable:   | null
           | {
           check: {};
           empty: {};
           fromFields: {};
           fromValue: {};
           toAuxiliary: {};
           toCanonical: null | {};
           toFields: {};
           toInput: {};
           toValue: {};
           sizeInFields: ;
          };
        empty: {};
        emptyHash: string;
        from: {};
        fromReverse: {};
        prototype: {
           Constructor: {
              _emptyHash: null | string;
              _innerProvable:   | null
                 | {
                 check: {};
                 empty: {};
                 fromFields: {};
                 fromValue: {};
                 toAuxiliary: {};
                 toCanonical: null | {};
                 toFields: {};
                 toInput: {};
                 toValue: {};
                 sizeInFields: ;
                };
              _nextHash: null | {};
              _provable:   | null
                 | {
                 check: {};
                 empty: {};
                 fromFields: {};
                 fromValue: {};
                 toAuxiliary: {};
                 toCanonical: null | {};
                 toFields: {};
                 toInput: {};
                 toValue: {};
                 sizeInFields: ;
                };
              emptyHash: string;
              prototype: { hash: string; data: { get: {}; set: {}; setTo: {}; updateAsProver: {}; }; isEmpty: {}; push: {}; pushIf: {}; popExn: {}; pop: {}; popOption: {}; popIf: {}; popIfUnsafe: {}; clone: {}; forEach: {}; startIterating: {}; ... 5 more ...; readonly innerProvable: { ...; }; };
              create: ;
             };
           data: {
              get: ;
              set: ;
              setTo: ;
              updateAsProver: ;
             };
           hash: string;
           innerProvable: {
              check: {};
              empty: {};
              fromFields: {};
              fromValue: {};
              toAuxiliary: {};
              toCanonical: null | {};
              toFields: {};
              toInput: {};
              toValue: {};
              sizeInFields: ;
             };
           clone: ;
           forEach: ;
           isEmpty: ;
           lengthUnconstrained: ;
           nextHash: ;
           pop: ;
           popExn: ;
           popIf: ;
           popIfUnsafe: ;
           popOption: ;
           push: ;
           pushIf: ;
           startIterating: ;
           startIteratingFromLast: ;
           toArrayUnconstrained: ;
          };
        provable: {
           check: {};
           empty: {};
           fromFields: {};
           fromValue: {};
           toAuxiliary: {};
           toCanonical: null | {};
           toFields: {};
           toInput: {};
           toValue: {};
           sizeInFields: ;
          };
        create: ;
       };
     useOnchainStack: boolean;
     witnesses: {
        check: {};
        empty: {};
        fromFields: {};
        fromValue: {};
        toAuxiliary: {};
        toCanonical: null | {};
        toFields: {};
        toInput: {};
        toValue: {};
        sizeInFields: ;
       };
    }) => {
     isRecursive: Bool;
     onchainActionState: Field;
     onchainStack: Field;
     processedActionState: Field;
     stack: MerkleList<MerkleList<Hashed<InferProvable<A, Field>>>>;
     useOnchainStack: Bool;
     witnesses: Unconstrained<ActionWitnesses>;
    };
  fromValue: (value: {
     isRecursive: boolean | Bool;
     onchainActionState: string | number | bigint | Field;
     onchainStack: string | number | bigint | Field;
     processedActionState: string | number | bigint | Field;
     stack: any;
     useOnchainStack: boolean | Bool;
     witnesses:   | ActionWitnesses
        | Unconstrained<ActionWitnesses>;
    }) => {
     isRecursive: Bool;
     onchainActionState: Field;
     onchainStack: Field;
     processedActionState: Field;
     stack: MerkleList<MerkleList<Hashed<InferProvable<A, Field>>>>;
     useOnchainStack: Bool;
     witnesses: Unconstrained<ActionWitnesses>;
    };
  toInput: (x: {
     isRecursive: Bool;
     onchainActionState: Field;
     onchainStack: Field;
     processedActionState: Field;
     stack: MerkleList<MerkleList<Hashed<InferProvable<A, Field>>>>;
     useOnchainStack: Bool;
     witnesses: Unconstrained<ActionWitnesses>;
    }) => {
     fields: Field[];
     packed: [Field, number][];
    };
  toJSON: (x: {
     isRecursive: Bool;
     onchainActionState: Field;
     onchainStack: Field;
     processedActionState: Field;
     stack: MerkleList<MerkleList<Hashed<InferProvable<A, Field>>>>;
     useOnchainStack: Bool;
     witnesses: Unconstrained<ActionWitnesses>;
    }) => {
     isRecursive: boolean;
     onchainActionState: string;
     onchainStack: string;
     processedActionState: string;
     stack: {
        _emptyHash: null | string;
        _innerProvable:   | null
           | {
           check: {};
           empty: {};
           fromFields: {};
           fromValue: {};
           toAuxiliary: {};
           toCanonical: null | {};
           toFields: {};
           toInput: {};
           toValue: {};
           sizeInFields: ;
          };
        _nextHash: null | {};
        _provable:   | null
           | {
           check: {};
           empty: {};
           fromFields: {};
           fromValue: {};
           toAuxiliary: {};
           toCanonical: null | {};
           toFields: {};
           toInput: {};
           toValue: {};
           sizeInFields: ;
          };
        empty: {};
        emptyHash: string;
        from: {};
        fromReverse: {};
        prototype: {
           Constructor: {
              _emptyHash: null | string;
              _innerProvable:   | null
                 | {
                 check: {};
                 empty: {};
                 fromFields: {};
                 fromValue: {};
                 toAuxiliary: {};
                 toCanonical: null | {};
                 toFields: {};
                 toInput: {};
                 toValue: {};
                 sizeInFields: ;
                };
              _nextHash: null | {};
              _provable:   | null
                 | {
                 check: {};
                 empty: {};
                 fromFields: {};
                 fromValue: {};
                 toAuxiliary: {};
                 toCanonical: null | {};
                 toFields: {};
                 toInput: {};
                 toValue: {};
                 sizeInFields: ;
                };
              emptyHash: string;
              prototype: { hash: string; data: { get: {}; set: {}; setTo: {}; updateAsProver: {}; }; isEmpty: {}; push: {}; pushIf: {}; popExn: {}; pop: {}; popOption: {}; popIf: {}; popIfUnsafe: {}; clone: {}; forEach: {}; startIterating: {}; ... 5 more ...; readonly innerProvable: { ...; }; };
              create: ;
             };
           data: {
              get: ;
              set: ;
              setTo: ;
              updateAsProver: ;
             };
           hash: string;
           innerProvable: {
              check: {};
              empty: {};
              fromFields: {};
              fromValue: {};
              toAuxiliary: {};
              toCanonical: null | {};
              toFields: {};
              toInput: {};
              toValue: {};
              sizeInFields: ;
             };
           clone: ;
           forEach: ;
           isEmpty: ;
           lengthUnconstrained: ;
           nextHash: ;
           pop: ;
           popExn: ;
           popIf: ;
           popIfUnsafe: ;
           popOption: ;
           push: ;
           pushIf: ;
           startIterating: ;
           startIteratingFromLast: ;
           toArrayUnconstrained: ;
          };
        provable: {
           check: {};
           empty: {};
           fromFields: {};
           fromValue: {};
           toAuxiliary: {};
           toCanonical: null | {};
           toFields: {};
           toInput: {};
           toValue: {};
           sizeInFields: ;
          };
        create: ;
       };
     useOnchainStack: boolean;
     witnesses: {
        check: {};
        empty: {};
        fromFields: {};
        fromValue: {};
        toAuxiliary: {};
        toCanonical: null | {};
        toFields: {};
        toInput: {};
        toValue: {};
        sizeInFields: ;
       };
    };
}

Defined in: index.ts:216

Provable type that represents a batch of actions.

Type Parameters

• A extends Actionable<any>

Parameters

actionType

A

Returns

(value: { isRecursive: Bool; onchainActionState: Field; onchainStack: Field; processedActionState: Field; stack: MerkleList<MerkleList<Hashed<InferProvable<A, Field>>>>; useOnchainStack: Bool; witnesses: Unconstrained<ActionWitnesses>; }) => { isRecursive: Bool; onchainActionState: Field; onchainStack: Field; processedActionState: Field; stack: MerkleList<MerkleList<Hashed<InferProvable<A, Field>>>>; useOnchainStack: Bool; witnesses: Unconstrained<ActionWitnesses>; } & { _isStruct: true; } & Provable<{ isRecursive: Bool; onchainActionState: Field; onchainStack: Field; processedActionState: Field; stack: MerkleList<MerkleList<Hashed<InferProvable<A, Field>>>>; useOnchainStack: Bool; witnesses: Unconstrained<ActionWitnesses>; }, { isRecursive: boolean; onchainActionState: bigint; onchainStack: bigint; processedActionState: bigint; stack: any; useOnchainStack: boolean; witnesses: ActionWitnesses; }> & { empty: () => { isRecursive: Bool; onchainActionState: Field; onchainStack: Field; processedActionState: Field; stack: MerkleList<MerkleList<Hashed<InferProvable<A, Field>>>>; useOnchainStack: Bool; witnesses: Unconstrained<ActionWitnesses>; }; fromJSON: (x: { isRecursive: boolean; onchainActionState: string; onchainStack: string; processedActionState: string; stack: { _emptyHash: null | string; _innerProvable: | null | { check: {}; empty: {}; fromFields: {}; fromValue: {}; toAuxiliary: {}; toCanonical: null | {}; toFields: {}; toInput: {}; toValue: {}; sizeInFields: ; }; _nextHash: null | {}; _provable: | null | { check: {}; empty: {}; fromFields: {}; fromValue: {}; toAuxiliary: {}; toCanonical: null | {}; toFields: {}; toInput: {}; toValue: {}; sizeInFields: ; }; empty: {}; emptyHash: string; from: {}; fromReverse: {}; prototype: { Constructor: { _emptyHash: null | string; _innerProvable: | null | { check: {}; empty: {}; fromFields: {}; fromValue: {}; toAuxiliary: {}; toCanonical: null | {}; toFields: {}; toInput: {}; toValue: {}; sizeInFields: ; }; _nextHash: null | {}; _provable: | null | { check: {}; empty: {}; fromFields: {}; fromValue: {}; toAuxiliary: {}; toCanonical: null | {}; toFields: {}; toInput: {}; toValue: {}; sizeInFields: ; }; emptyHash: string; prototype: { hash: string; data: { get: {}; set: {}; setTo: {}; updateAsProver: {}; }; isEmpty: {}; push: {}; pushIf: {}; popExn: {}; pop: {}; popOption: {}; popIf: {}; popIfUnsafe: {}; clone: {}; forEach: {}; startIterating: {}; ... 5 more ...; readonly innerProvable: { ...; }; }; create: ; }; data: { get: ; set: ; setTo: ; updateAsProver: ; }; hash: string; innerProvable: { check: {}; empty: {}; fromFields: {}; fromValue: {}; toAuxiliary: {}; toCanonical: null | {}; toFields: {}; toInput: {}; toValue: {}; sizeInFields: ; }; clone: ; forEach: ; isEmpty: ; lengthUnconstrained: ; nextHash: ; pop: ; popExn: ; popIf: ; popIfUnsafe: ; popOption: ; push: ; pushIf: ; startIterating: ; startIteratingFromLast: ; toArrayUnconstrained: ; }; provable: { check: {}; empty: {}; fromFields: {}; fromValue: {}; toAuxiliary: {}; toCanonical: null | {}; toFields: {}; toInput: {}; toValue: {}; sizeInFields: ; }; create: ; }; useOnchainStack: boolean; witnesses: { check: {}; empty: {}; fromFields: {}; fromValue: {}; toAuxiliary: {}; toCanonical: null | {}; toFields: {}; toInput: {}; toValue: {}; sizeInFields: ; }; }) => { isRecursive: Bool; onchainActionState: Field; onchainStack: Field; processedActionState: Field; stack: MerkleList<MerkleList<Hashed<InferProvable<A, Field>>>>; useOnchainStack: Bool; witnesses: Unconstrained<ActionWitnesses>; }; fromValue: (value: { isRecursive: boolean | Bool; onchainActionState: string | number | bigint | Field; onchainStack: string | number | bigint | Field; processedActionState: string | number | bigint | Field; stack: any; useOnchainStack: boolean | Bool; witnesses: | ActionWitnesses | Unconstrained<ActionWitnesses>; }) => { isRecursive: Bool; onchainActionState: Field; onchainStack: Field; processedActionState: Field; stack: MerkleList<MerkleList<Hashed<InferProvable<A, Field>>>>; useOnchainStack: Bool; witnesses: Unconstrained<ActionWitnesses>; }; toInput: (x: { isRecursive: Bool; onchainActionState: Field; onchainStack: Field; processedActionState: Field; stack: MerkleList<MerkleList<Hashed<InferProvable<A, Field>>>>; useOnchainStack: Bool; witnesses: Unconstrained<ActionWitnesses>; }) => { fields: Field[]; packed: [Field, number][]; }; toJSON: (x: { isRecursive: Bool; onchainActionState: Field; onchainStack: Field; processedActionState: Field; stack: MerkleList<MerkleList<Hashed<InferProvable<A, Field>>>>; useOnchainStack: Bool; witnesses: Unconstrained<ActionWitnesses>; }) => { isRecursive: boolean; onchainActionState: string; onchainStack: string; processedActionState: string; stack: { _emptyHash: null | string; _innerProvable: | null | { check: {}; empty: {}; fromFields: {}; fromValue: {}; toAuxiliary: {}; toCanonical: null | {}; toFields: {}; toInput: {}; toValue: {}; sizeInFields: ; }; _nextHash: null | {}; _provable: | null | { check: {}; empty: {}; fromFields: {}; fromValue: {}; toAuxiliary: {}; toCanonical: null | {}; toFields: {}; toInput: {}; toValue: {}; sizeInFields: ; }; empty: {}; emptyHash: string; from: {}; fromReverse: {}; prototype: { Constructor: { _emptyHash: null | string; _innerProvable: | null | { check: {}; empty: {}; fromFields: {}; fromValue: {}; toAuxiliary: {}; toCanonical: null | {}; toFields: {}; toInput: {}; toValue: {}; sizeInFields: ; }; _nextHash: null | {}; _provable: | null | { check: {}; empty: {}; fromFields: {}; fromValue: {}; toAuxiliary: {}; toCanonical: null | {}; toFields: {}; toInput: {}; toValue: {}; sizeInFields: ; }; emptyHash: string; prototype: { hash: string; data: { get: {}; set: {}; setTo: {}; updateAsProver: {}; }; isEmpty: {}; push: {}; pushIf: {}; popExn: {}; pop: {}; popOption: {}; popIf: {}; popIfUnsafe: {}; clone: {}; forEach: {}; startIterating: {}; ... 5 more ...; readonly innerProvable: { ...; }; }; create: ; }; data: { get: ; set: ; setTo: ; updateAsProver: ; }; hash: string; innerProvable: { check: {}; empty: {}; fromFields: {}; fromValue: {}; toAuxiliary: {}; toCanonical: null | {}; toFields: {}; toInput: {}; toValue: {}; sizeInFields: ; }; clone: ; forEach: ; isEmpty: ; lengthUnconstrained: ; nextHash: ; pop: ; popExn: ; popIf: ; popIfUnsafe: ; popOption: ; push: ; pushIf: ; startIterating: ; startIteratingFromLast: ; toArrayUnconstrained: ; }; provable: { check: {}; empty: {}; fromFields: {}; fromValue: {}; toAuxiliary: {}; toCanonical: null | {}; toFields: {}; toInput: {}; toValue: {}; sizeInFields: ; }; create: ; }; useOnchainStack: boolean; witnesses: { check: {}; empty: {}; fromFields: {}; fromValue: {}; toAuxiliary: {}; toCanonical: null | {}; toFields: {}; toInput: {}; toValue: {}; sizeInFields: ; }; }; }