2 papers
cs.CR2022
Decentralized Verifiable Mail-in Ballot Counting for Postal Voting
Peichen Xie, Zihan Zheng, Xian Zhang +1
As computer vision is prevalently used for mail-in ballot processing and counting, it becomes a point of centralized trust in postal voting. We propose DVote, a prototype system of…
cs.CR2021
Agatha: Smart Contract for DNN Computation
Zihan Zheng, Peichen Xie, Xian Zhang +6
Smart contract is one of the core features of Ethereum and has inspired many blockchain descendants. Since its advent, the verification paradigm of smart contract has been improvin…