66 * - They throw errors for the same inputs
77 * - If they don't throw an error, outputs must be the same
88 */
9+ import { MlBool , MlOption } from '../../../lib/ml/base.js' ;
10+ import { FromSpec , Spec , ToSpec , defaultAssertEqual , id } from '../../../lib/testing/equivalent.js' ;
11+ import { Random } from '../../../lib/testing/property.js' ;
12+ import {
13+ WasmGPallas ,
14+ WasmGVesta ,
15+ WasmPallasGProjective ,
16+ WasmVestaGProjective ,
17+ } from '../../compiled/node_bindings/plonk_wasm.cjs' ;
18+ import { wasm } from '../../js/node/node-backend.js' ;
19+ import { GroupProjective , Pallas , ProjectiveCurve , Vesta } from '../elliptic-curve.js' ;
20+ import { FiniteField , Fp , Fq } from '../finite-field.js' ;
21+
922import {
1023 Bigint256 ,
1124 Bigint256Bindings ,
@@ -15,9 +28,6 @@ import {
1528 mlBytesToUint8Array ,
1629 toMlStringAscii ,
1730} from './bigint256.js' ;
18- import { wasm } from '../../js/node/node-backend.js' ;
19- import { Spec , ToSpec , FromSpec , defaultAssertEqual , id } from '../../../lib/testing/equivalent.js' ;
20- import { Random } from '../../../lib/testing/property.js' ;
2131import {
2232 WasmAffine ,
2333 WasmProjective ,
@@ -26,18 +36,9 @@ import {
2636 fieldFromRust ,
2737 fieldToRust ,
2838} from './conversion-base.js' ;
29- import { equivalentRecord } from './test-utils.js' ;
30- import { Field , FpBindings , FqBindings } from './field.js' ;
31- import { MlBool , MlOption } from '../../../lib/ml/base.js' ;
3239import { OrInfinity , PallasBindings , VestaBindings , toMlOrInfinity } from './curve.js' ;
33- import { GroupProjective , Pallas , ProjectiveCurve , Vesta } from '../elliptic-curve.js' ;
34- import {
35- WasmGPallas ,
36- WasmGVesta ,
37- WasmPallasGProjective ,
38- WasmVestaGProjective ,
39- } from '../../compiled/node_bindings/plonk_wasm.cjs' ;
40- import { FiniteField , Fp , Fq } from '../finite-field.js' ;
40+ import { Field , FpBindings , FqBindings } from './field.js' ;
41+ import { equivalentRecord } from './test-utils.js' ;
4142
4243let number : ToSpec < number , number > = { back : id } ;
4344let numberLessThan = ( max : number ) : FromSpec < number , number > => ( {
0 commit comments