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_extension_frops;
use binary_extension_frops::BinaryExtensionFrops;

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