Markus Teich
1a6dc56f1a
add outcome decryption plus test
2016-06-28 17:24:59 +02:00
Markus Teich
fb2bf04d38
add outcome computation with test
...
also:
- enhance smc_zkp_2dle: secret can now be auto generated.
- enhance sum functions: can now use custom step advancing.
- add init1 and free1 for 1-dimensional point arrays.
- declare loop variables inside loop header.
- narrow some variable scopes.
2016-06-28 16:29:18 +02:00
Markus Teich
0fc7fb86b8
random fixes
2016-06-22 23:18:46 +02:00
Markus Teich
a49b2facee
add prologue and round1 including tests
2016-06-22 14:22:52 +02:00
Markus Teich
965b4da779
smc_zkp_dl: make v an output parameter
2016-06-22 02:05:00 +02:00
Markus Teich
8d717c4b3d
use proof structs. fix bug in mpi_serialize
2016-06-21 23:06:15 +02:00
Markus Teich
77f396003c
use hash to generate challange in ZKPs
2016-06-21 16:12:57 +02:00
Markus Teich
24191a6968
add (de)serialization + test. add some docu and stubs
2016-06-21 00:20:47 +02:00
Markus Teich
65775f8276
add 3dim array helpers
2016-06-20 00:36:18 +02:00
Markus Teich
f6bacc5058
some doxygen fixes
2016-06-19 23:21:01 +02:00
Markus Teich
0d2f95ffba
merge smc into crypto module. add 2dim array helpers
2016-06-19 22:41:03 +02:00
Markus Teich
761dd37e1f
refactor smc and ec crypto functions and ad 0og zkp
2016-06-17 10:29:49 +02:00
Markus Teich
4421637ad3
enable test
2016-06-15 01:58:42 +02:00
Markus Teich
8035afa583
add second ZKP (equality of two EC DLs) with test case
2016-06-15 00:52:18 +02:00
Markus Teich
338c95de41
coding style
2016-06-13 21:27:03 +02:00
Markus Teich
557fbe2cc3
add first ZKP including test case
2016-06-13 21:01:14 +02:00
Markus Teich
62b87e57a7
add tests for key generation
2016-06-12 20:52:22 +02:00