hdp 0.9.0

All Herodotus Data Processor
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141

use crate::constant::SOUND_CAIRO_RUN_OUTPUT_FILE;
use alloy::primitives::{B256, U256};
use regex::Regex;
use serde::{Deserialize, Serialize};
use std::fs;
use std::path::{Path, PathBuf};
use std::process::{Command, Stdio};
use tempfile::NamedTempFile;
use tracing::info;

use crate::cairo_runner::CairoRunnerError;

/// Result of run
#[derive(Debug)]
pub struct RunResult {
    pub pie_path: Option<PathBuf>,
    pub cairo_run_output: CairoRunOutput,
}

#[derive(Debug, Serialize, Deserialize)]
pub struct CairoRunOutput {
    pub tasks_root: B256,
    pub results_root: B256,
    pub results: Vec<U256>,
}

pub struct Runner {
    program_path: PathBuf,
}

impl Runner {
    pub fn new(program_path: &Path) -> Self {
        Self {
            program_path: program_path.to_path_buf(),
        }
    }

    fn _run(
        &self,
        input_file_path: &Path,
        cairo_pie_file_path: Option<&PathBuf>,
        is_proof_mode: bool,
    ) -> Result<String, CairoRunnerError> {
        let task = if is_proof_mode {
            Command::new("cairo-run")
                .arg("--program")
                .arg(&self.program_path)
                .arg("--layout")
                .arg("starknet_with_keccak")
                .arg("--program_input")
                .arg(input_file_path)
                .arg("--proof_mode")
                .arg("--print_output")
                .arg("--print_info")
                .stdout(Stdio::piped())
                .spawn()?
        } else {
            Command::new("cairo-run")
                .arg("--program")
                .arg(&self.program_path)
                .arg("--layout")
                .arg("starknet_with_keccak")
                .arg("--program_input")
                .arg(input_file_path)
                .arg("--cairo_pie_output")
                .arg(cairo_pie_file_path.expect("pie file should be specified in non-proof mode"))
                .arg("--print_output")
                .arg("--print_info")
                .stdout(Stdio::piped())
                .spawn()?
        };

        let output = task.wait_with_output().expect("Failed to read stdout");
        let output_str = String::from_utf8_lossy(&output.stdout);
        Ok(output_str.to_string())
    }

    /// Run the cairo program to return PIE object and results of process
    pub fn run(
        &self,
        input_string: String,
        pie_file_path: Option<&PathBuf>,
        is_proof_mode: bool,
    ) -> Result<RunResult, CairoRunnerError> {
        if input_string.is_empty() {
            return Err(CairoRunnerError::EmptyInput);
        }

        let input_file = NamedTempFile::new()?;
        let input_file_path = input_file.path();
        fs::write(input_file_path, input_string).expect("Failed to write input file");

        let output = self._run(input_file_path, pie_file_path, is_proof_mode)?;
        let cairo_run_output =
            self.parse_run(output, &PathBuf::from(SOUND_CAIRO_RUN_OUTPUT_FILE))?;
        info!("cairo run output: {:#?}", cairo_run_output);

        fs::remove_file(SOUND_CAIRO_RUN_OUTPUT_FILE)
            .expect("Failed to remove cairo run output file");

        Ok(RunResult {
            pie_path: pie_file_path.cloned(),
            cairo_run_output,
        })
    }

    /// Parse the output of the run command
    fn parse_run(
        &self,
        output: String,
        cairo_run_output_path: &PathBuf,
    ) -> Result<CairoRunOutput, CairoRunnerError> {
        let number_of_steps =
            Regex::new(r"Number of steps: (\d+)").expect("Failed to create regex");
        if let Some(number_of_steps_caps) = number_of_steps.captures(&output) {
            let number_of_steps = number_of_steps_caps[1].parse::<usize>()?;
            info!("number of steps: {:#?}", number_of_steps);
            let cairo_run_output_from_file = fs::read_to_string(cairo_run_output_path)
                .expect("Failed to read cairo run output file");
            let cairo_run_output: CairoRunOutput =
                serde_json::from_str(&cairo_run_output_from_file)
                    .expect("Failed to parse cairo run output");
            Ok(cairo_run_output)
        } else {
            Err(CairoRunnerError::CairoRunError)
        }
    }
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn test_cairo_run_output() {
        let cairo_run_output_str = r#"{"tasks_root": "0x25bdd48e6c00a86eef6c08afb935635652d246bdf07f54e3ef7c81c29e763fe2", "results_root": "0xbe7bb3e8d053273c753c752107b0b528a24a03058ae989c1e0a9d920c96da753", "results": ["0x0000000000000000000000000000000000000000000000103557b1b802c24c17"]}"#;
        let cairo_run_output: CairoRunOutput =
            serde_json::from_str(cairo_run_output_str).expect("Failed to parse cairo run output");
        println!("Cairo run output: {:#?}", cairo_run_output);
    }
}