Sean Bowe
|
a891c74dae
|
Assertions to prevent us from doing anything we can't support
|
2015-12-05 20:29:28 -07:00 |
|
Sean Bowe
|
bbc60f62dc
|
Make the key an auxillary input to the proof.
|
2015-12-05 16:19:39 -07:00 |
|
Sean Bowe
|
d3ac3f897d
|
Remove unnecessary constraint
|
2015-12-05 15:52:59 -07:00 |
|
Sean Bowe
|
aec97625d8
|
Add the SHA256 operations to produce the expanded key.
|
2015-12-05 15:49:06 -07:00 |
|
Sean Bowe
|
0231f494f6
|
Added salts
|
2015-12-05 15:35:22 -07:00 |
|
Sean Bowe
|
8c0b89753c
|
Added SHA256 length padding
|
2015-12-05 15:28:34 -07:00 |
|
Sean Bowe
|
ca3ec9f5d4
|
Foundations for encrypted sodoku solution
|
2015-12-05 15:03:33 -07:00 |
|
Sean Bowe
|
bd789afbaa
|
update readme
|
2015-12-05 13:14:57 -07:00 |
|
Sean Bowe
|
0c18798826
|
Add group closure constraints
|
2015-12-05 13:13:07 -07:00 |
|
Sean Bowe
|
e249b9a912
|
Added row and column closure constraints
|
2015-12-05 12:56:37 -07:00 |
|
Sean Bowe
|
4dfff804f2
|
Rename gadget
|
2015-12-05 12:34:44 -07:00 |
|
Sean Bowe
|
e61fd81e36
|
Added sodoku cell gadget.
|
2015-12-05 12:32:19 -07:00 |
|
Sean Bowe
|
2918d4ebc1
|
fix comments
|
2015-12-05 10:58:45 -07:00 |
|
Sean Bowe
|
21520e39b5
|
Refactored packing sum
|
2015-12-05 10:53:53 -07:00 |
|
Sean Bowe
|
da37ac7a30
|
make dimension = n*n
|
2015-12-05 01:18:54 -07:00 |
|
Sean Bowe
|
d239a9f193
|
Better tests
|
2015-12-05 01:14:53 -07:00 |
|
Sean Bowe
|
2a7e41f04e
|
added todo list
|
2015-12-04 23:56:32 -07:00 |
|
Sean Bowe
|
8ffe8296bd
|
Simplified subset enforcement
|
2015-12-04 22:57:17 -07:00 |
|
Sean Bowe
|
b4566fa446
|
Enforce that the solution is a subset of the puzzle
|
2015-12-04 22:33:29 -07:00 |
|
Sean Bowe
|
84d1e5b519
|
Added puzzle solution
|
2015-12-04 21:16:59 -07:00 |
|
Sean Bowe
|
86beff8c7f
|
Initial commit
|
2015-12-04 19:40:05 -07:00 |