Operator: Bump SP1 and Risc0 version + Retro-Compatible Operator

.github/workflows/build-go.yml

@@ -27,8 +27,12 @@ jobs:
           cache: false
       - name: Build SP1 bindings
         run: make build_sp1_linux
+      - name: Build Old SP1 bindings
+        run: make build_sp1_linux_old
       - name: Build Risc Zero go bindings
         run: make build_risc_zero_linux
+      - name: Build Old Risc Zero go bindings
+        run: make build_risc_zero_linux_old
       - name: Build Merkle Tree bindings
         run: make build_merkle_tree_linux
       - name: Build operator

.github/workflows/test-risc-zero-old.yml

@@ -0,0 +1,37 @@
+name: test-risc-zero-old
+
+on:
+  merge_group:
+  push:
+    branches: [main]
+  pull_request:
+    branches: ["*"]
+    paths:
+      - "operator/risc_zero_old/**"
+      - ".github/workflows/test-risc-zero-old.yml"
+
+jobs:
+  test:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Clear device space
+        run: |
+          sudo rm -rf "$AGENT_TOOLSDIRECTORY"
+          sudo rm -rf /usr/local/lib/android
+          sudo rm -rf /opt/ghc
+          sudo rm -rf /usr/local/.ghcup
+          sudo rm -rf /usr/share/dotnet
+          sudo rm -rf /opt/ghc
+          sudo rm -rf "/usr/local/share/boost"
+      - uses: actions/checkout@v4
+      - uses: actions/setup-go@v5
+        with:
+          go-version: "1.22"
+          cache: false
+      - uses: actions-rs/toolchain@v1
+        with:
+          toolchain: stable
+      - name: Test Old Risc Zero Rust
+        run: make test_risc_zero_rust_ffi_old
+      - name: Test Old Risc Zero go bindings
+        run: make test_risc_zero_go_bindings_linux_old

.github/workflows/test-sp1-old.yml

@@ -0,0 +1,28 @@
+name: test-sp1-old
+
+on:
+  merge_group:
+  push:
+    branches: [main]
+  pull_request:
+    branches: ["*"]
+    paths:
+      - 'operator/sp1_old/**'
+      - '.github/workflows/test-sp1-old.yml'
+
+jobs:
+    test:
+      runs-on: ubuntu-latest
+      steps:
+        - uses: actions/checkout@v4
+        - uses: actions/setup-go@v5
+          with:
+            go-version: '1.22'
+            cache: false
+        - uses: actions-rs/toolchain@v1
+          with:
+            toolchain: stable
+        - name: Test Old SP1 Rust
+          run: make test_sp1_rust_ffi_old
+        - name: Test Old SP1 go bindings
+          run: make test_sp1_go_bindings_linux_old

Makefile

@@ -17,7 +17,7 @@ ifeq ($(OS),Darwin)
 endif
 
 ifeq ($(OS),Linux)
-	export LD_LIBRARY_PATH += $(CURDIR)/operator/risc_zero/lib
+	export LD_LIBRARY_PATH:=$(CURDIR)/operator/risc_zero_old/lib:$(CURDIR)/operator/risc_zero/lib
 endif
 
 ifeq ($(OS),Linux)
@@ -508,22 +508,40 @@ test_sp1_go_bindings_linux: build_sp1_linux
 # @cp -r scripts/test_files/sp1/fibonacci_proof_generator/script/sp1_fibonacci.elf scripts/test_files/sp1/
 generate_sp1_fibonacci_proof:
 	@cd scripts/test_files/sp1/fibonacci_proof_generator/script && RUST_LOG=info cargo run --release
-	@mv scripts/test_files/sp1/fibonacci_proof_generator/program/elf/riscv32im-succinct-zkvm-elf scripts/test_files/sp1/sp1_fibonacci.elf
-	@mv scripts/test_files/sp1/fibonacci_proof_generator/script/sp1_fibonacci.proof scripts/test_files/sp1/
 	@echo "Fibonacci proof and ELF generated in scripts/test_files/sp1 folder"
 
 generate_risc_zero_empty_journal_proof:
 	@cd scripts/test_files/risc_zero/no_public_inputs && RUST_LOG=info cargo run --release
 	@echo "Fibonacci proof and ELF with empty journal generated in scripts/test_files/risc_zero/no_public_inputs folder"
 
+build_sp1_macos_old:
+	@cd operator/sp1_old/lib && cargo build $(RELEASE_FLAG)
+	@cp operator/sp1_old/lib/target/$(TARGET_REL_PATH)/libsp1_verifier_old_ffi.dylib operator/sp1_old/lib/libsp1_verifier_old.dylib
+
+build_sp1_linux_old:
+	@cd operator/sp1_old/lib && cargo build $(RELEASE_FLAG)
+	@cp operator/sp1_old/lib/target/$(TARGET_REL_PATH)/libsp1_verifier_old_ffi.so operator/sp1_old/lib/libsp1_verifier_old.so
+
+test_sp1_rust_ffi_old:
+	@echo "Testing SP1 Rust FFI source code..."
+	@cd operator/sp1_old/lib && RUST_MIN_STACK=83886080 cargo t --release
+
+test_sp1_go_bindings_macos_old: build_sp1_macos_old
+	@echo "Testing SP1 Go bindings..."
+	go test ./operator/sp1_old/... -v
+
+test_sp1_go_bindings_linux_old: build_sp1_linux_old
+	@echo "Testing SP1 Go bindings..."
+	go test ./operator/sp1_old/... -v
 
 __RISC_ZERO_FFI__: ##
 build_risc_zero_macos:
 	@cd operator/risc_zero/lib && cargo build $(RELEASE_FLAG)
-	@cp operator/risc_zero/lib/target/$(TARGET_REL_PATH)/librisc_zero_verifier_ffi.dylib operator/risc_zero/lib/librisc_zero_verifier_ffi.dylib
+	@cp operator/risc_zero/lib/target/$(TARGET_REL_PATH)/librisc_zero_verifier_ffi.dylib operator/risc_zero/lib/librisc_zero_verifier.dylib
 
 build_risc_zero_linux:
 	@cd operator/risc_zero/lib && cargo build $(RELEASE_FLAG)
+	echo $(LD_LIBRARY_PATH)
 	@cp operator/risc_zero/lib/target/$(TARGET_REL_PATH)/librisc_zero_verifier_ffi.so operator/risc_zero/lib/librisc_zero_verifier_ffi.so
 
 test_risc_zero_rust_ffi:
@@ -543,6 +561,27 @@ generate_risc_zero_fibonacci_proof:
 		RUST_LOG=info cargo run --release && \
 		echo "Fibonacci proof, pub input and image ID generated in scripts/test_files/risc_zero folder"
 
+build_risc_zero_macos_old:
+	@cd operator/risc_zero_old/lib && cargo build $(RELEASE_FLAG)
+	@cp operator/risc_zero_old/lib/target/$(TARGET_REL_PATH)/librisc_zero_verifier_old_ffi.dylib operator/risc_zero_old/lib/librisc_zero_verifier_old.dylib
+
+build_risc_zero_linux_old:
+	@cd operator/risc_zero_old/lib && cargo build $(RELEASE_FLAG)
+	echo $(LD_LIBRARY_PATH)
+	@cp operator/risc_zero_old/lib/target/$(TARGET_REL_PATH)/librisc_zero_verifier_old_ffi.so operator/risc_zero_old/lib/librisc_zero_verifier_old_ffi.so
+
+test_risc_zero_rust_ffi_old:
+	@echo "Testing RISC Zero Rust FFI source code..."
+	@cd operator/risc_zero_old/lib && cargo test --release
+
+test_risc_zero_go_bindings_macos_old: build_risc_zero_macos_old
+	@echo "Testing RISC Zero Go bindings..."
+	go test ./operator/risc_zero_old/... -v
+
+test_risc_zero_go_bindings_linux_old: build_risc_zero_linux_old
+	@echo "Testing RISC Zero Go bindings..."
+	go test ./operator/risc_zero_old/... -v
+
 __MERKLE_TREE_FFI__: ##
 build_merkle_tree_macos:
 	@cd operator/merkle_tree/lib && cargo build $(RELEASE_FLAG)
@@ -581,13 +620,17 @@ build_all_ffi_macos: ## Build all FFIs for macOS
 	@echo "Building all FFIs for macOS..."
 	@$(MAKE) build_sp1_macos
 	@$(MAKE) build_risc_zero_macos
+	@$(MAKE) build_sp1_macos_old
+	@$(MAKE) build_risc_zero_macos_old
 	@$(MAKE) build_merkle_tree_macos
 	@echo "All macOS FFIs built successfully."
 
 build_all_ffi_linux: ## Build all FFIs for Linux
 	@echo "Building all FFIs for Linux..."
 	@$(MAKE) build_sp1_linux
 	@$(MAKE) build_risc_zero_linux
+	@$(MAKE) build_sp1_linux_old
+	@$(MAKE) build_risc_zero_linux_old
 	@$(MAKE) build_merkle_tree_linux
 	@echo "All Linux FFIs built successfully."