High-Confidence Computing · 2023 · 16 citations · 25 references
ComputingComputer ScienceCybersecurityComputer SecurityCryptographyFormal MethodsCryptographic Protocol DesignPrivacy-preserving ProtocolsSecure Multi-party ComputationSmart ContractsCryptographic ApplicationsFormal Verification Tools For Cryptographic ProtocolsPrivacy-preserving ComputationPrivacy-preserving CryptographyPrivacy-preserving Smart ContractsTrusted Execution Environment SecurityTrusted Execution Environments
The privacy concern in smart contract applications continues to grow, leading to the proposal of various schemes aimed at developing comprehensive and universally applicable privacy-preserving smart contract (PPSC) schemes. However, the existing research in this area is fragmented and lacks a comprehensive system overview. This paper aims to bridge the existing research gap on PPSC schemes by systematizing previous studies in this field. The primary focus is on two categories: PPSC schemes based on cryptographic tools like zero-knowledge proofs, as well as schemes based on trusted execution environments. In doing so, we aim to provide a condensed summary of the different approaches taken in constructing PPSC schemes. Additionally, we also offer a comparative analysis of these approaches, highlighting the similarities and differences between them. Furthermore, we shed light on the challenges that developers face when designing and implementing PPSC schemes. Finally, we delve into potential future directions for improving and advancing these schemes, discussing possible avenues for further research and development.
25
Ethereum: A Secure Decentralised Generalised Transaction Ledger
Gavin Wood · 2013 · 5.3K citations
IEEE Symposium on Security and Privacy
IT Professional · 2023 · 1.2K citations · Full text
Bulletproofs: Short Proofs for Confidential Transactions and More
Benedikt Bünz, Jonathan Bootle, Dan Boneh et al. · 2018 · 1.1K citations · Full text
Dayeol Lee, David Kohlbrenner, Shweta Shinde et al. · 2020 · 364 citations · Full text