A Verifiable Secure Multi-party Computation Scheme Based on Zero-Knowledge Proof for Energy Trading | IEEE Conference Publication | IEEE Xplore