Founding Secure Computation on Blockchains
Founding Secure Computation on Blockchains
复制标题
在区块链上建立安全计算
DOI：
10.1007/978-3-030-17656-3_13
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Jain, Abhishek
中科院分区：
文献类型：
--
作者：
Chouchuri, Arka Rai;Goel, Vipul;Jain, Abhishek
我们研究了区块链混合模型中安全计算的基础，其中区块链-建模为全局功能-可作为加密协议的所有参与者的Oracle。我们展示了区块链的破坏性和建设性应用：我们表明，在许多安全证明中使用的经典的基于倒带的模拟技术，对于已经读取和发布访问全局区块链的区块链活跃对手来说，是失败的。特别是，我们证明了使用黑盒模拟的零知识（ZK）证明不可能对抗区块链活跃的对手。然而，我们证明了，如果诚实的各方也是区块链活跃的，那么对抗区块链活跃的对手是可能实现安全的。利用黑盒模拟方法构造了一个圆形的ZK协议。我们通过黑盒模拟证明恒定轮ZK的不可能性来证明这个结果是紧的。最后，我们展示了区块链的一个新应用，以克服普通模型中并发安全计算的已知不可能性结果。我们基于标准密码学假设，为区块链混合模型中的通用功能构建了一个并发自组合安全计算协议。我们开发了一套用于在区块链混合模型中构建安全协议的技术，我们希望这些技术能够在未来的研究中找到应用该领域。
We study the foundations of secure computation in theblockchain-hybrid model, where a blockchain – modeled as aglobalfunctionality – is available as an Oracle to all the participants of a cryptographic protocol. We demonstrate both destructive and constructive applications of blockchains:We show that classical rewinding-based simulation techniques used in many security proofs fail againstblockchain-activeadversaries that have read and post access to a global blockchain. In particular, we show that zero-knowledge (ZK) proofs with black-box simulation are impossible against blockchain-active adversaries.Nevertheless, we show that achieving security against blockchain-active adversaries is possible if the honest parties are also blockchain active. We construct an-round ZK protocol with black-box simulation. We show that this result is tight by proving the impossibility of constant-round ZK with black-box simulation.Finally, we demonstrate a novel application of blockchains to overcome the known impossibility results for concurrent secure computation in the plain model. We construct a concurrent self-composable secure computation protocol for general functionalities in the blockchain-hybrid model based on standard cryptographic assumptions.We develop a suite of techniques for constructing secure protocols in the blockchain-hybrid model that we hope will find applications to future research in this area.
登录
查看更多内容
静态输入安全计算的不可能性结果
DOI：
10.1007/978-3-642-32009-5_25
发表时间：
2012
期刊：
2012 IEEE 53rd Annual Symposium on Foundations of Computer Science
影响因子：
--
作者：
Sanjam Garg;Abishek Kumarasubramanian;R. Ostrovsky;Ivan Visconti
通讯作者：
Ivan Visconti
时序模型中安全协议的并发通用构成
DOI：
10.1145/1060590.1060687
发表时间：
2005
期刊：
Journal of Physics D
影响因子：
--
作者：
Y. Kalai;Yehuda Lindell;M. Prabhakaran
通讯作者：
M. Prabhakaran
DOI：
10.1007/978-3-662-48000-7_3
发表时间：
2015-08
期刊：
--
影响因子：
--
作者：
R. Canetti;Vipul Goyal;Abhishek Jain
通讯作者：
R. Canetti;Vipul Goyal;Abhishek Jain
恶意PUF安全计算的可行性和不可行性
影响因子：
3
作者：
Dana Dachman;Nils Fleischhacker;Jonathan Katz;Anna Lysyanskaya;Dominique Schröder
通讯作者：
Dominique Schröder
最小复杂度下防篡改硬件模型中的可组合安全性
DOI：
10.1007/978-3-662-53641-4_15
发表时间：
2016
期刊：
Journal of Physics D
影响因子：
--
作者：
Carmit Hazay;Antigoni Polychroniadou;Muthuramakrishnan Venkitasubramaniam
通讯作者：
Muthuramakrishnan Venkitasubramaniam