SuperAPI AI 工具集

strk20-privacy

安全与审计

查看项目

更新于 10-16 09:35

技能介绍

本技能是 STRK20(Starknet 隐私池)的路由与心智模型指南,用于选择集成路径、回答机制问题以及快速核对版本信息。STRK20 是运行在 Starknet 主网上的基于 note(UTXO)的隐私池,支持任意 ERC-20,内置合规路径;note 可承载任意金额并自动处理找零。用户把代币 shield 为加密 note,经链上 STARK 证明验证进行私密交易,再 unshield。

集成路由:面向用户的 dapp 优先选 Starknet Wallet API(strk20-wallet-api);私密 DeFi 调用需匿名化合约(privacy_invoke,strk20-anonymizer-contracts);自持密钥的钱包或后端选 Privacy SDK(createPrivateTransfers,strk20-privacy-sdk);嵌入式钱包/AA 产品也走 SDK 路线;EVM USDC 出入走基于 Circle CCTP 的 Privacy Bridge。AVNU 已提供私密兑换,无需自写 Cairo。

核心概念:note 记录 (owner, token, u128 amount),花费时整体消耗、找零生成新 note;open note 不加密金额(OPEN_NOTE_SALT = 1);nullifier 为与 note 及所有者查看密钥绑定的 Poseidon 哈希;查看密钥对 K = k·G 经 SetViewingKey 一次性注册且不可变,转账前双方都需注册;通道为定向通道,含按代币子通道;交易按 0 到 7 阶段批量执行,每代币临时余额不得为负且须归零。

合规:每笔存款经 FPI 筛查并由链上验证签名;注册时查看密钥被托管给审计者公钥,仅针对合法请求披露,查看密钥只能读取不能花费。文档明示限制:通道开启可关联、特殊金额或快进快出会缩小匿名集、池边缘(存款、提现、时序)公开。

刷新事实可在本技能目录运行:python3 scripts/check_freshness.py,加 --quick 跳过 30 次存活检查;退出码 1 表示被检查事实已变动,2 表示查询失败。该脚本无法验证钱包上线或合约审计状态,需手动核对。官方集成技能可通过 npx skills add starkience/strk20-agent-skills 安装。