Skip to content

Commit

Permalink
relax prover input type
Browse files Browse the repository at this point in the history
  • Loading branch information
jp4g committed Oct 5, 2024
1 parent 4324fb8 commit 1ce9c87
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 5 deletions.
2 changes: 1 addition & 1 deletion js/package.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"name": "@mach-34/zkemail-nr",
"version": "1.1.0",
"version": "1.1.1",
"main": "dist",
"types": "dist",
"license": "MIT",
Expand Down
7 changes: 3 additions & 4 deletions js/src/prover.ts
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,7 @@ import {
UltraHonkBackend,
} from "@noir-lang/backend_barretenberg";
import { Noir } from "@noir-lang/noir_js";
import { InputValue } from "@noir-lang/noirc_abi";
import { CircuitInput } from "./index";
import { InputValue, InputMap } from "@noir-lang/noirc_abi";

type ProvingBackend = "honk" | "plonk" | "all";

Expand Down Expand Up @@ -41,7 +40,7 @@ export class ZKEmailProver {
* @returns - the witness for the input and the output of the circuit if satisfiable
*/
async simulateWitness(
input: CircuitInput
input: InputMap
): Promise<{ witness: Uint8Array; returnValue: InputValue }> {
return this.noir.execute(input);
}
Expand Down Expand Up @@ -85,7 +84,7 @@ export class ZKEmailProver {
* @returns proof of valid execution of the circuit
*/
async fullProve(
input: CircuitInput,
input: InputMap,
provingBackend?: ProvingBackend
): Promise<ProofData> {
const { witness } = await this.simulateWitness(input);
Expand Down

0 comments on commit 1ce9c87

Please sign in to comment.