Cryptography

Public-key cryptography

Construct (python library)

Information hiding

Computer network

Mathematics

Mathematical physics

String (physics)

Mathematical analysis

Zero-knowledge proof

Encryption

Artificial intelligence

Homomorphic encryption

Chemistry

Programming language

Blockchain

Soundness

Computer science

Scheme (mathematics)

Theoretical computer science

Random oracle

Argument (complex analysis)

Computer security

Embedding

Biochemistry

IEEE Transactions on Dependable and Secure Computing

We introduce the abstract framework of decentralized smart contracts system with balance and transaction amount hiding property over account-model blockchain. To build a concrete system with such properties, we utilize a homomorphic public-key encryption scheme and construct a highly efficient non-interactive zero knowledge (NIZK) argument based upon the encryption scheme to ensure the validity of the transactions. Our NIZK scheme is perfect zero knowledge in the common reference string model, while its soundness holds in the random oracle model. Compared to previous similar constructions, our proposed NIZK argument dramatically improves the time efficiency in generating a proof, at the cost of relatively longer proof size.

An Efficient NIZK Scheme for Privacy-Preserving Transactions Over Account-Model Blockchain