Markus Teich
81fb449262
spec grammar fix
2016-06-28 16:51:55 +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
5dbbef588d
fix bug in util
2016-06-28 16:21:13 +02:00
Markus Teich
9e9b786819
add author tag to file header
2016-06-28 16:20:19 +02:00
Markus Teich
b657e7b9c9
fix typo in spec
2016-06-28 16:19:52 +02:00
Markus Teich
42c804470c
fix warning with unused return codes only used in assertions.
...
It's common knowledge to not cause any writes inside an assertion condition
since they are not guaranteed to be executed, so we can still evaluate them and
cast to void, which the compiler can optimize away. It's better than having a
`(void)rc;` for every variable that is only used in assertions.
2016-06-22 23:29:15 +02:00
Markus Teich
0fc7fb86b8
random fixes
2016-06-22 23:18:46 +02:00
Markus Teich
a9e4574c49
update math.tex description
...
- Points are upper case letters now (except for the greek symbols)
- Common knowledge inputs are explicitly stated to be transferred to Bob in ZKPs
- Computation of the Challenge c from Bob is explicitly stated for Bob in ZKPs
2016-06-22 22:43:34 +02:00
Markus Teich
d1fe3b0be7
update crypto interface
2016-06-22 14:25:48 +02:00
Markus Teich
a49b2facee
add prologue and round1 including tests
2016-06-22 14:22:52 +02:00
Markus Teich
2c63da0ed1
create proof for public key share
2016-06-22 02:12:54 +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
5844231993
minor tex fix
2016-06-21 20:26:24 +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
5e2d563861
improve spec
2016-06-20 20:48:43 +02:00
Markus Teich
8ffae340b6
add bid encryption
2016-06-20 01:41:41 +02:00
Markus Teich
0ebfb634f6
minor protocol clarification
2016-06-20 01:38:16 +02:00
Markus Teich
cbb4714027
add key-share generation
2016-06-20 00:47:20 +02:00
Markus Teich
6824ebe008
remove unneeded notice on every build
2016-06-20 00:46:13 +02:00
Markus Teich
65775f8276
add 3dim array helpers
2016-06-20 00:36:18 +02:00
Markus Teich
8e44164fac
minor fix
2016-06-19 23:24:06 +02:00
Markus Teich
f6bacc5058
some doxygen fixes
2016-06-19 23:21:01 +02:00
Markus Teich
977de77474
update gitignore
2016-06-19 22:45:24 +02:00
Markus Teich
0d2f95ffba
merge smc into crypto module. add 2dim array helpers
2016-06-19 22:41:03 +02:00
Markus Teich
3f81885ee3
syntax: generator -> base point
2016-06-19 21:58:39 +02:00
Markus Teich
b982bea837
minor docu clarification
2016-06-19 18:42:19 +02:00
Markus Teich
18421619e8
finish protocol transcription to Ed25519
2016-06-19 17:45:52 +02:00
Markus Teich
be1ac2e452
update internals.h, add first algorithm functions
2016-06-17 15:35:46 +02:00
Markus Teich
b043bfc8d2
add uncrustify command
2016-06-17 10:31:47 +02:00
Markus Teich
e6bb15b589
add gp setup script for curve25519 (not Ed25519!)
2016-06-17 10:30:33 +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
6f3fb46317
first protocol part in math scratchpad
2016-06-16 00:08: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
745dff3ac0
minor syntax fix
2016-06-12 20:52:52 +02:00
Markus Teich
62b87e57a7
add tests for key generation
2016-06-12 20:52:22 +02:00
Markus Teich
5957a77707
add third ZKP formula to math.tex
2016-06-12 15:35:05 +02:00
Markus Teich
381d21c602
add crypto backend
2016-06-12 01:14:56 +02:00
Markus Teich
1d3b927c37
uncrustify brandt.h
2016-06-12 01:14:22 +02:00
Markus Teich
e0f63621dd
coding style for util.c
2016-06-12 01:08:06 +02:00
Markus Teich
ec1ce068ed
update util: logging and assertions
2016-06-12 00:55:09 +02:00
Markus Teich
6416f0fbfe
add doxygen stuff
2016-06-12 00:26:05 +02:00
Markus Teich
ccce00377c
add first two ZKPs in EC scheme to math.tex
2016-06-11 09:44:06 +02:00
Markus Teich
9e773e5437
add some math notes
2016-06-10 16:48:50 +02:00
Markus Teich
c75341d052
add (M+1)st Price auction global-view script
2016-06-10 16:36:22 +02:00
Markus Teich
d4360a4f8b
fix typos and types
2016-06-08 15:40:22 +02:00
