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

Ian Goldberg d98e409ad9 Make the generated code a bit more compact using the new sigma_rs::errors API		6 месяцев назад
..
sigma	d98e409ad9 Make the generated code a bit more compact using the new sigma_rs::errors API	6 месяцев назад
codegen.rs	d1ea73312c Add a binary that takes the macro input on stdin and outputs the macro output	6 месяцев назад
lib.rs	14c998d048 A little refactoring of the top-level sigma_compiler_core module	6 месяцев назад
main.rs	d1ea73312c Add a binary that takes the macro input on stdin and outputs the macro output	6 месяцев назад
notequals.rs	c2c275dfb1 Small refactor of collect_cind_points	7 месяцев назад
pedersen.rs	7be6ffc378 clippy on the tests	6 месяцев назад
pubscalareq.rs	1de1cc05c4 Improving support for vector variables	6 месяцев назад
rangeproof.rs	fd27fc0757 Correct a comment in rangeproof.rs	7 месяцев назад
substitution.rs	0a650e4647 cargo fmt	6 месяцев назад
syntax.rs	d1ea73312c Add a binary that takes the macro input on stdin and outputs the macro output	6 месяцев назад
transform.rs	b61068d3c6 Fix copy and paste error	6 месяцев назад