benchmarks for xverify

Name: benchmarks for xverify
Creator: Gao, Bo
Published: 2026-04-17T17:24:44+08:00

IEEE2026-04-17 收录

数据链接：

官方服务：

资源简介：

comparison benchmarks for xverify, including smart contracts.

提供机构：

第三方测评机构开展功能指标测试期间，系统因配合测试流程运行，产生了部分业务数据，包含系统管理的底层链信息与配置数据、智能合约数据、用户及组织证书数据、跨链交互数据等。数据文件为直接从数据库中导出的sql文件，包含区块链管理、合约、证书、跨链等核心模块表结构和数据。

国家基础学科公共科学数据中心100

comparison benchmarks for xverify, including smart contracts.

DataCite Commons2021-12-09 更新70

An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools - Supplemental Material

NIAID Data Ecosystem50

Smart contracts and evidence used for the evaluation of the first blockchain-based certification scheme.

DataCite Commons2024-11-04 更新80

"Open-source implementation of the BCUpdater paper's tool, verification contract dataset, and user study data."

DataCite Commons2025-07-03 更新50