feat(operator): merkle root check (#595)

Co-authored-by: Mariano A. Nicolini <mariano.nicolini.91@gmail.com>
Co-authored-by: Tatu <65305492+srosati@users.noreply.github.com>

Author: 3 people

.github/workflows/build.yml

@@ -26,6 +26,8 @@ jobs:
         run: make build_halo2_kzg_linux
       - name: Build Halo2-IPA bindings
         run: make build_halo2_ipa_linux
+      - name: Build Merkle Tree bindings
+        run: make build_merkle_tree_linux
       - name: Build operator
         run: go build operator/cmd/main.go
       - name: Build aggregator

Makefile

@@ -570,7 +570,7 @@ 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_merkle_tree_macos
+	@$(MAKE) build_merkle_tree_macos
 	@$(MAKE) build_halo2_ipa_macos
 	@$(MAKE) build_halo2_kzg_macos
 	@echo "All macOS FFIs built successfully."
@@ -579,7 +579,7 @@ 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_merkle_tree_linux
+	@$(MAKE) build_merkle_tree_linux
 	@$(MAKE) build_halo2_ipa_linux
 	@$(MAKE) build_halo2_kzg_linux
 	@echo "All Linux FFIs built successfully."