论文标题
智能合约中的保密性可验证性悖论
Secrecy-Verifiability Paradox in Smart Contracts
论文作者
论文摘要
保密的权衡是验证的困难。这种权衡意味着合同必须保持私密，但需要验证其合规性，我们称之为保密性可验证的悖论。但是，现有的智能合约并非旨在在这种情况下提供保密性而不牺牲可验证性。没有值得信赖的第三方公证化，必须基于加密原语的验证智能合约的协议。我们提出了一个基于区块链的解决方案，该解决方案通过以适当的方式将可验证的证据作为可访问的数据来克服这一挑战。该解决方案允许加密数据验证，但不能揭示数据本身。此外，有了我们的提议，只要合同是真实的，涉及的人会记住它，就可以核实其存在形式的合同。
The trade-off of secrecy is the difficulty of verification. This trade-off means that contracts must be kept private, yet their compliance needs to be verified, which we call the secrecy-verifiability paradox. However, the existing smart contracts are not designed to provide secrecy in this context without sacrificing verifiability. Without a trusted third party for notarization, the protocol for the verification of smart contracts has to be built on cryptographic primitives. We propose a blockchain-based solution that overcomes this challenge by storing the verifiable evidence as accessible data on a blockchain in an appropriate manner. This solution allows for cryptographic data verification but not revealing the data itself. In addition, with our proposal, it is possible to verify contracts whose form of existence has been destroyed as long as the contract is real and the people involved remember it.
