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. @ mu/draft-v3-2

Ian Goldberg e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error		5 天之前
..
basic.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
basic_sum.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
basic_vec.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
disj.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
disj_vec.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
dl.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
dot_product.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
emptystatement.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
left_expr.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
notequals.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
pubscalars.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
pubscalars_or.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
pubscalars_or_and.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
pubscalars_or_and_vec.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
pubscalars_or_vec.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
pubscalars_vec.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
pubstatements.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
pubstatements_vec.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
range.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
range_dump.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
simple_or.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
substitution_or.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
substitution_vec.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
subtract.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
subtract_vec.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
threshold.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
threshold_pubscalars.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前
two_true.rs	e54e724454 Use the new (in sigma-proofs 0.4.1) sigma_proofs::errors::Error	5 天之前