privacypump/privacy-pump-zk-circuits

GitHub: privacypump/privacy-pump-zk-circuits

该项目为 Privacy Pump 私密转账协议提供零知识证明电路的公共输入规范和接口定义,解决电路证明声明标准化和跨实现验证的问题。

Stars: 0 | Forks: 0

# 隐私-pump-zk-circuits Privacy Pump 私密转账的研究电路和公共输入规范。 ## 目的 记录预期的证明声明、字段编码和公共输入顺序,不包含真实的 witness 或生成的证明产物。 ## 范围 - 面向 Noir 的接口 - 公共输入 schema - fail-closed 集成要求 ## 架构 ``` flowchart LR User[Wallet or integrator] --> Interface[Public interface] Interface --> Boundary[Privacy Pump trust boundary] Boundary --> Chain[Solana or local reference] Boundary -. metadata exposure .-> Limits[Documented limitations] ``` 请参阅 [ARCHITECTURE.md](ARCHITECTURE.md) 了解组件边界和假设。 ## 当前安全状态 - 实验性或参考资料;尚未具备 mainnet 就绪状态。 - 受检的 devnet 程序是可升级的,并且在发布审计日期共享一个升级权限。 - Factory 和 relayer 是不同的协议角色,但部署可能会为两者配置同一个签名者。 - 特意未公开生产环境的签名者拓扑结构。 - ZK Pool 的 vault 创建费用回执并未将其名为 `factory` 的签名者独立绑定到 Private Vault 配置工厂;该边界正在审查中。 - ZK 验证器路径默认为 fail-closed,并且不是一个完整的生产级隐私系统。 - 浏览器、RPC、relayer、数据库、Waku/Logos 和 Arcium 元数据各自具有独立的隐私限制。 - 定制的加密胶水代码未被描述为已通过审计。 在使用任何材料之前,请阅读 [SECURITY.md](SECURITY.md)。 ## 依赖项 - privacy-pump-protocol-specs - privacy-pump-protocol-test-vectors ## 本地设置 仅使用确定性 fixture 和临时的本地密钥。不需要生产凭据、云账户、私有 RPC endpoint 或真实的钱包关系。 ``` node scripts/policy-scan.mjs ``` 当存在可执行源码时,会记录特定于仓库的构建和测试命令。占位仓库仅运行文档和策略检查。 ## 路线图 - [ ] 完成电路审查 - [ ] 验证两个独立的实现 - [ ] 发布基准测试和审计状态 ## 相关的 Privacy Pump 仓库 - `privacy-pump-protocol-specs` - `privacy-pump-protocol-test-vectors` ## 已知限制 - 公开内容省略了生产环境的 relayer、访问控制、KMS、Supabase service-role、keeper 签名、监控和部署实现。 - 隐私不仅仅依赖于用户界面掩码;对钱包、RPC、relayer、传输层和基础设施可见的元数据仍然相关。 - 在 devnet 架构趋于稳定期间,接口可能会发生变化。 ## 贡献 请参阅 [CONTRIBUTING.md](CONTRIBUTING.md)。授权许可正在审查中;请参阅 [LICENSE_STATUS.md](LICENSE_STATUS.md)。 ``` ```
标签:MITM代理, Noir, Solana, 区块链隐私, 密码学电路, 自定义脚本, 隐私交易, 零知识证明