brillig 0.46.0

Brillig is the bytecode ACIR uses for non-determinism.
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

use acir_field::FieldElement;
use serde::{Deserialize, Serialize};

/// Single output of a [foreign call][crate::Opcode::ForeignCall].
#[derive(Debug, PartialEq, Eq, Serialize, Deserialize, Clone)]
pub enum ForeignCallParam {
    Single(FieldElement),
    Array(Vec<FieldElement>),
}

impl From<FieldElement> for ForeignCallParam {
    fn from(value: FieldElement) -> Self {
        ForeignCallParam::Single(value)
    }
}

impl From<Vec<FieldElement>> for ForeignCallParam {
    fn from(values: Vec<FieldElement>) -> Self {
        ForeignCallParam::Array(values)
    }
}

impl ForeignCallParam {
    pub fn fields(&self) -> Vec<FieldElement> {
        match self {
            ForeignCallParam::Single(value) => vec![*value],
            ForeignCallParam::Array(values) => values.clone(),
        }
    }

    pub fn unwrap_field(&self) -> FieldElement {
        match self {
            ForeignCallParam::Single(value) => *value,
            ForeignCallParam::Array(_) => panic!("Expected single value, found array"),
        }
    }
}

/// Represents the full output of a [foreign call][crate::Opcode::ForeignCall].
#[derive(Debug, PartialEq, Eq, Serialize, Deserialize, Clone, Default)]
pub struct ForeignCallResult {
    /// Resolved output values of the foreign call.
    pub values: Vec<ForeignCallParam>,
}

impl From<FieldElement> for ForeignCallResult {
    fn from(value: FieldElement) -> Self {
        ForeignCallResult { values: vec![value.into()] }
    }
}

impl From<Vec<FieldElement>> for ForeignCallResult {
    fn from(values: Vec<FieldElement>) -> Self {
        ForeignCallResult { values: vec![values.into()] }
    }
}

impl From<Vec<ForeignCallParam>> for ForeignCallResult {
    fn from(values: Vec<ForeignCallParam>) -> Self {
        ForeignCallResult { values }
    }
}