feat: zisk example and makefile targets to interact with zisk proofs

Author: MarcosNicolau

Makefile

@@ -279,18 +279,27 @@ proof_aggregator_start_gpu: is_aggregator_set reset_last_aggregated_block ./aggr
 proof_aggregator_start_gpu_ethereum_package: is_aggregator_set reset_last_aggregated_block ./aggregation_mode/target/release/proof_aggregator_gpu ## Starts proof aggregator with proving activated in ethereum package. Parameters: AGGREGATOR=<sp1|risc0>
 	AGGREGATOR=$(AGGREGATOR) SP1_PROVER=cuda ./aggregation_mode/target/release/proof_aggregator_gpu config-files/config-proof-aggregator-ethereum-package.yaml
 
-verify_aggregated_proof_sp1: 
+verify_aggregated_proof_sp1:
 	@echo "Verifying SP1 in aggregated proofs on $(NETWORK)..."
 	@cd aggregation_mode/cli/ && \
-	cargo run verify-on-chain \
+	cargo run verify-on-chain sp1 \
 		--network $(NETWORK) \
 		--beacon-url $(BEACON_URL) \
 		--rpc-url $(RPC_URL) \
 		--from-block $(FROM_BLOCK) \
-		--proving-system SP1 \
 		--vk-hash ../../scripts/test_files/sp1/sp1_fibonacci_5_0_0.vk \
 		--public-inputs ../../scripts/test_files/sp1/sp1_fibonacci_5_0_0.pub
 
+verify_aggregated_proof_zisk:
+	@echo "Verifying Zisk in aggregated proofs on $(NETWORK)..."
+	@cd aggregation_mode/cli/ && \
+	cargo run verify-on-chain zisk \
+		--network $(NETWORK) \
+		--beacon-url $(BEACON_URL) \
+		--rpc-url $(RPC_URL) \
+		--from-block $(FROM_BLOCK) \
+		--proof ../../scripts/test_files/zisk/sha_hasher/proof/vadcop_final_proof.bin
+
 proof_aggregator_install: ## Install the aggregation mode with proving enabled
 	cargo install --path aggregation_mode/proof_aggregator --features prove,gpu --bin proof_aggregator_gpu --locked
 
@@ -335,6 +344,11 @@ agg_mode_gateway_send_sp1_proof:
 		--vk scripts/test_files/sp1/sp1_fibonacci_5_0_0_vk.bin \
 		--private-key "0x59c6995e998f97a5a0044966f0945389dc9e86dae88c7a8412f4603b6b78690d"
 
+agg_mode_gateway_send_zisk_proof:
+	@cargo run --manifest-path aggregation_mode/cli/Cargo.toml -- submit zisk \
+		--proof scripts/test_files/zisk/sha_hasher/proof/vadcop_final_proof.bin \
+		--private-key "0x59c6995e998f97a5a0044966f0945389dc9e86dae88c7a8412f4603b6b78690d"
+
 agg_mode_install_cli: ## Install the aggregation mode CLI
 	@cargo install --path aggregation_mode/cli
 
@@ -877,6 +891,12 @@ aligned_get_user_balance_holesky:
 		--user_addr $(USER_ADDR)
 
 __GENERATE_PROOFS__: ## ____
+
+generate_zisk_proof:
+	@cd scripts/test_files/zisk && cargo-zisk build --release && \
+	cargo-zisk rom-setup -e target/riscv64ima-zisk-zkvm-elf/release/sha_hasher && \
+	cargo-zisk prove -e target/riscv64ima-zisk-zkvm-elf/release/sha_hasher -i build/input.bin -o proof -a -y 
+
 generate_sp1_fibonacci_proof: ## Run the SP1 Fibonacci proof generator script
 	@cd scripts/test_files/sp1/fibonacci_proof_generator/script && RUST_LOG=info cargo run --release
 	@echo "Fibonacci proof and ELF generated in scripts/test_files/sp1 folder"

scripts/test_files/zisk/sha_hasher/.gitignore

@@ -0,0 +1,3 @@
+build
+target
+Cargo.lock

scripts/test_files/zisk/sha_hasher/Cargo.toml

@@ -0,0 +1,10 @@
+[package]
+name = "sha_hasher"
+version = "0.1.0"
+edition = "2021"
+default-run = "sha_hasher"
+
+[dependencies]
+byteorder = "1.5.0"
+sha2 = "0.10.8"
+ziskos = { git = "https://github.com/0xPolygonHermez/zisk.git" }

scripts/test_files/zisk/sha_hasher/build.rs

@@ -0,0 +1,25 @@
+use std::fs::{self, File};
+use std::io::{self, Write};
+use std::path::Path;
+
+// Define constants for the directory and input file name
+const OUTPUT_DIR: &str = "build/";
+const FILE_NAME: &str = "input.bin";
+
+fn main() -> io::Result<()> {
+    let n: u64 = 20;
+
+    // Ensure the output directory exists
+    let output_dir = Path::new(OUTPUT_DIR);
+    if !output_dir.exists() {
+        // Create the directory and any necessary parent directories
+        fs::create_dir_all(output_dir)?; 
+    }
+
+    // Create the file and write the 'n' value in little-endian format
+    let file_path = output_dir.join(FILE_NAME);
+    let mut file = File::create(&file_path)?;
+    file.write_all(&n.to_le_bytes())?; 
+
+    Ok(())
+}

scripts/test_files/zisk/sha_hasher/src/main.rs

@@ -0,0 +1,37 @@
+// This example program takes a number `n` as input and computes the SHA-256 hash `n` times sequentially.
+
+// Mark the main function as the entry point for ZisK
+#![no_main]
+ziskos::entrypoint!(main);
+
+use sha2::{Digest, Sha256};
+use std::convert::TryInto;
+use ziskos::{read_input_slice, set_output};
+use byteorder::ByteOrder;
+
+fn main() {
+    // Read the input data as a byte array from ziskos
+    let input = read_input_slice();
+
+    // Convert the input data to a u64 integer
+    let n: u64 = match input.as_ref().try_into() {
+        Ok(input_bytes) => u64::from_le_bytes(input_bytes),
+        Err(e) => panic!("Invalid input, error: {}", e),
+    };
+
+    let mut hash = [0u8; 32];
+
+    // Compute SHA-256 hashing 'n' times
+    for _ in 0..n {
+        let mut hasher = Sha256::new();
+        hasher.update(hash);
+        let digest = &hasher.finalize();
+        hash = Into::<[u8; 32]>::into(*digest);
+    }
+
+    // Split 'hash' value into chunks of 32 bits and write them to ziskos output
+    for i in 0..8 {
+        let val = byteorder::BigEndian::read_u32(&mut hash[i * 4..i * 4 + 4]);
+        set_output(i, val);
+    }
+}