Sean Bowe 83e018b160 Remove redundant constraints.

2016-06-03 20:27:51 -06:00

..

commitment.tcc

Remove redundant constraints.

2016-06-03 20:27:51 -06:00

gadget.tcc

Enforce first four bits are zero for all spending keys and phi.

2016-05-24 11:07:09 -06:00

merkle.tcc

zkSNARK: Enforce merkle authentication path from nonzero-valued public inputs to root.

2016-05-12 16:44:30 -06:00

note.tcc

Remove redundant constraints.

2016-06-03 20:27:51 -06:00

prfs.tcc

Refactor PRF_gadget to hand responsibility to PRF_addr_a_pk_gadget for creating the '0' argument to the PRF.

2016-05-23 10:43:25 -06:00

utils.tcc

Enforce first four bits are zero for all spending keys and phi.

2016-05-24 11:07:09 -06:00