{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T00:20:42Z","timestamp":1761870042542,"version":"build-2065373602"},"reference-count":62,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2022,11,29]],"date-time":"2022-11-29T00:00:00Z","timestamp":1669680000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Blockchain: Research and Applications"],"published-print":{"date-parts":[[2023,3]]},"DOI":"10.1016\/j.bcra.2022.100118","type":"journal-article","created":{"date-parts":[[2022,12,16]],"date-time":"2022-12-16T03:09:32Z","timestamp":1671160172000},"page":"100118","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"title":["Cryptographic obfuscation for smart contracts: Trustless bitcoin bridge and more"],"prefix":"10.1016","volume":"4","author":[{"given":"Sora","family":"Suegami","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.bcra.2022.100118_bib2","series-title":"Financial Cryptography and Data Security","first-page":"423","article-title":"Zether: towards privacy in a smart contract world","author":"B\u00fcnz","year":"2020"},{"key":"10.1016\/j.bcra.2022.100118_bib3","series-title":"2021 IEEE 34th Computer Security Foundations Symposium (CSF)","first-page":"1","article-title":"Kachina\u2013foundations of private smart contracts","author":"Kerber","year":"2021"},{"key":"10.1016\/j.bcra.2022.100118_bib4","series-title":"Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security","first-page":"1759","article-title":"zkay: specifying and enforcing data privacy in smart contracts","author":"Steffen","year":"2019"},{"key":"10.1016\/j.bcra.2022.100118_bib5","series-title":"2014 IEEE Symposium on Security and Privacy","first-page":"443","article-title":"Secure multiparty computations on bitcoin","author":"Andrychowicz","year":"2014"},{"key":"10.1016\/j.bcra.2022.100118_bib6","series-title":"2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData)","first-page":"1539","article-title":"Secure smart contract system built on smpc over blockchain","author":"Zhu","year":"2018"},{"key":"10.1016\/j.bcra.2022.100118_bib7","series-title":"Web Services\u2013ICWS 2020","first-page":"17","article-title":"A\u00a0secure and efficient smart contract execution scheme","author":"Li","year":"2020"},{"key":"10.1016\/j.bcra.2022.100118_bib8","series-title":"2018 Second World Conference on Smart Trends in Systems, Security and Sustainability (WorldS4)","first-page":"133","article-title":"Smart contract based multi-party computation with privacy preserving and settlement addressed","author":"Pei","year":"2018"},{"key":"10.1016\/j.bcra.2022.100118_bib9","series-title":"2016 IEEE Symposium on Security and Privacy (SP)","first-page":"839","article-title":"Hawk: the blockchain model of cryptography and privacy-preserving smart contracts","author":"Kosba","year":"2016"},{"key":"10.1016\/j.bcra.2022.100118_bib10","series-title":"SEC\u201919: Proceedings of the 28th USENIX Conference on Security Symposium","first-page":"801","article-title":"Fastkitten: practical smart contracts on bitcoin","author":"Das","year":"2019"},{"key":"10.1016\/j.bcra.2022.100118_bib12","series-title":"Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security","first-page":"2421","article-title":"Leaky cauldron on the dark land: understanding memory side-channel hazards in sgx","author":"Wang","year":"2017"},{"key":"10.1016\/j.bcra.2022.100118_bib14","series-title":"Theory of Cryptography","first-page":"3","article-title":"Impossibility of vbb obfuscation with ideal constant-degree graded encodings","author":"Pass","year":"2016"},{"year":"2021","series-title":"Indistinguishability Obfuscation from Lpn over F_p, Dlin, and Prgs in Nc^ 0","author":"Jain","key":"10.1016\/j.bcra.2022.100118_bib15"},{"key":"10.1016\/j.bcra.2022.100118_bib16","series-title":"Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing","first-page":"60","article-title":"Indistinguishability obfuscation from well-founded assumptions","author":"Jain","year":"2021"},{"key":"10.1016\/j.bcra.2022.100118_bib17","series-title":"Theory of Cryptography","first-page":"256","article-title":"Succinct lwe sampling, random polynomials, and obfuscation","author":"Devadas","year":"2021"},{"key":"10.1016\/j.bcra.2022.100118_bib18","series-title":"Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing","first-page":"736","article-title":"Indistinguishability obfuscation from circular security","author":"Gay","year":"2021"},{"key":"10.1016\/j.bcra.2022.100118_bib19","series-title":"Advances in Cryptology - EUROCRYPT 2021","first-page":"127","article-title":"Candidate obfuscation via oblivious lwe sampling","author":"Wee","year":"2021"},{"key":"10.1016\/j.bcra.2022.100118_bib20","series-title":"Advances in Cryptology - EUROCRYPT 2016","first-page":"305","article-title":"On the size of pairing-based non-interactive arguments","author":"Groth","year":"2016"},{"key":"10.1016\/j.bcra.2022.100118_bib21","first-page":"953","article-title":"Plonk: Permutations over lagrange-bases for oecumenical noninteractive arguments of knowl- edge","volume":"2019","author":"Gabizon","year":"2019","journal-title":"IACR Cryptol. ePrint Arch."},{"key":"10.1016\/j.bcra.2022.100118_bib22","series-title":"2018 IEEE Symposium on Security and Privacy (SP)","first-page":"315","article-title":"Bulletproofs: short proofs for confidential transactions and more","author":"B\u00fcnz","year":"2018"},{"key":"10.1016\/j.bcra.2022.100118_bib23","first-page":"46","article-title":"Scalable, transparent, and post-quantum secure computational integrity","volume":"2018","author":"Ben-Sasson","year":"2018","journal-title":"IACR Cryptol. ePrint Arch."},{"key":"10.1016\/j.bcra.2022.100118_bib24","series-title":"2014 IEEE Symposium on Security and Privacy","first-page":"459","article-title":"Zerocash: decentralized anonymous payments from bitcoin","author":"Sasson","year":"2014"},{"year":"2019","series-title":"Tornado Cash Privacy Solution","author":"Pertsev","key":"10.1016\/j.bcra.2022.100118_bib26"},{"key":"10.1016\/j.bcra.2022.100118_bib27","series-title":"2020 IEEE Symposium on Security and Privacy (SP)","first-page":"947","article-title":"Zexe: enabling decentralized private computation","author":"Bowe","year":"2020"},{"key":"10.1016\/j.bcra.2022.100118_bib28","series-title":"Financial Cryptography and Data Security","first-page":"83","article-title":"A\u00a0practical universal circuit construction and secure evaluation of private functions","author":"Kolesnikov","year":"2008"},{"key":"10.1016\/j.bcra.2022.100118_bib29","first-page":"17","article-title":"Valiant\u2019s universal circuit: Im- provements, implementation, and applications","volume":"2016","author":"Lipmaa","year":"2016","journal-title":"IACR Cryptol. ePrint Arch."},{"key":"10.1016\/j.bcra.2022.100118_bib30","series-title":"Advances in Cryptology - EUROCRYPT 2013","first-page":"557","article-title":"How to hide circuits in mpc an efficient framework for private function evaluation","author":"Mohassel","year":"2013"},{"issue":"10.1145","key":"10.1016\/j.bcra.2022.100118_bib31","first-page":"2487726","article-title":"Using innovative instructions to create trustworthy software solutions","volume":"11","author":"Hoekstra","year":"2013","journal-title":"HASP@ ISCA"},{"key":"10.1016\/j.bcra.2022.100118_bib32","article-title":"Bitcoin: a peer-to-peer electronic cash system","author":"Nakamoto","year":"2008","journal-title":"Decentral. Bus. Rev."},{"key":"10.1016\/j.bcra.2022.100118_bib33","series-title":"Proceedings of the 2019 ACM SIGSAC Conference on Cloud Computing Security Workshop","first-page":"165","article-title":"Secure and private function evaluation with intel sgx","author":"Felsen","year":"2019"},{"key":"10.1016\/j.bcra.2022.100118_bib34","series-title":"Advances in Cryptology - CRYPTO 2008","first-page":"39","article-title":"One-time programs","author":"Goldwasser","year":"2008"},{"key":"10.1016\/j.bcra.2022.100118_bib35","series-title":"Theory of Cryptography","first-page":"529","article-title":"Overcoming cryptographic impossibility results using blockchains","author":"Goyal","year":"2017"},{"key":"10.1016\/j.bcra.2022.100118_bib36","series-title":"27th Annual Symposium on Foundations of Computer Science (Sfcs 1986)","first-page":"162","article-title":"How to generate and exchange secrets","author":"Yao","year":"1986"},{"key":"10.1016\/j.bcra.2022.100118_bib37","series-title":"Proceedings of the Forty-Fifth Annual ACM Symposium on Theory of Computing","first-page":"467","article-title":"Witness encryption and its applications","author":"Garg","year":"2013"},{"key":"10.1016\/j.bcra.2022.100118_bib38","series-title":"Proceedings of the Forty-Fifth Annual ACM Symposium on Theory of Computing","first-page":"555","article-title":"Reusable garbled circuits and succinct functional encryption","author":"Goldwasser","year":"2013"},{"key":"10.1016\/j.bcra.2022.100118_bib39","series-title":"Advances in Cryptology \u2013 CRYPTO 2015","first-page":"657","article-title":"From selective to adaptive security in functional encryption","author":"Ananth","year":"2015"},{"key":"10.1016\/j.bcra.2022.100118_bib40","series-title":"Theory of Cryptography","first-page":"253","article-title":"Functional encryption: definitions and challenges","author":"Boneh","year":"2011"},{"key":"10.1016\/j.bcra.2022.100118_bib41","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/s00145-017-9255-y","article-title":"Function-private functional encryption in the private-key setting","volume":"31","author":"Brakerski","year":"2018","journal-title":"J.\u00a0Cryptol."},{"key":"10.1016\/j.bcra.2022.100118_bib42","series-title":"Advances in Cryptology - CRYPTO 2012","first-page":"162","article-title":"Functional encryption with bounded collusions via multi-party computation","author":"Gorbunov","year":"2012"},{"key":"10.1016\/j.bcra.2022.100118_bib43","series-title":"Theory of Cryptography","first-page":"28","article-title":"Multi-key fully-homomorphic encryption in the plain model","author":"Ananth","year":"2020"},{"key":"10.1016\/j.bcra.2022.100118_bib45","series-title":"Theory of Cryptography Conference","first-page":"433","article-title":"Adaptive security of yao\u2019s garbled circuits","author":"Jafargholi","year":"2016"},{"issue":"3","key":"10.1016\/j.bcra.2022.100118_bib46","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2633600","article-title":"(leveled) fully homomorphic encryption without bootstrapping","volume":"6","author":"Brakerski","year":"2014","journal-title":"ACM Transact. Computat. Theor. (TOCT)"},{"key":"10.1016\/j.bcra.2022.100118_bib47","series-title":"Annual Cryptology Conference","first-page":"75","article-title":"Homomorphic encryption from learning with errors: conceptually-simpler, asymptotically-faster, attribute-based","author":"Gentry","year":"2013"},{"author":"Gorbunov","key":"10.1016\/j.bcra.2022.100118_bib48"},{"key":"10.1016\/j.bcra.2022.100118_bib49","article-title":"Key lifting: multi-key fully homomorphic encryption in plain model","author":"Dai","year":"2022","journal-title":"Cryptology ePrint Archive"},{"key":"10.1016\/j.bcra.2022.100118_bib50","series-title":"Advances in Cryptology - CRYPTO 2013","first-page":"536","article-title":"How to run turing machines on encrypted data","author":"Goldwasser","year":"2013"},{"key":"10.1016\/j.bcra.2022.100118_bib51","series-title":"Advances in Cryptology - CRYPTO 2014","first-page":"426","article-title":"Witness encryption from instance independent assumptions","author":"Gentry","year":"2014"},{"key":"10.1016\/j.bcra.2022.100118_bib52","series-title":"Applied Cryptography and Network Security","first-page":"285","article-title":"Offline witness encryption","author":"Abusalah","year":"2016"},{"key":"10.1016\/j.bcra.2022.100118_bib53","series-title":"Information Security and Privacy","first-page":"609","article-title":"Witness encryption with (weak) unique decryption and message indistinguishability: constructions and applications","author":"Pan","year":"2019"},{"key":"10.1016\/j.bcra.2022.100118_bib54","series-title":"Applied Cryptography and Network Security","first-page":"231","article-title":"Offline witness encryption with semi-adaptive security","author":"Chvojka","year":"2020"},{"year":"2021","series-title":"Time Reveals the Truth-More Efficient Constructions of Timed Cryptographic Primitives","author":"Chvojka","key":"10.1016\/j.bcra.2022.100118_bib55"},{"key":"10.1016\/j.bcra.2022.100118_bib56","series-title":"11th Innovations in Theoretical Computer Science Conference","article-title":"Affine determinant programs: a framework for obfuscation and witness encryption","author":"Bartusek","year":"2020"},{"key":"10.1016\/j.bcra.2022.100118_bib57","first-page":"1502","article-title":"Witness encryption from garbled circuit and multikey fully homomorphic encryption techniques","volume":"2020","author":"Kluczniak","year":"2020","journal-title":"IACR Cryptol. ePrint Arch."},{"key":"10.1016\/j.bcra.2022.100118_bib58","first-page":"1140","article-title":"Witness encryption and null-io from evasive lwe","volume":"2022","author":"Vaikuntanathan","year":"2022","journal-title":"IACR Cryptol. ePrint Arch."},{"author":"Kyber Network","key":"10.1016\/j.bcra.2022.100118_bib60"},{"author":"Hioki","key":"10.1016\/j.bcra.2022.100118_bib61"},{"key":"10.1016\/j.bcra.2022.100118_bib64","series-title":"Theory of Cryptography","first-page":"325","article-title":"Functional encryption for randomized functionalities","author":"Goyal","year":"2015"},{"key":"10.1016\/j.bcra.2022.100118_bib65","series-title":"Computer Security - ESORICS 2021","first-page":"481","article-title":"One-time traceable ring signatures","author":"Scafuro","year":"2021"},{"key":"10.1016\/j.bcra.2022.100118_bib66","series-title":"Public Key Cryptography - PKC 2007","first-page":"181","article-title":"Traceable ring signature","author":"Fujisaki","year":"2007"},{"key":"10.1016\/j.bcra.2022.100118_bib67","series-title":"Providing Sound Foundations for Cryptography: on the Work of Shafi Goldwasser and Silvio Micali","first-page":"227","article-title":"How to generate cryptographically strong sequences of pseudo random bits","author":"Blum","year":"2019"},{"key":"10.1016\/j.bcra.2022.100118_bib68","series-title":"23rd Annual Symposium on Foundations of Computer Science (SFCS 1982)","first-page":"80","article-title":"Theory and application of trapdoor functions","author":"Yao","year":"1982"},{"issue":"6","key":"10.1016\/j.bcra.2022.100118_bib69","doi-asserted-by":"crossref","first-page":"1163","DOI":"10.1137\/0222069","article-title":"On the existence of pseudorandom generators","volume":"22","author":"Goldreich","year":"1993","journal-title":"SIAM J. Comput."},{"issue":"4","key":"10.1016\/j.bcra.2022.100118_bib70","doi-asserted-by":"crossref","first-page":"1364","DOI":"10.1137\/S0097539793244708","article-title":"A\u00a0pseudorandom generator from any one-way function","volume":"28","author":"H\u00e5stad","year":"1999","journal-title":"SIAM J. Comput."}],"container-title":["Blockchain: Research and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2096720922000598?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2096720922000598?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T00:17:08Z","timestamp":1761869828000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2096720922000598"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3]]},"references-count":62,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,3]]}},"alternative-id":["S2096720922000598"],"URL":"https:\/\/doi.org\/10.1016\/j.bcra.2022.100118","relation":{},"ISSN":["2096-7209"],"issn-type":[{"type":"print","value":"2096-7209"}],"subject":[],"published":{"date-parts":[[2023,3]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Cryptographic obfuscation for smart contracts: Trustless bitcoin bridge and more","name":"articletitle","label":"Article Title"},{"value":"Blockchain: Research and Applications","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.bcra.2022.100118","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2022 The Author(s). Published by Elsevier B.V. on behalf of Zhejiang University Press.","name":"copyright","label":"Copyright"}],"article-number":"100118"}}