blockchains | BriefGPT - AI 论文速递

关键词blockchains

搜索结果 - 11

端到端可验证去中心化联邦学习
提出了一个可验证的分散式联邦学习系统，结合区块链和零知识证明，可以在工作者之间验证本地学习和全局聚合的计算完整性。通过引入两步证明和验证的方法，实现了数据和计算的端到端完整性和真实性验证，解决了机密性和透明性之间的冲突。在一个原型实现上的评
PDF3 months ago
朝向安全和可信设计的智能合约
分布式不可变账本或区块链，在不依赖可信第三方的情况下，允许安全地数字化证据交易。智能合约作为去中心化和复制执行的程序，为区块链上的证据协议提供了机制，但需要解决信任和责任的问题。
PDF3 months ago
设计区块链中降低交易费用的再分配机制
引入 Transaction Fee Redistribution Mechanisms (TFRMs) 来减少区块链中的交易费用。
PDF5 months ago
实时图实验室：开放、动态和真实的非同质化交易图
通过对 NFT 生态系统的时间图分析，研究了其特性、动态和潜在发展方向，并利用机器学习模型丰富现有数据集，为图数据社区提供了新的机会。
PDF9 months ago
区块链上的动态大型语言模型
在这篇论文中，我们提出在区块链上训练和部署动态大型语言模型，以解决大型语言模型所需的大量计算资源和其静态性的问题，并为下一代人工智能系统提供了一种新的开发方法。
PDFa year ago
代理人、系统和服务集成本体论：OASIS 2 版本
本文介绍了 OASIS 本体论在多智能体系统中的应用。通过一个基于行为主义视角的方法，本文阐述了 OASIS 本体论的主要建模方法，讨论了该本体论的最新版本 OASIS 2 的特点及其在区块链等领域中的应用。
PDFa year ago
从文本中提取区块链概念
该项目的主要目标是应用机器学习模型从区块链领域的白皮书和学术文章中提取信息，以组织这些信息并帮助用户浏览该领域。
PDFa year ago
ACon$^2$: 可证明区块链预言机的自适应一致性共识
提出一种自适应符合共识（ACon2）算法，该算法使用多个数据源的共识集从多个预言家合同中派生数据共识集，通过在线不确定性量化学习和分布移位来提供良好的正确性保证，特别是应用于实现 Solidity 的情况下，具有潜在的实用性，可以解决区块链
PDF2 years ago
Securify：智能合约实践安全分析
Securify 是一个安全分析器，可以自动化地证明以太坊智能合约的行为在特定属性上是安全 / 不安全的，通过符号分析和合规 / 违规模式检查来实现，已经得到专家广泛使用。
PDF6 years ago
Ekiden：保密、可信且高性能的智能合约执行平台
Ekiden combines blockchains with Trusted Execution Environments to enable efficient confidentiality-preserving smart-con
PDF6 years ago
Hyperledger Fabric：面向联盟区块链的分布式操作系统
Fabric 是一个模块化且可扩展的开源系统，用于部署和运营权限块链（区块链核心技术）和 Hyperledger 项目的一部分。它支持模块化共识协议，可以针对特定的用例和信任模型进行定制。Fabric 是第一个在标准通用编程语言中运行分布式
PDF6 years ago