SigmaProtocol/sigma-compiler: Crate for automatically generating code for sigma zero-knowledge proof protocols of more complex statements than are supported by the sigma-proofs crate. The statements given to this crate are compiled into statements about linear combinations of points, and transformed into the sigma-proofs API. @ 520622082241dd35ccb70ab0a070699673197d9c

Ian Goldberg 5206220822 Allow statements like C = a*B where a is a _public_ Scalar		1 anno fa
..
src	5206220822 Allow statements like C = a*B where a is a _public_ Scalar	1 anno fa
Cargo.toml	3adab6c783 Change the nomenclature of "params" to "instance" to match the sigma_rs crate	1 anno fa