fix

succinctlabs · Aug 6, 2024 · de4ec8e · de4ec8e
1 parent e23897b
commit de4ec8e
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 5 deletions.
diff --git a/.github/workflows/prove.yml b/.github/workflows/prove.yml
@@ -30,10 +30,10 @@ jobs:
       - name: Install SP1 toolchain
         run: |
           curl -L https://sp1.succinct.xyz | bash
-          ~/.config/.sp1/bin/sp1up 
-          ~/.config/.sp1/bin/cargo-prove prove --version
+          ~/.sp1/bin/sp1up 
+          ~/.sp1/bin/cargo-prove prove --version
 
       - name: Build SP1 program
         run: |
           cd program
-          ~/.config/.sp1/bin/cargo-prove prove build
+          ~/.sp1/bin/cargo-prove prove build
diff --git a/contracts/src/Fibonacci.sol b/contracts/src/Fibonacci.sol
@@ -3,6 +3,12 @@ pragma solidity ^0.8.20;
 
 import {ISP1Verifier} from "@sp1-contracts/ISP1Verifier.sol";
 
+struct PublicValuesStruct {
+    uint32 n;
+    uint32 a;
+    uint32 b;
+}
+
 /// @title Fibonacci.
 /// @author Succinct Labs
 /// @notice This contract implements a simple example of verifying the proof of a computing a
@@ -32,7 +38,7 @@ contract Fibonacci {
         returns (uint32, uint32, uint32)
     {
         ISP1Verifier(verifier).verifyProof(fibonacciProgramVKey, _publicValues, _proofBytes);
-        (uint32 n, uint32 a, uint32 b) = abi.decode(_publicValues, (uint32, uint32, uint32));
-        return (n, a, b);
+        PublicValuesStruct memory publicValues = abi.decode(_publicValues, (PublicValuesStruct));
+        return (publicValues.n, publicValues.a, publicValues.b);
     }
 }