mcircuit 0.1.10

A library of tools for working with arithmetic circuits on generic fields
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

use crate::{CombineOperation, HasIO};
use std::cmp::{max, min};

/// Generic trait for running something on all the gates in a circuit. Currently used to count wires
pub trait AnalysisPass {
    type Output;

    fn analyze_gate(&mut self, gate: &CombineOperation);

    fn finish_analysis(&self) -> Self::Output;

    fn analyze(&mut self, circuit: &[CombineOperation]) -> Self::Output {
        for gate in circuit {
            self.analyze_gate(gate);
        }
        self.finish_analysis()
    }
}

pub struct WireCounter {
    largest_arith: usize,
    largest_bool: usize,
    smallest_arith: usize,
    smallest_bool: usize,
}

impl Default for WireCounter {
    fn default() -> Self {
        WireCounter {
            largest_arith: usize::MIN,
            largest_bool: usize::MIN,
            smallest_arith: usize::MAX,
            smallest_bool: usize::MAX,
        }
    }
}

impl AnalysisPass for WireCounter {
    type Output = ((usize, usize), (usize, usize));

    fn analyze_gate(&mut self, gate: &CombineOperation) {
        match gate {
            CombineOperation::GF2(gf2_insn) => {
                for i in gf2_insn.inputs().chain(gf2_insn.outputs()) {
                    self.largest_bool = max(self.largest_bool, i);
                    self.smallest_bool = min(self.smallest_bool, i);
                }
            }
            CombineOperation::Z64(z64_insn) => {
                for i in z64_insn.inputs().chain(z64_insn.outputs()) {
                    self.largest_arith = max(self.largest_arith, i);
                    self.smallest_arith = min(self.smallest_arith, i);
                }
            }
            CombineOperation::B2A(dst, low) => {
                self.largest_arith = max(self.largest_arith, *dst);
                self.largest_bool = max(self.largest_bool, *low + 63);

                self.smallest_arith = min(self.smallest_arith, *dst);
                self.smallest_arith = min(self.smallest_arith, *low);
            }
            CombineOperation::SizeHint(z64, gf2) => {
                self.largest_arith = max(self.largest_arith, *z64);
                self.largest_bool = max(self.largest_bool, *gf2);
            }
        }
    }

    fn finish_analysis(&self) -> Self::Output {
        (
            (self.largest_arith + 1, self.largest_bool + 1),
            (self.smallest_arith, self.smallest_bool),
        )
    }
}