Abstract
With the popularization and maturity of blockchain technology, more and more industries and projects are gradually trying to combine blockchain technology, including digital currency, Internet of Things, 5G new infrastructure. The most important thing for these applications is to require its safety. These security services are usually provided by cryptographic protocols, and zero-knowledge proof is such a core technology to provide the bottom layer of security services. However, the most widely used protocol named zk-SNARK, involves solving multiple large-scale examples of tasks related to polynomial arithmetic on large prime fields of cryptography and multi-exponentiations on elliptic curve groups. Complicated and huge calculations bring longer prover time, which hinders the implementation of some applications. In this paper, we propose a design of hardware accelerator based on FPGA for zero-knowledge proof. The zk-SNARK engine which is combined of multiple FFT, MAC and ECP units reduces the prover time by 10x and provides the possibility for future blockchain terminals based on mobile devices.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Naganuma, K., Yoshino, M., Inoue, A., Matsuoka, Y., Okazaki, M., Kunihiro, N.: Post-Quantum zk-SNARK for Arithmetic Circuits using QAPs. In: 2020 15th Asia Joint Conference on Information Security (AsiaJCIS), Taipei, Taiwan, pp. 32–39 (2020). doi: https://doi.org/10.1109/AsiaJCIS50894.2020.00017
Clerk Maxwell, J.: A Treatise on Electricity and Magnetism, 3rd edn., vol. 2, pp. 68–73. Clarendon, Oxford (1892)
Fan, Y., Zhao, G., Lin, X., Sun, X., Zhu, D., Lei, J.: One secure IoT scheme for protection of true nodes. In: Qiu, M. (ed.) SmartCom 2018. LNCS, vol. 11344, pp. 143–152. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-05755-8_15
Sarma, R., Barbhuiya, F.A.: Internet of Things: attacks and defences. In: 2019 7th International Conference on Smart Computing and Communications (ICSCC), Sarawak, Malaysia, pp. 1–5 (2019). https://doi.org/10.1109/ICSCC.2019.8843649
Goldwasser, S., Micali, S., Rackoff, C.: The knowledge complexity of interactive proof systems. SIAM J. Comput. 18(1), 186–208 (1989)
Blum, M., Feldman, P., Micali, S.: Non-interactive zero-knowledge and its applications. In: STOC, pp. 103–112 (1988)
Groth, J.: On the size of pairing-based non-interactive arguments. In: Fischlin, M., Coron, J.-S. (eds.) EUROCRYPT 2016. LNCS, vol. 9666, pp. 305–326. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-662-49896-5_11
Bitansky, N., Chiesa, A., Ishai, Y., Paneth, O., Ostrovsky, R.: Succinct non-interactive arguments via linear interactive proofs. In: Sahai, A. (ed.) TCC 2013. LNCS, vol. 7785, pp. 315–333. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-36594-2_18
Hopwood, D., Bowe, S.: Zcash protocol specification. https://github/zcash/zips/blob/master/protocol/protocol.pdf
Abbas, Z.A., Sulaiman, N.B., Yunus, N.A.M., Wan Hasan, W.Z., Ahmed, M.K.: An FPGA implementation and performance analysis between Radix-2 and Radix-4 of 4096 point FFT. In: 2018 IEEE 5th International Conference on Smart Instrumentation, Measurement and Application (ICSIMA), Songkla, Thailand, pp. 1–4 (2018). https://doi.org/10.1109/ICSIMA.2018.8688777
Hariri, A., Reyhani-Masoleh, A.: Bit-serial and bit-parallel montgomery multiplication and squaring over GF(2^m). IEEE Trans. Comput. 58(10), 1332–1345 (2009). https://doi.org/10.1109/TC.2009.70
Zhang, S., Chen, Y., Zhao, G., Guo, K.: A new elliptic curve cryptosystem algorithm based on the system of chebyshev polynomial. In: 2014 IEEE 7th Joint International Information Technology and Artificial Intelligence Conference, Chongqing, pp. 350–353 (2014). https://doi.org/10.1109/ITAIC.2014.7065068
Virza, M.: Libsnark. https://github.com/scipr-lab/libsnark
Kotobi, K., Sartipi, M.: Efficient and secure communications in smart cities using edge, caching, and blockchain. In: 2018 IEEE International Smart Cities Conference (ISC2), Kansas City, MO, USA, pp. 1–6 (2018). https://doi.org/10.1109/ISC2.2018.8656946
Acknowledgment
This work is supported by the National Natural Science Foundation of China (Grant No. 61772331), Natural Science Foundation of China (grant No. U1831118), the Strategic Priority Research Program of Chinese Academy of Sciences (Grant No. XDC02070800), Shanghai Municipal Science and Technology Commission (grant No. 19511131202), Pudong Industry-University-Research Project (grant PKX2019-D02), Independent Deployment Project of Shanghai Advanced Research Institute (grant E0560W1ZZ0). I would like to express my gratitude to all those who helped me during writing this paper. Firstly, thanks to all my team members who gave me much useful advice and encouragement. And gratitude to my parents for their nurturing and support.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Peng, B.O., Zhu, Y., Jing, N., Zheng, X., Zhou, Y. (2021). Design of a Hardware Accelerator for Zero-Knowledge Proof in Blockchains. In: Qiu, M. (eds) Smart Computing and Communication. SmartCom 2020. Lecture Notes in Computer Science(), vol 12608. Springer, Cham. https://doi.org/10.1007/978-3-030-74717-6_15
Download citation
DOI: https://doi.org/10.1007/978-3-030-74717-6_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-74716-9
Online ISBN: 978-3-030-74717-6
eBook Packages: Computer ScienceComputer Science (R0)