pedersen_left_right.ts 1.03 KB
Newer Older
John Doe's avatar
John Doe committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
/* Autogenerated file, do not edit! */

/* eslint-disable */

import { Noir, InputMap, CompiledCircuit, ForeignCallHandler } from "@noir-lang/noir_js"

export type { ForeignCallHandler } from "@noir-lang/noir_js"

export type Field = string;


export const pedersen_left_right_circuit: CompiledCircuit = {"abi":{"parameters":[{"name":"left","type":{"kind":"field"},"visibility":"private"},{"name":"right","type":{"kind":"field"},"visibility":"private"}],"param_witnesses":{"left":[{"start":0,"end":1}],"right":[{"start":1,"end":2}]},"return_type":{"abi_type":{"kind":"field"},"visibility":"private"},"return_witnesses":[2]},"bytecode":"H4sIAAAAAAAA/22KQQoAQAgCc0/7/wdHRRYRDYiiQpLnAnP4Z1coex1/WR8cee6NAftGOOF1AAAA"};

export async function pedersen_left_right(left: Field, right: Field, foreignCallHandler?: ForeignCallHandler): Promise<Field> {
  const program = new Noir(pedersen_left_right_circuit);
  const args: InputMap = { left, right };
  const { returnValue } = await program.execute(args, foreignCallHandler);
  return returnValue as Field;
}