The Verifiable I/O Approach

This is an example implementation of the idea that achieve voters' eligibility verifiability in e-voting proposed by Guan-Shiue Li. You may refer to the published paper for more detail about the idea:

• A Verifiable I/O Approach for End-to-end Eligibility Verifiability in Black-box E-Voting Systems

This project uses the hardhat framework:

1. npm i
2. npx hardhat test