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, 区块链隐私, 密码学电路, 自定义脚本, 隐私交易, 零知识证明