prune imports

src/lib/proof-system/proof.ts

@@ -1,51 +1,11 @@
-import { EmptyUndefined, EmptyVoid } from '../../bindings/lib/generic.js';
-import { Snarky, initializeBindings, withThreadPool } from '../../snarky.js';
-import { Pickles, MlFeatureFlags, Gate, GateType } from '../../snarky.js';
+import { initializeBindings, withThreadPool } from '../../snarky.js';
+import { Pickles } from '../../snarky.js';
 import { Field, Bool } from '../provable/wrapped.js';
 import {
-  FlexibleProvable,
   FlexibleProvablePure,
   InferProvable,
-  ProvablePureExtended,
-  Struct,
 } from '../provable/types/struct.js';
-import {
-  InferProvableType,
-  provable,
-  provablePure,
-} from '../provable/types/provable-derivers.js';
-import { Provable } from '../provable/provable.js';
-import { assert, prettifyStacktracePromise } from '../util/errors.js';
-import { snarkContext } from '../provable/core/provable-context.js';
-import { hashConstant } from '../provable/crypto/poseidon.js';
-import {
-  MlArray,
-  MlBool,
-  MlResult,
-  MlPair,
-  MlOption,
-  MlArrayOptionalElements,
-} from '../ml/base.js';
-import { MlFieldArray, MlFieldConstArray } from '../ml/fields.js';
-import { FieldVar, FieldConst } from '../provable/core/fieldvar.js';
-import { Cache, readCache, writeCache } from './cache.js';
-import {
-  decodeProverKey,
-  encodeProverKey,
-  parseHeader,
-} from './prover-keys.js';
-import {
-  setSrsCache,
-  unsetSrsCache,
-} from '../../bindings/crypto/bindings/srs.js';
-import {
-  ProvablePure,
-  ProvableType,
-  ProvableTypePure,
-  ToProvable,
-} from '../provable/types/provable-intf.js';
-import { prefixToField } from '../../bindings/lib/binable.js';
-import { prefixes } from '../../bindings/crypto/constants.js';
+import { ProvablePure } from '../provable/types/provable-intf.js';
 import { FeatureFlags } from './feature-flags.js';
 import type { VerificationKey, JsonProof } from './zkprogram.js';
 import { Subclass } from '../util/types.js';