Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix: honkRecursion serde for cpp bindings #8387

Merged
merged 11 commits into from
Sep 5, 2024
6 changes: 3 additions & 3 deletions barretenberg/ts/src/main.ts
Original file line number Diff line number Diff line change
Expand Up @@ -190,7 +190,7 @@ export async function gateCount(bytecodePath: string, honkRecursion: boolean) {
const api = await Barretenberg.new({ threads: 1 });
try {
const numberOfGates = await getGates(bytecodePath, honkRecursion, api);

debug(`number of gates: : ${numberOfGates}`);
// Create an 8-byte buffer and write the number into it.
// Writing number directly to stdout will result in a variable sized
// input depending on the size.
Expand Down Expand Up @@ -326,7 +326,7 @@ export async function vkAsFields(vkPath: string, vkeyOutputPath: string) {
}

export async function proveUltraHonk(bytecodePath: string, witnessPath: string, crsPath: string, outputPath: string) {
const { api } = await init(bytecodePath, crsPath, -1, true);
const { api } = await init(bytecodePath, crsPath, -1, /* honkRecursion= */ true);
try {
debug(`creating proof...`);
const bytecode = getBytecode(bytecodePath);
Expand Down Expand Up @@ -489,7 +489,7 @@ program
.command('gates')
.description('Print gate count to standard output.')
.option('-b, --bytecode-path <path>', 'Specify the bytecode path', './target/program.json')
.option('-hr, --honk-recursion <bool>', 'Specify whether to use UltraHonk recursion', 'false')
.option('-hr, --honk-recursion', 'Specify whether to use UltraHonk recursion', false)
.action(async ({ bytecodePath: bytecodePath, honkRecursion: honkRecursion }) => {
handleGlobalOptions();
await gateCount(bytecodePath, honkRecursion);
Expand Down
Loading