朱岩等:区块链技术及其研究进展 ·1373· [38]Linnhoff-Popien C,Schneider R,Zaddach M.Digital multiparty computations on bitcoin//2014 IEEE Symposium on Marketplaces Unleashed.Berlin:Springer,2018 Security and Privacy.San Jose,2014:443 [39]Szabo N.Smart contract[J/OL].Phonetic Sciences[2018-05-30] [46]Andrychowicz M,Dziembowski S,Malinowski D,et al.Fair two- [2019-03-01].http://www.fon.hum.uva.nl/rob/Courses/Informa party computations via bitcoin deposits//International Conference tionInSpeech/CDROM/Literature/LOTwinterschool2006/szabo.best. on Financial Cryptography and Data Security.Berlin,2014:105 vwh.net/smart.contracts.html [47]Zhu Y,Song XX,Xue X B,et al.Smart contract execution system [40]He X.Qin B H,Zhu Y,et al.SPESC:a specification language for over blockchain based on secure multi-party computation.J smart contracts//2018 IEEE 42nd Annual Computer Software and Cryptologic Res,2018,6(2):246 Applications Conference (COMPSAC).Tokyo,2018:132 (朱岩,宋晓旭,薛显斌,等.基于安全多方计算的区块链智能合 [41]Ethereum.Solidity by Example[DB/OL].Ethereum Revision 约执行系统.密码学报,2018,6(2):246) (2016)[2019-03-02].https://solidity.readthedocs.io/en/latest/ [48]Wang H,Song X F.Ke J M,et al.Blockchain and privacy solidity-by-example.html#blind-auction preserving mechanisms in cryptocurrency.Nerinfo Securiny,2017 [42]Kosba A,Miller A,Shi E,et al.Hawk:The blockchain model of 7:32 cryptography and privacy-preserving smart contracts//2016 IEEE [49]Luu L,Chu D H,Olickel H,et al.Making smart contracts Symposium on Security and Privacy (SP).San Jose,2016:839 smarter//Proceedings of the 2016 ACM SIGSAC Conference on [43]Miers I,Garman C,Green M,et al.Zerocoin:Anonymous Computer and Communications Security.New York,2016:254 distributed e-cash from bitcoin//2013 IEEE Symposium on Security [50]Eyal I,Gencer A E,Sirer E G,et al.Bitcoin-NG:a scalable and Privacy.Berkeley,2013:397 blockchain protocol//13th (USENIX)Symposium on Networked [44]Sasson E B,Chiesa A,Garman C,et al.Zerocash:Decentralized Systems Design and Implementation (NSDI 16).Santa Clara, anonymous payments from bitcoin//2014 IEEE Symposium on 2016:45 Securiry and Privacy.San Jose,2014:459 [51]Sompolinsky Y,Zohar A.PHANTOM:a scalable blockDAG [45]Andrychowicz M,Dziembowski S,Malinowski D,et al.Secure protocol.IACR Cryptology ePrint Archive,2018,2018:104Linnhoff-Popien C, Schneider R, Zaddach M. Digital Marketplaces Unleashed. Berlin: Springer, 2018 [38] Szabo N. Smart contract[J/OL]. Phonetic Sciences[2018−05−30] [2019−03−01]. http://www.fon.hum.uva.nl/rob/Courses/Informa tionInSpeech/CDROM/Literature/LOTwinterschool2006/szabo.best. vwh.net/smart.contracts.html [39] He X, Qin B H, Zhu Y, et al. SPESC: a specification language for smart contracts//2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC). Tokyo, 2018: 132 [40] Ethereum. Solidity by Example[DB/OL]. Ethereum Revision (2016)[2019−03−02]. https://solidity.readthedocs.io/en/latest/ solidity-by-example.html#blind-auction [41] Kosba A, Miller A, Shi E, et al. Hawk: The blockchain model of cryptography and privacy-preserving smart contracts//2016 IEEE Symposium on Security and Privacy (SP). San Jose, 2016: 839 [42] Miers I, Garman C, Green M, et al. Zerocoin: Anonymous distributed e-cash from bitcoin//2013 IEEE Symposium on Security and Privacy. Berkeley, 2013: 397 [43] Sasson E B, Chiesa A, Garman C, et al. Zerocash: Decentralized anonymous payments from bitcoin//2014 IEEE Symposium on Security and Privacy. San Jose, 2014: 459 [44] [45] Andrychowicz M, Dziembowski S, Malinowski D, et al. Secure multiparty computations on bitcoin//2014 IEEE Symposium on Security and Privacy. San Jose, 2014: 443 Andrychowicz M, Dziembowski S, Malinowski D, et al. Fair twoparty computations via bitcoin deposits//International Conference on Financial Cryptography and Data Security. Berlin, 2014: 105 [46] Zhu Y, Song X X, Xue X B, et al. Smart contract execution system over blockchain based on secure multi-party computation. J Cryptologic Res, 2018, 6(2): 246 (朱岩, 宋晓旭, 薛显斌, 等. 基于安全多方计算的区块链智能合 约执行系统. 密码学报, 2018, 6(2):246 ) [47] Wang H, Song X F, Ke J M, et al. Blockchain and privacy preserving mechanisms in cryptocurrency. Netinfo Security, 2017, 7: 32 [48] Luu L, Chu D H, Olickel H, et al. Making smart contracts smarter//Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. New York, 2016: 254 [49] Eyal I, Gencer A E, Sirer E G, et al. Bitcoin-NG: a scalable blockchain protocol//13th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 16). Santa Clara, 2016: 45 [50] Sompolinsky Y, Zohar A. PHANTOM: a scalable blockDAG protocol. IACR Cryptology ePrint Archive, 2018, 2018: 104 [51] 朱 岩等: 区块链技术及其研究进展 · 1373 ·