tests into tests

src/lib/provable/gadgets/foreign-field.ts

@@ -11,7 +11,7 @@ import { Unconstrained } from '../types/unconstrained.js';
 import { Field } from '../field.js';
 import { Gates, foreignFieldAdd } from '../gates.js';
 import { exists } from '../core/exists.js';
-import { modifiedField } from '../fields.js';
+import { modifiedField } from '../types/fields.js';
 import { Tuple, TupleN } from '../../util/types.js';
 import { assertOneOf } from './basic.js';
 import { assert, bitSlice, toVar, toVars } from './common.js';

src/lib/provable/packed.ts

@@ -5,7 +5,7 @@ import { Field } from './field.js';
 import { assert } from './gadgets/common.js';
 import { Poseidon, ProvableHashable, packToFields } from './crypto/poseidon.js';
 import { Provable } from './provable.js';
-import { fields, modifiedField } from './fields.js';
+import { fields, modifiedField } from './types/fields.js';
 
 export { Packed, Hashed };
 

src/lib/provable/gadgets/arithmetic.unit-test.ts → src/lib/provable/test/arithmetic.unit-test.ts

@@ -6,9 +6,9 @@ import {
   record,
 } from '../../testing/equivalent.js';
 import { Field } from '../wrapped.js';
-import { Gadgets } from './gadgets.js';
+import { Gadgets } from '../gadgets/gadgets.js';
 import { provable } from '../types/struct.js';
-import { assert } from './common.js';
+import { assert } from '../gadgets/common.js';
 
 let Arithmetic = ZkProgram({
   name: 'arithmetic',

src/lib/provable/gadgets/bitwise.unit-test.ts → src/lib/provable/test/bitwise.unit-test.ts

@@ -7,7 +7,7 @@ import {
 } from '../../testing/equivalent.js';
 import { Fp, mod } from '../../../bindings/crypto/finite-field.js';
 import { Field } from '../wrapped.js';
-import { Gadgets } from './gadgets.js';
+import { Gadgets } from '../gadgets/gadgets.js';
 import { Random } from '../../testing/property.js';
 import {
   constraintSystem,

src/lib/provable/gadgets/ecdsa.unit-test.ts → src/lib/provable/test/ecdsa.unit-test.ts

@@ -5,12 +5,12 @@ import {
   Point,
   initialAggregator,
   verifyEcdsaConstant,
-} from './elliptic-curve.js';
-import { Field3 } from './foreign-field.js';
+} from '../gadgets/elliptic-curve.js';
+import { Field3 } from '../gadgets/foreign-field.js';
 import { CurveParams } from '../../../bindings/crypto/elliptic-curve-examples.js';
 import { Provable } from '../provable.js';
 import { ZkProgram } from '../../proof-system/zkprogram.js';
-import { assert } from './common.js';
+import { assert } from '../gadgets/common.js';
 import { foreignField, uniformForeignField } from './test-utils.js';
 import {
   First,
@@ -22,7 +22,7 @@ import {
   oneOf,
   record,
 } from '../../testing/equivalent.js';
-import { Bool } from '../../provable/bool.js';
+import { Bool } from '../bool.js';
 import { Random } from '../../testing/random.js';
 
 // quick tests

src/lib/provable/gadgets/elliptic-curve.unit-test.ts → src/lib/provable/test/elliptic-curve.unit-test.ts

@@ -9,8 +9,12 @@ import {
   unit,
 } from '../../testing/equivalent.js';
 import { Random } from '../../testing/random.js';
-import { assert } from './common.js';
-import { EllipticCurve, Point, simpleMapToCurve } from './elliptic-curve.js';
+import { assert } from '../gadgets/common.js';
+import {
+  EllipticCurve,
+  Point,
+  simpleMapToCurve,
+} from '../gadgets/elliptic-curve.js';
 import { foreignField, throwError } from './test-utils.js';
 
 // provable equivalence tests

src/lib/provable/gadgets/foreign-field.unit-test.ts → src/lib/provable/test/foreign-field-gadgets.unit-test.ts

@@ -10,10 +10,10 @@ import {
   unit,
 } from '../../testing/equivalent.js';
 import { Random } from '../../testing/random.js';
-import { Field3, Gadgets } from './gadgets.js';
+import { Field3, Gadgets } from '../gadgets/gadgets.js';
 import { ZkProgram } from '../../proof-system/zkprogram.js';
 import { Provable } from '../provable.js';
-import { assert } from './common.js';
+import { assert } from '../gadgets/common.js';
 import {
   allConstant,
   and,
@@ -33,7 +33,7 @@ import {
   throwError,
   unreducedForeignField,
 } from './test-utils.js';
-import { l2 } from './range-check.js';
+import { l2 } from '../gadgets/range-check.js';
 
 const { ForeignField } = Gadgets;
 

src/lib/provable/test/keccak.unit-test.ts

@@ -16,7 +16,7 @@ import {
   sha3_512,
 } from '@noble/hashes/sha3';
 import { Bytes } from '../wrapped-classes.js';
-import { bytes } from '../gadgets/test-utils.js';
+import { bytes } from './test-utils.js';
 import { UInt8 } from '../int.js';
 import { test, Random, sample } from '../../testing/property.js';
 import { expect } from 'expect';

src/lib/provable/gadgets/range-check.unit-test.ts → src/lib/provable/test/range-check.unit-test.ts

@@ -8,9 +8,9 @@ import {
   fieldWithRng,
 } from '../../testing/equivalent.js';
 import { Random } from '../../testing/property.js';
-import { assert } from './common.js';
-import { Gadgets } from './gadgets.js';
-import { l } from './range-check.js';
+import { assert } from '../gadgets/common.js';
+import { Gadgets } from '../gadgets/gadgets.js';
+import { l } from '../gadgets/range-check.js';
 import {
   constraintSystem,
   contains,

src/lib/provable/gadgets/sha256.unit-test.ts → src/lib/provable/test/sha256.unit-test.ts

@@ -1,6 +1,6 @@
 import { ZkProgram } from '../../proof-system/zkprogram.js';
 import { Bytes } from '../wrapped-classes.js';
-import { Gadgets } from './gadgets.js';
+import { Gadgets } from '../gadgets/gadgets.js';
 import { sha256 as nobleSha256 } from '@noble/hashes/sha256';
 import { bytes } from './test-utils.js';
 import {

src/lib/provable/gadgets/test-utils.ts → src/lib/provable/test/test-utils.ts

@@ -1,8 +1,8 @@
 import type { FiniteField } from '../../../bindings/crypto/finite-field.js';
 import { ProvableSpec, spec } from '../../testing/equivalent.js';
 import { Random } from '../../testing/random.js';
-import { Field3 } from './gadgets.js';
-import { assert } from './common.js';
+import { Field3 } from '../gadgets/gadgets.js';
+import { assert } from '../gadgets/common.js';
 import { Bytes } from '../wrapped-classes.js';
 
 export {

src/lib/provable/fields.ts → src/lib/provable/types/fields.ts

@@ -1,5 +1,5 @@
-import { ProvablePureExtended } from './types/struct.js';
-import { Field } from './field.js';
+import { ProvablePureExtended } from './struct.js';
+import { Field } from '../field.js';
 
 export { modifiedField, fields };