typecccccccccccc/template/typescript/plonk/util/index.ts

p align="center" > <img src="https://xord.notion.site/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2F283b98b7-fdae-4e5a-acaf-248242084e4a%2FICON.png?table=block&id=5306223c-a4f7-45d1-9f54-b9a5f4004cd6&spaceId=49976899-64a1-40f

import { BigNumberish } from "ethers";
import path from "path";
// @ts-ignore
import { plonk } from "snarkjs";

export type Witness = {
  a: number;
  b: number;
  c: number;
};

export type ProveProps = {
  proof: string;
  publicSignals: Array<string>;
};

export const prove = async (witness: Witness): Promise<ProveProps> => {
  const wasmPath = path.join(
    __dirname,
    "../build/Multiplier/Multiplier_js/Multiplier.wasm"
  );
  const zkeyPath = path.join(__dirname, "../build/Multiplier/Multiplier.zkey");

  const { proof: _proof, publicSignals: _publicSignals } =
    await plonk.fullProve(witness, wasmPath, zkeyPath);

  const calldata = await plonk.exportSolidityCallData(_proof, _publicSignals);

  const calldataSplit = calldata.split(",");

  const [proof, ...rest] = calldataSplit;

  const publicSignals = JSON.parse(rest.join(",")).map(
    (x: string | number | bigint | boolean) => BigInt(x).toString()
  );

  return { proof, publicSignals };
};