Secrecy-Verifiability Paradox in Smart Contracts. (arXiv:2212.01595v1 [cs.CR])

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 …

secrecy smart smart contracts