haloumi 0.5.15

Entrypoint crate for the Haloumi 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

use halo2curves::bn256::Fr;
use haloumi_mdnt_test_circuits::fibonacci;
use mdnt_common::{picus::basic_picus_test, synthesis_impl};

mod mdnt_common;

basic_picus_test! {
    fibonacci_circuit,
    FibonacciCircuitSynthesis::default(),
    include_str!("expected/picus/fibonacci.picus"),
    include_str!("expected/picus/fibonacci_opt.picus")
}

basic_picus_test! {
    fibonacci_grouped_circuit,
    GroupedFibonacciCircuitSynthesis::default(),
    include_str!("expected/picus/fibonacci_grouped.picus"),
    include_str!("expected/picus/fibonacci_grouped_opt.picus")
}

synthesis_impl!(
    FibonacciCircuitSynthesis,
    fibonacci::FibonacciCircuit<Fr>,
    [0, 1],
    [2]
);

synthesis_impl!(
    GroupedFibonacciCircuitSynthesis,
    fibonacci::grouped::FibonacciCircuit<Fr>,
    [0, 1],
    [2, 3]
);