Skip to content

Commit

Permalink
formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
Maddiaa0 committed Dec 2, 2023
1 parent eea9d84 commit c04b566
Showing 1 changed file with 4 additions and 5 deletions.
9 changes: 4 additions & 5 deletions barretenberg/ts/src/main.ts
Original file line number Diff line number Diff line change
Expand Up @@ -125,10 +125,9 @@ export async function prove(
debug(`creating proof...`);
const bytecode = getBytecode(bytecodePath);
const witness = getWitness(witnessPath);
if (!(pkPath == "")) {

if (!(pkPath == '')) {
debug(`loading proving key from ${pkPath}...`);
const pk = new RawBuffer(readFileSync(pkPath));
await api.acirLoadProvingKey(acirComposer, new RawBuffer(readFileSync(pkPath)));
}

Expand Down Expand Up @@ -324,13 +323,13 @@ program
.command('prove')
.description('Generate a proof and write it to a file.')
.option('-b, --bytecode-path <path>', 'Specify the bytecode path', './target/acir.gz')
.option('-i, --proving-key-path <path>', 'Read proving key from file', "")
.option('-i, --proving-key-path <path>', 'Read proving key from file', '')
.option('-w, --witness-path <path>', 'Specify the witness path', './target/witness.gz')
.option('-r, --recursive', 'prove using recursive prover', false)
.option('-o, --output-path <path>', 'Specify the proof output path', './proofs/proof')
.action(async ({ bytecodePath, provingKeyPath, witnessPath, recursive, outputPath, crsPath }) => {
handleGlobalOptions();
await prove(bytecodePath, provingKeyPath, witnessPath, crsPath, recursive, outputPath);
await prove(bytecodePath, provingKeyPath, witnessPath, crsPath, recursive, outputPath);
});

program
Expand Down

0 comments on commit c04b566

Please sign in to comment.