Function sigma_compiler_core 

pub fn sigma_compiler_core(
    spec: &mut SigmaCompSpec,
    emit_prover: bool,
    emit_verifier: bool,
) -> TokenStream

The main function of this macro.

Parse the macro input with parse to produce a SigmaCompSpec, and then pass that to this function to output the data structures and code for the ZKP protocol implementation.

If emit_prover is true, output the data structures and code for the prover side. If emit_verifier is true, output the data structures and code for the verifier side. (Typically both will be true, but you can set one to false if you don’t need that side of the protocol.)