42514e7c47
Remove TODO's in favor of github issues.
Sean Bowe
2018-01-29 06:06:10 -07:00
7211d98c1e
Implement linear combination addition with coefficient.
Sean Bowe
2018-01-07 11:31:35 -07:00
6841763ae7
Add TODO for improving lookup performance.
Sean Bowe
2017-12-28 16:10:19 -07:00
849f330441
Add test to monitor the number of constraints consumed by the pedersen hash (in the context of a merkle tree).
Sean Bowe
2017-12-28 12:00:22 -07:00
e9c9618ef4
Implement pedersen hashes inside and outside of the circuit.
Sean Bowe
2017-12-28 11:06:05 -07:00
07f2e553a7
Implement twisted Edwards point conversion and addition in the circuit.
Sean Bowe
2017-12-22 11:51:00 -07:00
8e3bef80a4
Bump version of bellman.
Sean Bowe
2017-12-22 03:13:42 -07:00
e1ab3be3cc
Implementation of conditional negation for AllocatedNum.
Sean Bowe
2017-12-22 03:10:58 -07:00
87548f3d1d
Implementation of Montgomery point addition in the circuit.
Sean Bowe
2017-12-22 02:57:34 -07:00
1e56289f19
Implementation of group hash in the circuit.
Sean Bowe
2017-12-18 11:34:15 -07:00
d143d3230a
Relocate grouphash implementation.
Sean Bowe
2017-12-18 11:00:10 -07:00
635bd8104e
Add grouphash
Jay Graber
2017-12-13 14:49:36 -08:00
7d6a57661b
Add Montgomery point interpretation.
Sean Bowe
2017-12-17 10:07:00 -07:00
eb8803f9eb
Implementation of into_bits_strict for Num.
Sean Bowe
2017-12-17 09:31:33 -07:00
068fbbc2be
Implementation of into_bits for Num.
Sean Bowe
2017-12-17 09:12:04 -07:00
6c6a193551
Implementation of from_bits_strict for Num.
Sean Bowe
2017-12-16 17:03:40 -07:00
d04c5acdb8
Implement enforce_in_field and enforce_nand for Boolean.
Sean Bowe
2017-12-16 16:01:13 -07:00
dfd82439de
Implementation of k-ary AND.
Sean Bowe
2017-12-15 14:12:38 -07:00
dc981e6abc
Allow linear combinations to be added together.
Sean Bowe
2017-12-14 16:11:24 -07:00
46cbfb4831
Implementation of Montgomery point doubling in the circuit.
Sean Bowe
2017-12-14 15:41:37 -07:00
8c4433ee82
Add 2A precomputation to jubjub parameters.
Sean Bowe
2017-12-14 11:34:57 -07:00
6b43a4ed10
Make UInt32::addmany produce constant results when fed constant inputs, to allow for blake2s block precomputation for group hash.
Sean Bowe
2017-12-12 14:42:13 -07:00
3a6e8d448f
Add get_for_x to Montgomery implementation.
Sean Bowe
2017-12-12 10:31:13 -07:00
e9d3923829
Refactor jubjub implementation to be abstract over field, parameters.
Sean Bowe
2017-12-11 23:06:05 -07:00