provekit-common 1.0.0

Common types and utilities for the ProveKit proving system
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 {
    noirc_abi::{Abi, AbiType, AbiVisibility, Sign},
    std::fmt::{Display, Formatter, Result},
};

pub struct PrintAbi<'a>(pub &'a Abi);

pub struct PrintType<'a>(pub &'a AbiType);

impl Display for PrintAbi<'_> {
    fn fmt(&self, f: &mut Formatter<'_>) -> Result {
        write!(f, "(")?;
        for (i, param) in self.0.parameters.iter().enumerate() {
            write!(f, "{}: ", param.name)?;
            match param.visibility {
                AbiVisibility::Public => write!(f, "pub ")?,
                AbiVisibility::Private => {}
                AbiVisibility::DataBus => write!(f, "data_bus ")?,
            }
            write!(f, "{}", PrintType(&param.typ))?;
            if i < self.0.parameters.len() - 1 {
                write!(f, ", ")?;
            }
        }
        write!(f, ")")
    }
}

impl Display for PrintType<'_> {
    fn fmt(&self, f: &mut Formatter<'_>) -> Result {
        match self.0 {
            AbiType::Field => write!(f, "Field"),
            AbiType::Boolean => write!(f, "bool"),
            AbiType::Integer { sign, width } => match sign {
                Sign::Signed => write!(f, "i{width}"),
                Sign::Unsigned => write!(f, "u{width}"),
            },
            AbiType::String { length } => write!(f, "str<{length}>"),
            AbiType::Array { length, typ } => write!(f, "[{}; {length}]", PrintType(typ)),
            AbiType::Tuple { fields } => {
                write!(f, "(")?;
                for (idx, typ) in fields.iter().enumerate() {
                    write!(f, "{}", PrintType(typ))?;
                    if idx < fields.len() - 1 {
                        write!(f, ", ")?;
                    }
                }
                write!(f, ")")
            }
            AbiType::Struct { path, fields } => {
                write!(f, "{path} {{")?;
                for (idx, (name, typ)) in fields.iter().enumerate() {
                    write!(f, "{}: {}", name, PrintType(typ))?;
                    if idx < fields.len() - 1 {
                        write!(f, ", ")?;
                    }
                }
                write!(f, "}}")
            }
        }
    }
}