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. @ 0e1892357d5b04bbb71fc54422b331ea58e03221

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