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

Ian Goldberg 9027f4baab cargo fmt		9 months ago
..
dumper.rs	9027f4baab cargo fmt	9 months ago
lib.rs	9027f4baab cargo fmt	9 months ago
rangeutils.rs	dd1291c13a Dump the outputs of bitrep_scalars_vartime and compute_bitrep to debug wasm range ZKPs	9 months ago
vecutils.rs	7c81911952 Add support for vector sums and dot products	1 year ago