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

Ian Goldberg f516821132 Allow sigma_compiler to be used in settings where it's not an explicit dependency in Cargo.toml		10 mesi fa
..
sigma	f516821132 Allow sigma_compiler to be used in settings where it's not an explicit dependency in Cargo.toml	10 mesi fa
codegen.rs	f516821132 Allow sigma_compiler to be used in settings where it's not an explicit dependency in Cargo.toml	10 mesi fa
lib.rs	b7919c12b2 Use kebab case for the package names	10 mesi fa
main.rs	b7919c12b2 Use kebab case for the package names	10 mesi fa
notequals.rs	b7919c12b2 Use kebab case for the package names	10 mesi fa
pedersen.rs	b7919c12b2 Use kebab case for the package names	10 mesi fa
pubscalareq.rs	b7919c12b2 Use kebab case for the package names	10 mesi fa
rangeproof.rs	b7919c12b2 Use kebab case for the package names	10 mesi fa
substitution.rs	b7919c12b2 Use kebab case for the package names	10 mesi fa
syntax.rs	b7919c12b2 Use kebab case for the package names	10 mesi fa
transform.rs	b7919c12b2 Use kebab case for the package names	10 mesi fa