Make JSONValue internally used only

src/index.ts

@@ -3,7 +3,6 @@ export {
   Scalar,
   ProvablePure,
   Provable,
-  JSONValue,
   Ledger,
   isReady,
   shutdown,

src/lib/circuit_value.ts

@@ -1,5 +1,5 @@
 import 'reflect-metadata';
-import { Circuit, JSONValue, ProvablePure, Provable } from '../snarky.js';
+import { Circuit, ProvablePure, Provable } from '../snarky.js';
 import { Field, Bool } from './core.js';
 import { Context } from './global-context.js';
 import { inCheckedComputation, snarkContext } from './proof_system.js';
@@ -32,6 +32,7 @@ export {
   InferCircuitValue,
   Provables,
   HashInput,
+  JSONValue,
 };
 
 type Constructor<T> = new (...args: any) => T;
@@ -1074,6 +1075,14 @@ function getBlindingValue() {
 
 type Tuple<T> = [T, ...T[]] | [];
 
+type JSONValue =
+  | number
+  | string
+  | boolean
+  | null
+  | Array<JSONValue>
+  | { [key: string]: JSONValue };
+
 type Primitive =
   | typeof String
   | typeof Number

src/lib/mina.ts

@@ -1,6 +1,6 @@
 // This is for an account where any of a list of public keys can update the state
 
-import { Circuit, JSONValue, Ledger, LedgerAccount } from '../snarky.js';
+import { Circuit, Ledger, LedgerAccount } from '../snarky.js';
 import { Field, Bool } from './core.js';
 import { UInt32, UInt64 } from './int.js';
 import { PrivateKey, PublicKey } from './signature.js';
@@ -22,7 +22,7 @@ import {
 
 import * as Fetch from './fetch.js';
 import { assertPreconditionInvariants, NetworkValue } from './precondition.js';
-import { cloneCircuitValue } from './circuit_value.js';
+import { cloneCircuitValue, JSONValue } from './circuit_value.js';
 import { Proof, snarkContext, verify } from './proof_system.js';
 import { Context } from './global-context.js';
 import { emptyReceiptChainHash } from './hash.js';

src/lib/zkapp.ts

@@ -5,7 +5,6 @@ import {
   Ledger,
   Pickles,
   Poseidon as Poseidon_,
-  JSONValue,
   Provable,
 } from '../snarky.js';
 import {

src/snarky.d.ts

@@ -13,7 +13,6 @@ export {
   isReady,
   shutdown,
   Pickles,
-  JSONValue,
   Account as LedgerAccount,
 };
 
@@ -359,7 +358,7 @@ declare class Field {
   */
 
   static toJSON(x: Field): string;
-  static fromJSON(x: JSONValue): Field | null;
+  static fromJSON(x: string): Field;
 
   static check(x: Field): void;
 
@@ -486,7 +485,7 @@ declare class Bool {
   static fromFields(fields: Field[]): Bool;
 
   static toJSON(x: Bool): boolean;
-  static fromJSON(x: JSONValue): Bool | null;
+  static fromJSON(x: boolean): Bool;
   static check(x: Bool): void;
 
   // monkey-patched in JS
@@ -636,7 +635,7 @@ declare class Scalar {
   static random(): Scalar;
 
   static toJSON(x: Scalar): string;
-  static fromJSON(x: JSONValue): Scalar | null;
+  static fromJSON(x: string): Scalar;
   static check(x: Scalar): void;
 }
 
@@ -957,12 +956,4 @@ declare const Pickles: {
   proofToBase64Transaction: (proof: Pickles.Proof) => string;
 };
 
-type JSONValue =
-  | number
-  | string
-  | boolean
-  | null
-  | Array<JSONValue>
-  | { [key: string]: JSONValue };
-
 type AuthRequired = 'Signature' | 'Proof' | 'Either' | 'None' | 'Impossible';