replace with proper shared constant

Author: Trivo25

src/lib/mina/v1/mina-instance.ts

@@ -7,7 +7,6 @@ import { UInt32, UInt64 } from '../../provable/int.js';
 import { Field } from '../../provable/wrapped.js';
 import type { EventActionFilterOptions } from '././../../mina/v1/graphql.js';
 import type { Account } from './account.js';
-import { ZkappConstants } from './constants.js';
 import type * as Fetch from './fetch.js';
 import type { NetworkValue } from './precondition.js';
 import type { PendingTransactionPromise, Transaction, TransactionPromise } from './transaction.js';
@@ -17,7 +16,6 @@ export {
   FeePayerSpec,
   Mina,
   NetworkConstants,
-  ZkappStateLength,
   activeInstance,
   currentSlot,
   defaultNetworkConstants,
@@ -41,8 +39,6 @@ const defaultNetworkConstants: NetworkConstants = {
   accountCreationFee: UInt64.from(defaultAccountCreationFee),
 };
 
-const ZkappStateLength = ZkappConstants.MAX_ZKAPP_STATE_FIELDS;
-
 /**
  * Allows you to specify information about the fee payer account and the transaction.
  */

src/lib/mina/v1/precondition.ts

@@ -1,37 +1,36 @@
-import { Bool, Field } from '../../provable/wrapped.js';
-import { circuitValueEquals, cloneCircuitValue } from '../../provable/types/struct.js';
-import { Provable } from '../../provable/provable.js';
-import { activeInstance as Mina } from './mina-instance.js';
-import type { AccountUpdate } from './account-update.js';
-import { Int64, UInt32, UInt64 } from '../../provable/int.js';
-import { Layout } from '../../../bindings/mina-transaction/gen/v1/transaction.js';
 import { jsLayout } from '../../../bindings/mina-transaction/gen/v1/js-layout.js';
-import { emptyReceiptChainHash, TokenSymbol } from '../../provable/crypto/poseidon.js';
-import { PublicKey } from '../../provable/crypto/signature.js';
+import { Layout } from '../../../bindings/mina-transaction/gen/v1/transaction.js';
 import {
   ActionState,
   Actions,
   ZkappUri,
 } from '../../../bindings/mina-transaction/v1/transaction-leaves.js';
 import type { Types } from '../../../bindings/mina-transaction/v1/types.js';
-import type { Permissions } from './account-update.js';
-import { ZkappStateLength } from './mina-instance.js';
+import { TokenSymbol, emptyReceiptChainHash } from '../../provable/crypto/poseidon.js';
+import { PublicKey } from '../../provable/crypto/signature.js';
+import { Int64, UInt32, UInt64 } from '../../provable/int.js';
+import { Provable } from '../../provable/provable.js';
+import { circuitValueEquals, cloneCircuitValue } from '../../provable/types/struct.js';
+import { Bool, Field } from '../../provable/wrapped.js';
 import { assertInternal } from '../../util/errors.js';
+import type { AccountUpdate, Permissions } from './account-update.js';
+import { ZkappConstants } from './constants.js';
+import { activeInstance as Mina } from './mina-instance.js';
 
 export {
-  preconditions,
   Account,
-  Network,
+  AccountValue,
+  ClosedInterval,
   CurrentSlot,
+  Network,
+  NetworkValue,
+  OrIgnore,
+  Preconditions,
   assertPreconditionInvariants,
   cleanPreconditionsCache,
   ensureConsistentPrecondition,
-  AccountValue,
-  NetworkValue,
   getAccountPreconditions,
-  Preconditions,
-  OrIgnore,
-  ClosedInterval,
+  preconditions,
 };
 
 type AccountUpdateBody = Types.AccountUpdate['body'];
@@ -104,7 +103,7 @@ type AccountPrecondition = Preconditions['account'];
 const AccountPrecondition = {
   ignoreAll(): AccountPrecondition {
     let appState: Array<OrIgnore<Field>> = [];
-    for (let i = 0; i < ZkappStateLength; ++i) {
+    for (let i = 0; i < ZkappConstants.MAX_ZKAPP_STATE_FIELDS; ++i) {
       appState.push(ignore(Field(0)));
     }
     return {

src/lib/mina/v1/zkapp.ts

@@ -54,8 +54,8 @@ import {
   zkAppProver,
 } from './account-update.js';
 import { Reducer, getReducer } from './actions/reducer.js';
+import { ZkappConstants } from './constants.js';
 import type { EventActionFilterOptions } from './graphql.js';
-import { ZkappStateLength } from './mina-instance.js';
 import * as Mina from './mina.js';
 import { assertPreconditionInvariants, cleanPreconditionsCache } from './precondition.js';
 import { SmartContractBase } from './smart-contract-base.js';
@@ -771,7 +771,7 @@ super.init();
     let accountUpdate = this.self;
 
     // set all state fields to 0
-    for (let i = 0; i < ZkappStateLength; i++) {
+    for (let i = 0; i < ZkappConstants.MAX_ZKAPP_STATE_FIELDS; i++) {
       AccountUpdate.setValue(accountUpdate.body.update.appState[i], Field(0));
     }