provekit_noir_artifact_cli 1.0.0-beta.11-alpha.4

Commands working on noir build artifacts
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

use acir::FieldElement;
use nargo::{NargoError, foreign_calls::transcript::TranscriptError};
use noirc_abi::{
    AbiReturnType,
    errors::{AbiError, InputParserError},
    input_parser::InputValue,
};
use std::path::PathBuf;
use thiserror::Error;

#[derive(Debug, Error)]
pub enum FilesystemError {
    #[error("Cannot find input file '{0}'")]
    MissingInputFile(PathBuf),

    #[error("Failed to create output file '{0}': {1}")]
    OutputFileCreationFailed(PathBuf, String),

    #[error("Failed to parse input file '{0}': {1}")]
    InvalidInputFile(PathBuf, String),

    #[error("Cannot find bytecode file '{0}'")]
    MissingBytecodeFile(PathBuf),

    #[error("Failed to read bytecode file '{0}': {1}")]
    InvalidBytecodeFile(PathBuf, String),

    #[error("Failed to create output witness file '{0}': {1}")]
    OutputWitnessCreationFailed(PathBuf, String),

    #[error(transparent)]
    IoError(#[from] std::io::Error),
}

#[derive(Debug, Error)]
pub enum CliError {
    /// Filesystem errors
    #[error(transparent)]
    FilesystemError(#[from] FilesystemError),

    /// Error related to ABI input deserialization
    #[error("Failed to deserialize inputs")]
    InputDeserializationError(#[from] InputParserError),

    /// Error related to oracle transcript deserialization
    #[error(transparent)]
    TranscriptError(#[from] TranscriptError),

    /// Error related to ABI encoding
    #[error(transparent)]
    AbiError(#[from] AbiError),

    /// Error related to artifact deserialization
    #[error("Failed to deserialize artifact from JSON")]
    ArtifactDeserializationError(#[from] serde_json::Error),

    /// Error related to circuit deserialization
    #[error("Failed to deserialize circuit from bytecode")]
    CircuitDeserializationError(#[from] std::io::Error),

    /// Error related to circuit execution
    #[error(transparent)]
    CircuitExecutionError(#[from] NargoError<FieldElement>),

    /// Input Witness Value Error
    #[error("Failed to parse witness value {0}")]
    WitnessValueError(String),

    /// Input Witness Index Error
    #[error("Failed to parse witness index {0}")]
    WitnessIndexError(String),

    #[error("Failed to serialize output witness: {0}")]
    OutputWitnessSerializationFailed(#[from] toml::ser::Error),

    #[error("Unexpected return value: expected {expected:?}; got {actual:?}")]
    UnexpectedReturn { expected: InputValue, actual: Option<InputValue> },

    #[error("Missing return witnesses; expected {expected:?}")]
    MissingReturn { expected: AbiReturnType },

    #[error("Missing contract function name; options: {names:?}")]
    MissingContractFn { names: Vec<String> },

    #[error("Unknown contract function '{name}'; options: {names:?}")]
    UnknownContractFn { name: String, names: Vec<String> },
}