rust_ev_system_library 0.3.0

Implementation of E-Voting system library functionalities for the Verifier
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93

[
	{
		"description": "3072-is-write-in-option-false",
		"context": {
			"p": "AL/2fMyuD2Gzi6cK1zbPqOooS11srr8v7S/IjQrf+eKyIL/ZzNpZvTvVKxLN/M9Bqj2b+B+Vp9WUUmkL9F95k752CrvKPilwXUc6ZmONzW6nhmPA25Hj4Ksd/hr/JRgdTSw7oFn5Ex2V039DEjPqInbgUslg3LEw+d/9wL6XfJlH564F6lFqqBslKP7wNiWs/PSVw6tdXxduBvE4KulqRwMhCSwMHAKhlqtNog02BbTnKlz9Fs+Tgcg1E+vRiopKIb+VuGTtpMAhRYPpmjGA96Vh8Z1FG8Q1TnooTcfrDFoF3FiFbG3IzzpXtC2GbYX0U9G9jMYRF/tgakCvCg73bWA8ejB8C4hUNV1YNndMa7EiOOCYBngqSHu5iIrh21Teyj/sN00wzJpyLTBSWFBp0hK2L9Z1hxAzfKF0Eegv9+fnt1T0yfOhxJqhXg0KDpsFouqIAhbQUreA5oFoyjNjCdPBgConivzxwPj6M4HBRdoIZIkiIblg7NbUYWXgV7Ve6w==",
			"q": "X/s+ZlcHsNnF04Vrm2fUdRQlrrZXX5f2l+RGhW/88VkQX+zmbSzeneqViWb+Z6DVHs38D8rT6sopNIX6L7zJ3zsFXeUfFLguo50zMcbmt1PDMeBtyPHwVY7/DX+SjA6mlh3QLPyJjsrpv6GJGfURO3ApZLBuWJh87/7gX0u+TKPz1wL1KLVUDZKUf3gbEtZ+ekrh1a6vi7cDeJwVdLUjgZCElgYOAVDLVabRBpsC2nOVLn6LZ8nA5BqJ9ejFRSUQ38rcMnbSYBCiwfTNGMB70rD4zqKN4hqnPRQm4/WGLQLuLEK2NuRnnSvaFsM2wvop6N7GYwiL/bA1IFeFB3u2sB49GD4FxCoarqwbO6Y12JEccEwDPBUkPdzERXDtqm9lH/YbpphmTTkWmCksKDTpCVsX6zrDiBm+ULoI9Bf78/Pbqnpk+dDiTVCvBoUHTYLRdUQBC2gpW8BzQLRlGbGE6eDAFRPFfnjgfH0ZwOCi7QQyRJEQ3LB2a2owsvAr2q91",
			"g": "Aw=="
		},
		"input": {
			"p_w_tilde": [
				"Bw==",
				"DQ==",
				"Ew==",
				"Hw==",
				"JQ==",
				"KQ==",
				"Ow==",
				"PQ==",
				"Rw==",
				"SQ==",
				"Tw==",
				"WQ==",
				"ZQ==",
				"Zw==",
				"aw==",
				"cQ==",
				"AIM=",
				"AJc=",
				"ALU=",
				"ANM=",
				"AN8=",
				"APE="
			],
			"p_i_tilde": "AXs="
		},
		"output": {
			"output": false
		}
	},
	{
		"description": "3072-is-write-in-option-true",
		"context": {
			"p": "AL/2fMyuD2Gzi6cK1zbPqOooS11srr8v7S/IjQrf+eKyIL/ZzNpZvTvVKxLN/M9Bqj2b+B+Vp9WUUmkL9F95k752CrvKPilwXUc6ZmONzW6nhmPA25Hj4Ksd/hr/JRgdTSw7oFn5Ex2V039DEjPqInbgUslg3LEw+d/9wL6XfJlH564F6lFqqBslKP7wNiWs/PSVw6tdXxduBvE4KulqRwMhCSwMHAKhlqtNog02BbTnKlz9Fs+Tgcg1E+vRiopKIb+VuGTtpMAhRYPpmjGA96Vh8Z1FG8Q1TnooTcfrDFoF3FiFbG3IzzpXtC2GbYX0U9G9jMYRF/tgakCvCg73bWA8ejB8C4hUNV1YNndMa7EiOOCYBngqSHu5iIrh21Teyj/sN00wzJpyLTBSWFBp0hK2L9Z1hxAzfKF0Eegv9+fnt1T0yfOhxJqhXg0KDpsFouqIAhbQUreA5oFoyjNjCdPBgConivzxwPj6M4HBRdoIZIkiIblg7NbUYWXgV7Ve6w==",
			"q": "X/s+ZlcHsNnF04Vrm2fUdRQlrrZXX5f2l+RGhW/88VkQX+zmbSzeneqViWb+Z6DVHs38D8rT6sopNIX6L7zJ3zsFXeUfFLguo50zMcbmt1PDMeBtyPHwVY7/DX+SjA6mlh3QLPyJjsrpv6GJGfURO3ApZLBuWJh87/7gX0u+TKPz1wL1KLVUDZKUf3gbEtZ+ekrh1a6vi7cDeJwVdLUjgZCElgYOAVDLVabRBpsC2nOVLn6LZ8nA5BqJ9ejFRSUQ38rcMnbSYBCiwfTNGMB70rD4zqKN4hqnPRQm4/WGLQLuLEK2NuRnnSvaFsM2wvop6N7GYwiL/bA1IFeFB3u2sB49GD4FxCoarqwbO6Y12JEccEwDPBUkPdzERXDtqm9lH/YbpphmTTkWmCksKDTpCVsX6zrDiBm+ULoI9Bf78/Pbqnpk+dDiTVCvBoUHTYLRdUQBC2gpW8BzQLRlGbGE6eDAFRPFfnjgfH0ZwOCi7QQyRJEQ3LB2a2owsvAr2q91",
			"g": "Aw=="
		},
		"input": {
			"p_w_tilde": [
				"Bw==",
				"DQ==",
				"Ew==",
				"Hw==",
				"JQ==",
				"KQ==",
				"Ow==",
				"PQ==",
				"Rw==",
				"SQ==",
				"Tw==",
				"WQ==",
				"ZQ==",
				"Zw==",
				"aw==",
				"cQ==",
				"AIM=",
				"AJc=",
				"ALU=",
				"ANM=",
				"AN8=",
				"APE="
			],
			"p_i_tilde": "Zw=="
		},
		"output": {
			"output": true
		}
	},
	{
		"description": "3072-is-write-in-option-empty",
		"context": {
			"p": "AL/2fMyuD2Gzi6cK1zbPqOooS11srr8v7S/IjQrf+eKyIL/ZzNpZvTvVKxLN/M9Bqj2b+B+Vp9WUUmkL9F95k752CrvKPilwXUc6ZmONzW6nhmPA25Hj4Ksd/hr/JRgdTSw7oFn5Ex2V039DEjPqInbgUslg3LEw+d/9wL6XfJlH564F6lFqqBslKP7wNiWs/PSVw6tdXxduBvE4KulqRwMhCSwMHAKhlqtNog02BbTnKlz9Fs+Tgcg1E+vRiopKIb+VuGTtpMAhRYPpmjGA96Vh8Z1FG8Q1TnooTcfrDFoF3FiFbG3IzzpXtC2GbYX0U9G9jMYRF/tgakCvCg73bWA8ejB8C4hUNV1YNndMa7EiOOCYBngqSHu5iIrh21Teyj/sN00wzJpyLTBSWFBp0hK2L9Z1hxAzfKF0Eegv9+fnt1T0yfOhxJqhXg0KDpsFouqIAhbQUreA5oFoyjNjCdPBgConivzxwPj6M4HBRdoIZIkiIblg7NbUYWXgV7Ve6w==",
			"q": "X/s+ZlcHsNnF04Vrm2fUdRQlrrZXX5f2l+RGhW/88VkQX+zmbSzeneqViWb+Z6DVHs38D8rT6sopNIX6L7zJ3zsFXeUfFLguo50zMcbmt1PDMeBtyPHwVY7/DX+SjA6mlh3QLPyJjsrpv6GJGfURO3ApZLBuWJh87/7gX0u+TKPz1wL1KLVUDZKUf3gbEtZ+ekrh1a6vi7cDeJwVdLUjgZCElgYOAVDLVabRBpsC2nOVLn6LZ8nA5BqJ9ejFRSUQ38rcMnbSYBCiwfTNGMB70rD4zqKN4hqnPRQm4/WGLQLuLEK2NuRnnSvaFsM2wvop6N7GYwiL/bA1IFeFB3u2sB49GD4FxCoarqwbO6Y12JEccEwDPBUkPdzERXDtqm9lH/YbpphmTTkWmCksKDTpCVsX6zrDiBm+ULoI9Bf78/Pbqnpk+dDiTVCvBoUHTYLRdUQBC2gpW8BzQLRlGbGE6eDAFRPFfnjgfH0ZwOCi7QQyRJEQ3LB2a2owsvAr2q91",
			"g": "Aw=="
		},
		"input": {
			"p_w_tilde": [],
			"p_i_tilde": "APs="
		},
		"output": {
			"output": false
		}
	}
]