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. @ e962e20a2799f48dd84e9c048b8da8af225f603b

Ian Goldberg 1697b5a234 Explicitly reject substitutions with invalid arithmetic expressions		10 месяцев назад
..
src	1697b5a234 Explicitly reject substitutions with invalid arithmetic expressions	10 месяцев назад
Cargo.toml	3adab6c783 Change the nomenclature of "params" to "instance" to match the sigma_rs crate	11 месяцев назад