proofman-common 1.1.0-alpha

Shared proof/setup contexts, traces, and STARK metadata types for the PIL2 proofman framework
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

use serde::Deserialize;
use std::fs;
use std::path::Path;
use crate::ProofmanResult;

#[derive(Clone, Deserialize, Debug)]
pub struct PublicDefinition {
    pub name: String,
    #[serde(rename = "initialPos")]
    pub initial_pos: usize,
    #[serde(rename = "nValues")]
    pub n_values: usize,
    pub chunks: [usize; 2],
    #[serde(default, rename = "verificationKey")]
    pub verification_key: bool,
}

#[derive(Clone, Deserialize, Debug)]
pub struct PublicsInfo {
    #[serde(rename = "nPublics")]
    pub n_publics: usize,
    pub definitions: Vec<PublicDefinition>,
    #[serde(default, rename = "hasProgramVK")]
    pub has_program_vk: bool,
}

impl PublicsInfo {
    pub fn from_folder(folder_path: &Path) -> ProofmanResult<Self> {
        let file_path = folder_path.join("publics_info.json");

        let file_str = fs::read_to_string(&file_path)?;

        let publics_info: PublicsInfo = serde_json::from_str(&file_str)?;

        Ok(publics_info)
    }

    pub fn get_definition(&self, name: &str) -> Option<&PublicDefinition> {
        self.definitions.iter().find(|def| def.name == name)
    }
}