US8009828B2 - Integrated Shuffle Validity Proving Device, Proof Integrating Device, Integrated Shuffle Validity Verifying Device, and Mix Net System