@aztec/bb.js 0.86.0-starknet.1 → 0.87.0

package/src/main.ts

@@ -11,13 +11,6 @@ import { UltraHonkBackendOptions } from './barretenberg/backend.js';
 createDebug.log = console.error.bind(console);
 const debug = createDebug('bb.js');
 
-// Maximum circuit size for plonk we support in node and the browser is 2^19.
-// This is because both node and browser use barretenberg.wasm which has a 4GB memory limit.
-//
-// This is not a restriction in the bb binary and one should be
-// aware of this discrepancy, when creating proofs in bb versus
-// creating the same proofs in the node CLI.
-const MAX_ULTRAPLONK_CIRCUIT_SIZE_IN_WASM = 2 ** 19;
 const threads = +process.env.HARDWARE_CONCURRENCY! || undefined;
 
 function getBytecode(bytecodePath: string): Uint8Array {
@@ -63,39 +56,6 @@ async function computeCircuitSize(bytecodePath: string, recursive: boolean, honk
   return { total, subgroup };
 }
 
-async function initUltraPlonk(
-  bytecodePath: string,
-  recursive: boolean,
-  crsPath: string,
-  subgroupSizeOverride = -1,
-  honkRecursion = false,
-) {
-  const api = await Barretenberg.new({ threads });
-
-  // TODO(https://github.com/AztecProtocol/barretenberg/issues/1248): Get rid of this call to avoid building the circuit twice.
-  // TODO(https://github.com/AztecProtocol/barretenberg/issues/1126): use specific UltraPlonk function
-  const circuitSize = await getGatesUltra(bytecodePath, recursive, honkRecursion, api);
-  // TODO(https://github.com/AztecProtocol/barretenberg/issues/811): remove subgroupSizeOverride hack for goblin
-  const subgroupSize = Math.max(subgroupSizeOverride, Math.pow(2, Math.ceil(Math.log2(circuitSize))));
-
-  if (subgroupSize > MAX_ULTRAPLONK_CIRCUIT_SIZE_IN_WASM) {
-    throw new Error(`Circuit size of ${subgroupSize} exceeds max supported of ${MAX_ULTRAPLONK_CIRCUIT_SIZE_IN_WASM}`);
-  }
-  debug(`Loading CRS for UltraPlonk with circuit-size=${circuitSize} subgroup-size=${subgroupSize}`);
-  // Plus 1 needed! (Move +1 into Crs?)
-  const crs = await Crs.new(subgroupSize + 1, crsPath);
-
-  // // Important to init slab allocator as first thing, to ensure maximum memory efficiency for Plonk.
-  // TODO(https://github.com/AztecProtocol/barretenberg/issues/1129): Do slab allocator initialization?
-  // await api.commonInitSlabAllocator(subgroupSize);
-
-  // Load CRS into wasm global CRS state.
-  // TODO: Make RawBuffer be default behavior, and have a specific Vector type for when wanting length prefixed.
-  await api.srsInitSrs(new RawBuffer(crs.getG1Data()), crs.numPoints, new RawBuffer(crs.getG2Data()));
-  const acirComposer = await api.acirNewAcirComposer(subgroupSize);
-  return { api, acirComposer, circuitSize, subgroupSize };
-}
-
 async function initUltraHonk(bytecodePath: string, crsPath: string) {
   const api = await Barretenberg.new({ threads });
 
@@ -138,38 +98,7 @@ async function initLite(crsPath: string) {
   // Load CRS into wasm global CRS state.
   await api.srsInitSrs(new RawBuffer(crs.getG1Data()), crs.numPoints, new RawBuffer(crs.getG2Data()));
 
-  const acirComposer = await api.acirNewAcirComposer(0);
-  return { api, acirComposer };
-}
-
-export async function proveAndVerify(bytecodePath: string, recursive: boolean, witnessPath: string, crsPath: string) {
-  /* eslint-disable camelcase */
-  const acir_test = path.basename(process.cwd());
-
-  const { api, acirComposer, circuitSize, subgroupSize } = await initUltraPlonk(bytecodePath, recursive, crsPath);
-  try {
-    debug(`Creating proof bytecode=${bytecodePath} witness=${witnessPath} recursive=${recursive}`);
-    const bytecode = getBytecode(bytecodePath);
-    const witness = getWitness(witnessPath);
-
-    const pkTimer = new Timer();
-    await api.acirInitProvingKey(acirComposer, bytecode, recursive);
-    writeBenchmark('pk_construction_time', pkTimer.ms(), { acir_test, threads });
-    writeBenchmark('gate_count', circuitSize, { acir_test, threads });
-    writeBenchmark('subgroup_size', subgroupSize, { acir_test, threads });
-
-    const proofTimer = new Timer();
-    const proof = await api.acirCreateProof(acirComposer, bytecode, recursive, witness);
-    writeBenchmark('proof_construction_time', proofTimer.ms(), { acir_test, threads });
-
-    debug(`Proof complete. Verifying.`);
-    const verified = await api.acirVerifyProof(acirComposer, proof);
-    debug(`Verification ${verified ? 'successful' : 'failed'}`);
-    return verified;
-  } finally {
-    await api.destroy();
-  }
-  /* eslint-enable camelcase */
+  return { api };
 }
 
 export async function proveAndVerifyUltraHonk(bytecodePath: string, witnessPath: string, crsPath: string) {
@@ -189,7 +118,7 @@ export async function proveAndVerifyUltraHonk(bytecodePath: string, witnessPath:
 
 export async function proveAndVerifyMegaHonk(bytecodePath: string, witnessPath: string, crsPath: string) {
   /* eslint-disable camelcase */
-  const { api } = await initUltraPlonk(bytecodePath, false, crsPath);
+  const { api } = await initUltraHonk(bytecodePath, crsPath);
   try {
     const bytecode = getBytecode(bytecodePath);
     const witness = getWitness(witnessPath);
@@ -202,32 +131,6 @@ export async function proveAndVerifyMegaHonk(bytecodePath: string, witnessPath:
   /* eslint-enable camelcase */
 }
 
-export async function prove(
-  bytecodePath: string,
-  recursive: boolean,
-  witnessPath: string,
-  crsPath: string,
-  outputPath: string,
-) {
-  const { api, acirComposer } = await initUltraPlonk(bytecodePath, recursive, crsPath);
-  try {
-    debug(`Creating proof bytecode=${bytecodePath} witness=${witnessPath} recursive=${recursive}`);
-    const bytecode = getBytecode(bytecodePath);
-    const witness = getWitness(witnessPath);
-    const proof = await api.acirCreateProof(acirComposer, bytecode, recursive, witness);
-
-    if (outputPath === '-') {
-      process.stdout.write(proof);
-      debug(`Proof written to stdout`);
-    } else {
-      writeFileSync(outputPath, proof);
-      debug(`Proof written to ${outputPath}`);
-    }
-  } finally {
-    await api.destroy();
-  }
-}
-
 export async function gateCountUltra(bytecodePath: string, recursive: boolean, honkRecursion: boolean) {
   const api = await Barretenberg.new({ threads: 1 });
   try {
@@ -245,37 +148,6 @@ export async function gateCountUltra(bytecodePath: string, recursive: boolean, h
   }
 }
 
-export async function verify(proofPath: string, vkPath: string, crsPath: string) {
-  const { api, acirComposer } = await initLite(crsPath);
-  try {
-    await api.acirLoadVerificationKey(acirComposer, new RawBuffer(readFileSync(vkPath)));
-    const verified = await api.acirVerifyProof(acirComposer, Uint8Array.from(readFileSync(proofPath)));
-    debug(`Verification ${verified ? 'successful' : 'failed'}`);
-    return verified;
-  } finally {
-    await api.destroy();
-  }
-}
-
-export async function contract(outputPath: string, vkPath: string, crsPath: string) {
-  const { api, acirComposer } = await initLite(crsPath);
-  try {
-    debug(`Creating verifier contract vk=${vkPath}`);
-    await api.acirLoadVerificationKey(acirComposer, new RawBuffer(readFileSync(vkPath)));
-    const contract = await api.acirGetSolidityVerifier(acirComposer);
-
-    if (outputPath === '-') {
-      process.stdout.write(contract);
-      debug(`Solidity verifier contract written to stdout`);
-    } else {
-      writeFileSync(outputPath, contract);
-      debug(`Solidity verifier contract written to ${outputPath}`);
-    }
-  } finally {
-    await api.destroy();
-  }
-}
-
 export async function contractUltraHonk(bytecodePath: string, vkPath: string, crsPath: string, outputPath: string) {
   const { api } = await initUltraHonk(bytecodePath, crsPath);
   try {
@@ -296,94 +168,6 @@ export async function contractUltraHonk(bytecodePath: string, vkPath: string, cr
   }
 }
 
-export async function writeVk(bytecodePath: string, recursive: boolean, crsPath: string, outputPath: string) {
-  const { api, acirComposer } = await initUltraPlonk(bytecodePath, recursive, crsPath);
-  try {
-    debug(`Initializing proving key bytecode=${bytecodePath} recursive=${recursive}`);
-    const bytecode = getBytecode(bytecodePath);
-    await api.acirInitProvingKey(acirComposer, bytecode, recursive);
-
-    debug(`Initializing verification key`);
-    const vk = await api.acirGetVerificationKey(acirComposer);
-
-    if (outputPath === '-') {
-      process.stdout.write(vk);
-      debug(`Verification key written to stdout`);
-    } else {
-      writeFileSync(outputPath, vk);
-      debug(`Verification key written to ${outputPath}`);
-    }
-  } finally {
-    await api.destroy();
-  }
-}
-
-export async function writePk(bytecodePath: string, recursive: boolean, crsPath: string, outputPath: string) {
-  const { api, acirComposer } = await initUltraPlonk(bytecodePath, recursive, crsPath);
-  try {
-    debug(`Initializing proving key bytecode=${bytecodePath} recursive=${recursive}`);
-    const bytecode = getBytecode(bytecodePath);
-    const pk = await api.acirGetProvingKey(acirComposer, bytecode, recursive);
-
-    if (outputPath === '-') {
-      process.stdout.write(pk);
-      debug(`Proving key written to stdout`);
-    } else {
-      writeFileSync(outputPath, pk);
-      debug(`Proving key written to ${outputPath}`);
-    }
-  } finally {
-    await api.destroy();
-  }
-}
-
-export async function proofAsFields(proofPath: string, vkPath: string, outputPath: string, crsPath: string) {
-  const { api, acirComposer } = await initLite(crsPath);
-
-  try {
-    debug(`Serializing proof byte array into field elements proof=${proofPath} vk=${vkPath}`);
-    const numPublicInputs = readFileSync(vkPath).readUint32BE(8);
-    const proofAsFields = await api.acirSerializeProofIntoFields(
-      acirComposer,
-      Uint8Array.from(readFileSync(proofPath)),
-      numPublicInputs,
-    );
-    const jsonProofAsFields = JSON.stringify(proofAsFields.map(f => f.toString()));
-
-    if (outputPath === '-') {
-      process.stdout.write(jsonProofAsFields);
-      debug(`Proof as fields written to stdout`);
-    } else {
-      writeFileSync(outputPath, jsonProofAsFields);
-      debug(`Proof as fields written to ${outputPath}`);
-    }
-  } finally {
-    await api.destroy();
-  }
-}
-
-export async function vkAsFields(vkPath: string, vkeyOutputPath: string, crsPath: string) {
-  const { api, acirComposer } = await initLite(crsPath);
-
-  try {
-    debug(`Serializing vk byte array into field elements vk=${vkPath}`);
-    await api.acirLoadVerificationKey(acirComposer, new RawBuffer(readFileSync(vkPath)));
-    const [vkAsFields, vkHash] = await api.acirSerializeVerificationKeyIntoFields(acirComposer);
-    const output = [vkHash, ...vkAsFields].map(f => f.toString());
-    const jsonVKAsFields = JSON.stringify(output);
-
-    if (vkeyOutputPath === '-') {
-      process.stdout.write(jsonVKAsFields);
-      debug(`Verification key as fields written to stdout`);
-    } else {
-      writeFileSync(vkeyOutputPath, jsonVKAsFields);
-      debug(`Verification key as fields written to ${vkeyOutputPath}`);
-    }
-  } finally {
-    await api.destroy();
-  }
-}
-
 export async function proveUltraHonk(
   bytecodePath: string,
   witnessPath: string,
@@ -400,10 +184,10 @@ export async function proveUltraHonk(
     const acirProveUltraHonk = options?.keccak
       ? api.acirProveUltraKeccakHonk.bind(api)
       : options?.keccakZK
-      ? api.acirProveUltraKeccakZKHonk.bind(api)
-      : options?.starknet
-      ? api.acirProveUltraStarknetHonk.bind(api)
-      : api.acirProveUltraHonk.bind(api);
+        ? api.acirProveUltraKeccakZKHonk.bind(api)
+        : options?.starknet
+          ? api.acirProveUltraStarknetHonk.bind(api)
+          : api.acirProveUltraHonk.bind(api);
     const proof = await acirProveUltraHonk(bytecode, witness);
 
     if (outputPath === '-') {
@@ -432,10 +216,10 @@ export async function writeVkUltraHonk(
     const acirWriteVkUltraHonk = options?.keccak
       ? api.acirWriteVkUltraKeccakHonk.bind(api)
       : options?.keccakZK
-      ? api.acirWriteVkUltraKeccakZKHonk.bind(api)
-      : options?.starknet
-      ? api.acirWriteVkUltraStarknetHonk.bind(api)
-      : api.acirWriteVkUltraHonk.bind(api);
+        ? api.acirWriteVkUltraKeccakZKHonk.bind(api)
+        : options?.starknet
+          ? api.acirWriteVkUltraStarknetHonk.bind(api)
+          : api.acirWriteVkUltraHonk.bind(api);
     const vk = await acirWriteVkUltraHonk(bytecode);
 
     if (outputPath === '-') {
@@ -461,10 +245,10 @@ export async function verifyUltraHonk(
     const acirVerifyUltraHonk = options?.keccak
       ? api.acirVerifyUltraKeccakHonk.bind(api)
       : options?.keccakZK
-      ? api.acirVerifyUltraKeccakZKHonk.bind(api)
-      : options?.starknet
-      ? api.acirVerifyUltraStarknetHonk.bind(api)
-      : api.acirVerifyUltraHonk.bind(api);
+        ? api.acirVerifyUltraKeccakZKHonk.bind(api)
+        : options?.starknet
+          ? api.acirVerifyUltraStarknetHonk.bind(api)
+          : api.acirVerifyUltraHonk.bind(api);
     const verified = await acirVerifyUltraHonk(
       Uint8Array.from(readFileSync(proofPath)),
       new RawBuffer(readFileSync(vkPath)),

package/src/proof/index.ts

@@ -1,5 +1,3 @@
-import { numToUInt32BE } from '../serialize/serialize.js';
-
 /**
  * @description
  * The representation of a proof
@@ -34,16 +32,6 @@ export function reconstructHonkProof(publicInputs: Uint8Array, proof: Uint8Array
   return proofWithPublicInputs;
 }
 
-export function reconstructUltraPlonkProof(proofData: ProofData): Uint8Array {
-  // Flatten publicInputs
-  const publicInputsConcatenated = flattenFieldsAsArray(proofData.publicInputs);
-
-  // Concatenate publicInputs and proof
-  const proofWithPublicInputs = Uint8Array.from([...publicInputsConcatenated, ...proofData.proof]);
-
-  return proofWithPublicInputs;
-}
-
 export function deflattenFields(flattenedFields: Uint8Array): string[] {
   const publicInputSize = 32;
   const chunkedFlattenedPublicInputs: Uint8Array[] = [];

package/src/serialize/buffer_reader.ts

@@ -1,6 +1,9 @@
 export class BufferReader {
   private index: number;
-  constructor(private buffer: Uint8Array, offset = 0) {
+  constructor(
+    private buffer: Uint8Array,
+    offset = 0,
+  ) {
     this.index = offset;
   }
 

package/src/types/fields.ts

@@ -26,8 +26,8 @@ export class Fr {
       typeof value === 'bigint'
         ? value
         : value instanceof Buffer
-        ? buffer32BytesToBigIntBE(value)
-        : uint8ArrayToBigIntBE(value);
+          ? buffer32BytesToBigIntBE(value)
+          : uint8ArrayToBigIntBE(value);
 
     if (valueBigInt > Fr.MAX_VALUE) {
       throw new Error(`Value 0x${valueBigInt.toString(16)} is greater or equal to field modulus.`);

package/src/types/point.ts

@@ -5,7 +5,10 @@ export class Point {
   static SIZE_IN_BYTES = 64;
   static EMPTY = new Point(Fr.ZERO, Fr.ZERO);
 
-  constructor(public readonly x: Fr, public readonly y: Fr) {}
+  constructor(
+    public readonly x: Fr,
+    public readonly y: Fr,
+  ) {}
 
   static random() {
     // TODO: This is not a point on the curve!

package/dest/node/crs/node/ignition_files_crs.d.ts

@@ -1,38 +0,0 @@
-/**
- * The path to our SRS object, assuming that we are in e.g. barretenberg/ts/dest/node/crs/node folder.
- */
-export declare const SRS_DEV_PATH: string;
-export declare const GRUMPKIN_SRS_DEV_PATH: string;
-/**
- * Downloader for CRS from a local file (for Node).
- */
-export declare class IgnitionFilesCrs {
-    /**
-     * The number of circuit gates.
-     */
-    readonly numPoints: number;
-    private path;
-    private data;
-    private g2Data;
-    constructor(
-    /**
-     * The number of circuit gates.
-     */
-    numPoints: number, path?: string);
-    pathExists(): boolean;
-    /**
-     * Read the data file.
-     */
-    init(): Promise<void>;
-    /**
-     * G1 points data for prover key.
-     * @returns The points data.
-     */
-    getG1Data(): Uint8Array;
-    /**
-     * G2 points data for verification key.
-     * @returns The points data.
-     */
-    getG2Data(): Uint8Array;
-}
-//# sourceMappingURL=ignition_files_crs.d.ts.map

package/dest/node/crs/node/ignition_files_crs.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"ignition_files_crs.d.ts","sourceRoot":"","sources":["../../../../src/crs/node/ignition_files_crs.ts"],"names":[],"mappings":"AAeA;;GAEG;AACH,eAAO,MAAM,YAAY,QAAmE,CAAC;AAC7F,eAAO,MAAM,qBAAqB,QAAmE,CAAC;AAEtG;;GAEG;AACH,qBAAa,gBAAgB;IAKzB;;OAEG;aACa,SAAS,EAAE,MAAM;IACjC,OAAO,CAAC,IAAI;IARd,OAAO,CAAC,IAAI,CAAc;IAC1B,OAAO,CAAC,MAAM,CAAc;;IAG1B;;OAEG;IACa,SAAS,EAAE,MAAM,EACzB,IAAI,SAAe;IAG7B,UAAU;IAIV;;OAEG;IACG,IAAI;IAeV;;;OAGG;IACH,SAAS,IAAI,UAAU;IAIvB;;;OAGG;IACH,SAAS,IAAI,UAAU;CAGxB"}

package/dest/node/crs/node/ignition_files_crs.js

@@ -1,65 +0,0 @@
-import { existsSync } from 'fs';
-import { readFile } from 'fs/promises';
-import { dirname } from 'path';
-import { fileURLToPath } from 'url';
-function getCurrentDir() {
-    if (typeof __dirname !== 'undefined') {
-        return __dirname;
-    }
-    else {
-        // eslint-disable-next-line @typescript-eslint/ban-ts-comment
-        // @ts-ignore
-        return dirname(fileURLToPath(import.meta.url));
-    }
-}
-/**
- * The path to our SRS object, assuming that we are in e.g. barretenberg/ts/dest/node/crs/node folder.
- */
-export const SRS_DEV_PATH = getCurrentDir() + '/../../../../../cpp/srs_db/ignition/monomial';
-export const GRUMPKIN_SRS_DEV_PATH = getCurrentDir() + '/../../../../../cpp/srs_db/grumpkin/monomial';
-/**
- * Downloader for CRS from a local file (for Node).
- */
-export class IgnitionFilesCrs {
-    constructor(
-    /**
-     * The number of circuit gates.
-     */
-    numPoints, path = SRS_DEV_PATH) {
-        this.numPoints = numPoints;
-        this.path = path;
-    }
-    pathExists() {
-        return existsSync(this.path);
-    }
-    /**
-     * Read the data file.
-     */
-    async init() {
-        // We need this.numPoints number of g1 points.
-        // numPoints should be circuitSize + 1.
-        const g1Start = 28;
-        const g1End = g1Start + this.numPoints * 64;
-        const data = await readFile(this.path + '/transcript00.dat');
-        this.data = data.subarray(g1Start, g1End);
-        // TODO(https://github.com/AztecProtocol/barretenberg/issues/811): proper abstraction from Grumpkin which does not have g2
-        if (existsSync(this.path + '/g2.dat')) {
-            this.g2Data = await readFile(this.path + '/g2.dat');
-        }
-    }
-    /**
-     * G1 points data for prover key.
-     * @returns The points data.
-     */
-    getG1Data() {
-        return this.data;
-    }
-    /**
-     * G2 points data for verification key.
-     * @returns The points data.
-     */
-    getG2Data() {
-        return this.g2Data;
-    }
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaWduaXRpb25fZmlsZXNfY3JzLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vLi4vc3JjL2Nycy9ub2RlL2lnbml0aW9uX2ZpbGVzX2Nycy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sSUFBSSxDQUFDO0FBQ2hDLE9BQU8sRUFBRSxRQUFRLEVBQUUsTUFBTSxhQUFhLENBQUM7QUFDdkMsT0FBTyxFQUFFLE9BQU8sRUFBRSxNQUFNLE1BQU0sQ0FBQztBQUMvQixPQUFPLEVBQUUsYUFBYSxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXBDLFNBQVMsYUFBYTtJQUNwQixJQUFJLE9BQU8sU0FBUyxLQUFLLFdBQVcsRUFBRSxDQUFDO1FBQ3JDLE9BQU8sU0FBUyxDQUFDO0lBQ25CLENBQUM7U0FBTSxDQUFDO1FBQ04sNkRBQTZEO1FBQzdELGFBQWE7UUFDYixPQUFPLE9BQU8sQ0FBQyxhQUFhLENBQUMsTUFBTSxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDO0lBQ2pELENBQUM7QUFDSCxDQUFDO0FBRUQ7O0dBRUc7QUFDSCxNQUFNLENBQUMsTUFBTSxZQUFZLEdBQUcsYUFBYSxFQUFFLEdBQUcsOENBQThDLENBQUM7QUFDN0YsTUFBTSxDQUFDLE1BQU0scUJBQXFCLEdBQUcsYUFBYSxFQUFFLEdBQUcsOENBQThDLENBQUM7QUFFdEc7O0dBRUc7QUFDSCxNQUFNLE9BQU8sZ0JBQWdCO0lBSTNCO0lBQ0U7O09BRUc7SUFDYSxTQUFpQixFQUN6QixPQUFPLFlBQVk7UUFEWCxjQUFTLEdBQVQsU0FBUyxDQUFRO1FBQ3pCLFNBQUksR0FBSixJQUFJLENBQWU7SUFDMUIsQ0FBQztJQUVKLFVBQVU7UUFDUixPQUFPLFVBQVUsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLENBQUM7SUFDL0IsQ0FBQztJQUVEOztPQUVHO0lBQ0gsS0FBSyxDQUFDLElBQUk7UUFDUiw4Q0FBOEM7UUFDOUMsdUNBQXVDO1FBQ3ZDLE1BQU0sT0FBTyxHQUFHLEVBQUUsQ0FBQztRQUNuQixNQUFNLEtBQUssR0FBRyxPQUFPLEdBQUcsSUFBSSxDQUFDLFNBQVMsR0FBRyxFQUFFLENBQUM7UUFFNUMsTUFBTSxJQUFJLEdBQUcsTUFBTSxRQUFRLENBQUMsSUFBSSxDQUFDLElBQUksR0FBRyxtQkFBbUIsQ0FBQyxDQUFDO1FBQzdELElBQUksQ0FBQyxJQUFJLEdBQUcsSUFBSSxDQUFDLFFBQVEsQ0FBQyxPQUFPLEVBQUUsS0FBSyxDQUFDLENBQUM7UUFFMUMsMEhBQTBIO1FBQzFILElBQUksVUFBVSxDQUFDLElBQUksQ0FBQyxJQUFJLEdBQUcsU0FBUyxDQUFDLEVBQUUsQ0FBQztZQUN0QyxJQUFJLENBQUMsTUFBTSxHQUFHLE1BQU0sUUFBUSxDQUFDLElBQUksQ0FBQyxJQUFJLEdBQUcsU0FBUyxDQUFDLENBQUM7UUFDdEQsQ0FBQztJQUNILENBQUM7SUFFRDs7O09BR0c7SUFDSCxTQUFTO1FBQ1AsT0FBTyxJQUFJLENBQUMsSUFBSSxDQUFDO0lBQ25CLENBQUM7SUFFRDs7O09BR0c7SUFDSCxTQUFTO1FBQ1AsT0FBTyxJQUFJLENBQUMsTUFBTSxDQUFDO0lBQ3JCLENBQUM7Q0FDRiJ9

package/dest/node/examples/simple.rawtest.d.ts

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=simple.rawtest.d.ts.map

package/dest/node/examples/simple.rawtest.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"simple.rawtest.d.ts","sourceRoot":"","sources":["../../../src/examples/simple.rawtest.ts"],"names":[],"mappings":""}

package/dest/node/examples/simple.rawtest.js

@@ -1,30 +0,0 @@
-import { Crs } from '../crs/index.js';
-import createDebug from 'debug';
-import { Barretenberg } from '../barretenberg/index.js';
-import { RawBuffer } from '../types/index.js';
-createDebug.enable('*');
-const debug = createDebug('simple_test');
-async function main() {
-    const CIRCUIT_SIZE = 2 ** 19;
-    debug('starting test...');
-    const api = await Barretenberg.new();
-    // // Important to init slab allocator as first thing, to ensure maximum memory efficiency.
-    // TODO(https://github.com/AztecProtocol/barretenberg/issues/1129): Do slab allocator initialization?
-    // await api.commonInitSlabAllocator(CIRCUIT_SIZE);
-    // Plus 1 needed!
-    const crs = await Crs.new(CIRCUIT_SIZE + 1);
-    await api.srsInitSrs(new RawBuffer(crs.getG1Data()), crs.numPoints, new RawBuffer(crs.getG2Data()));
-    const iterations = 10;
-    let totalTime = 0;
-    for (let i = 0; i < iterations; ++i) {
-        const start = new Date().getTime();
-        debug(`iteration ${i} starting...`);
-        await api.examplesSimpleCreateAndVerifyProof();
-        totalTime += new Date().getTime() - start;
-    }
-    await api.destroy();
-    debug(`avg iteration time: ${totalTime / iterations}ms`);
-    debug('test complete.');
-}
-void main();
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2ltcGxlLnJhd3Rlc3QuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvZXhhbXBsZXMvc2ltcGxlLnJhd3Rlc3QudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEdBQUcsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBQ3RDLE9BQU8sV0FBVyxNQUFNLE9BQU8sQ0FBQztBQUNoQyxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFDeEQsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBRTlDLFdBQVcsQ0FBQyxNQUFNLENBQUMsR0FBRyxDQUFDLENBQUM7QUFDeEIsTUFBTSxLQUFLLEdBQUcsV0FBVyxDQUFDLGFBQWEsQ0FBQyxDQUFDO0FBRXpDLEtBQUssVUFBVSxJQUFJO0lBQ2pCLE1BQU0sWUFBWSxHQUFHLENBQUMsSUFBSSxFQUFFLENBQUM7SUFFN0IsS0FBSyxDQUFDLGtCQUFrQixDQUFDLENBQUM7SUFDMUIsTUFBTSxHQUFHLEdBQUcsTUFBTSxZQUFZLENBQUMsR0FBRyxFQUFFLENBQUM7SUFFckMsMkZBQTJGO0lBQzNGLHFHQUFxRztJQUNyRyxtREFBbUQ7SUFFbkQsaUJBQWlCO0lBQ2pCLE1BQU0sR0FBRyxHQUFHLE1BQU0sR0FBRyxDQUFDLEdBQUcsQ0FBQyxZQUFZLEdBQUcsQ0FBQyxDQUFDLENBQUM7SUFDNUMsTUFBTSxHQUFHLENBQUMsVUFBVSxDQUFDLElBQUksU0FBUyxDQUFDLEdBQUcsQ0FBQyxTQUFTLEVBQUUsQ0FBQyxFQUFFLEdBQUcsQ0FBQyxTQUFTLEVBQUUsSUFBSSxTQUFTLENBQUMsR0FBRyxDQUFDLFNBQVMsRUFBRSxDQUFDLENBQUMsQ0FBQztJQUVwRyxNQUFNLFVBQVUsR0FBRyxFQUFFLENBQUM7SUFDdEIsSUFBSSxTQUFTLEdBQUcsQ0FBQyxDQUFDO0lBQ2xCLEtBQUssSUFBSSxDQUFDLEdBQUcsQ0FBQyxFQUFFLENBQUMsR0FBRyxVQUFVLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQztRQUNwQyxNQUFNLEtBQUssR0FBRyxJQUFJLElBQUksRUFBRSxDQUFDLE9BQU8sRUFBRSxDQUFDO1FBQ25DLEtBQUssQ0FBQyxhQUFhLENBQUMsY0FBYyxDQUFDLENBQUM7UUFDcEMsTUFBTSxHQUFHLENBQUMsa0NBQWtDLEVBQUUsQ0FBQztRQUMvQyxTQUFTLElBQUksSUFBSSxJQUFJLEVBQUUsQ0FBQyxPQUFPLEVBQUUsR0FBRyxLQUFLLENBQUM7SUFDNUMsQ0FBQztJQUVELE1BQU0sR0FBRyxDQUFDLE9BQU8sRUFBRSxDQUFDO0lBRXBCLEtBQUssQ0FBQyx1QkFBdUIsU0FBUyxHQUFHLFVBQVUsSUFBSSxDQUFDLENBQUM7SUFDekQsS0FBSyxDQUFDLGdCQUFnQixDQUFDLENBQUM7QUFDMUIsQ0FBQztBQUVELEtBQUssSUFBSSxFQUFFLENBQUMifQ==

package/dest/node/examples/simple.test.d.ts

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=simple.test.d.ts.map

package/dest/node/examples/simple.test.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"simple.test.d.ts","sourceRoot":"","sources":["../../../src/examples/simple.test.ts"],"names":[],"mappings":""}

package/dest/node/examples/simple.test.js

@@ -1,23 +0,0 @@
-import { Crs } from '../crs/index.js';
-import { Barretenberg } from '../barretenberg/index.js';
-import { RawBuffer } from '../types/index.js';
-describe('simple', () => {
-    let api;
-    beforeAll(async () => {
-        api = await Barretenberg.new();
-        // // Important to init slab allocator as first thing, to ensure maximum memory efficiency.
-        // TODO(https://github.com/AztecProtocol/barretenberg/issues/1129): Do slab allocator initialization?
-        // const CIRCUIT_SIZE = 2 ** 19;
-        // await api.commonInitSlabAllocator(CIRCUIT_SIZE);
-        const crs = await Crs.new(2 ** 20 + 1);
-        await api.srsInitSrs(new RawBuffer(crs.getG1Data()), crs.numPoints, new RawBuffer(crs.getG2Data()));
-    }, 60000);
-    afterAll(async () => {
-        await api.destroy();
-    }, 10000);
-    it('should construct 512k gate proof', async () => {
-        const valid = await api.examplesSimpleCreateAndVerifyProof();
-        expect(valid).toBe(true);
-    }, 300000);
-});
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2ltcGxlLnRlc3QuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvZXhhbXBsZXMvc2ltcGxlLnRlc3QudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEdBQUcsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBQ3RDLE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUN4RCxPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFFOUMsUUFBUSxDQUFDLFFBQVEsRUFBRSxHQUFHLEVBQUU7SUFDdEIsSUFBSSxHQUFpQixDQUFDO0lBRXRCLFNBQVMsQ0FBQyxLQUFLLElBQUksRUFBRTtRQUNuQixHQUFHLEdBQUcsTUFBTSxZQUFZLENBQUMsR0FBRyxFQUFFLENBQUM7UUFFL0IsMkZBQTJGO1FBQzNGLHFHQUFxRztRQUNyRyxnQ0FBZ0M7UUFDaEMsbURBQW1EO1FBRW5ELE1BQU0sR0FBRyxHQUFHLE1BQU0sR0FBRyxDQUFDLEdBQUcsQ0FBQyxDQUFDLElBQUksRUFBRSxHQUFHLENBQUMsQ0FBQyxDQUFDO1FBQ3ZDLE1BQU0sR0FBRyxDQUFDLFVBQVUsQ0FBQyxJQUFJLFNBQVMsQ0FBQyxHQUFHLENBQUMsU0FBUyxFQUFFLENBQUMsRUFBRSxHQUFHLENBQUMsU0FBUyxFQUFFLElBQUksU0FBUyxDQUFDLEdBQUcsQ0FBQyxTQUFTLEVBQUUsQ0FBQyxDQUFDLENBQUM7SUFDdEcsQ0FBQyxFQUFFLEtBQUssQ0FBQyxDQUFDO0lBRVYsUUFBUSxDQUFDLEtBQUssSUFBSSxFQUFFO1FBQ2xCLE1BQU0sR0FBRyxDQUFDLE9BQU8sRUFBRSxDQUFDO0lBQ3RCLENBQUMsRUFBRSxLQUFLLENBQUMsQ0FBQztJQUVWLEVBQUUsQ0FBQyxrQ0FBa0MsRUFBRSxLQUFLLElBQUksRUFBRTtRQUNoRCxNQUFNLEtBQUssR0FBRyxNQUFNLEdBQUcsQ0FBQyxrQ0FBa0MsRUFBRSxDQUFDO1FBQzdELE1BQU0sQ0FBQyxLQUFLLENBQUMsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLENBQUM7SUFDM0IsQ0FBQyxFQUFFLE1BQU0sQ0FBQyxDQUFDO0FBQ2IsQ0FBQyxDQUFDLENBQUMifQ==

package/dest/node-cjs/crs/node/ignition_files_crs.d.ts

@@ -1,38 +0,0 @@
-/**
- * The path to our SRS object, assuming that we are in e.g. barretenberg/ts/dest/node/crs/node folder.
- */
-export declare const SRS_DEV_PATH: string;
-export declare const GRUMPKIN_SRS_DEV_PATH: string;
-/**
- * Downloader for CRS from a local file (for Node).
- */
-export declare class IgnitionFilesCrs {
-    /**
-     * The number of circuit gates.
-     */
-    readonly numPoints: number;
-    private path;
-    private data;
-    private g2Data;
-    constructor(
-    /**
-     * The number of circuit gates.
-     */
-    numPoints: number, path?: string);
-    pathExists(): boolean;
-    /**
-     * Read the data file.
-     */
-    init(): Promise<void>;
-    /**
-     * G1 points data for prover key.
-     * @returns The points data.
-     */
-    getG1Data(): Uint8Array;
-    /**
-     * G2 points data for verification key.
-     * @returns The points data.
-     */
-    getG2Data(): Uint8Array;
-}
-//# sourceMappingURL=ignition_files_crs.d.ts.map

package/dest/node-cjs/crs/node/ignition_files_crs.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"ignition_files_crs.d.ts","sourceRoot":"","sources":["../../../../src/crs/node/ignition_files_crs.ts"],"names":[],"mappings":"AAeA;;GAEG;AACH,eAAO,MAAM,YAAY,QAAmE,CAAC;AAC7F,eAAO,MAAM,qBAAqB,QAAmE,CAAC;AAEtG;;GAEG;AACH,qBAAa,gBAAgB;IAKzB;;OAEG;aACa,SAAS,EAAE,MAAM;IACjC,OAAO,CAAC,IAAI;IARd,OAAO,CAAC,IAAI,CAAc;IAC1B,OAAO,CAAC,MAAM,CAAc;;IAG1B;;OAEG;IACa,SAAS,EAAE,MAAM,EACzB,IAAI,SAAe;IAG7B,UAAU;IAIV;;OAEG;IACG,IAAI;IAeV;;;OAGG;IACH,SAAS,IAAI,UAAU;IAIvB;;;OAGG;IACH,SAAS,IAAI,UAAU;CAGxB"}

package/dest/node-cjs/crs/node/ignition_files_crs.js

@@ -1,69 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.IgnitionFilesCrs = exports.GRUMPKIN_SRS_DEV_PATH = exports.SRS_DEV_PATH = void 0;
-const fs_1 = require("fs");
-const promises_1 = require("fs/promises");
-const path_1 = require("path");
-const url_1 = require("url");
-function getCurrentDir() {
-    if (typeof __dirname !== 'undefined') {
-        return __dirname;
-    }
-    else {
-        // eslint-disable-next-line @typescript-eslint/ban-ts-comment
-        // @ts-ignore
-        return (0, path_1.dirname)((0, url_1.fileURLToPath)(""));
-    }
-}
-/**
- * The path to our SRS object, assuming that we are in e.g. barretenberg/ts/dest/node/crs/node folder.
- */
-exports.SRS_DEV_PATH = getCurrentDir() + '/../../../../../cpp/srs_db/ignition/monomial';
-exports.GRUMPKIN_SRS_DEV_PATH = getCurrentDir() + '/../../../../../cpp/srs_db/grumpkin/monomial';
-/**
- * Downloader for CRS from a local file (for Node).
- */
-class IgnitionFilesCrs {
-    constructor(
-    /**
-     * The number of circuit gates.
-     */
-    numPoints, path = exports.SRS_DEV_PATH) {
-        this.numPoints = numPoints;
-        this.path = path;
-    }
-    pathExists() {
-        return (0, fs_1.existsSync)(this.path);
-    }
-    /**
-     * Read the data file.
-     */
-    async init() {
-        // We need this.numPoints number of g1 points.
-        // numPoints should be circuitSize + 1.
-        const g1Start = 28;
-        const g1End = g1Start + this.numPoints * 64;
-        const data = await (0, promises_1.readFile)(this.path + '/transcript00.dat');
-        this.data = data.subarray(g1Start, g1End);
-        // TODO(https://github.com/AztecProtocol/barretenberg/issues/811): proper abstraction from Grumpkin which does not have g2
-        if ((0, fs_1.existsSync)(this.path + '/g2.dat')) {
-            this.g2Data = await (0, promises_1.readFile)(this.path + '/g2.dat');
-        }
-    }
-    /**
-     * G1 points data for prover key.
-     * @returns The points data.
-     */
-    getG1Data() {
-        return this.data;
-    }
-    /**
-     * G2 points data for verification key.
-     * @returns The points data.
-     */
-    getG2Data() {
-        return this.g2Data;
-    }
-}
-exports.IgnitionFilesCrs = IgnitionFilesCrs;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaWduaXRpb25fZmlsZXNfY3JzLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vLi4vc3JjL2Nycy9ub2RlL2lnbml0aW9uX2ZpbGVzX2Nycy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiOzs7QUFBQSwyQkFBZ0M7QUFDaEMsMENBQXVDO0FBQ3ZDLCtCQUErQjtBQUMvQiw2QkFBb0M7QUFFcEMsU0FBUyxhQUFhO0lBQ3BCLElBQUksT0FBTyxTQUFTLEtBQUssV0FBVyxFQUFFLENBQUM7UUFDckMsT0FBTyxTQUFTLENBQUM7SUFDbkIsQ0FBQztTQUFNLENBQUM7UUFDTiw2REFBNkQ7UUFDN0QsYUFBYTtRQUNiLE9BQU8sSUFBQSxjQUFPLEVBQUMsSUFBQSxtQkFBYSxFQUFDLE1BQU0sQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQztJQUNqRCxDQUFDO0FBQ0gsQ0FBQztBQUVEOztHQUVHO0FBQ1UsUUFBQSxZQUFZLEdBQUcsYUFBYSxFQUFFLEdBQUcsOENBQThDLENBQUM7QUFDaEYsUUFBQSxxQkFBcUIsR0FBRyxhQUFhLEVBQUUsR0FBRyw4Q0FBOEMsQ0FBQztBQUV0Rzs7R0FFRztBQUNILE1BQWEsZ0JBQWdCO0lBSTNCO0lBQ0U7O09BRUc7SUFDYSxTQUFpQixFQUN6QixPQUFPLG9CQUFZO1FBRFgsY0FBUyxHQUFULFNBQVMsQ0FBUTtRQUN6QixTQUFJLEdBQUosSUFBSSxDQUFlO0lBQzFCLENBQUM7SUFFSixVQUFVO1FBQ1IsT0FBTyxJQUFBLGVBQVUsRUFBQyxJQUFJLENBQUMsSUFBSSxDQUFDLENBQUM7SUFDL0IsQ0FBQztJQUVEOztPQUVHO0lBQ0gsS0FBSyxDQUFDLElBQUk7UUFDUiw4Q0FBOEM7UUFDOUMsdUNBQXVDO1FBQ3ZDLE1BQU0sT0FBTyxHQUFHLEVBQUUsQ0FBQztRQUNuQixNQUFNLEtBQUssR0FBRyxPQUFPLEdBQUcsSUFBSSxDQUFDLFNBQVMsR0FBRyxFQUFFLENBQUM7UUFFNUMsTUFBTSxJQUFJLEdBQUcsTUFBTSxJQUFBLG1CQUFRLEVBQUMsSUFBSSxDQUFDLElBQUksR0FBRyxtQkFBbUIsQ0FBQyxDQUFDO1FBQzdELElBQUksQ0FBQyxJQUFJLEdBQUcsSUFBSSxDQUFDLFFBQVEsQ0FBQyxPQUFPLEVBQUUsS0FBSyxDQUFDLENBQUM7UUFFMUMsMEhBQTBIO1FBQzFILElBQUksSUFBQSxlQUFVLEVBQUMsSUFBSSxDQUFDLElBQUksR0FBRyxTQUFTLENBQUMsRUFBRSxDQUFDO1lBQ3RDLElBQUksQ0FBQyxNQUFNLEdBQUcsTUFBTSxJQUFBLG1CQUFRLEVBQUMsSUFBSSxDQUFDLElBQUksR0FBRyxTQUFTLENBQUMsQ0FBQztRQUN0RCxDQUFDO0lBQ0gsQ0FBQztJQUVEOzs7T0FHRztJQUNILFNBQVM7UUFDUCxPQUFPLElBQUksQ0FBQyxJQUFJLENBQUM7SUFDbkIsQ0FBQztJQUVEOzs7T0FHRztJQUNILFNBQVM7UUFDUCxPQUFPLElBQUksQ0FBQyxNQUFNLENBQUM7SUFDckIsQ0FBQztDQUNGO0FBakRELDRDQWlEQyJ9