Ian Goldberg 6cda94defa First cut at enforce_disjunction_invariant 1 год назад
..
sigma 6cda94defa First cut at enforce_disjunction_invariant 1 год назад
codegen.rs 7d1cf334ed Implement not-equals statements 1 год назад
lib.rs 6cda94defa First cut at enforce_disjunction_invariant 1 год назад
notequals.rs c2c275dfb1 Small refactor of collect_cind_points 1 год назад
pedersen.rs 7cd67a94a6 Move convert_commitment and convert_randomness from the rangeproof to the pedersen module 1 год назад
pubscalareq.rs 7d1cf334ed Implement not-equals statements 1 год назад
rangeproof.rs fd27fc0757 Correct a comment in rangeproof.rs 1 год назад
substitution.rs 3adab6c783 Change the nomenclature of "params" to "instance" to match the sigma_rs crate 1 год назад
syntax.rs 6cda94defa First cut at enforce_disjunction_invariant 1 год назад
transform.rs 6cda94defa First cut at enforce_disjunction_invariant 1 год назад