You need to enable JavaScript to run this app.
MetaCP
Samples
Save
Export
Instructions
Your browser does not support svg images
Alice
Your browser does not support svg images
Bob
add first message
types/sets
S
N
Zp
P
C
KP
KS
K
statements
+ assignment
constants
Alice
Bob
g
variables
p
+
functions
+ exp
+ pk
+ aenc
+ adec
+ concat
+ fst
+ snd