Nov, 2023

智能证书在金融业 Web3 应用中对抗网络威胁的体系结构

PDF
TL;DR本研究旨在解决当前互联网转型所面临的安全挑战，特别关注区块链和去中心化存储等新兴技术，并探讨 Web3 应用在塑造互联网未来方面的作用。主要目标是提出一种新颖的 “智能证书” 设计，通过可编程强制执行的数字证书，企业能够更好地保护自身免受网络攻击，确保数据和系统的安全。同时，利用 Web3 应用构建企业数字基础设施的韧性，并采用不同层级架构，钱包 / 客户端、应用和智能合约，以识别和预测威胁和风险，引入证书透明度以增强证书的安全性、可信性和去中心化管理，并检测滥用、侵害和不法行为。
发现论文，激发创造
  • Securify：智能合约实践安全分析

    Securify 是一个安全分析器，可以自动化地证明以太坊智能合约的行为在特定属性上是安全 / 不安全的，通过符号分析和合规 / 违规模式检查来实现，已经得到专家广泛使用。

    Jun, 2018

  • 量子信息技术与区块链在 Web 3.0 的融合

    本文提出基于量子计算的 Web 3.0 框架，利用区块链技术提供去中心化的信息传输和支付交易系统，并探讨了该框架在量子计算、区块链应用以及 NFT 市场最优拍卖方面的潜在挑战和应用。

    Nov, 2022

  • 以太坊智能合约安全分析的语义框架

    本文提出了 EVM bytecode 的第一个完整的小步语义，形式化验证了这些程序的语义和关键安全属性，并识别了现有语义和验证工具的各种错误和不精确性，为智能合约的安全验证提供了严谨的语义基础。

    Feb, 2018

  • Web 3.0 的区块链、人工智能和边缘计算综述

    Web 3.0 通过区块链、人工智能和边缘计算等关键技术因素的深入分析，提出了一种新型的开放、去中心化、智能和互联互通网络，以解决当前面临的信任、集中化和数据所有权等问题，并通过多技术的结合和互补实现对数据和数字资产更多的控制和所有权回归用户。

    Nov, 2023

  • 朝向安全和可信设计的智能合约

    分布式不可变账本或区块链，在不依赖可信第三方的情况下，允许安全地数字化证据交易。智能合约作为去中心化和复制执行的程序，为区块链上的证据协议提供了机制，但需要解决信任和责任的问题。

    Mar, 2024

  • 以太坊系统安全概述：漏洞、攻击和防御

    介绍了以太坊的新一代区块链技术及其去中心化应用（DApps）的概念，分析了 DApps 系统中存在的安全漏洞、攻击和防御的能力，提出了未来的研究方向。

    Aug, 2019

  • 基于区块链技术的智能监控微服务架构

    本文介绍了一种基于微服务架构和区块链技术的安全智能监控系统，将视频分析算法封装为独立的微服务，使用区块链技术在监控领域之间安全地同步视频分析数据库，并提供智能合约授权策略，为智能监控系统提供可伸缩、去中心化和细粒度的访问控制解决方案。

    Jul, 2018

  • 智能合约构建和执行全面调查：模式、工具和系统

    本文对 2008-2020 年间智能合约的相关文献和在线资源进行了综述，分为三类：合约设计范例、设计工具和扩展以及替代方案。对最新的执行机制进行了分类，介绍了一些解决方案，并总结了几个挑战和未来的研究方向。

    Aug, 2020

  • 区块链的设计原则：SoK of SoKs 的倡议

    本文试图寻求用区块链作为信任引擎的设计原则，通过定性和定量研究的混合方法，讨论了区块链的过去、现在和未来发展方向，并得出了区块链设计原则的三个发现：第一，区块链作为分布式数据库的原始设计原则是否得以实现存在争议；第二，区块链社区的现有分类包括隐私和安全、可扩展性、去中心化、适用性、治理和监管、系统设计及跨链互操作性等方面。在这些分类中，隐私和安全的研究和应用更为突出，其他方面仍有较大的发展机会。最终，我们认为必须通过跨学科综合解决方案来弥合当前区块链设计与真正智能世界信任引擎设计原则之间的差距。

    Jan, 2023

  • 区块链上的安全与隐私

    该研究论文综述了区块链的安全性和隐私保护。文章首先介绍了区块链的概念和加密货币系统的基本安全属性，然后讨论了应用于区块链的更高级的安全和隐私属性。最后，研究人员回顾了一些代表性的共识算法、哈希链存储、混合协议、匿名签名和非交互式零知识证明等实现这些安全属性的技术。

    Mar, 2019