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.

Ian Goldberg 58c901854e Commit Cargo.lock files to git		5 місяців тому
sigma-compiler-core	58c901854e Commit Cargo.lock files to git	5 місяців тому
sigma-compiler-derive	58c901854e Commit Cargo.lock files to git	5 місяців тому
src	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	5 місяців тому
tests	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	5 місяців тому
Cargo.lock	58c901854e Commit Cargo.lock files to git	5 місяців тому
Cargo.toml	62c3f53eb6 Use the now-published prerelease version of sigma-proofs	5 місяців тому