SecChain: Source Code and Replication Package

作者：Dianxiang Sun, Liming Nie, Yang Liu · 发表于：Zenodo (CERN European Organization for Nuclear Research) · 年份：2026 · DOI：10.5281/zenodo.19227832 · 研究领域：Computer science、Information retrieval、Multimedia、Artificial intelligence、World Wide Web、Database、Human–computer interaction

Archival replication package for the ASE 2026 paper SecChain: Operationalizing Security Guidelines for Multi-agent Smart Contract Generation. The package includes the implementation, dataset-selection and knowledge-base snapshot manifests, local reconstruction tooling, reproduction scripts, a helper for fetching the pinned FSM-SCG baseline source, and curated derived outputs sufficient to verify the reported results without rerunning all expensive experiments. Restricted third-party evaluation records and the mixed-source paper-run knowledge base are not redistributed. The package contents are sanitized for public release: they exclude live API credentials, .git history, caches, bulk checkpoint shards, exploratory experiment residue, and restricted third-party inputs. Four sanitized per-contract checkpoint traces for the contracts discussed in the paper (#4168, #11077, #13018, #21489) are included under curated_traces/, with verbatim upstream requirements replaced by IDs and hashes. Readers can first verify the included outputs and then run the public no-KB smoke configuration. This camera-ready version additionally includes the manual residual-risk review materials for 33 final contracts under manual_residual_review/; the analyzer-independence check materials under analyzer_independence/; and the four curated per-contract traces with the corresponding vanilla GPT-4o sources under curated_traces/.