rust_ev_crypto_primitives 0.8.4

Crypto Primitives necessary for E-Voting Applications.
Documentation
[
	{
		"description": "3072-bits-verify-decryption-2",
		"context": {
			"p": "ALfhUWKK7Spqv3FYgJz088di5xYPOLTaVqeE2QRRkM/vMk53OJJs++X0v42NjDHXY9oGyAq7EYXrT3x7V1f1lYSQz9R9fBm7QhWNlVT3tGvO1VxNef1fJNZhPDHDg5ot34qaJ2vPv6HId8VihNq3nNTCsyk9IOnl6vAqxgrMk+2HRCKlLssjj+7lq2rdg1/RoHU9Co945TfSuVu3nY3K7GQsHp8juCm1wngL84c334uzANATNKDQvYZFy/pzphYP/jk8SMu7ygYPD/jsbTG+tczu1/LwuwiAFxY7xg30Wg7LG80omwbLv+ohrQjhhH8/c3jVbO2UZA1u8NPTe+ZwCOGG0b8nW5skHetkdJpH39+5ZjLD6wYbZHK7+EwmFE5JwtBMMk7xDeUT0/URS4tdN02Ty4h5x9Uv/XK6Cq5yd9p7obSvFIjY6DavFIZebDeraHb+aQtXESE4KvNBr+lPd7zwbIO4/1Z18JeQdK2aeHvFub1LDFk30+3kw6eTlkGc1w==",
			"q": "W/CosUV2lTVfuKxATnp547FziwecWm0rU8JsgijIZ/eZJzucSTZ98vpfxsbGGOux7QNkBV2IwvWnvj2rq/rKwkhn6j6+DN2hCsbKqnvaNedqria8/q+SazCeGOHBzRbvxU0Tteff0OQ74rFCbVvOamFZlJ6QdPL1eBVjBWZJ9sOiEVKXZZHH93LVtW7Br+jQOp6FR7xym+lcrdvOxuV2MhYPT5HcFNrhPAX5w5vvxdmAaAmaUGhewyLl/TnTCwf/HJ4kZd3lAweH/HY2mN9a5ndr+XhdhEALix3jBvotB2WN5pRNg2Xf9RDWhHDCP5+5vGq2dsoyBrd4aem98zgEcMNo35OtzZIO9bI6TSPv79yzGWH1gw2yOV38JhMKJyThaCYZJ3iG8onp+oilxa6bpsnlxDzj6pf+uV0FVzk77T3Q2leKRGx0G1eKQy82G9W0O380hauIkJwVeaDX9Ke73ng2Qdx/qzr4S8g6Vs08PeLc3qWGLJvp9vJh08nLIM5r",
			"g": "Ag=="
		},
		"input": {
			"ciphertext": {
				"gamma": "aRoSa04HZUsNN9wH69AB/B62rijVmtUwhNfK4JAaIEecVlsPFkMScA6Ri+n+Ap+6rDFVjfiyNQU0/cV4UQtJ8u2om+fp0pexZ1DHHZtdhMEWg0VUB8v1YY+4HL/5GdoO4eubl0jjwtggSW4IdR4a47rihKtkq/xprXFCcd37lZHP2NwcTtuStis9xGDJtFsxO3gCj5Hj4aI71QCdwm8ZvD7/mmHDFScgGP/HxUkYKplTSwn/sYhg4gjar6qqRaWDwZl4msf5uVcV9qI5BtLkjZANiGRyK0qFjqmBLq54Fc2dh2iXr5eUNRZHvZVCwFHYl+vs2Lt84oCqrTkMwx/gfhhj9BJ6XNiZNjVdOEkd4IPeo2G4hbgiBrw3o1Tbx3vZmGJYRQkjuL86wtFwSZPIvaTty4jlKawyvhyC7nPkLlAugZvTPWZa1oFL1V+TuTwHF6wqOMU7kze5Ye1hOCcWsLWo5S9q7tlCGrqMMt9YNhDK/QdI/ah5Jy9ix8RPEAeq",
				"phis": [
					"F9h8hPvuqQJQF9ry2wfaRDtbRbq2zsvWEtnf2MIfHJql9pzlGnpsK/Q7/P1tUcO6yQNqmsr7OH1ZmfHsRwdPd/wyfgv/OeYJoZJRqIG2E1/1tfFe6hRm22SoMHY+vKNR17UDmR7pz0pMf5cMASWGdwVrNu2acRYG8IrKPXC6xxFrlb/iwaSlYhoiPRIDWVfNHTh44MX1txNy83Fju4XyQfL7ZfYNdFpdZj+Mx0CHeFlJ7DZ7RBPPUu2NdE2VfQDjAoC5VRD/v6d492rjJTEdwS7oDQVoZ1R9SqiwpplZlVa5oglO7Mn5c9bVj+GxKwoe5t2PC81okudnGm+DnwwNr1xdRA3DAM9y5/AT1tBvUbxHUJqymasozJ4N3YRTiNwaSqg9SLkhvDqplignnN9Uc4DUPj5DiRDq3zVRF/fUKckBpwKcAnncX/eb43q0Ef+NMst9RuyxZGe6VvAdFX4jYod2Yxn4lbd1W5uIAYbChHRWWgHsGbEGIPSQz40mkJWq",
					"ALMxVqLAiGNtXJ/zPrabnzlgX6bW2u4kXovyGlvKoML3Mv+oLuW6CeNN/ykmMBeB6LIPNl30xIKr89cn9njsn87OqFtzEcd9oV0wDNDOJXt0aj8atq0ZGrm//u4k9DCDQa6O8oZ0v1hnzUK0iTWhRW3rf7rFRF9hWoydXgfKrhvk9Zn9wLAYCSr8OCzNc8TX03fNmHhQRYgDXZ+RrkHF/rANoeLTm99DH0jrEyU8ODTvFehXhzG1UA+v35rbrBdyJSIIxbsID6SH1sK5yVtwwZk472bCAWS3sC4jmv0kLZB/WFA5HdMEqgZ2o5uRThOHvpCHUkh/GIiiMuYY0PYwGGfeD1ZEYhUCSnGZF+xy9ldPJYxkA3m82XH0SP69rs1BHOhmVMIxQWAU4wPmMZ9QYmBEPxYKZWOHWW4BZIPmaajYXol7X7OPi4sW5u9UMfRZtrspcfyulKBhS29F6bW1bTKrl100xg2h+/ezkHGEQtAgrdLPaYVAlXeOWKIyEeXFsA=="
				]
			},
			"public_key": [
				"AKQv4lU4DqWZJ3SVzWrfRCs4ysrsati3UI7TV/TPSLtHtfAe9Y3JNDGW0JwLIQVlcmwkmO0O8+X53x16o4Zb70epnRwA8kmBx6J0+EoKhG4WcaNtXXxwkoLIjynjKswJqjpoMsLefMc6wfUhgnvQ4BYi2Y5PRmR7hNXPo118KQnaiItfF9cK2YS2tbHhGvG6O+oT6yJiny9MBP4BJH+U/3vchMiXRZ8HW9GKEEJSIJV+i9a4oLF9cOf1peGbqymqoj8XpczP846nulqr3MgCqZbSCIxvOV/KcsXBwCeN6ZvffQ+LpCAu7tlSRIvz0WMenU9hcIikZ5cLevWQdcOznfjuZlsx6vKgQ4ddLZ336OpwfrG8SNFLkKE8Q8QMjk0/UoDopvuSh2TfaCvPSRbZ7W+Lh5RyrR3DelIBlGQf+E0cUIpBd6DW4CKmJ07vu8V3gmKdV7VIuJMd50zsrdeAMoS7LG57j5GMD5sOS4HuK1hvJCq86Y2aTZGpxVn4dZRwHg==",
				"DbRg2rZVH6NzFGIqDO8QCFQvU36fcxFOKPw+VAKstndrswG8zNj49Ia3D/RTvW/TIiwp1o2riLnmyKKsR7oOCqztEdYEfLc7I0mzbw8JZKZ9pZp2IgfHQsjIC8rhUmfjlhJrp66sVCYG1Z/zj/qAULm37VcBepAR+niu6cYzB7gctr6lwZjshhsXDEAeb2WbYapdwuo+V8QKJyXDpQXrM/z22eMLqf5y1PvpbnsE8atufejUumxUzPpUY7i1yHqUunP1ke10K+dpjocZ+GRYGDL5FFud5Pcuf7UVL+ranS0FLwKLznDOBrROqP4TOqFsfIn/k+8UGjWpDQ81zixaga/2yi9j2nR6SqcAptjxdbOIglHRsNqlO+1SXxWXhg0eal++VAXoYp9ESystQMpi9C9bBrgcjWOrasciteFFYUh35S/rDxuvn9jmOJbjmJMm+oUsR7P9xVJfoWDksi070C5tSsTPDryM7JorKsirwYBoikwVCloT1V/C1jY9ursU"
			],
			"message": [
				"ALYY1ip2WyJsTRL4eVkc0opsUgviMSiuFZMrfFR1RDv0WUAd0SKfuP3DoeknZYxlv3pLevb21O6M2IyuitvDcLw7IPh0Sb1Kso8UJj89XCMHzgmFWI2scgHCOgUFMEBPfsc2boa8GGyNtYsIfSdCRx0RCH45pB5b5oeGpdOT72rOJ45Un1VQLgNb3jQnj18LZSGyxUvQAcxBuZ4xz8/kj1G+bkPGyM1f08sh+mXUvWsXuKj14Xg6WhOxEw9wYqgs+TXCBMtX/LV6P9agPusObk64uemZLf3v/ZRA3fDiB09jwXqplD9UVTcMjIkLUqkLEEtWfUym1j5o35Ey1ivzDMECCiBQbOFrE9st6CxnHFAyNZbPCd1oyj0NmrCTXMgXxbBEgJlfYRHdimrSG3JZrQHQZBoN0AovDKy2sfR5MUP0QfW7Xo0UUZccggvnriPwMrXi+mTAv66yXgpLePUuHf22vHQsz5amxkxvRYsxnsw25AaGSSegq3j4aCcoj9ZWwg==",
				"AJJCjByur8eqXyJTDpvIvYxM96cwFtUoHkY6pKZWao7soT5VQD9FNEO/AulOk5kl6OdcRQ6ZQkTarpbKLt9Xx1bpSqkSk2jgeGL/uJKHlA4yKBJc1yLvO1ifrHDbJ1orMAjrnCwZw5f6HgUZKLj5dwCkj3/posTNZHxHNcumS69n07aUDQ0IvQQBeR5qtyJyZSLFkP3nVuKoyJG+jUcDsmsFG5BYeJQPax5vgYPsWUxnCIMPzWox7TNHPgqWgogbCS45h7ZZndZC+nCxfHYvA+HFAo0Vj9usklEJYseXIXQ1z33zfQ8jaDhLGfTclmUMa3AC89T/IMjtgP3HTUmRzEnWasVvX8ekw0cotlBQIOtrpSObVf1QQ7PY3OWw2THSHS7tWQmHFhJnXxX1l5dm8EDtBXTywZy0WiXCOCxGBxu5hKI1CBHuoLwNr4lN70W82dDcE8mOeel11waPVnFGhUbejvvblLaPZFoT5aL4mwLgUYJ3O13RCh7bS5LhuuOomg=="
			],
			"proof": {
				"e": "BMRKpqhsFaRmQyNTLPEwpxdECFfcHeL4nCYMhCo7q3A=",
				"z": [
					"E/r7hWlLfP81vvHGh9ZXYF3vmPwxilD8q/Bva79YlO4411Cqjz3XdQmOAe/7MOX7ks1YgnT2mh8oAAAzlPVn5V0WybhCmG+7vEgUFyKZwZigpg6I8CaY6UtZncJkMh6gtFKoR3Ed7uF2ayFH8hCD9KL0KprAQX4AGcIwZrFun5wPA+XlW4g88eupLCxaz0XKwIti5OxF/L9GjtMPLGNLh+O7UULqAwbjCl8F63yMeqNHUOWYaY3eCEJM07FumQzaYrfn11hTDEe7hn4XeyTh4JTSs4m0vPm5Ye98ech1Z0+nCs9IW4hgBjNMMi1yfVnz69T2c/0uD/TSiokFum0SQFGejqc2RgF0mH6xrQ7RAKTR8BSWYTDxF1Q0gxx2hW6GPnv/pzdNUA4ZeTP1I486HAhAuBME+6ZnGqaokq/5utiKWG2muP6MAikuETY5gBN0dTKOF77hwqnTEotxSL7iAZybLmOPBsXyChJFAvA+wfPdFAzBp6F2UiBP/z/wKoVm",
					"FhFHyxhugwytbgA790oIhZ+ZajmO9qsqkL3NUvat6CxVAHaGDG+f/hD3bhZ7InRL/99J+7eDzG6s+msGaTqgp6r0q/2hJlPI1balCFpHQGhZSJMw1YJ/wCkgvEnbwH+w5otTCEE+dZI2z1Bsc8PLeMrCYxXG4hIpTc/LAE6qkSP+uy+negxpU23HnPSFZrUg9UR4LH5YBOVBjkXIvSHT+gPxJpx9Nc2SS9Joen1BTyob042Unt5I6Hr+iavnNFzFUODlFEy1Li02tbOnaHk5c96jkaz+gQZu6FvVc1hhA95C8DNn2w6AEl6+QP89ZoJL0Ex2CrJ8EAXiAK9Cj/Rs/kxmSrdVIFuhpji6fGHPei03czqSXx34hUULVfeIUDouGO4FG7vQsHV9XVxJeD4G3YFMpVK/212YQWUOR+p35tNqOr9c0+Hh5U7ZUUiNEnVVIAzpuGmFFTWI33dsq6rRuKVaxG5IHfXEs0W8QPpnHw5ZXb0SO1AGyY7GrCjmCZa5"
				]
			},
			"additional_information": []
		},
		"output": {
			"verif_result": "true"
		}
	},
	{
		"description": "3072-bits-verify-decryption-5",
		"context": {
			"p": "ALfhUWKK7Spqv3FYgJz088di5xYPOLTaVqeE2QRRkM/vMk53OJJs++X0v42NjDHXY9oGyAq7EYXrT3x7V1f1lYSQz9R9fBm7QhWNlVT3tGvO1VxNef1fJNZhPDHDg5ot34qaJ2vPv6HId8VihNq3nNTCsyk9IOnl6vAqxgrMk+2HRCKlLssjj+7lq2rdg1/RoHU9Co945TfSuVu3nY3K7GQsHp8juCm1wngL84c334uzANATNKDQvYZFy/pzphYP/jk8SMu7ygYPD/jsbTG+tczu1/LwuwiAFxY7xg30Wg7LG80omwbLv+ohrQjhhH8/c3jVbO2UZA1u8NPTe+ZwCOGG0b8nW5skHetkdJpH39+5ZjLD6wYbZHK7+EwmFE5JwtBMMk7xDeUT0/URS4tdN02Ty4h5x9Uv/XK6Cq5yd9p7obSvFIjY6DavFIZebDeraHb+aQtXESE4KvNBr+lPd7zwbIO4/1Z18JeQdK2aeHvFub1LDFk30+3kw6eTlkGc1w==",
			"q": "W/CosUV2lTVfuKxATnp547FziwecWm0rU8JsgijIZ/eZJzucSTZ98vpfxsbGGOux7QNkBV2IwvWnvj2rq/rKwkhn6j6+DN2hCsbKqnvaNedqria8/q+SazCeGOHBzRbvxU0Tteff0OQ74rFCbVvOamFZlJ6QdPL1eBVjBWZJ9sOiEVKXZZHH93LVtW7Br+jQOp6FR7xym+lcrdvOxuV2MhYPT5HcFNrhPAX5w5vvxdmAaAmaUGhewyLl/TnTCwf/HJ4kZd3lAweH/HY2mN9a5ndr+XhdhEALix3jBvotB2WN5pRNg2Xf9RDWhHDCP5+5vGq2dsoyBrd4aem98zgEcMNo35OtzZIO9bI6TSPv79yzGWH1gw2yOV38JhMKJyThaCYZJ3iG8onp+oilxa6bpsnlxDzj6pf+uV0FVzk77T3Q2leKRGx0G1eKQy82G9W0O380hauIkJwVeaDX9Ke73ng2Qdx/qzr4S8g6Vs08PeLc3qWGLJvp9vJh08nLIM5r",
			"g": "Ag=="
		},
		"input": {
			"ciphertext": {
				"gamma": "aRoSa04HZUsNN9wH69AB/B62rijVmtUwhNfK4JAaIEecVlsPFkMScA6Ri+n+Ap+6rDFVjfiyNQU0/cV4UQtJ8u2om+fp0pexZ1DHHZtdhMEWg0VUB8v1YY+4HL/5GdoO4eubl0jjwtggSW4IdR4a47rihKtkq/xprXFCcd37lZHP2NwcTtuStis9xGDJtFsxO3gCj5Hj4aI71QCdwm8ZvD7/mmHDFScgGP/HxUkYKplTSwn/sYhg4gjar6qqRaWDwZl4msf5uVcV9qI5BtLkjZANiGRyK0qFjqmBLq54Fc2dh2iXr5eUNRZHvZVCwFHYl+vs2Lt84oCqrTkMwx/gfhhj9BJ6XNiZNjVdOEkd4IPeo2G4hbgiBrw3o1Tbx3vZmGJYRQkjuL86wtFwSZPIvaTty4jlKawyvhyC7nPkLlAugZvTPWZa1oFL1V+TuTwHF6wqOMU7kze5Ye1hOCcWsLWo5S9q7tlCGrqMMt9YNhDK/QdI/ah5Jy9ix8RPEAeq",
				"phis": [
					"CvndfmKRv7WTd97RKpiKZV2pIiTJD1dtZvrn5VEN4qUNhdYi/2bReSqo6XLlBhDPsx3BhrdeD4eRim3ASCJCfgiC9AU+ch9mBa8GtxGIYtcxSHGMvuFaFimWfwFt0oBKNQ5G4p2/Qyw5LJLKV8OX4TJ6V2o9HOizJXmkWDRtJRlCkwlb4EUgwt52X/xuhnw4RctGy1/axGo2DZd4Le7xiNE5RxnCtHAxqg2OYTSMuRfbQb238Gv5MKYE2BA9x4oAdgWdPR58VPZWOQ8B6lWdQXDB8Cd+T1SiY6MVZjiWAjBMbfu60CJkghivceMo6rN4Mtr9q4aFQwaNX00tX+ESvPlz8HQWTHGrtqKnx50txLvRKv8Mg1GjTzlqbsv/aIg+akNMu9PN+h0cCZW+7rQPIribdDrn72JntZlavuFXcHjmjUz6ig4hWmGAFUbJGJHpVr7uOJk15tt1W8IB5gJkt9mKTrs+P6fKDQZYBj2+2NHRNwtjyG5AznI2fsTzSeNC",
					"cyqLwieJuogiIeYuwnEaP4CrfKcXJMUNJFDDWOiLHp/IvzRXesGWtzRTT4pUDU2bHaxlgCo+oiTiJ+42YLKRqdocJe/g/b6k9WyLe6ffONcCzMoXPymxmppdHK+PvQoJ5b1OHIilrBerRyxUV9P2RTAFQ9Yrm+GX5rBzVSnkow+vHxEwkU5QslmsGIQZ74zN3p49ca35c3guZseQBZXvBO5ugs314L8m+bb1UXgbysKTDcAs0NWQ37PJgd2GeG60ihs9tOIW2ElEwwzsOowRayUBEtKx7DV2yFH4sA6bLVarn9soSjHyhDsNCq/xnNQFLMkbNNXFvvIYuLsjAl8Ei6VKl5L+LN8CdW1GRk+qnAhrBzkJlrc5y+Gl7u6tCsTo3Bmlcmn/Wa7WMmEm1Uf9WI7Icvkc2IaJSmNyvowK0ATPIVO07K6/4bQHtXLobrwH7dDSM2msP3wG+D4fa1edsHNaXEcv9laJPOtmVsouyfuZdEWSLNwbMl1StNOfs3Gk",
					"AIeaqdqFK2CfDWfxb+1bQRS4yPzJ5Kv/Gqs73lqXgqq19oe+1BA2nv85LGA4v9ij4FiMvLVOeGmo/huFx3s6+5Mz0pyGjB4H7+fyW34EKyotS505yiVGS5s3hYFHWcQFhG/ntqWcgQqbAysOGOuOj6b9IDLO63PyQxfcHri75tJrYav7Clt9T/A5WQKSDRDipGC9tQHluRGHjiL5uTcyrHYxcQL0w4NJxUEeKkg238DJ55+0YgL3GheYO1uoBVHdUEyV+bDo8GBpCKnlpz5Q5maRScebcuDxSNSSBOnuQ8rSUrsGNUMoQPLEhFeUq3fGv/WeZNLAz2WAtEYPaT45W+PMN5EldziSIxWnlXd89xz+p4uZMrDvlS0RAFgj8AH3lOQNNH8i30Eyj9TLiWJTeZVdopsq4HDcBImVoAQ73ZDVPgjoezaGkqADbWysPddZOmJybsK5e7vya8Sn1ZklCwg1gnI22ttrusFBSgHGvvzQf+D8xBSHBwITFNqzRRC2Pg==",
					"G4dR2Kh+p8aaf5hMZIOilOyMkp1R0w2cF6vcIIJSjxJzuPOSFdJzGop8XoXW4lDI0AI26HT6pjtjGwNG16zs11uw5YfzEJuK6Drk8OwzIMUxiheinTF9Wvferw/2eJjtEbEyVBYstwUuR5wuFT7bzooqsdog7IvNrXKxPWOkJEsge5rV5a11T1F0fNIw9L5mlRKZJ29MLAdyXkukRt8QvU/Lp06pUG+gYRxW7L2RXOehyQU/PfRh0ztFmss86gBqch5Op5lKDYQZoBMAoBgr7nRB0ukW6/HR10Zkj98dID8/osbMLrCTPkOKpcbcFj694/VblhXTAINobJ0+VotZ/LnDBwgvhs3eDQeGUOjNgzrz84sD87gpIK6xMllUZV+jKBQqIOuy6omDfZhldPERKwAdUL2nh4mIt3zOPPUXLIUV8vKQTzFH2wY2SRW2PXrx7ZfT4qUe7eXkBx12E1gWsttPSJsx+KGp164nSR9ejMuevbNlsdE94V/AB0TdNneD",
					"RkYWlQmYi5VJ/dT0yoqwrXnrU9nEgoAdeFZr56VHgSze0LgocbtGJ6q7dJ1QlzUfb5JNJyYHo2+VeHgqKBH+PdTQ1xc1MxvyXBDWMlymtNszIhPGmCaBOOgpQtUcfq9ghSf/pVLYRsk2lU0YyW6CFd3IRX8KFYu39f/3FsAA08R4T/fTNxbnjpPa1kpS/DGnV4Ebk/Fhw4F2kGR9dVTe2GJIKEWeeohmtYPK/YuhzCv2SvokyTksmYENpJdjRRLiRAiERYbTWv8l992a47D827UtXa5GBJjmrPw/+iMkQzlvas7saYBRMUxjbffx8hqB3/XWOEewZKONddvZpdN9/ykKrXKcCfC2Lj2wyeIFu8pkLAv8dxVkZqaNav8FhR9asG0gKVhWW71xNK190R4QRh38BZvYLIUjcAia0GJoi1przA1kfWRjF93+SLed0fwCBhHXEnGzrUpJvtlx9vn7yrjk+7JU3levZ8TFKjfleYvzJWfkclEh09cBjzlhgXrm"
				]
			},
			"public_key": [
				"W6DR1pjwKBTjm1ndvdNclNf+NPX927NYBmwx+w/9Jx8dSdRqFG3JNebRWBEmImfeFLxGeuNiz7dcTDbv5u927SRXMorTje6w7n51fwKJu74RIVbwMgkopk89Z012L+gG+rgY9IRMDfbQFGqKzMp/x400XGlbVioKnhOJMdsRFQ1u6QS+DnDN1rxkTlHwghZ8J+Ha9wqA6eWbjvti+jsyKngePHa95o+6hv+U5pHHX3e0I62xgDxkFyeSMUg9tmrAlK7kaibsP1F9cheUbaDWSWrLwKbj5njES60wuMjdG+dKH2eH/IAmrugyFLmTq5/L9VlVrniUgUvqyb5OCL5/avPANfoK+FXHMwZanzmUV8I1wZu00G0vfoAX/3Z8eIbQEAKIAu7Zg3BP0b/W+Gwri1teNCtA0E3pFD9YaXaQ/ndq4ZIu8QKGEOFY236ckaI2ZOSgENbkEw4AhidhabpYFtX57ARBMdT3ll/ihngLFro9dOULMdNmJRecXnygEhLN",
				"E5KTFTqO0spIuyooTYPNcm9ei/K6A6Ubd40xU6S/8qBa98k3A8bTplSdck5hifPlSCdOO58fUwm+XdZzlF8GLQcnYdzv7pTViVrrh0/L7B2s4TrY7D1oOhX+AWVqCDC/KlpBmOi8AEwRFVUQvOZr06MQ3DqNjZwdT7+qGHZDRP6ZhAhaw+RalMdl+LgqpbgcW0JAuP1bhl1hS0WBQaPacV+VCtUbo5B+PyTe3HEshwPj02kGJJ1QvsLsNTKKNS0hQxgNZwSjwD9vprLxkjuNg+b4ZicUdglW9VbPICH8DBaDXvSfY9XG78Dj3kfNMtrLRC8dFo15ELv/A/sOqWgH8ulwYaaHT4inaqeQYTwm3+4/BT/QOqoioc1K12PmcHJzXPHnob0tJ4fhIe8+knjH3lS4jUptwuo4WAktdC1nA/ClwempKURl953Wh7v7JZPJ44XjEcVqJjHqMbA81Zq7IMXBK8fazA4iQUon9/Pk6QOvPYdKLMz0RvoLE1vlpfyv",
				"J9rbpKkGDFjAjnWZV230YVxd3j85BnaN7W/g5+IhpZflIxl2rwPEH+WA37wrMELOSpC4Xw7+UmQzFeLgrJLS8HQEIAloRYF0SsEdHORe/6srXJBinveqKBnOHxWiqtsbc8PkLVqIr5DlgwOHLUzhqKkXkh4d+OAcjTkVCX4Y/UjKtr4dc2nXlkLuKeALtjJIsWBt/Q/6y9WKMgGLSgsOZZGxOiI2CwcCeee7BjITnb+u+L4948J9D6s4dwg985ZUrMxN5GidleguoK12BdmIltmWHsYERUOydL8w4MkkGK7kCM/QGYFUDHqUeCGd+FFJiK0CZDfMTDvvDNkCkUzb60bmQzvn+nTCNQ1WGVYefKgwHH0cCrd3Et7ySZlxdA7PX0f7fG6n4yHXKqGTNKsb8kIw82jM/2qaYLA4iPhc91KBH9eJOP/4ULU3snum3ok8qHtHXneGJJLfM+LcXRUGIK35uOdwOr6EFe3TB6UEwYFimACMH8F7PpjdXfjWGW4o",
				"KU8h8/FW7Ff2TVceGh8GkbTXDPMdeEg14ssgAuKtWEiAXM5NGFBZXRZCjOkQjYD8VtB2IP9c6ATZ8hXMWoFO+I7wwuW3m180Aa3B2ZIGZI+X9fmzQew0xvT5PygT67pLVOs22uNaLSkSQ+2v+6BqTXah2W7ICOhX64GqtOyLf+BI+YbFupTA6g8JhcrOpLelbB/P/AjbfWvAcxmAvscZbYzf9J84bkQb/gTmmVC0OQZMPmpgffuwtvXWizd2awsPiMbuOCZUqW5Mpwkr7xxGcr7D4FTTHLEEx2JAIJVo0HJbKfaxBkO8h8fraJBGX+DnzqVE/SQzNMSgJVS6loUSzl3ZW4AhhrwtyPhRsIEdVwqmFtI2tVvKvaZpiGsv3btrXgZL+rEWUIJw6O7rjOQQFdjECqyjaOL1XyaTiz6PtgjEOFTJGeFUZPx2RFwU+oDwuOX6Wsx47inLqI3/I82+TRJzmfD4QwEVKqi8qm+FOmUt99ChmL0o0Wwa/NPeXOnV",
				"AK7XdVHUDGzc2O/96v36MS7/RD+EYE6L4ueUFUUVVAMLVdpILoE85Luvln7Svr/AR8WYE9QeUSgGEWqmLqRXP9A/Byizop3IxB6/D9bj46g8h6n5wSt0OZOAYnd6CyGVQUt3mRCUsCC1mFWYs9oHAajQngjtpmyZfmvmt1sXXYj+lGmq63JljMMMRGGHPcK+8OC5aH/1CzoNWH7xwSTmdl+Xa3hCeNLdyOz7iWmHpSmS1FXNM+rWcV7aZsh58h1+BuoaS8JBk3ykt3/pvdeOAQgpsw8IQ4z2BO1p2Zbz0SKJMdQ5jovPQqpAnG4SUIzgcWe3ewOYPYJPSHu8qaK2JxNOKoULX+RVrIC0SRe+oPJOu6ujCbkNPEwiZBs4YalkrGnSJzQf8EwfCo3z34y/9pWT3+SgBVhM1Ij4gcqfDiHCZpDS/tviWUYh7O1n/mM13MeTWj3VCLB3QzG3QZln7qup2niM3DBrZ/Lhae3tD7y+LI575SIDPvIb7qaqJPorPQ=="
			],
			"message": [
				"AIIhPl3EOT0TrUBnesixuDjBhD5Y3D7phXnh3/ruUDEUhMjgGNsKgH0LuKBY7K0NNfu8s4roPXjIZUDOjLUmLujOX8dFZqj8Rvj8J5+PDLtBtFWY9IDQbuyt1BJjM/S4A1+RFiVLTBlAQKi4adrPITbOWKllbV056OsR0b7FhCJIGTQoNjzuQ2iL1FWz2z5Cv8pfcSCq0N/URmKU8pUCU+3+miUx8WHeGKdQM3HXZ14p9wIaDs4ax4fkAIAdjbPzz5n6q0fUeOpjyZVYBN6LmKDMcMkSrTG2ZGYrMu0oOOGk3X3qI+XgjQiB70Llf3DtI56iE4SRBl4vTkenKPJDIxrS9Mu2Xe1wXOAUKZxYoDRirMTTXbM681m6Ni5kOQpfG8kZbgXiO6MG8xk9JF1t/ZmQMVZPyEy1ehocUnWj5BZ5WK80R0OYqsSKt0Si2hvTThTgCDREHtBy3YyAHienTOsqQoXA1Q/ua8OMWd5MWJ1NxieJVUl69EpOyQ6NayDaLA==",
				"LJA7kFgWXeNrXp8snC1NlBBFYZ9U7IWQuVsjMqd0n8HFLxi+//e/a0vXYmpX+d00U5kgJvNritbz9LQsHyOdJZ9DI5vf4YPs08gMVzfAspY4erqMVufY+zCASUut08h6iqjpHq4w3uIzCPnETXvilHs/ARFZg5R05HrYg6Ewkkv35AF+5FQOitoeZmFotVxEDGPGw8CsrQ/KqJTLYKStEqA3x97BtQVEESCZklOXq/vBkDp88qWHq+F2TqDGW93BcYRUAA/VJNjgRgOIUHVnnRoPHGvVTDUutQjuA/wFRbxV8Ji2tqu6BBvrPrNgU3p6V6VwlROHPfNzjs3ILo9b4MHhYNvMYI12+MM2v7aEhoMw1GubM6H9iWjwH+UPrxhYgRdtEtgsaABbX4LJ0jFcAHPds5aPaeO1WlL/EstCZtfDM1TBh6leFfBwEKhNvZkO4F21MEdhid3tekm5xzsy8fxep1dyttuPBkCnT/1O8mH3TTR7SqTC3vFO8UK5z1DJ",
				"AKpyoWBR6LYnbMZaRisM5oRsmCqYprU3kf/n/u1Hd7kZjZAA9EtqnzpJXLpZMM+WySTG8c0wt/zbl7YFz7ib1VNSznoWHdh/4kTyH3caGEOO7jXZ5R3xfxYQwIH6GOe61lTgMb03pvDrRj/3nhiOCs6uBjuv6hRd206wb6VXue3V8XW0aCRdTuqdJKFPElXaoxxqjd2MLftaYpeqAMbhorWqfBUQk8+nNmQxMJfThRrkFz/FkAD+Y+6nTPKzMZYFXqWf2SUJRTpB67cn/7AknedfFiQ9fSA0B9lh9zAPzEjGQSFk5a5PSlsSDoyOQjDP8PJFm8HxZuHUpVfDTg2dVsEmumfmZ0cI6ShApv1JaQGm3c2S3CfodOVCQUiRACajzlQPqsnSYK5w1pM5biiqDpWPIEi5cwHQVt3cSXahNaflx5hQtZgunRIdFMi4njumiCh60ccBBt1sHvuKrwEcAZ9Mbk+NdT983zM7Qya0BwiV9GlxZwsYLNsbBZEEWwM2FA==",
				"a5YqlpwOlqqm34v4pab75Wn/qYpceS9TMUQwPryd+XKpsHV+ElY1DZlK7f+z3+NSuHYmL6RlTr+Q3GNvGOCcph1FD51ylQuQNqy7yHAc0nsNunWzJz2+QyxzzAgxBfaBOdj0L2wDEreFjhmHvhClkl1kxO2vD3fVLqXxUxvfe8vAuk/zjhYYFW3MNPV/Fa/lMSwmgMMCWXUSawnyiJ2Bc6nbGXtFqGu3ZDshDgGIhL+bnVKT+5717gjf9v5WG9lkQ8TkkYvfuPHcvkWIaM54CjbjxXCVk0nKwm3EUtGd0nRBMM2SwdJCSpJMc2KIPrwtIMrqZM7uh8Ns7lgwvoP6YyX8B1w3Q5PTNSFobuBRNcjGgd9EZ3z+1eZzYYiPstEmyS0KPGdyH2wYbz5MVgf3gdiMlU9QGI+tJ+fQ3htzx2rBtuPD3pRQeKt62wrO5jjj7st1xGr1xJQvpu3Oiuxzt1Yjp4KRv5dPOamYZ51Sjeiwh5ziYCnJtgXHqfw335KG",
				"B4nDT+6SVL5xquyLK9nTK5gfLebM9S5nDsM0GkGC4/kuVYZbycpGKAGI1bt/XAFEoXk3Cl57+DdST4nF5n2RC50NHZETJCt0Gfb/9FhNGLv3XID0nnNvvVNi0Zw2WCKm+g1fKB9MhToXfdeZ3EZiyNlfWWTk1zlp8FgGF2EXBOMWGHaYdSzoMQSNr0mDquwbOfRSoYelSb5EoJucyrvII7y9+7QvHE83APfINvpWYkH5iM7FubcUm9IivYxJcrhdIfjXVQ1ARwbHrnCGq926RkmcH9begOQLM80uSK/i0VwnkZBN63ooP+1bGjDoLI9xyZM56gp42TH6dWNlQqPnw+F2UA0rjOUdnajgJVvRkWAO2wJahaHJO7J5bkCLSaGcDLqEpNHXOeo5VUIBtNmasTH5YnLa/k0A9xzzoVssVtiEuvtq4MDQvtxyXH0j8LeZj/gVLpTgfyYt7G60KlQiivJCYBYA33DIWy+sdmvtvpzEjNTcU2iGwzudlKOETxYo"
			],
			"proof": {
				"e": "PCOaK6UDsvrn+wxz4kXgHQU2yBeLVUSwi3qBlLONYmc=",
				"z": [
					"Q3JQBaZiR8W6iVxnin2CaRgAG4ShVGx0NkPVMRn0gx8xXMgQTwXoxveHRysF7yzYTY/3EO/gB6ko9oqIzIm1/lyUd//qRtOeJUoDwLs/hanJN3zHJOwz/Sy5C2PeGBwvnWa8B6cVtriBqZx41Tt0n7J3dcN2HkRwWHbllor3N++YqIUHiumR4tqdAToLxW74dwkctYMPjj+zf25uqp2f5UXDKGroTfHVz2yGbir39BaLaz+hDXCzkKKVUjGi54rfiuLyk+O7E7zowVFpRtpPEbpksHAwcFvkCTb0WgrTeNWfXrnfWg6F1XxzXDPg0Ju4kL1YmN7a7XvDZkh1kGHe1dfs7ON8KfEUNriQoVQ9SGM4RE4dy0MiOnBeOFor3TS40AwO+2roszOVIv7DJZnKjtG8sxdxQzzF6h9BBfszXe+vHvbw+/QQ+AyInAMWx/KWwNhDx6KNwI7i6rcLjJWmkowpWtuv7ieI8F1BegtCctyvdM+PfEej5T1X857xXfiG",
					"MY9T95ZczfiT/a1bMnEtl+6mjhOZnis/UITjyrBK5EFaEudoXVkL8BxCWxQ8rX+k3FOBDMV/8y+0CxeRTCQ9DJw9o3UafHZVbfULFe0lvrdMRGsKTBJUe0hGa74cTA70Ff6ugWQl5iSHzD7zopu4KND8rgcve5NJnai+fuENXo8oV9d5n75TgyO2k2rD4Milz2ZBGZuwkP3l4xJxIgKs9pqdOzUDlGz2ZSKxJc3rFEMcwMvOLYr42FCD8l0A6v0WB1m2dJiVcGVxyCbu6lZc4GYIZT9r3+0Rjz3s+JUCifFaZZ7KC8FxnY4m23IW408/EmGaUp4H1yAbhOpLWKZxC2xZgcN/qP+T7w/s2jkIWTt4k1JAD7K/TVZ64eP/ECsyIv+XaQq7VyOZhG5eM4+TCm6482go4zjd52g2t5FP7Ze2kjQP1SOX2B0Bl2UIyHWIW7gMQsjerd09yLWP0DRfaH29IFQcBLLsvXOJwxrUDzYd/I3IivAUemwDDA7ETWIl",
					"VuZvA97V2kkygkuwFJ1fbAf++0a2XXK+u5OQGzpdmimC6ZgzIVvCcHx8xbHRaMCtip2UQ3lopYZMWP3mbQE6+E1jcHEVab5eV6ht773ULBG+Fqyt40Glyo6ppVaVZgGM63ukJGppV3IFJXCibbWk9q0evHujtDyWGZB++2GX09t3JxlLVUL51qYdgIlkBeGwakg9sG0EtZo/uN/jAVwNNo4QUir/bDLfiornr4Yt2tN/3Fc8/9tDA8x/w7+H0yanrgvc+/gRsqRnipiI1Y5T9FbtKDnYUdNW4wi0tJwmie/vAc3ezO5FE+1Ty/EvhiM72+mVin5r5B2/xYSlxGDJsmIjko3YVQ6ntg4s485muY1dr31AnBiG6EG7oGg6bEQTVy6Sa+4C0EvoPIrCl1WzsVsNLZHqvc/wfnNFZsR3xypYDqw72y4Zbt6JgSb9j62NF3ysHt9kW0nQqlJcJwk4GEeB3i0rbBDdTCuMGa93si6Fwq88zHIcon4NZNrjUuvM",
					"BNy1Y5kv9sW+OUZuJHDHO1d7/zHczawstKLkNK94kM3K62rZo+VtHIXrFmIrlgcksV96lJVjsnVpldZx1MIqFnP97of2dZLeVGz8fcxlcQG5BM1rr8VrCV4RT5WK5LU4ucMYaUS4jYcN9QpD5GlAYdl3+net8nIVgv7g4ESEqt0KU2ZRWEI6EAPdfqDVcmFJ4c4r+4Ja2EIC3812S2xFjZbE6LWuk88ABMJg9Wm1VpFwczIWS5tbl/UAasQCyVDo4map+z+1ro6oQ0L/ZVohlsnHIIsnID9fTU5KDeUYLrYxIubDMBhqBCyV5v7OaeXk9pbOulaXnyCx8PkooTRYJQg1ycwnIo3aJx8BQfenEoCNPfloHlAoOh45s7+7nNMUwR8cC8WV7VyENq3fS7SdmkHvO7UbXiCm3TPNKG14shs6BxQgivvPnjfpRqKHfmlnhofnmZzhDrAn1pCsHQJPvyOfwT0ZArCrYLveuGKZt9H3vmvcYOBb6u+S3MvcO1Zt",
					"DbUCNy52bVBBfo1wS6eesKTxGpxLu+rcey2dztPH2dU/thqCl142w9E7cVTJnWYEKU5i+zpt5t/OIJSGgXw2rSEssKxZ4mdNlMj5J9bRk4apyPolGzHttRalSZam6G2omAJXbdhxjAwWcg8bu5HRVLWCE/OC3IvX0XxECTjkhWYOuSMBXTniu4J5c2dbFjlYdPALi+K06kds+/3D0AKKtlCQ0IGMyhz0xzmTJrxpxDlgnrOGKZ/D5sKCZ5bumJmt9fUtdYciVu1AIjyoBFZ/tXfWBIre1JzKRIEEjNlRhsebiWoAyw7v+PD/Ho8Us3fHhFOlx6L2DYi7Bo1OCtNuA20GvpQgxagwlDH43xsFu74vdlN52urLkq3CTlCW6diCBzdeYYNwMFSizJ8dI+sMT4CD0CisVF3mTBFjA8FNxxLF3q2pl8Qg0IjW4LWkywK31v13ELB5Zw29Kk5KwtjJftTCN+MvcffiKZDYBFuOEoLnTSrbqKV02X7tD/oWrlFG"
				]
			},
			"additional_information": []
		},
		"output": {
			"verif_result": "true"
		}
	},
	{
		"description": "3072-bits-verify-decryption-k-greater-than-l",
		"context": {
			"p": "ALfhUWKK7Spqv3FYgJz088di5xYPOLTaVqeE2QRRkM/vMk53OJJs++X0v42NjDHXY9oGyAq7EYXrT3x7V1f1lYSQz9R9fBm7QhWNlVT3tGvO1VxNef1fJNZhPDHDg5ot34qaJ2vPv6HId8VihNq3nNTCsyk9IOnl6vAqxgrMk+2HRCKlLssjj+7lq2rdg1/RoHU9Co945TfSuVu3nY3K7GQsHp8juCm1wngL84c334uzANATNKDQvYZFy/pzphYP/jk8SMu7ygYPD/jsbTG+tczu1/LwuwiAFxY7xg30Wg7LG80omwbLv+ohrQjhhH8/c3jVbO2UZA1u8NPTe+ZwCOGG0b8nW5skHetkdJpH39+5ZjLD6wYbZHK7+EwmFE5JwtBMMk7xDeUT0/URS4tdN02Ty4h5x9Uv/XK6Cq5yd9p7obSvFIjY6DavFIZebDeraHb+aQtXESE4KvNBr+lPd7zwbIO4/1Z18JeQdK2aeHvFub1LDFk30+3kw6eTlkGc1w==",
			"q": "W/CosUV2lTVfuKxATnp547FziwecWm0rU8JsgijIZ/eZJzucSTZ98vpfxsbGGOux7QNkBV2IwvWnvj2rq/rKwkhn6j6+DN2hCsbKqnvaNedqria8/q+SazCeGOHBzRbvxU0Tteff0OQ74rFCbVvOamFZlJ6QdPL1eBVjBWZJ9sOiEVKXZZHH93LVtW7Br+jQOp6FR7xym+lcrdvOxuV2MhYPT5HcFNrhPAX5w5vvxdmAaAmaUGhewyLl/TnTCwf/HJ4kZd3lAweH/HY2mN9a5ndr+XhdhEALix3jBvotB2WN5pRNg2Xf9RDWhHDCP5+5vGq2dsoyBrd4aem98zgEcMNo35OtzZIO9bI6TSPv79yzGWH1gw2yOV38JhMKJyThaCYZJ3iG8onp+oilxa6bpsnlxDzj6pf+uV0FVzk77T3Q2leKRGx0G1eKQy82G9W0O380hauIkJwVeaDX9Ke73ng2Qdx/qzr4S8g6Vs08PeLc3qWGLJvp9vJh08nLIM5r",
			"g": "Ag=="
		},
		"input": {
			"ciphertext": {
				"gamma": "aRoSa04HZUsNN9wH69AB/B62rijVmtUwhNfK4JAaIEecVlsPFkMScA6Ri+n+Ap+6rDFVjfiyNQU0/cV4UQtJ8u2om+fp0pexZ1DHHZtdhMEWg0VUB8v1YY+4HL/5GdoO4eubl0jjwtggSW4IdR4a47rihKtkq/xprXFCcd37lZHP2NwcTtuStis9xGDJtFsxO3gCj5Hj4aI71QCdwm8ZvD7/mmHDFScgGP/HxUkYKplTSwn/sYhg4gjar6qqRaWDwZl4msf5uVcV9qI5BtLkjZANiGRyK0qFjqmBLq54Fc2dh2iXr5eUNRZHvZVCwFHYl+vs2Lt84oCqrTkMwx/gfhhj9BJ6XNiZNjVdOEkd4IPeo2G4hbgiBrw3o1Tbx3vZmGJYRQkjuL86wtFwSZPIvaTty4jlKawyvhyC7nPkLlAugZvTPWZa1oFL1V+TuTwHF6wqOMU7kze5Ye1hOCcWsLWo5S9q7tlCGrqMMt9YNhDK/QdI/ah5Jy9ix8RPEAeq",
				"phis": [
					"CvndfmKRv7WTd97RKpiKZV2pIiTJD1dtZvrn5VEN4qUNhdYi/2bReSqo6XLlBhDPsx3BhrdeD4eRim3ASCJCfgiC9AU+ch9mBa8GtxGIYtcxSHGMvuFaFimWfwFt0oBKNQ5G4p2/Qyw5LJLKV8OX4TJ6V2o9HOizJXmkWDRtJRlCkwlb4EUgwt52X/xuhnw4RctGy1/axGo2DZd4Le7xiNE5RxnCtHAxqg2OYTSMuRfbQb238Gv5MKYE2BA9x4oAdgWdPR58VPZWOQ8B6lWdQXDB8Cd+T1SiY6MVZjiWAjBMbfu60CJkghivceMo6rN4Mtr9q4aFQwaNX00tX+ESvPlz8HQWTHGrtqKnx50txLvRKv8Mg1GjTzlqbsv/aIg+akNMu9PN+h0cCZW+7rQPIribdDrn72JntZlavuFXcHjmjUz6ig4hWmGAFUbJGJHpVr7uOJk15tt1W8IB5gJkt9mKTrs+P6fKDQZYBj2+2NHRNwtjyG5AznI2fsTzSeNC",
					"cyqLwieJuogiIeYuwnEaP4CrfKcXJMUNJFDDWOiLHp/IvzRXesGWtzRTT4pUDU2bHaxlgCo+oiTiJ+42YLKRqdocJe/g/b6k9WyLe6ffONcCzMoXPymxmppdHK+PvQoJ5b1OHIilrBerRyxUV9P2RTAFQ9Yrm+GX5rBzVSnkow+vHxEwkU5QslmsGIQZ74zN3p49ca35c3guZseQBZXvBO5ugs314L8m+bb1UXgbysKTDcAs0NWQ37PJgd2GeG60ihs9tOIW2ElEwwzsOowRayUBEtKx7DV2yFH4sA6bLVarn9soSjHyhDsNCq/xnNQFLMkbNNXFvvIYuLsjAl8Ei6VKl5L+LN8CdW1GRk+qnAhrBzkJlrc5y+Gl7u6tCsTo3Bmlcmn/Wa7WMmEm1Uf9WI7Icvkc2IaJSmNyvowK0ATPIVO07K6/4bQHtXLobrwH7dDSM2msP3wG+D4fa1edsHNaXEcv9laJPOtmVsouyfuZdEWSLNwbMl1StNOfs3Gk",
					"AIeaqdqFK2CfDWfxb+1bQRS4yPzJ5Kv/Gqs73lqXgqq19oe+1BA2nv85LGA4v9ij4FiMvLVOeGmo/huFx3s6+5Mz0pyGjB4H7+fyW34EKyotS505yiVGS5s3hYFHWcQFhG/ntqWcgQqbAysOGOuOj6b9IDLO63PyQxfcHri75tJrYav7Clt9T/A5WQKSDRDipGC9tQHluRGHjiL5uTcyrHYxcQL0w4NJxUEeKkg238DJ55+0YgL3GheYO1uoBVHdUEyV+bDo8GBpCKnlpz5Q5maRScebcuDxSNSSBOnuQ8rSUrsGNUMoQPLEhFeUq3fGv/WeZNLAz2WAtEYPaT45W+PMN5EldziSIxWnlXd89xz+p4uZMrDvlS0RAFgj8AH3lOQNNH8i30Eyj9TLiWJTeZVdopsq4HDcBImVoAQ73ZDVPgjoezaGkqADbWysPddZOmJybsK5e7vya8Sn1ZklCwg1gnI22ttrusFBSgHGvvzQf+D8xBSHBwITFNqzRRC2Pg==",
					"G4dR2Kh+p8aaf5hMZIOilOyMkp1R0w2cF6vcIIJSjxJzuPOSFdJzGop8XoXW4lDI0AI26HT6pjtjGwNG16zs11uw5YfzEJuK6Drk8OwzIMUxiheinTF9Wvferw/2eJjtEbEyVBYstwUuR5wuFT7bzooqsdog7IvNrXKxPWOkJEsge5rV5a11T1F0fNIw9L5mlRKZJ29MLAdyXkukRt8QvU/Lp06pUG+gYRxW7L2RXOehyQU/PfRh0ztFmss86gBqch5Op5lKDYQZoBMAoBgr7nRB0ukW6/HR10Zkj98dID8/osbMLrCTPkOKpcbcFj694/VblhXTAINobJ0+VotZ/LnDBwgvhs3eDQeGUOjNgzrz84sD87gpIK6xMllUZV+jKBQqIOuy6omDfZhldPERKwAdUL2nh4mIt3zOPPUXLIUV8vKQTzFH2wY2SRW2PXrx7ZfT4qUe7eXkBx12E1gWsttPSJsx+KGp164nSR9ejMuevbNlsdE94V/AB0TdNneD",
					"RkYWlQmYi5VJ/dT0yoqwrXnrU9nEgoAdeFZr56VHgSze0LgocbtGJ6q7dJ1QlzUfb5JNJyYHo2+VeHgqKBH+PdTQ1xc1MxvyXBDWMlymtNszIhPGmCaBOOgpQtUcfq9ghSf/pVLYRsk2lU0YyW6CFd3IRX8KFYu39f/3FsAA08R4T/fTNxbnjpPa1kpS/DGnV4Ebk/Fhw4F2kGR9dVTe2GJIKEWeeohmtYPK/YuhzCv2SvokyTksmYENpJdjRRLiRAiERYbTWv8l992a47D827UtXa5GBJjmrPw/+iMkQzlvas7saYBRMUxjbffx8hqB3/XWOEewZKONddvZpdN9/ykKrXKcCfC2Lj2wyeIFu8pkLAv8dxVkZqaNav8FhR9asG0gKVhWW71xNK190R4QRh38BZvYLIUjcAia0GJoi1przA1kfWRjF93+SLed0fwCBhHXEnGzrUpJvtlx9vn7yrjk+7JU3levZ8TFKjfleYvzJWfkclEh09cBjzlhgXrm"
				]
			},
			"public_key": [
				"W6DR1pjwKBTjm1ndvdNclNf+NPX927NYBmwx+w/9Jx8dSdRqFG3JNebRWBEmImfeFLxGeuNiz7dcTDbv5u927SRXMorTje6w7n51fwKJu74RIVbwMgkopk89Z012L+gG+rgY9IRMDfbQFGqKzMp/x400XGlbVioKnhOJMdsRFQ1u6QS+DnDN1rxkTlHwghZ8J+Ha9wqA6eWbjvti+jsyKngePHa95o+6hv+U5pHHX3e0I62xgDxkFyeSMUg9tmrAlK7kaibsP1F9cheUbaDWSWrLwKbj5njES60wuMjdG+dKH2eH/IAmrugyFLmTq5/L9VlVrniUgUvqyb5OCL5/avPANfoK+FXHMwZanzmUV8I1wZu00G0vfoAX/3Z8eIbQEAKIAu7Zg3BP0b/W+Gwri1teNCtA0E3pFD9YaXaQ/ndq4ZIu8QKGEOFY236ckaI2ZOSgENbkEw4AhidhabpYFtX57ARBMdT3ll/ihngLFro9dOULMdNmJRecXnygEhLN",
				"E5KTFTqO0spIuyooTYPNcm9ei/K6A6Ubd40xU6S/8qBa98k3A8bTplSdck5hifPlSCdOO58fUwm+XdZzlF8GLQcnYdzv7pTViVrrh0/L7B2s4TrY7D1oOhX+AWVqCDC/KlpBmOi8AEwRFVUQvOZr06MQ3DqNjZwdT7+qGHZDRP6ZhAhaw+RalMdl+LgqpbgcW0JAuP1bhl1hS0WBQaPacV+VCtUbo5B+PyTe3HEshwPj02kGJJ1QvsLsNTKKNS0hQxgNZwSjwD9vprLxkjuNg+b4ZicUdglW9VbPICH8DBaDXvSfY9XG78Dj3kfNMtrLRC8dFo15ELv/A/sOqWgH8ulwYaaHT4inaqeQYTwm3+4/BT/QOqoioc1K12PmcHJzXPHnob0tJ4fhIe8+knjH3lS4jUptwuo4WAktdC1nA/ClwempKURl953Wh7v7JZPJ44XjEcVqJjHqMbA81Zq7IMXBK8fazA4iQUon9/Pk6QOvPYdKLMz0RvoLE1vlpfyv",
				"J9rbpKkGDFjAjnWZV230YVxd3j85BnaN7W/g5+IhpZflIxl2rwPEH+WA37wrMELOSpC4Xw7+UmQzFeLgrJLS8HQEIAloRYF0SsEdHORe/6srXJBinveqKBnOHxWiqtsbc8PkLVqIr5DlgwOHLUzhqKkXkh4d+OAcjTkVCX4Y/UjKtr4dc2nXlkLuKeALtjJIsWBt/Q/6y9WKMgGLSgsOZZGxOiI2CwcCeee7BjITnb+u+L4948J9D6s4dwg985ZUrMxN5GidleguoK12BdmIltmWHsYERUOydL8w4MkkGK7kCM/QGYFUDHqUeCGd+FFJiK0CZDfMTDvvDNkCkUzb60bmQzvn+nTCNQ1WGVYefKgwHH0cCrd3Et7ySZlxdA7PX0f7fG6n4yHXKqGTNKsb8kIw82jM/2qaYLA4iPhc91KBH9eJOP/4ULU3snum3ok8qHtHXneGJJLfM+LcXRUGIK35uOdwOr6EFe3TB6UEwYFimACMH8F7PpjdXfjWGW4o",
				"KU8h8/FW7Ff2TVceGh8GkbTXDPMdeEg14ssgAuKtWEiAXM5NGFBZXRZCjOkQjYD8VtB2IP9c6ATZ8hXMWoFO+I7wwuW3m180Aa3B2ZIGZI+X9fmzQew0xvT5PygT67pLVOs22uNaLSkSQ+2v+6BqTXah2W7ICOhX64GqtOyLf+BI+YbFupTA6g8JhcrOpLelbB/P/AjbfWvAcxmAvscZbYzf9J84bkQb/gTmmVC0OQZMPmpgffuwtvXWizd2awsPiMbuOCZUqW5Mpwkr7xxGcr7D4FTTHLEEx2JAIJVo0HJbKfaxBkO8h8fraJBGX+DnzqVE/SQzNMSgJVS6loUSzl3ZW4AhhrwtyPhRsIEdVwqmFtI2tVvKvaZpiGsv3btrXgZL+rEWUIJw6O7rjOQQFdjECqyjaOL1XyaTiz6PtgjEOFTJGeFUZPx2RFwU+oDwuOX6Wsx47inLqI3/I82+TRJzmfD4QwEVKqi8qm+FOmUt99ChmL0o0Wwa/NPeXOnV",
				"AK7XdVHUDGzc2O/96v36MS7/RD+EYE6L4ueUFUUVVAMLVdpILoE85Luvln7Svr/AR8WYE9QeUSgGEWqmLqRXP9A/Byizop3IxB6/D9bj46g8h6n5wSt0OZOAYnd6CyGVQUt3mRCUsCC1mFWYs9oHAajQngjtpmyZfmvmt1sXXYj+lGmq63JljMMMRGGHPcK+8OC5aH/1CzoNWH7xwSTmdl+Xa3hCeNLdyOz7iWmHpSmS1FXNM+rWcV7aZsh58h1+BuoaS8JBk3ykt3/pvdeOAQgpsw8IQ4z2BO1p2Zbz0SKJMdQ5jovPQqpAnG4SUIzgcWe3ewOYPYJPSHu8qaK2JxNOKoULX+RVrIC0SRe+oPJOu6ujCbkNPEwiZBs4YalkrGnSJzQf8EwfCo3z34y/9pWT3+SgBVhM1Ij4gcqfDiHCZpDS/tviWUYh7O1n/mM13MeTWj3VCLB3QzG3QZln7qup2niM3DBrZ/Lhae3tD7y+LI575SIDPvIb7qaqJPorPQ==",
				"AK7XdVHUDGzc2O/96v36MS7/RD+EYE6L4ueUFUUVVAMLVdpILoE85Luvln7Svr/AR8WYE9QeUSgGEWqmLqRXP9A/Byizop3IxB6/D9bj46g8h6n5wSt0OZOAYnd6CyGVQUt3mRCUsCC1mFWYs9oHAajQngjtpmyZfmvmt1sXXYj+lGmq63JljMMMRGGHPcK+8OC5aH/1CzoNWH7xwSTmdl+Xa3hCeNLdyOz7iWmHpSmS1FXNM+rWcV7aZsh58h1+BuoaS8JBk3ykt3/pvdeOAQgpsw8IQ4z2BO1p2Zbz0SKJMdQ5jovPQqpAnG4SUIzgcWe3ewOYPYJPSHu8qaK2JxNOKoULX+RVrIC0SRe+oPJOu6ujCbkNPEwiZBs4YalkrGnSJzQf8EwfCo3z34y/9pWT3+SgBVhM1Ij4gcqfDiHCZpDS/tviWUYh7O1n/mM13MeTWj3VCLB3QzG3QZln7qup2niM3DBrZ/Lhae3tD7y+LI575SIDPvIb7qaqJPorPQ=="
			],
			"message": [
				"AIIhPl3EOT0TrUBnesixuDjBhD5Y3D7phXnh3/ruUDEUhMjgGNsKgH0LuKBY7K0NNfu8s4roPXjIZUDOjLUmLujOX8dFZqj8Rvj8J5+PDLtBtFWY9IDQbuyt1BJjM/S4A1+RFiVLTBlAQKi4adrPITbOWKllbV056OsR0b7FhCJIGTQoNjzuQ2iL1FWz2z5Cv8pfcSCq0N/URmKU8pUCU+3+miUx8WHeGKdQM3HXZ14p9wIaDs4ax4fkAIAdjbPzz5n6q0fUeOpjyZVYBN6LmKDMcMkSrTG2ZGYrMu0oOOGk3X3qI+XgjQiB70Llf3DtI56iE4SRBl4vTkenKPJDIxrS9Mu2Xe1wXOAUKZxYoDRirMTTXbM681m6Ni5kOQpfG8kZbgXiO6MG8xk9JF1t/ZmQMVZPyEy1ehocUnWj5BZ5WK80R0OYqsSKt0Si2hvTThTgCDREHtBy3YyAHienTOsqQoXA1Q/ua8OMWd5MWJ1NxieJVUl69EpOyQ6NayDaLA==",
				"LJA7kFgWXeNrXp8snC1NlBBFYZ9U7IWQuVsjMqd0n8HFLxi+//e/a0vXYmpX+d00U5kgJvNritbz9LQsHyOdJZ9DI5vf4YPs08gMVzfAspY4erqMVufY+zCASUut08h6iqjpHq4w3uIzCPnETXvilHs/ARFZg5R05HrYg6Ewkkv35AF+5FQOitoeZmFotVxEDGPGw8CsrQ/KqJTLYKStEqA3x97BtQVEESCZklOXq/vBkDp88qWHq+F2TqDGW93BcYRUAA/VJNjgRgOIUHVnnRoPHGvVTDUutQjuA/wFRbxV8Ji2tqu6BBvrPrNgU3p6V6VwlROHPfNzjs3ILo9b4MHhYNvMYI12+MM2v7aEhoMw1GubM6H9iWjwH+UPrxhYgRdtEtgsaABbX4LJ0jFcAHPds5aPaeO1WlL/EstCZtfDM1TBh6leFfBwEKhNvZkO4F21MEdhid3tekm5xzsy8fxep1dyttuPBkCnT/1O8mH3TTR7SqTC3vFO8UK5z1DJ",
				"AKpyoWBR6LYnbMZaRisM5oRsmCqYprU3kf/n/u1Hd7kZjZAA9EtqnzpJXLpZMM+WySTG8c0wt/zbl7YFz7ib1VNSznoWHdh/4kTyH3caGEOO7jXZ5R3xfxYQwIH6GOe61lTgMb03pvDrRj/3nhiOCs6uBjuv6hRd206wb6VXue3V8XW0aCRdTuqdJKFPElXaoxxqjd2MLftaYpeqAMbhorWqfBUQk8+nNmQxMJfThRrkFz/FkAD+Y+6nTPKzMZYFXqWf2SUJRTpB67cn/7AknedfFiQ9fSA0B9lh9zAPzEjGQSFk5a5PSlsSDoyOQjDP8PJFm8HxZuHUpVfDTg2dVsEmumfmZ0cI6ShApv1JaQGm3c2S3CfodOVCQUiRACajzlQPqsnSYK5w1pM5biiqDpWPIEi5cwHQVt3cSXahNaflx5hQtZgunRIdFMi4njumiCh60ccBBt1sHvuKrwEcAZ9Mbk+NdT983zM7Qya0BwiV9GlxZwsYLNsbBZEEWwM2FA==",
				"a5YqlpwOlqqm34v4pab75Wn/qYpceS9TMUQwPryd+XKpsHV+ElY1DZlK7f+z3+NSuHYmL6RlTr+Q3GNvGOCcph1FD51ylQuQNqy7yHAc0nsNunWzJz2+QyxzzAgxBfaBOdj0L2wDEreFjhmHvhClkl1kxO2vD3fVLqXxUxvfe8vAuk/zjhYYFW3MNPV/Fa/lMSwmgMMCWXUSawnyiJ2Bc6nbGXtFqGu3ZDshDgGIhL+bnVKT+5717gjf9v5WG9lkQ8TkkYvfuPHcvkWIaM54CjbjxXCVk0nKwm3EUtGd0nRBMM2SwdJCSpJMc2KIPrwtIMrqZM7uh8Ns7lgwvoP6YyX8B1w3Q5PTNSFobuBRNcjGgd9EZ3z+1eZzYYiPstEmyS0KPGdyH2wYbz5MVgf3gdiMlU9QGI+tJ+fQ3htzx2rBtuPD3pRQeKt62wrO5jjj7st1xGr1xJQvpu3Oiuxzt1Yjp4KRv5dPOamYZ51Sjeiwh5ziYCnJtgXHqfw335KG",
				"B4nDT+6SVL5xquyLK9nTK5gfLebM9S5nDsM0GkGC4/kuVYZbycpGKAGI1bt/XAFEoXk3Cl57+DdST4nF5n2RC50NHZETJCt0Gfb/9FhNGLv3XID0nnNvvVNi0Zw2WCKm+g1fKB9MhToXfdeZ3EZiyNlfWWTk1zlp8FgGF2EXBOMWGHaYdSzoMQSNr0mDquwbOfRSoYelSb5EoJucyrvII7y9+7QvHE83APfINvpWYkH5iM7FubcUm9IivYxJcrhdIfjXVQ1ARwbHrnCGq926RkmcH9begOQLM80uSK/i0VwnkZBN63ooP+1bGjDoLI9xyZM56gp42TH6dWNlQqPnw+F2UA0rjOUdnajgJVvRkWAO2wJahaHJO7J5bkCLSaGcDLqEpNHXOeo5VUIBtNmasTH5YnLa/k0A9xzzoVssVtiEuvtq4MDQvtxyXH0j8LeZj/gVLpTgfyYt7G60KlQiivJCYBYA33DIWy+sdmvtvpzEjNTcU2iGwzudlKOETxYo"
			],
			"proof": {
				"e": "PCOaK6UDsvrn+wxz4kXgHQU2yBeLVUSwi3qBlLONYmc=",
				"z": [
					"Q3JQBaZiR8W6iVxnin2CaRgAG4ShVGx0NkPVMRn0gx8xXMgQTwXoxveHRysF7yzYTY/3EO/gB6ko9oqIzIm1/lyUd//qRtOeJUoDwLs/hanJN3zHJOwz/Sy5C2PeGBwvnWa8B6cVtriBqZx41Tt0n7J3dcN2HkRwWHbllor3N++YqIUHiumR4tqdAToLxW74dwkctYMPjj+zf25uqp2f5UXDKGroTfHVz2yGbir39BaLaz+hDXCzkKKVUjGi54rfiuLyk+O7E7zowVFpRtpPEbpksHAwcFvkCTb0WgrTeNWfXrnfWg6F1XxzXDPg0Ju4kL1YmN7a7XvDZkh1kGHe1dfs7ON8KfEUNriQoVQ9SGM4RE4dy0MiOnBeOFor3TS40AwO+2roszOVIv7DJZnKjtG8sxdxQzzF6h9BBfszXe+vHvbw+/QQ+AyInAMWx/KWwNhDx6KNwI7i6rcLjJWmkowpWtuv7ieI8F1BegtCctyvdM+PfEej5T1X857xXfiG",
					"MY9T95ZczfiT/a1bMnEtl+6mjhOZnis/UITjyrBK5EFaEudoXVkL8BxCWxQ8rX+k3FOBDMV/8y+0CxeRTCQ9DJw9o3UafHZVbfULFe0lvrdMRGsKTBJUe0hGa74cTA70Ff6ugWQl5iSHzD7zopu4KND8rgcve5NJnai+fuENXo8oV9d5n75TgyO2k2rD4Milz2ZBGZuwkP3l4xJxIgKs9pqdOzUDlGz2ZSKxJc3rFEMcwMvOLYr42FCD8l0A6v0WB1m2dJiVcGVxyCbu6lZc4GYIZT9r3+0Rjz3s+JUCifFaZZ7KC8FxnY4m23IW408/EmGaUp4H1yAbhOpLWKZxC2xZgcN/qP+T7w/s2jkIWTt4k1JAD7K/TVZ64eP/ECsyIv+XaQq7VyOZhG5eM4+TCm6482go4zjd52g2t5FP7Ze2kjQP1SOX2B0Bl2UIyHWIW7gMQsjerd09yLWP0DRfaH29IFQcBLLsvXOJwxrUDzYd/I3IivAUemwDDA7ETWIl",
					"VuZvA97V2kkygkuwFJ1fbAf++0a2XXK+u5OQGzpdmimC6ZgzIVvCcHx8xbHRaMCtip2UQ3lopYZMWP3mbQE6+E1jcHEVab5eV6ht773ULBG+Fqyt40Glyo6ppVaVZgGM63ukJGppV3IFJXCibbWk9q0evHujtDyWGZB++2GX09t3JxlLVUL51qYdgIlkBeGwakg9sG0EtZo/uN/jAVwNNo4QUir/bDLfiornr4Yt2tN/3Fc8/9tDA8x/w7+H0yanrgvc+/gRsqRnipiI1Y5T9FbtKDnYUdNW4wi0tJwmie/vAc3ezO5FE+1Ty/EvhiM72+mVin5r5B2/xYSlxGDJsmIjko3YVQ6ntg4s485muY1dr31AnBiG6EG7oGg6bEQTVy6Sa+4C0EvoPIrCl1WzsVsNLZHqvc/wfnNFZsR3xypYDqw72y4Zbt6JgSb9j62NF3ysHt9kW0nQqlJcJwk4GEeB3i0rbBDdTCuMGa93si6Fwq88zHIcon4NZNrjUuvM",
					"BNy1Y5kv9sW+OUZuJHDHO1d7/zHczawstKLkNK94kM3K62rZo+VtHIXrFmIrlgcksV96lJVjsnVpldZx1MIqFnP97of2dZLeVGz8fcxlcQG5BM1rr8VrCV4RT5WK5LU4ucMYaUS4jYcN9QpD5GlAYdl3+net8nIVgv7g4ESEqt0KU2ZRWEI6EAPdfqDVcmFJ4c4r+4Ja2EIC3812S2xFjZbE6LWuk88ABMJg9Wm1VpFwczIWS5tbl/UAasQCyVDo4map+z+1ro6oQ0L/ZVohlsnHIIsnID9fTU5KDeUYLrYxIubDMBhqBCyV5v7OaeXk9pbOulaXnyCx8PkooTRYJQg1ycwnIo3aJx8BQfenEoCNPfloHlAoOh45s7+7nNMUwR8cC8WV7VyENq3fS7SdmkHvO7UbXiCm3TPNKG14shs6BxQgivvPnjfpRqKHfmlnhofnmZzhDrAn1pCsHQJPvyOfwT0ZArCrYLveuGKZt9H3vmvcYOBb6u+S3MvcO1Zt",
					"DbUCNy52bVBBfo1wS6eesKTxGpxLu+rcey2dztPH2dU/thqCl142w9E7cVTJnWYEKU5i+zpt5t/OIJSGgXw2rSEssKxZ4mdNlMj5J9bRk4apyPolGzHttRalSZam6G2omAJXbdhxjAwWcg8bu5HRVLWCE/OC3IvX0XxECTjkhWYOuSMBXTniu4J5c2dbFjlYdPALi+K06kds+/3D0AKKtlCQ0IGMyhz0xzmTJrxpxDlgnrOGKZ/D5sKCZ5bumJmt9fUtdYciVu1AIjyoBFZ/tXfWBIre1JzKRIEEjNlRhsebiWoAyw7v+PD/Ho8Us3fHhFOlx6L2DYi7Bo1OCtNuA20GvpQgxagwlDH43xsFu74vdlN52urLkq3CTlCW6diCBzdeYYNwMFSizJ8dI+sMT4CD0CisVF3mTBFjA8FNxxLF3q2pl8Qg0IjW4LWkywK31v13ELB5Zw29Kk5KwtjJftTCN+MvcffiKZDYBFuOEoLnTSrbqKV02X7tD/oWrlFG"
				]
			},
			"additional_information": []
		},
		"output": {
			"verif_result": "true"
		}
	}
]