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		před 11 měsíci
..
sigma	f516821132 Allow sigma_compiler to be used in settings where it's not an explicit dependency in Cargo.toml	před 11 měsíci
codegen.rs	f516821132 Allow sigma_compiler to be used in settings where it's not an explicit dependency in Cargo.toml	před 11 měsíci
lib.rs	b7919c12b2 Use kebab case for the package names	před 11 měsíci
main.rs	b7919c12b2 Use kebab case for the package names	před 11 měsíci
notequals.rs	b7919c12b2 Use kebab case for the package names	před 11 měsíci
pedersen.rs	b7919c12b2 Use kebab case for the package names	před 11 měsíci
pubscalareq.rs	b7919c12b2 Use kebab case for the package names	před 11 měsíci
rangeproof.rs	b7919c12b2 Use kebab case for the package names	před 11 měsíci
substitution.rs	b7919c12b2 Use kebab case for the package names	před 11 měsíci
syntax.rs	b7919c12b2 Use kebab case for the package names	před 11 měsíci
transform.rs	b7919c12b2 Use kebab case for the package names	před 11 měsíci