Given a message m, salt skm, commitment cmt to m
and public constant C
it returnes if the commitment to the message m is valid
sak=Encrypt C with skm
h1 = SHA256(m, sak).
Method checks:
if the number of rows in the print element is the same as the number of ballots in MeetingOneIn.xml
if the number of rows in each instance in a partition element is the same as noBallots in MeetingOneIn.xml
if the number of instances in each partition element is the same as noDs in MeetingOneIn.xml
Parses MeetingTwoOut.xml
- reads id's of ballots opened for audit
- then checks if commitments to p1 and p2 for these ids are formed correctly
- then checks for all D-tables if commitments to d2 and d4 are correct
verify if d2(d4) = p2(p1^-1)