zisk-sm-binary 1.1.0-alpha

Binary operations state machine for the ZisK zkVM
1
2
3
4
5
6
7
8
9
10
11
12

use std::error::Error;

mod binary_basic_frops;
use binary_basic_frops::BinaryBasicFrops;

fn main() -> Result<(), Box<dyn Error>> {
    let mut frops = BinaryBasicFrops::new();
    frops.generate_cmd(
        "binary_basic_frops_fixed_gen",
        "state-machines/binary/src/binary_basic_frops_fixed.bin",
    )
}