Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
139 tokens/sec
GPT-4o
47 tokens/sec
Gemini 2.5 Pro Pro
43 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
47 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Towards Secure and Trusted-by-Design Smart Contracts (2403.16903v1)

Published 25 Mar 2024 in cs.CR, cs.AI, and cs.DC

Abstract: Distributed immutable ledgers, or blockchains, allow the secure digitization of evidential transactions without relying on a trusted third-party. Evidential transactions involve the exchange of any form of physical evidence, such as money, birth certificate, visas, tickets, etc. Most of the time, evidential transactions occur in the context of complex procedures, called evidential protocols, among physical agents. The blockchain provides the mechanisms to transfer evidence, while smart contracts - programs executing within the blockchain in a decentralized and replicated fashion - allow encoding evidential protocols on top of a blockchain. As a smart contract foregoes trusted third-parties and runs on several machines anonymously, it constitutes a highly critical program that has to be secure and trusted-by-design. While most of the current smart contract languages focus on easy programmability, they do not directly address the need of guaranteeing trust and accountability, which becomes a significant issue when evidential protocols are encoded as smart contracts.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (23)
  1. Bitcoin a distributed shared register. In Stabilization, Safety, and Security of Distributed Systems - 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings, pages 456–468, 2017.
  2. Proof-carrying authentication. In Proceedings of the 6th ACM Conference on Computer and Communications Security, CCS ’99, pages 52–62, New York, NY, USA, 1999. ACM.
  3. A survey of attacks on ethereum smart contracts sok. In Conference on Principles of Security and Trust - Volume 10204, New York, USA, 2017.
  4. First-order cyberlogic. Technical report, SRI International, 2005.
  5. Formal verification of smart contracts. In Workshop on Programming Languages and Analysis for Security, PLAS ’16, New York, USA, 2016.
  6. Keynote: Trust management for public-key infrastructures (position paper). In Security Protocols, 6th International Workshop, Cambridge, UK, April 15-17, 1998, Proceedings, pages 59–63, 1998.
  7. Compliance checking in the policymaker trust management system. pages 254–274. Springer, 1998.
  8. (leader/randomization/signature)-free byzantine consensus for consortium blockchains. CoRR, abs/1702.03068, 2017.
  9. P. Daian. Analysis of the dao exploit. http://hackingdistributed.com/2016/06/18/analysis-of-the-dao-exploit/.
  10. C. Dannen. Introducing Ethereum and Solidity: Foundations of Cryptocurrency and Blockchain Programming for Beginners. Apress, Berkely, CA, USA, 1st edition, 2017.
  11. CLAN: A Tool for Contract Analysis and Conflict Discovery, pages 90–96. Springer Berlin Heidelberg, Berlin, Heidelberg, 2009.
  12. The bitcoin backbone protocol: Analysis and applications. In EUROCRYPT (2), pages 281–310, 2015.
  13. L. Goodman. A self-amending crypto-ledger. tezos white paper. 2014.
  14. A practically implementable and tractable Delegation Logic. In Proceedings of the 2000 IEEE Symposium on Security and Privacy, pages 27–42. IEEE Computer Society Press, May 2000.
  15. The Coq development team. The Coq proof assistant reference manual. LogiCal Project, 2004. Ver. 8.0.
  16. P. McNamara. Deontic logic. In E. N. Zalta, editor, The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, winter 2014 edition, 2014.
  17. Pvs: A prototype verification system. In Conference on Automated Deduction: Automated Deduction, CADE-11, pages 748–752, London, UK, UK, 1992. Springer-Verlag.
  18. H. Prakken and G. Sartor. The Role of Logic in Computational Models of Legal Argument: A Critical Survey, pages 342–381. Springer Berlin Heidelberg, Berlin, Heidelberg, 2002.
  19. Rueß and N. Shankar. Introducing cyberlogic. In B. Martin, editor, HCSS’03—High Confidence Software and Systems Conference, Baltimore, MD, 1-3 April 2003.
  20. J. Stark. Making sense of blockchain smart contracts. https://www.coindesk.com/making-sense-smart-contracts/.
  21. D. Tapscott and A. Tapscott. The blockchain revolution:how the technology behind bitcoin is changing Money,Business and the World, pages 72,88,101,127. TNew York, New York : Portfolio / Penguin, 2016. ISBN-13: 978-1101980132.
  22. G. Wood. Ethereum: A secure decentralised generalised transaction ledger. http://bitcoinaffiliatelist.com/wp-content/uploads/ethereum.pdf, 2014. Accessed: 2016-08-22.
  23. W. Yao. Trust management for widely distributed systems. Technical Report UCAM-CL-TR-608, University of Cambridge, Computer Laboratory, Nov. 2004.
Citations (1)
View on Semantic Scholar

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now