swiftness_commitment 1.0.0

Swiftness - Rust CairoVM Verifier implementation
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

fn main() {
    macro_rules! check_feature_enabled {
        ($($feature:literal),*) => {
            #[cfg(not(any($(feature = $feature),*)))]
            compile_error!(concat!(
                "At least one feature must be enabled: ",
                $(concat!("`", $feature, "`, "),)*
            ));
        };
    }

    macro_rules! assert_unique_feature {
        () => {};
        ($first:tt $(,$rest:tt)*) => {
            $(
                #[cfg(all(feature = $first, feature = $rest))]
                compile_error!(concat!("Features \"", $first, "\" and \"", $rest, "\" cannot be used together"));
            )*
            assert_unique_feature!($($rest),*);
        }
    }

    #[rustfmt::skip]
    mod check_hash {
        check_feature_enabled!("keccak_160_lsb", "keccak_248_lsb", "blake2s_160_lsb", "blake2s_248_lsb");
        assert_unique_feature!("keccak_160_lsb", "keccak_248_lsb", "blake2s_160_lsb", "blake2s_248_lsb");
    }
}