Download User manual - Verificatum

Contents
1
Introduction
1
2
Info File Generator
1
3
Mix-Net
5
4
Object Generator
9
5
Demonstrator
11
6
Universally Verifiable Proof of Correctness
11
7
Converting Public Keys, Ciphertexts, and Plaintexts
13
8
Acknowledgments
14
A Byte Trees
15
B Representations of Arithmetic Objects
16
C Raw Format
19
D Alternative Formats
19
E Additional Command Line Tools
20
F Worked Example with Three Mix-Servers
21
G Usage Information for vmni
24
H Usage Information for vmn
28
I
Usage Information for vog
31
J
Usage Information for vmnv
33
K Usage Information for vmnc
35
L Usage Information for vre
36