fix: Fix SphinxVerifier.sol export

argumentcomputer · Sep 9, 2024 · 9789a2b · 9789a2b
1 parent ae70c45
commit 9789a2b
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/.config/nextest.toml b/.config/nextest.toml
@@ -16,10 +16,10 @@ limited = { max-threads = 4 }
 very-limited = { max-threads = 1 }
 
 [[profile.ci.overrides]]
-filter = '(test(syscall::precompiles) | test(stark::machine) | test(test_verifier_export) | package(sphinx-recursion-program) | package(sphinx-recursion-circuit))'
+filter = '(test(syscall::precompiles) | test(stark::machine) | package(sphinx-recursion-program) | package(sphinx-recursion-circuit))'
 test-group = 'limited'
 
 [[profile.ci.overrides]]
-filter = '(test(test_e2e))'
+filter = '(test(test_e2e) | test(test_verifier_export))'
 slow-timeout = { period = "1500s", terminate-after = 4 }
 test-group = 'very-limited'
diff --git a/recursion/gnark-ffi/src/plonk_bn254.rs b/recursion/gnark-ffi/src/plonk_bn254.rs
@@ -77,12 +77,12 @@ impl PlonkBn254Prover {
         build_plonk_bn254(build_dir.to_str().unwrap());
 
         // Write the corresponding asset files to the build dir.
-        let sphinx_verifier_path = build_dir.join("SP1Verifier.sol");
+        let sphinx_verifier_path = build_dir.join("SphinxVerifier.sol");
         let vkey_hash = Self::get_vkey_hash(build_dir);
         let sphinx_verifier_str = include_str!("../assets/SphinxVerifier.txt")
-            .replace("{SP1_CIRCUIT_VERSION}", SPHINX_CIRCUIT_VERSION)
+            .replace("{SPHINX_CIRCUIT_VERSION}", SPHINX_CIRCUIT_VERSION)
             .replace(
-                "{VKEY_HASH}",
+                "{VERIFIER_HASH}",
                 format!("0x{}", hex::encode(vkey_hash)).as_str(),
             );
         let mut sphinx_verifier_file = File::create(sphinx_verifier_path).unwrap();