Oct, 2023

MindTheDApp：Complex 网络驱动的以太坊去中心化应用结构分析的工具链

PDF
TL;DRMindTheDApp 是一种专为以太坊分布式应用（DApp）结构分析而设计的工具，利用 ANTLR4 和抽象语法树（AST）遍历技术将智能合约的架构和交互转化为专门的二分图，以实现高级网络分析，从而突出 DApp 体系结构中的操作效率。
发现论文，激发创造
  • MetaChain：一种基于区块链的元宇宙应用框架

    本文提出了 MetaChain，这是一个基于区块链的框架，旨在通过利用智能合约机制、设计分片机制以提高扩展性和开发激励机制来解决 Metaverse 应用面临的挑战。通过数字实验，展示了开发激励机制对引导更多用户和资源，促进 Metaverse 的运营的作用。

    Dec, 2021

  • 大型语言模型工具的结构嵌入

    当前大型语言模型 (LLMs) 的现状需要融入外部工具。目前已有研究证明缺乏直接的代数和逻辑推理，促使研究人员开发了允许 LLMs 通过外部工具操作的框架。本文的核心目的是强调图形化方法在 LLM 与工具互动中的重要性。我们提出了一个示例框架，用于指导将外部工具与 LLMs 的数量呈指数增长的协同工作，其中工具的目标和功能以图形编码的层次结构呈现。假设文本的思维链 (CoT) 可以被想象为一个工具，基于图形的框架也可以在这一特定方向上开辟新的途径。

    Aug, 2023

  • DocXChain：一个强大的开源工具链，用于文档解析及其之后的工作

    DocXChain 是一个强大的开源工具链，用于将非结构化文档（如文本、表格和图表）中的丰富信息自动转换为可读取和可操纵的结构化表示，提供了基本功能如文本检测、文本识别、表结构识别和布局分析，并且可以与现有的工具、库或模型轻松集成，以构建更强大的系统，实现更复杂和具有挑战性的任务。

    Oct, 2023

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

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

    Feb, 2018

  • 以双视角为基础的以太坊智能合约漏洞检测

    我们提出了一种名为 DVDet 的双视图感知智能合约漏洞检测框架，通过将智能合约的源代码和字节码转化为加权图和控制流序列，从两个视角捕获潜在的风险特征并进行集成分析，从而实现了有效的合约漏洞检测，实验结果表明该方法在检测漏洞方面优于其他方法。

    Jun, 2024

  • T-EDGE: 面向以太坊交易网络分析的时间加权多重有向图嵌入

    本研究通过考虑交易网络的现实规则和特性，首先将以太坊交易网络建模为一个时态加权多重有向图，然后定义时间加权多重有向图嵌入问题，在节点分类实验中证明了该方法的有效性。

    May, 2019

  • 一个面向知识的方法来增强 Polkadot 生态系统中的集成和沟通能力

    提出了一个概念框架，包括一个称为 POnto 的领域本体论，以解决 Polkadot 生态系统中的数据分析和可通信性方面的挑战，并通过知识导向的方法增强集成和可通信性，在异构社会技术环境中为 Polkadot 生态系统的增长和采用做出了有价值的贡献。

    Aug, 2023

  • Slither: 用于智能合约的静态分析框架

    该论文描述了 Slither，它是一个静态分析框架，用于提供有关 Ethereum 智能合约的丰富信息，其四个主要用例是：自动检测漏洞，自动检测代码优化机会，提高用户对合约的理解，以及协助代码审查。我们比较了使用大型数据集的工具，并手动审查了前 1000 个最常用的合约的结果。

    Aug, 2019

  • MetaAID：一个通过 AI 技术和人工编辑开发元宇宙应用的灵活框架

    提出了一个新的灵活的元宇宙人工智能技术框架 metaAID，该框架可支持多种人工智能技术在数字孪生和虚拟人类的开发中使用。开发元宇宙应用程序涉及技术开发任务和手动编辑工作，并经常成为一个重量级多团队协作项目，而多个行业的元宇宙应用程序开发更加困难。在此框架的基础上，我们设计了 5 个应用程序来支持国内需求和经济内部循环的 3 个行业，并通过实验结果表明，我们的框架可以支持各行业开发元宇宙应用时的人工智能技术。

    Apr, 2022

  • CodeChain: 通过自修订的子模块链实现模块化代码生成

    通过一系列自我修订实现模块化代码生成的 CodeChain 框架，在解决复杂编程任务方面取得显著提升。

    Oct, 2023