From caeb88cbee225e79e1636b2422a5bbade82f3c77 Mon Sep 17 00:00:00 2001 From: dndll Date: Thu, 22 Feb 2024 10:20:07 +0000 Subject: [PATCH] fix: succinct entrypoint - output being swallowed up by make --- succinct.json | 4 ++-- vendor/succinctx | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/succinct.json b/succinct.json index 6f71bf6..15389d1 100644 --- a/succinct.json +++ b/succinct.json @@ -5,7 +5,7 @@ "framework": "plonky2x", "baseDir": ".", "buildCommand": "make build-sync-circuit", - "proveCommand": "make prove-sync-circuit", + "proveCommand": "RUST_LOG=debug ./build/sync prove input.json", "requiredArtifacts": [ "sync" ] @@ -15,7 +15,7 @@ "framework": "plonky2x", "baseDir": ".", "buildCommand": "make build-verify-circuit", - "proveCommand": "make prove-verify-circuit", + "proveCommand": "RUST_LOG=debug ./build/verify prove input.json", "requiredArtifacts": [ "verify" ] diff --git a/vendor/succinctx b/vendor/succinctx index 4e539f2..45fb347 160000 --- a/vendor/succinctx +++ b/vendor/succinctx @@ -1 +1 @@ -Subproject commit 4e539f2ea4a42cedcd0b056346ef8009cc24f619 +Subproject commit 45fb347c7a385dc920d9e1b246952739d755b449