npm - @aztec/bb.js - Versions diffs - 0.0.1-alpha.0 - Mend

@aztec/bb.js 0.0.1-alpha.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (206) hide show

package/README.md +3 -0
package/dest/async_map/index.d.ts +10 -0
package/dest/async_map/index.d.ts.map +1 -0
package/dest/async_map/index.js +16 -0
package/dest/barretenberg-threads.wasm +0 -0
package/dest/barretenberg.wasm +0 -0
package/dest/barretenberg_api/blake2s.test.d.ts +2 -0
package/dest/barretenberg_api/blake2s.test.d.ts.map +1 -0
package/dest/barretenberg_api/blake2s.test.js +30 -0
package/dest/barretenberg_api/common.test.d.ts +2 -0
package/dest/barretenberg_api/common.test.d.ts.map +1 -0
package/dest/barretenberg_api/common.test.js +18 -0
package/dest/barretenberg_api/index.d.ts +101 -0
package/dest/barretenberg_api/index.d.ts.map +1 -0
package/dest/barretenberg_api/index.js +371 -0
package/dest/barretenberg_api/pedersen.test.d.ts +2 -0
package/dest/barretenberg_api/pedersen.test.d.ts.map +1 -0
package/dest/barretenberg_api/pedersen.test.js +69 -0
package/dest/barretenberg_api/schnorr.test.d.ts +2 -0
package/dest/barretenberg_api/schnorr.test.d.ts.map +1 -0
package/dest/barretenberg_api/schnorr.test.js +113 -0
package/dest/barretenberg_binder/heap_allocator.d.ts +22 -0
package/dest/barretenberg_binder/heap_allocator.d.ts.map +1 -0
package/dest/barretenberg_binder/heap_allocator.js +59 -0
package/dest/barretenberg_binder/heap_allocator_sync.d.ts +22 -0
package/dest/barretenberg_binder/heap_allocator_sync.d.ts.map +1 -0
package/dest/barretenberg_binder/heap_allocator_sync.js +58 -0
package/dest/barretenberg_binder/index.d.ts +32 -0
package/dest/barretenberg_binder/index.d.ts.map +1 -0
package/dest/barretenberg_binder/index.js +73 -0
package/dest/barretenberg_wasm/barretenberg_wasm.d.ts +49 -0
package/dest/barretenberg_wasm/barretenberg_wasm.d.ts.map +1 -0
package/dest/barretenberg_wasm/barretenberg_wasm.js +190 -0
package/dest/barretenberg_wasm/barretenberg_wasm.test.d.ts +2 -0
package/dest/barretenberg_wasm/barretenberg_wasm.test.d.ts.map +1 -0
package/dest/barretenberg_wasm/barretenberg_wasm.test.js +43 -0
package/dest/barretenberg_wasm/browser/index.d.ts +8 -0
package/dest/barretenberg_wasm/browser/index.d.ts.map +1 -0
package/dest/barretenberg_wasm/browser/index.js +26 -0
package/dest/barretenberg_wasm/browser/worker.d.ts +2 -0
package/dest/barretenberg_wasm/browser/worker.d.ts.map +1 -0
package/dest/barretenberg_wasm/browser/worker.js +11 -0
package/dest/barretenberg_wasm/index.d.ts +2 -0
package/dest/barretenberg_wasm/index.d.ts.map +1 -0
package/dest/barretenberg_wasm/index.js +2 -0
package/dest/barretenberg_wasm/node/index.d.ts +17 -0
package/dest/barretenberg_wasm/node/index.d.ts.map +1 -0
package/dest/barretenberg_wasm/node/index.js +40 -0
package/dest/barretenberg_wasm/node/node_endpoint.d.ts +8 -0
package/dest/barretenberg_wasm/node/node_endpoint.d.ts.map +1 -0
package/dest/barretenberg_wasm/node/node_endpoint.js +28 -0
package/dest/barretenberg_wasm/node/worker.d.ts +2 -0
package/dest/barretenberg_wasm/node/worker.d.ts.map +1 -0
package/dest/barretenberg_wasm/node/worker.js +9 -0
package/dest/barretenberg_wasm.js +2 -0
package/dest/barretenberg_wasm.js.LICENSE.txt +5 -0
package/dest/bigint-array/index.d.ts +3 -0
package/dest/bigint-array/index.d.ts.map +1 -0
package/dest/bigint-array/index.js +21 -0
package/dest/bindgen/function_declaration.d.ts +11 -0
package/dest/bindgen/function_declaration.d.ts.map +1 -0
package/dest/bindgen/function_declaration.js +2 -0
package/dest/bindgen/index.d.ts +2 -0
package/dest/bindgen/index.d.ts.map +1 -0
package/dest/bindgen/index.js +15 -0
package/dest/bindgen/mappings.d.ts +4 -0
package/dest/bindgen/mappings.d.ts.map +1 -0
package/dest/bindgen/mappings.js +63 -0
package/dest/bindgen/rust.d.ts +2 -0
package/dest/bindgen/rust.d.ts.map +1 -0
package/dest/bindgen/rust.js +43 -0
package/dest/bindgen/to_camel_case.d.ts +2 -0
package/dest/bindgen/to_camel_case.d.ts.map +1 -0
package/dest/bindgen/to_camel_case.js +11 -0
package/dest/bindgen/typescript.d.ts +2 -0
package/dest/bindgen/typescript.d.ts.map +1 -0
package/dest/bindgen/typescript.js +80 -0
package/dest/crs/browser/cached_net_crs.d.ts +25 -0
package/dest/crs/browser/cached_net_crs.d.ts.map +1 -0
package/dest/crs/browser/cached_net_crs.js +54 -0
package/dest/crs/browser/index.d.ts +2 -0
package/dest/crs/browser/index.d.ts.map +1 -0
package/dest/crs/browser/index.js +2 -0
package/dest/crs/index.d.ts +2 -0
package/dest/crs/index.d.ts.map +1 -0
package/dest/crs/index.js +2 -0
package/dest/crs/net_crs.d.ts +36 -0
package/dest/crs/net_crs.d.ts.map +1 -0
package/dest/crs/net_crs.js +59 -0
package/dest/crs/node/file_crs.d.ts +37 -0
package/dest/crs/node/file_crs.d.ts.map +1 -0
package/dest/crs/node/file_crs.js +51 -0
package/dest/crs/node/index.d.ts +31 -0
package/dest/crs/node/index.d.ts.map +1 -0
package/dest/crs/node/index.js +41 -0
package/dest/examples/simple.rawtest.d.ts +2 -0
package/dest/examples/simple.rawtest.d.ts.map +1 -0
package/dest/examples/simple.rawtest.js +24 -0
package/dest/examples/simple.test.d.ts +2 -0
package/dest/examples/simple.test.d.ts.map +1 -0
package/dest/examples/simple.test.js +22 -0
package/dest/factory/index.d.ts +21 -0
package/dest/factory/index.d.ts.map +1 -0
package/dest/factory/index.js +34 -0
package/dest/index.d.ts +4 -0
package/dest/index.d.ts.map +1 -0
package/dest/index.html +1 -0
package/dest/index.js +4 -0
package/dest/main-dev.d.ts +3 -0
package/dest/main-dev.d.ts.map +1 -0
package/dest/main-dev.js +3 -0
package/dest/main.d.ts +10 -0
package/dest/main.d.ts.map +1 -0
package/dest/main.js +288 -0
package/dest/random/browser/index.d.ts +2 -0
package/dest/random/browser/index.d.ts.map +1 -0
package/dest/random/browser/index.js +31 -0
package/dest/random/index.d.ts +2 -0
package/dest/random/index.d.ts.map +1 -0
package/dest/random/index.js +2 -0
package/dest/random/node/index.d.ts +2 -0
package/dest/random/node/index.d.ts.map +1 -0
package/dest/random/node/index.js +5 -0
package/dest/serialize/buffer_reader.d.ts +28 -0
package/dest/serialize/buffer_reader.d.ts.map +1 -0
package/dest/serialize/buffer_reader.js +66 -0
package/dest/serialize/index.d.ts +4 -0
package/dest/serialize/index.d.ts.map +1 -0
package/dest/serialize/index.js +4 -0
package/dest/serialize/output_type.d.ts +11 -0
package/dest/serialize/output_type.d.ts.map +1 -0
package/dest/serialize/output_type.js +44 -0
package/dest/serialize/serialize.d.ts +53 -0
package/dest/serialize/serialize.d.ts.map +1 -0
package/dest/serialize/serialize.js +139 -0
package/dest/simple_test.js +2 -0
package/dest/simple_test.js.LICENSE.txt +14 -0
package/dest/types/fields.d.ts +33 -0
package/dest/types/fields.d.ts.map +1 -0
package/dest/types/fields.js +86 -0
package/dest/types/fixed_size_buffer.d.ts +26 -0
package/dest/types/fixed_size_buffer.d.ts.map +1 -0
package/dest/types/fixed_size_buffer.js +54 -0
package/dest/types/index.d.ts +6 -0
package/dest/types/index.d.ts.map +1 -0
package/dest/types/index.js +6 -0
package/dest/types/point.d.ts +17 -0
package/dest/types/point.d.ts.map +1 -0
package/dest/types/point.js +32 -0
package/dest/types/ptr.d.ts +13 -0
package/dest/types/ptr.d.ts.map +1 -0
package/dest/types/ptr.js +20 -0
package/dest/types/raw_buffer.d.ts +3 -0
package/dest/types/raw_buffer.d.ts.map +1 -0
package/dest/types/raw_buffer.js +5 -0
package/package.json +79 -0
package/src/async_map/index.ts +15 -0
package/src/barretenberg_api/blake2s.test.ts +39 -0
package/src/barretenberg_api/common.test.ts +21 -0
package/src/barretenberg_api/index.ts +461 -0
package/src/barretenberg_api/pedersen.test.ts +84 -0
package/src/barretenberg_api/schnorr.test.ts +169 -0
package/src/barretenberg_binder/heap_allocator.ts +62 -0
package/src/barretenberg_binder/heap_allocator_sync.ts +61 -0
package/src/barretenberg_binder/index.ts +76 -0
package/src/barretenberg_wasm/barretenberg_wasm.test.ts +52 -0
package/src/barretenberg_wasm/barretenberg_wasm.ts +222 -0
package/src/barretenberg_wasm/browser/index.ts +32 -0
package/src/barretenberg_wasm/browser/worker.ts +13 -0
package/src/barretenberg_wasm/index.ts +1 -0
package/src/barretenberg_wasm/node/index.ts +46 -0
package/src/barretenberg_wasm/node/node_endpoint.ts +28 -0
package/src/barretenberg_wasm/node/worker.ts +10 -0
package/src/bigint-array/index.ts +21 -0
package/src/bindgen/function_declaration.ts +11 -0
package/src/bindgen/index.ts +17 -0
package/src/bindgen/mappings.ts +66 -0
package/src/bindgen/rust.ts +52 -0
package/src/bindgen/to_camel_case.ts +10 -0
package/src/bindgen/typescript.ts +91 -0
package/src/crs/browser/cached_net_crs.ts +60 -0
package/src/crs/browser/index.ts +1 -0
package/src/crs/index.ts +1 -0
package/src/crs/net_crs.ts +69 -0
package/src/crs/node/file_crs.ts +60 -0
package/src/crs/node/index.ts +48 -0
package/src/examples/simple.rawtest.ts +32 -0
package/src/examples/simple.test.ts +27 -0
package/src/factory/index.ts +36 -0
package/src/index.html +9 -0
package/src/index.ts +3 -0
package/src/main-dev.ts +2 -0
package/src/main.ts +329 -0
package/src/random/browser/index.ts +32 -0
package/src/random/index.ts +1 -0
package/src/random/node/index.ts +5 -0
package/src/serialize/buffer_reader.ts +82 -0
package/src/serialize/index.ts +3 -0
package/src/serialize/output_type.ts +53 -0
package/src/serialize/serialize.ts +157 -0
package/src/types/fields.ts +98 -0
package/src/types/fixed_size_buffer.ts +59 -0
package/src/types/index.ts +5 -0
package/src/types/point.ts +35 -0
package/src/types/ptr.ts +20 -0
package/src/types/raw_buffer.ts +3 -0

package/src/factory/index.ts ADDED Viewed

@@ -0,0 +1,36 @@
+import { BarretenbergApi, BarretenbergApiSync } from '../barretenberg_api/index.js';
+import { BarretenbergBinder, BarretenbergBinderSync } from '../barretenberg_binder/index.js';
+import { BarretenbergWasm, BarretenbergWasmWorker } from '../barretenberg_wasm/index.js';
+/**
+ * Returns a single threaded, synchronous, barretenberg api.
+ * Can be used on the main thread to perform small light-weight requests like hashing etc.
+ */
+export async function newBarretenbergApiSync() {
+  return new BarretenbergApiSync(new BarretenbergBinderSync(await BarretenbergWasm.new()));
+}
+export class BarretenbergApiAsync extends BarretenbergApi {
+  constructor(private worker: any, private wasm: BarretenbergWasmWorker) {
+    super(new BarretenbergBinder(wasm));
+  }
+  async getNumThreads() {
+    return await this.wasm.getNumThreads();
+  }
+  async destroy() {
+    await this.wasm.destroy();
+    await this.worker.terminate();
+  }
+}
+/**
+ * Returns a multi threaded, asynchronous, barretenberg api.
+ * It runs in a worker, and so can be used within the browser to execute long running, multi-threaded requests
+ * like proof construction etc.
+ */
+export async function newBarretenbergApiAsync(threads?: number) {
+  const { wasm, worker } = await BarretenbergWasm.newWorker(threads);
+  return new BarretenbergApiAsync(worker, wasm);
+}

package/src/index.html ADDED Viewed

@@ -0,0 +1,9 @@
+<!DOCTYPE html>
+<html>
+  <head>
+    <title>My App</title>
+  </head>
+  <body>
+    <script src="simple_test.js"></script>
+  </body>
+</html>

package/src/index.ts ADDED Viewed

@@ -0,0 +1,3 @@
+export * from './crs/index.js';
+export * from './barretenberg_wasm/index.js';
+export * from './barretenberg_api/index.js';

package/src/main-dev.ts ADDED Viewed

	@@ -0,0 +1,2 @@
1	+ #!/usr/bin/env -S node --loader ts-node/esm --no-warnings
2	+ import './main.js';

package/src/main.ts ADDED Viewed

@@ -0,0 +1,329 @@
+#!/usr/bin/env -S node --no-warnings
+import { Crs } from './crs/index.js';
+import createDebug from 'debug';
+import { BarretenbergApiAsync, newBarretenbergApiAsync } from './factory/index.js';
+import { readFileSync, writeFileSync } from 'fs';
+import { gunzipSync } from 'zlib';
+import { RawBuffer } from './types/index.js';
+import { numToUInt32BE } from './serialize/serialize.js';
+import { Command } from 'commander';
+createDebug.log = console.error.bind(console);
+const debug = createDebug('bb.js');
+// createDebug.enable('*');
+// Maximum we support.
+const MAX_CIRCUIT_SIZE = 2 ** 19;
+function getBytecode(jsonPath: string) {
+  const json = readFileSync(jsonPath, 'utf-8');
+  const parsed = JSON.parse(json);
+  const buffer = Buffer.from(parsed.bytecode, 'base64');
+  const decompressed = gunzipSync(buffer);
+  return decompressed;
+}
+function getWitness(witnessPath: string) {
+  const data = readFileSync(witnessPath);
+  return Buffer.concat([numToUInt32BE(data.length / 32), data]);
+}
+async function getCircuitSize(jsonPath: string, api: BarretenbergApiAsync) {
+  const bytecode = getBytecode(jsonPath);
+  const [exact, total, subgroup] = await api.acirGetCircuitSizes(new RawBuffer(bytecode));
+  return { exact, total, subgroup };
+}
+async function init(jsonPath: string) {
+  const api = await newBarretenbergApiAsync();
+  // First compute circuit size.
+  const circuitSizes = await getCircuitSize(jsonPath, api);
+  debug(`circuit size: ${circuitSizes.total}`);
+  if (circuitSizes.subgroup > MAX_CIRCUIT_SIZE) {
+    throw new Error(`Circuit size of ${circuitSizes.subgroup} exceeds max supported of ${MAX_CIRCUIT_SIZE}`);
+  }
+  // Plus 1 needed! (Move +1 into Crs?)
+  const crs = await Crs.new(circuitSizes.subgroup + 1);
+  // Important to init slab allocator as first thing, to ensure maximum memory efficiency.
+  await api.commonInitSlabAllocator(circuitSizes.subgroup);
+  // Load CRS into wasm global CRS state.
+  // TODO: Make RawBuffer be default behaviour, 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();
+  return { api, acirComposer, circuitSize: circuitSizes.subgroup };
+}
+async function initLite() {
+  const api = await newBarretenbergApiAsync(1);
+  // Plus 1 needed! (Move +1 into Crs?)
+  const crs = await Crs.new(1);
+  // 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();
+  return { api, acirComposer };
+}
+export async function proveAndVerify(jsonPath: string, witnessPath: string, isRecursive: boolean) {
+  const { api, acirComposer, circuitSize } = await init(jsonPath);
+  try {
+    debug('initing proving key...');
+    const bytecode = getBytecode(jsonPath);
+    await api.acirInitProvingKey(acirComposer, new RawBuffer(bytecode), circuitSize);
+    // const circuitSize = await api.acirGetExactCircuitSize(acirComposer);
+    // debug(`circuit size: ${circuitSize}`);
+    debug('initing verification key...');
+    await api.acirInitVerificationKey(acirComposer);
+    debug(`creating proof...`);
+    const witness = getWitness(witnessPath);
+    const proof = await api.acirCreateProof(acirComposer, new RawBuffer(bytecode), new RawBuffer(witness), isRecursive);
+    debug(`done.`);
+    const verified = await api.acirVerifyProof(acirComposer, proof, isRecursive);
+    console.log(`verified: ${verified}`);
+    return verified;
+  } finally {
+    await api.destroy();
+  }
+}
+export async function prove(jsonPath: string, witnessPath: string, isRecursive: boolean, outputPath: string) {
+  const { api, acirComposer, circuitSize } = await init(jsonPath);
+  try {
+    debug('initing proving key...');
+    const bytecode = getBytecode(jsonPath);
+    await api.acirInitProvingKey(acirComposer, new RawBuffer(bytecode), circuitSize);
+    // const circuitSize = await api.acirGetExactCircuitSize(acirComposer);
+    // debug(`circuit size: ${circuitSize}`);
+    debug(`creating proof...`);
+    const witness = getWitness(witnessPath);
+    const proof = await api.acirCreateProof(acirComposer, new RawBuffer(bytecode), new RawBuffer(witness), isRecursive);
+    debug(`done.`);
+    writeFileSync(outputPath, proof);
+    console.log(`proof written to: ${outputPath}`);
+  } finally {
+    await api.destroy();
+  }
+}
+export async function gateCount(jsonPath: string) {
+  const api = await newBarretenbergApiAsync(1);
+  try {
+    const circuitSizes = await getCircuitSize(jsonPath, api);
+    console.log(`${circuitSizes.exact}`);
+  } finally {
+    await api.destroy();
+  }
+}
+export async function verify(jsonPath: string, proofPath: string, isRecursive: boolean, vkPath?: string) {
+  if (vkPath) {
+    const { api, acirComposer } = await initLite();
+    try {
+      await api.acirLoadVerificationKey(acirComposer, new RawBuffer(readFileSync(vkPath)));
+      const verified = await api.acirVerifyProof(acirComposer, readFileSync(proofPath), isRecursive);
+      console.log(`verified: ${verified}`);
+      return verified;
+    } finally {
+      await api.destroy();
+    }
+  } else {
+    const { api, acirComposer, circuitSize } = await init(jsonPath);
+    try {
+      debug('initing proving key...');
+      const bytecode = getBytecode(jsonPath);
+      await api.acirInitProvingKey(acirComposer, new RawBuffer(bytecode), circuitSize);
+      debug('initing verification key...');
+      await api.acirInitVerificationKey(acirComposer);
+      const verified = await api.acirVerifyProof(acirComposer, readFileSync(proofPath), isRecursive);
+      console.log(`verified: ${verified}`);
+      return verified;
+    } finally {
+      await api.destroy();
+    }
+  }
+}
+export async function contract(jsonPath: string, outputPath: string) {
+  const { api, acirComposer, circuitSize } = await init(jsonPath);
+  try {
+    debug('initing proving key...');
+    const bytecode = getBytecode(jsonPath);
+    await api.acirInitProvingKey(acirComposer, new RawBuffer(bytecode), circuitSize);
+    debug('initing verification key...');
+    await api.acirInitVerificationKey(acirComposer);
+    const contract = await api.acirGetSolidityVerifier(acirComposer);
+    if (outputPath === '-') {
+      console.log(contract);
+    } else {
+      writeFileSync(outputPath, contract);
+      console.log(`contract written to: ${outputPath}`);
+    }
+  } finally {
+    await api.destroy();
+  }
+}
+export async function writeVk(jsonPath: string, outputPath: string) {
+  const { api, acirComposer, circuitSize } = await init(jsonPath);
+  try {
+    debug('initing proving key...');
+    const bytecode = getBytecode(jsonPath);
+    await api.acirInitProvingKey(acirComposer, new RawBuffer(bytecode), circuitSize);
+    debug('initing verification key...');
+    const vk = await api.acirGetVerificationKey(acirComposer);
+    if (outputPath === '-') {
+      process.stdout.write(vk);
+    } else {
+      writeFileSync(outputPath, vk);
+      console.log(`vk written to: ${outputPath}`);
+    }
+  } finally {
+    await api.destroy();
+  }
+}
+export async function proofAsFields(proofPath: string, numInnerPublicInputs: number, outputPath: string) {
+  const { api, acirComposer } = await initLite();
+  try {
+    debug('serializing proof byte array into field elements');
+    const proofAsFields = await api.acirSerializeProofIntoFields(
+      acirComposer,
+      readFileSync(proofPath),
+      numInnerPublicInputs,
+    );
+    writeFileSync(outputPath, JSON.stringify(proofAsFields.map(f => f.toString())));
+    debug('done.');
+  } finally {
+    await api.destroy();
+  }
+}
+export async function vkAsFields(vkPath: string, vkeyOutputPath: string) {
+  const { api, acirComposer } = await initLite();
+  try {
+    debug('serializing vk byte array into field elements');
+    await api.acirLoadVerificationKey(acirComposer, new RawBuffer(readFileSync(vkPath)));
+    const [vkAsFields, vkHash] = await api.acirSerializeVerificationKeyIntoFields(acirComposer);
+    const output = [vkHash, ...vkAsFields].map(f => f.toString());
+    writeFileSync(vkeyOutputPath, JSON.stringify(output));
+    debug('done.');
+  } finally {
+    await api.destroy();
+  }
+}
+// nargo use bb.js: backend -> bb.js
+// backend prove --data-dir data --witness /foo/bar/witness.tr --json /foo/bar/main.json
+// backend verify ...
+// backend get_total_num_gates --data-dir data --json /foo/bar/main.json
+// backend get_sol_contract --data-dir data --json /foo/bar/main.json --output
+// backend get_features
+// OPTIONAL stateful backend:
+// backend start
+// backend stop
+const program = new Command();
+program
+  .command('prove_and_verify')
+  .description('Generate a proof and verify it. Process exits with success or failure code.')
+  .option('-j, --json-path <path>', 'Specify the JSON path', './target/main.json')
+  .option('-w, --witness-path <path>', 'Specify the witness path', './target/witness.tr')
+  .option('-r, --recursive', 'prove and verify using recursive prover and verifier', false)
+  .action(async ({ jsonPath, witnessPath, recursive }) => {
+    const result = await proveAndVerify(jsonPath, witnessPath, recursive);
+    process.exit(result ? 0 : 1);
+  });
+program
+  .command('prove')
+  .description('Generate a proof and write it to a file.')
+  .option('-j, --json-path <path>', 'Specify the JSON path', './target/main.json')
+  .option('-w, --witness-path <path>', 'Specify the witness path', './target/witness.tr')
+  .option('-r, --recursive', 'prove using recursive prover', false)
+  .option('-o, --output-dir <path>', 'Specify the proof output dir', './proofs')
+  .requiredOption('-n, --name <filename>', 'Output file name.')
+  .action(async ({ jsonPath, witnessPath, recursive, outputDir, name }) => {
+    await prove(jsonPath, witnessPath, recursive, outputDir + '/' + name);
+  });
+program
+  .command('gates')
+  .description('Print gate count to standard output.')
+  .option('-j, --json-path <path>', 'Specify the JSON path', './target/main.json')
+  .action(async ({ jsonPath }) => {
+    await gateCount(jsonPath);
+  });
+program
+  .command('verify')
+  .description('Verify a proof. Process exists with success or failure code.')
+  .option('-j, --json-path <path>', 'Specify the JSON path', './target/main.json')
+  .requiredOption('-p, --proof-path <path>', 'Specify the path to the proof')
+  .option('-r, --recursive', 'prove using recursive prover', false)
+  .option('-v, --vk <path>', 'path to a verification key. avoids recomputation.')
+  .action(async ({ jsonPath, proofPath, recursive, vk }) => {
+    await verify(jsonPath, proofPath, recursive, vk);
+  });
+program
+  .command('contract')
+  .description('Output solidity verification key contract.')
+  .option('-j, --json-path <path>', 'Specify the JSON path', './target/main.json')
+  .option('-o, --output-path <path>', 'Specify the path to write the contract', '-')
+  .action(async ({ jsonPath, outputPath }) => {
+    await contract(jsonPath, outputPath);
+  });
+program
+  .command('write_vk')
+  .description('Output verification key.')
+  .option('-j, --json-path <path>', 'Specify the JSON path', './target/main.json')
+  .requiredOption('-o, --output-path <path>', 'Specify the path to write the key')
+  .action(async ({ jsonPath, outputPath }) => {
+    await writeVk(jsonPath, outputPath);
+  });
+program
+  .command('proof_as_fields')
+  .description('Return the proof as fields elements')
+  .requiredOption('-p, --proof-path <path>', 'Specify the proof path')
+  .requiredOption('-n, --num-public-inputs <number>', 'Specify the number of public inputs')
+  .requiredOption('-o, --output-path <path>', 'Specify the JSON path to write the proof fields')
+  .action(async ({ proofPath, numPublicInputs, outputPath }) => {
+    await proofAsFields(proofPath, numPublicInputs, outputPath);
+  });
+program
+  .command('vk_as_fields')
+  .description('Return the verifiation key represented as fields elements. Also return the verification key hash.')
+  .requiredOption('-i, --input-path <path>', 'Specifies the vk path (output from write_vk)')
+  .requiredOption('-o, --output-path <path>', 'Specify the JSON path to write the verification key fields and key hash')
+  .action(async ({ inputPath, outputPath }) => {
+    await vkAsFields(inputPath, outputPath);
+  });
+program.name('bb.js').parse(process.argv);

package/src/random/browser/index.ts ADDED Viewed

@@ -0,0 +1,32 @@
+export const randomBytes = (len: number) => {
+  const getWebCrypto = () => {
+    if (typeof window !== 'undefined' && window.crypto) return window.crypto;
+    if (typeof self !== 'undefined' && self.crypto) return self.crypto;
+    return undefined;
+  };
+  const crypto = getWebCrypto();
+  if (!crypto) {
+    throw new Error('randomBytes UnsupportedEnvironment');
+  }
+  const buf = new Uint8Array(len);
+  // limit of Crypto.getRandomValues()
+  // https://developer.mozilla.org/en-US/docs/Web/API/Crypto/getRandomValues
+  const MAX_BYTES = 65536;
+  if (len > MAX_BYTES) {
+    // this is the max bytes crypto.getRandomValues
+    // can do at once see https://developer.mozilla.org/en-US/docs/Web/API/window.crypto.getRandomValues
+    for (let generated = 0; generated < len; generated += MAX_BYTES) {
+      // buffer.slice automatically checks if the end is past the end of
+      // the buffer so we don't have to here
+      crypto.getRandomValues(buf.subarray(generated, generated + MAX_BYTES));
+    }
+  } else {
+    crypto.getRandomValues(buf);
+  }
+  return buf;
+};

package/src/random/index.ts ADDED Viewed

	@@ -0,0 +1 @@
1	+ export * from './node/index.js';

package/src/random/node/index.ts ADDED Viewed

@@ -0,0 +1,5 @@
+import { randomBytes as cryptoRandomBytes } from 'crypto';
+export function randomBytes(len: number) {
+  return new Uint8Array(cryptoRandomBytes(len));
+}

package/src/serialize/buffer_reader.ts ADDED Viewed

@@ -0,0 +1,82 @@
+export class BufferReader {
+  private index: number;
+  constructor(private buffer: Uint8Array, offset = 0) {
+    this.index = offset;
+  }
+  public static asReader(bufferOrReader: Uint8Array | BufferReader) {
+    return bufferOrReader instanceof BufferReader ? bufferOrReader : new BufferReader(bufferOrReader);
+  }
+  public readNumber(): number {
+    const dataView = new DataView(this.buffer.buffer, this.buffer.byteOffset + this.index, 4);
+    this.index += 4;
+    return dataView.getUint32(0, false);
+  }
+  public readBoolean(): boolean {
+    this.index += 1;
+    return Boolean(this.buffer.at(this.index - 1));
+  }
+  public readBytes(n: number): Uint8Array {
+    this.index += n;
+    return this.buffer.slice(this.index - n, this.index);
+  }
+  public readNumberVector(): number[] {
+    return this.readVector({
+      fromBuffer: (reader: BufferReader) => reader.readNumber(),
+    });
+  }
+  public readVector<T>(itemDeserializer: { fromBuffer: (reader: BufferReader) => T }): T[] {
+    const size = this.readNumber();
+    const result = new Array<T>(size);
+    for (let i = 0; i < size; i++) {
+      result[i] = itemDeserializer.fromBuffer(this);
+    }
+    return result;
+  }
+  public readArray<T>(
+    size: number,
+    itemDeserializer: {
+      fromBuffer: (reader: BufferReader) => T;
+    },
+  ): T[] {
+    const result = new Array<T>(size);
+    for (let i = 0; i < size; i++) {
+      result[i] = itemDeserializer.fromBuffer(this);
+    }
+    return result;
+  }
+  public readObject<T>(deserializer: { fromBuffer: (reader: BufferReader) => T }): T {
+    return deserializer.fromBuffer(this);
+  }
+  public peekBytes(n?: number) {
+    return this.buffer.subarray(this.index, n ? this.index + n : undefined);
+  }
+  public readString(): string {
+    return new TextDecoder().decode(this.readBuffer());
+  }
+  public readBuffer(): Uint8Array {
+    const size = this.readNumber();
+    return this.readBytes(size);
+  }
+  public readMap<T>(deserializer: { fromBuffer: (reader: BufferReader) => T }): { [key: string]: T } {
+    const numEntries = this.readNumber();
+    const map: { [key: string]: T } = {};
+    for (let i = 0; i < numEntries; i++) {
+      const key = this.readString();
+      const value = this.readObject<T>(deserializer);
+      map[key] = value;
+    }
+    return map;
+  }
+}

package/src/serialize/index.ts ADDED Viewed

@@ -0,0 +1,3 @@
+export * from './buffer_reader.js';
+export * from './output_type.js';
+export * from './serialize.js';

package/src/serialize/output_type.ts ADDED Viewed

@@ -0,0 +1,53 @@
+import { BufferReader } from './buffer_reader.js';
+export interface OutputType<T = any> {
+  SIZE_IN_BYTES?: number;
+  fromBuffer: (b: Uint8Array | BufferReader) => T;
+}
+export function BoolDeserializer(): OutputType {
+  return {
+    SIZE_IN_BYTES: 1,
+    fromBuffer: (buf: Uint8Array | BufferReader) => {
+      const reader = BufferReader.asReader(buf);
+      return reader.readBoolean();
+    },
+  };
+}
+export function NumberDeserializer(): OutputType {
+  return {
+    SIZE_IN_BYTES: 4,
+    fromBuffer: (buf: Uint8Array | BufferReader) => {
+      const reader = BufferReader.asReader(buf);
+      return reader.readNumber();
+    },
+  };
+}
+export function VectorDeserializer<T>(t: OutputType<T>): OutputType {
+  return {
+    fromBuffer: (buf: Uint8Array | BufferReader) => {
+      const reader = BufferReader.asReader(buf);
+      return reader.readVector(t);
+    },
+  };
+}
+export function BufferDeserializer(): OutputType {
+  return {
+    fromBuffer: (buf: Uint8Array | BufferReader) => {
+      const reader = BufferReader.asReader(buf);
+      return reader.readBuffer();
+    },
+  };
+}
+export function StringDeserializer(): OutputType {
+  return {
+    fromBuffer: (buf: Uint8Array | BufferReader) => {
+      const reader = BufferReader.asReader(buf);
+      return reader.readString();
+    },
+  };
+}