用途:在 Solana 上构建与调试加密应用。应用由 Solana 程序、Arcis 电路(Rust 电路框架)和链上元数据账户组成,整体称为 MXE(MPC 执行环境)。arcium CLI 封装 Anchor,负责 init、build、test 和 deploy。目标版本为 Arcium v0.11.x(Anchor 1.0.2、Solana 3.1.10)。
主要能力:支持无信任计算,多方在合并数据上计算而不暴露输入;链上状态可保持加密且可计算。每个计算需要三个函数:init_<name>_comp_def(初始化计算定义)、<name>(构建参数并入队计算)、<name>_callback(处理 MPC 结果)。加密上下文 Enc<Owner, T> 中,Owner 决定谁可解密:用户提交或回传结果用 Enc<Shared, T>,内部状态用 Enc<Mxe, T>,公开结果用 .reveal()。
使用方式:通过 MCP 工具 search_arcium_docs 检索文档路径,再用 query_docs_filesystem_arcium_docs 以 cat <path>.mdx 读取全文;无 MCP 时可访问 docs.arcium.com/llms.txt 或 llms-full.txt。
限制:循环必须有固定边界,不支持 while、break、continue;if/else 两个分支都会执行,除非条件是编译期常量;比较开销大,算术几乎免费;.reveal() 和 .from_arcis() 不能在条件内调用;数据必须定长,不支持 Vec、String、HashMap,需用 [T; N]。v0.11 新增 Arcis 枚举和 Option<T>,但不能作为电路输入或输出。常见陷阱包括 nonce 复用、Shared 参数遗漏 .x25519_pubkey()、ArgBuilder 顺序与电路参数不一致、回调账户未标记可写等。部署前应运行 arcium test 并核对验证清单。