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

Ian Goldberg 0c7e495a76 Only emit code to check consistency of substitutions if we're in the root disjunction branch		11 месяцев назад
..
src	0c7e495a76 Only emit code to check consistency of substitutions if we're in the root disjunction branch	11 месяцев назад
Cargo.toml	3adab6c783 Change the nomenclature of "params" to "instance" to match the sigma_rs crate	1 год назад