tidex6 — private payments on Solana

tidex6

我授予访问权，而非许可。
通过征得同意后披露信息，实现私密稳定币支付——同一套 Rust 代码库，已在 Solana 主网、Arc 和 EVM 链上运行。

---

tidex6 是一个原生支持 Rust 的开源框架，让 Solana 开发者通过精简的 SDK 接口，为 Anchor 程序添加完整的交易隐私保护。交易默认私密——发送方、接收方和金额均会隐藏。隐私分为两层：Groth16 shielded pool 隐藏发送方与接收方之间的关联；Token-2022 Confidential Transfers 层（wUSDC / wUSDT 隐藏金额池，已在主网和 devnet 上线）则隐藏金额本身。用户还可以选择与信任的人（会计师、审计师、家人）分享查看密钥，按照自己的意愿选择性披露历史记录。

状态：完整的 MVP 产品栈已在 Solana 主网上线。隐私核心验证器程序 CSDD31Zmm3pRMHAMB8c3TBqsj9mbmH2rXBzV7jrsJhcd 已通过 OtterSec 验证且不可变（已放弃升级权限）。完整功能栈包括：存款、ZK 提款（通过 alt_bn128 系统调用验证 Groth16 WithdrawCircuit<20>）、每个 nullifier 对应的双花防护 PDA、收款方绑定式抢跑防护、通过 relayer.tidex6.com 中继服务实现不可关联的提款、不透明十六进制 note + 在专用链上账户中加密的后量子 ML-KEM-768 备忘录、隐身支付（接收方不会直接获得 note，而是使用自己的 ML-KEM 密钥在链上扫描）和逐笔存款撤销、通过 WebAssembly 在浏览器中于客户端生成证明（每个证明约 1.7 秒，密钥不会离开用户的浏览器标签页）、面向用户的 tidex6 CLI、tidex6-client SDK、位于 tidex6.com 的 Web 应用、旗舰示例 examples/private-payroll（包含三个二进制程序），以及第三方 CPI 集成示例（tidex6-tip-jar，约 30 行 Rust 代码即可为任意 Anchor 程序添加隐私保护——该示例于 2026 年 4 月部署到主网并通过 OtterSec 验证，地址为 5WohQRRzC31SkFMSWgEqJC9p2KvNhGkQbzUSsNUi9b9x，演示部署现已关闭）。以上功能均已在主网上完成端到端验证。MVP 已为 Colosseum Frontier 黑客松（2026-05-11）交付；开发仍在继续——此后已上线隐藏金额池（Token-2022 Confidential Transfers，wUSDC AYTRKmF8VBdqRWGZr9c6Mx582SRm2tbUEwMesFMhcPcU 和 wUSDT QGPYpwyMnWhJUPGieXyJU5jhAkKsKuU7iGN53VCWPz2）、由发送方额外支付并以隐身 note 私密收取的可配置单次操作费用（ADR-016），以及已上线的公开可信设置仪式 ceremony.tidex6.com（ADR-017）。

**仅供开发使用。**尚未经过审计，可信设置由单一贡献者完成，信任假设仅达到黑客松级别。验证器的 upgrade-authority 已通过 solana program set-upgrade-authority --final 放弃——该程序不可变。请勿用于保护真实资金。公开的多方可信设置仪式已上线：ceremony.tidex6.com（可公开验证的记录，参见 CEREMONY.md）；只有在仪式完成并发布新的不可变验证器后，链上 VK 才会被替换。请参阅 docs/release/security.md。

---

同一电路在 Solana 之外运行——Arc 和 EVM 链

Solana 是这一切的起点，也是集成最深入的地方，但证明系统并不局限于此。相同的 Groth16 电路和相同的验证密钥无需修改，即可通过 Solidity 验证器和 Solidity Poseidon（contracts/）在 EVM 链上运行，适用于隐藏金额池：金额包含在承诺中，而非置于承诺旁边。一套方案，而非每条链各用一种协议。

Arc — Circle 的链，也是整个闭环完成的地方。合约无需修改：部署前已实时检查 Arc 的 BN254 预编译合约（0x05–0x08）。6 个合约部署在链 5042 上，部署日期为 2026 年 9 月 18 日：

合约	地址
HiddenPool（封存金额）	0x28fbB1500875EaEbe303D195C1a3721BBed8AF5f
Pool（固定面额）	0x8eb05Cb1b5E46e58C8ca91E3A3738CF534c1E74f
Groth16 Verifier	0x2c94135FB49840a0D6e0985AB1A6c48EE6c140d6
HiddenWithdrawVerifier	0x6fF8E8393F0dD9D2592332e9f9adC3232FC41786
HiddenTransferVerifier	0xca4fECF177dBb1025CC64B3D3618AdfA2f44D7AD
Reader-key Registry	0x6F6F07e14E8381D13D01f99867985D8c7D23E914

Arc 测试网（链 5042002）上也部署了相同地址——部署者相同、nonce 相同。测试网适合上手体验：可从 faucet.circle.com 获取水龙头代币，流程与主网完全相同。

Arc 不只是另一个部署目标，其独特之处在于：Gas 使用 USDC 支付，与资金池转移的代币相同，也与支付手续费的代币相同。在其他地方，服务若要用自身收入支付运营成本，就必须将一种资产兑换为另一种资产——在 Solana 上，当运营方余额低于阈值时，手续费会通过聚合器兑换为 SOL（crates/tidex6-ct-lab/src/gas.rs）。在 Arc 上无需兑换：手续费是 USDC，Gas 也是 USDC，不需要兑换，没有价格风险，也不需要第三方。在其他 EVM 链上，这个闭环仍未完成——手续费是 USDC，Gas 却是 ETH 或 HYPE——而完成这个闭环就是下一步工作。

手续费的运作方式和成本，包括目前尚未实现的部分，详见 docs/release/BUSINESS.md。

Arbitrum — 合约使用 Rust 而非 Solidity 的地方。同一个资金池会编译为 WASM，并在 Stylus（stylus/）上运行，部署于两条链：Arbitrum Sepolia 和 Robinhood Chain，后者是一条代币为代币化股票的 Orbit 链。每个合约都通过可复现的 Docker 构建生成，并且 cargo stylus verify 在两个网络上均通过，包含构造函数。

合约	Arbitrum Sepolia	Robinhood Chain
hidden-pool（USDC / TSLA）	0xe4c1f2bc121800b8e56ff11dced9a62d6ce3b383	0xf4029451b6988d32ed1a9de847bf3250e83a87fe
hidden-pool（USDG）	0x27ee24bea73088095b2898b3098e2b6040515275	0x73f68e1e4d02557e6cefd0292ffac13da5d18490
hidden-withdraw-verifier	0xe00eca003e40bb3f2df30c5b7111c73cff9d0b00	0x6f6c5b8e4b2f637aa7c7c47eb90c73bc18c5008d
hidden-transfer-verifier	0x5024f1348dccb7f612cf0f5dc08de81b99c3fbb8	0xeb8cfac5351089d9436fc9fc3a40c93f1aa282f4
poseidon	0x3454f4bb9b3bb20344bbb3cb43d6fb743a1c1d68	0xe9182c3b0cdf5bfb8871ac162fa28a501a3cfa82

有 3 种代币在这些资金池中流转，关键在于资金池并不在意其中是哪种：USDC、TSLA——一种代币化股票，因此可以用股权支付薪资或发票，而无需公开任何人的报酬——以及 USDG，Paxos 的美元稳定币，于 2026 年 9 月 22 日加入两条链。增加第二种代币，就会增加一个与第一个资金池共用验证器的第二个资金池：证明针对的是树和 nullifier，不会透露其中是哪种代币。 Poseidon 是这件事值得用 Rust 实现的原因：深度为 20 的树遍历每次存款要哈希 20 次，而在 Solidity 中，一次哈希大约要花 63 000 gas（根据我们自己的部署测得）。在 Stylus 上，限制因素有所不同——合约经 brotli 压缩后必须小于 24 KB，而 Poseidon 的 195 个轮常量无法压缩——因此哈希被做成独立合约，由资金池调用。 stylus/README.md 介绍了大小、部署 gas 和相关理由。

EVM、Arbitrum 和 Arc 部署与 Solana 一样有同样的注意事项，此外还有一点：验证密钥来自仍在进行的仪式，因此这些资金池仅供审查和测试，不适用于真实资金。

---

已实现、尚未实现，以及我们选择不做的事

评审人员和集成方总会问这三个问题；由我们把答案写下来，总比让他们自己发现更好。

已实现——任何人都可以运行：

• 在 Solana 主网上使用 wUSDC 和 wUSDT 进行隐私稳定币支付：Groth16 资金池隐藏付款方和收款方，Token-2022 Confidential Transfers 隐藏金额。验证器不可变（已放弃升级权限）。
• 在 Arbitrum Sepolia、Robinhood Chain、Base Sepolia、HyperEVM 测试网、Arc 测试网和 Arc 主网上的隐金额资金池：可通过浏览器在 tidex6.com 发送、接收和审计；中继器支付 gas，因此收款人的钱包不会显示为发起付款请求的一方。
• Robinhood Chain 上的 USDG：已于 2026 年 9 月 23 日完成一次完整的付款和提现流程，并附有费用说明。
• 通过我们的机密包装器在 Solana devnet 上使用 USDG（wUSDG，资金池 GwZ55BcsK39KBmT3oh6jcWQpVm7EpC7p8rFNVWFUvN5U）：已于 2026 年 9 月 24 日完成一次完整的发送和接收流程，费用说明由资金库机器人收集。
• 资金库：每笔付款的 1% 费用都会作为独立票据密封给资金库；我们服务器上的机器人会在 EVM 链和 Solana 上收集这些票据，并从资金库为中继器补充 gas。哪些费用已到账、余额以及每笔机器人交易，都可以公开查看：tidex6.com/treasury。
• 51 项合约测试（Foundry）会在每次推送时于 CI 中运行。

尚未实现：

• EVM 资金池中的存款金额是公开的。 资金池内部的金额（join-split）是隐藏的；下一步将使用机密代币隐藏存款过程中的金额。
• 验证密钥仍是开发密钥，直到 ceremony.tidex6.com 上的公开仪式结束。资金池仅供审查和测试。
• Arbitrum Sepolia 上的 USDG 已部署，但尚未完成端到端运行：Paxos 测试网水龙头于 2026 年 9 月 22 日停止在该链上发放代币，因此没有可用于付款的测试 USDG。
• EVM 测试网上尚不能将费用兑换成 gas：没有可用于兑换的流动性。Arc 上不需要兑换——gas 使用 USDC，与收到费用的币种相同。
• Solana 上的 USDG 仅部署在 devnet。 wUSDG 包装器及其资金池（GwZ55BcsK39KBmT3oh6jcWQpVm7EpC7p8rFNVWFUvN5U）自 2026 年 9 月 23 日起在 devnet 上运行；有需求时再部署到主网——部署方式相同，只是需要付费。
• 资金库页面上显示的 Solana 费用金额，就是密封在票据中的金额。 在 EVM 资金池上，会根据票据的承诺值核验金额；Solana 机密资金池的承诺值不包含金额，因此，密封给资金库密钥的票据可能会申报超过其实际持有量的金额。但它不可能以超额金额被收取——只会被超额显示。
• 在 Solana 上，包装器采用托管模式：底层 USDC/USDT 存放在由运营方密钥控制的金库中，运营方能看到发送方信息。下一步是使用 PDA 权限的包装器程序。

选择不做，以及原因：

• 尚未进行钱包筛查。 在启用钱包支付功能之前，没有任何机制会检查钱包是否在制裁名单或已知攻击数据库中。检查应在 Enable 时进行，也就是钱包首次注册时；具体方式尚未决定——链上有预言机的地方使用链上预言机，其他地方则使用外部数据库。不能在资金池合约中进行检查，因为已部署的资金池无法修改；只在浏览器中检查也可以绕过。
• Solana 验证器无法升级，我们也不例外。 新规则意味着在新地址部署新程序，由用户自行选择是否迁移；任何人都无法更改已存入资金所适用的规则。
• Poseidon 是 Stylus 上的独立合约。 其 195 个轮常量无法压缩到 24 KB 的 brotli 限制以内。
• Stylus 资金池没有 token() getter。 中继器会在自己的表中记录每个资金池的代币地址，并将其与存储槽 0 核对；添加 getter 就意味着必须重新部署已有资金的资金池。

---

从全新克隆构建

在普通 git clone 之后，此仓库中的所有内容都可以通过 cargo build --release 构建；链上程序也可以通过 solana-verify build 在 Docker 中可复现地构建。有三个 crate 特意放在工作区之外，并按各自的方式构建：

crate	构建方式	单独构建的原因
crates/tidex6-prover-wasm	wasm-pack build	目标平台为 wasm32-unknown-unknown，且会引入仅供浏览器使用的 crate
crates/tidex6-ct-lab	cargo build --manifest-path crates/tidex6-ct-lab/Cargo.toml	固定使用的 spl-token-2022 / solana-* 版本比工作区更新
crates/tidex6-mcp	cargo build --manifest-path crates/tidex6-mcp/Cargo.toml	需要在此仓库旁检出我们的内部核心库（forge），因此其他人无法构建

最后一点值得明确说明，而不是等人发现：托管的 MCP 服务依赖此仓库之外的私有 crate。它作为工作区成员时，对于没有该检出目录的所有人来说——也就是除我们之外的所有人——在全新克隆后运行 cargo build 都会失败；同样的原因也会让程序验证器无法在自己的机器上构建此仓库。现在它已独立成自己的工作区。此处其他内容都不依赖它：支付协议、程序、SDK、CLI 和本地 MCP 服务（crates/tidex6-mcp-local）都可以独立构建。

---

快速入门 — 稳定币（USDC / USDT）

生产环境中的资金池可转移链上金额隐匿的 USDC 和 USDT。有两种接入方式，都不需要从源码构建此仓库：

在浏览器中 — tidex6.com，支持任意 Solana 钱包。证明会在当前标签页中生成；密钥绝不会离开该标签页。

通过 AI Agent 或命令行 — 本地 MCP 服务使用保存在你机器上的密钥进行签名，并受代码中强制执行的限额约束：

cargo install tidex6-mcp-local

{ "mcpServers": { "tidex6": { "command": "tidex6-mcp-local", "args": [] } } }

工具：send、payments、collect、audit、whoami。完整说明请见 crates/tidex6-mcp-local/README.md。

快速入门 — 原始 SOL 资金池

以下 tidex6 CLI 使用的是v0.1 固定面额 SOL 资金池，它早于稳定币资金池，并且仍可使用——该资金池没有发行方的 freeze_authority，这正是保留它的原因。该资金池中的金额在链上可见；只有发送方与接收方之间的关联是隐藏的。若要隐藏金额，请使用上面的稳定币方案。

# Generate a tidex6 identity (spending + viewing key).
cargo run --release -p tidex6-cli -- keygen

# Make a private 0.5 SOL deposit to the shielded pool.
cargo run --release -p tidex6-cli -- deposit \
    --amount 0.5 --note-out parents.note

# Redeem the note into any recipient wallet. The CLI rebuilds
# the offchain Merkle tree from on-chain history via the
# indexer, generates a Groth16 withdraw proof, and submits it
# to the verifier program.
#
# Default is the direct path — the user signs their own tx.
# For full unlinkability (ADR-011) add `--relayer` to delegate
# the tx to a relayer service that signs and pays on the user's
# behalf:
#   --relayer https://relayer.tidex6.com \
#   --relayer-pubkey <relayer_hot_wallet_pubkey>
cargo run --release -p tidex6-cli -- withdraw \
    --note parents.note --to <recipient_pubkey>

快速入门 — SDK

使用 tidex6-client 构建器 API，只需几行代码，即可将屏蔽资金池集成到自己的 Rust 应用中：

use anchor_client::Cluster;
use tidex6_client::PrivatePool;
use tidex6_core::note::Denomination;

# fn demo(
#     payer: &solana_keypair::Keypair,
#     recipient: anchor_client::anchor_lang::prelude::Pubkey,
# ) -> anyhow::Result<()> {
let pool = PrivatePool::connect(Cluster::Mainnet, Denomination::OneSol)?;

// Deposit side: keep the note locally — with stealth payments the recipient
// is never handed the note; they discover the deposit by scanning the chain
// with their own ML-KEM secret.
let (deposit_sig, note, _leaf_index) = pool.deposit(payer).send()?;
std::fs::write("parents.note", note.to_text())?;

// Withdraw side: rebuild the tree, prove, submit.
// Default direct path — user signs the tx themselves.
let withdraw_sig = pool
    .withdraw(payer)
    .note(note)
    .to(recipient)
    .send()?;

// Full unlinkability via the reference relayer (ADR-011): the
// user's keypair never signs the withdraw tx, the relayer pays
// fees and becomes the on-chain payer. Circuit binds the specific
// relayer so a front-runner cannot swap them in mempool.
// let withdraw_sig = pool
//     .withdraw(payer)
//     .note(note)
//     .to(recipient)
//     .via_relayer("https://relayer.tidex6.com", relayer_hot_wallet_pubkey)
//     .send()?;
# drop((deposit_sig, withdraw_sig));
# Ok(())
# }

体验旗舰演示

examples/private-payroll 完整呈现了 Lena 每月给父母汇款，以及她的会计 Kai 根据共享的扫描文件生成税务报告的全过程。三个二进制程序 — sender、receiver、accountant — 均连接到实时主网。

cd examples/private-payroll
./scripts/run_demo.sh

该脚本会将一个终端拆分为三个 tmux 窗格，并在其中并行运行整个流程 — 存款 → 重建 → 证明 → 提现 → 报告 — 全程不到一分钟。

---

架构概览

• Groth16 零知识证明基于 BN254 曲线，通过 Solana 链上的原生 alt_bn128 系统调用验证，每份证明消耗不到 200,000 个计算单位。
• Poseidon 哈希函数，其链下（light-poseidon）与链上（solana-poseidon）组件使用对齐的参数。
• 链下 Merkle 树（深度为 20，容量约为 100 万），并配有链上根环形缓冲区。
• 隐藏金额 — Token-2022 保密转账层（wUSDC / wUSDT 包装铸币池，已在主网和开发网启用）在 Groth16 链接隐私池的基础上，进一步隐藏转账金额。双层保护：池隐藏谁↔谁，保密转账隐藏金额。
• 按存款选择性披露 — 通过抗后量子 ML-KEM-768 审计员标签，用户可以按交易选择谁能看到哪些信息。
• 屏蔽备注 — 抗后量子 ML-KEM-768 加密备注存储在专用链上账户中（与存款事件分开），只有持有查看密钥的人才能读取。支持隐身支付（收款人使用自己的 ML-KEM 密钥扫描链，而非接收备注）和按存款撤销。
• 不可升级的验证器 — 核心证明验证器在部署后即被锁定，因此用户无需永远信任部署者。
• 中继器不可关联性 — ADR-011：位于 relayer.tidex6.com 的参考 HTTPS 服务会签署并提交提现交易，因此用户的钱包不会作为付款方出现在链上。证明会绑定到特定中继器（公开输入），防止抢先交易者改收费用。参考服务的电路内 relayer_fee 策略为零；任何人都可以运行自己的中继器并收取任意费用。此外，存款还会携带可配置的按操作收取的费用（ADR-016）：发送方在存款金额之外支付该费用（也可以为零），签名前会看到费用，费用会以私密方式收取 — 作为隐身备注，在同一屏蔽池内发送给运营方。
• 客户端证明生成 — tidex6-prover-wasm 将 Rust 证明器编译为 WebAssembly。浏览器会在本地解析存款备注，通过 WASM 内的 Poseidon 派生 commitment 和 nullifier_hash，并完全在用户设备上运行 Groth16；在 M 系列 CPU 上耗时约 1.7 秒。用户的 secret 和 nullifier 永远不会传到我们的服务端、中继器或其他任何地方 — 检查已部署 .wasm 工件的 WebAssembly.Module.imports(...) 即可从形式上证明这一点，其中不含任何 fetch / XMLHttpRequest / WebSocket 符号。沙箱本身就是证明。
• 可作为 CPI 原语组合使用 — 任何 Anchor 程序都可以通过 tidex6_verifier::deposit 路由 SOL，并继承完整的隐私保护机制。参考示例 tidex6-tip-jar 展示了这一模式，仅需约 30 行 Rust 代码（基于历史版本 v1 验证器构建并通过 OtterSec 验证；再次使用前，请将其改为指向当前验证器）；薪资发放、版税分账、订阅协议和暗池 DEX 钩子也遵循相同模式。
• 基于 Anchor 1.1.2 构建。

完整技术详情：docs/release/PROJECT_BRIEF.md。

---

技术栈

链上（Anchor 1.1.2 程序）：

• anchor-lang = "=1.1.2"
• groth16-solana = "0.2" — 通过 alt_bn128 系统调用实现 Groth16 验证器
• solana-poseidon = "4" — 原生 Poseidon 系统调用

链下（客户端和证明生成器）：

• arkworks 0.5.x — ark-bn254、ark-groth16、ark-crypto-primitives、ark-r1cs-std、ark-relations、ark-ff、ark-ec、ark-serialize、ark-ed-on-bn254
• light-poseidon = "0.4" — 兼容 circom 的 Poseidon，与链上系统调用逐字节等效
• ml-kem = "0.2"、chacha20poly1305 = "0.10" — 后量子 ML-KEM-768 备忘录加密
• anchor-client = "1.0"、solana-sdk = "4.0"

---

理念

默认关闭，由用户选择开启。协议不强制规定谁能使用它——它构建了一套机制，让诚实行为成为最直接的路径。选择证明自身正当性的用户，会通过自己持有的密钥，向自己选择的对象证明。没有后门，没有密钥托管，也没有恢复服务。该架构对工具的使用方式有明确主张，但对使用者没有任何立场。

完整宣言：docs/release/THE_LEGEND.md。

---

文档

公开文档位于 docs/release/：

• THE_LEGEND.md — 使命、理念与设计原则。
• PROJECT_BRIEF.md — 技术简介：架构、数据流、工作区布局与开发者体验。
• ROADMAP.md — 现在／下一步／以后，以及发布里程碑。
• security.md — 威胁模型、已知限制、漏洞类别与缓解措施。
• CEREMONY.md — 公开可信设置仪式：如何参与、如何验证链、如何完成最终定稿。
• PR_CHECKLIST_PROOF_LOGIC.md — 每个涉及证明逻辑的 PR 都必须遵循的 Fiat-Shamir 规范检查清单。
• adr/ — 架构决策记录（十七份 ADR，涵盖承诺方案、Merkle 树存储、nullifier 存储、ElGamal 实现、不可升级验证器、构建器模式与宏、关键功能、池隔离、证明生成时间预算、备忘录传输、中继器架构、不透明票据格式、浏览器端证明生成、在专用账户中存储后量子 ML-KEM 备忘录、双层机密金额架构、可配置费用与私密收款，以及公开仪式的最终定稿）。

以上所有文档均提供俄语翻译，位于 docs/release/ru/。

---

工作区布局

tidex6/
├── crates/
│   ├── tidex6-core/             — commitments, nullifiers, Merkle tree, keys, Poseidon, DepositNote, pqc (ML-KEM-768)
│   ├── tidex6-circuits/         — arkworks R1CS: DepositCircuit, WithdrawCircuit<20> with relayer binding
│   ├── tidex6-indexer/          — offchain Merkle tree rebuild from on-chain DepositEvent logs
│   ├── tidex6-client/           — Rust SDK with builder pattern API (PrivatePool, DepositBuilder, WithdrawBuilder direct + via_relayer)
│   ├── tidex6-cli/              — developer CLI: `tidex6 keygen | deposit | withdraw | accountant`
│   ├── tidex6-prover-wasm/      — ADR-013: Rust prover compiled to WebAssembly (~1.7 s in-browser proof, secret never leaves the tab); excluded from workspace, built via wasm-pack
│   ├── tidex6-notifier-client/  — bitcode IPC client for the Telegram notifier microservice (shared between tidex6-web and the relayer service)
│   ├── tidex6-ui-shared/        — shared brand/css/template assets embedded via include_dir!; single source of truth for tidex6-web and the relayer status pages
│   └── tidex6-day1/             — Day-1..15 mainnet flight harnesses (Day-1 gates, Day-5 deposit, Day-11 withdraw, Day-12 negative, Day-13 accountant)
├── programs/
│   ├── tidex6-verifier/         — singleton non-upgradeable Anchor verifier program (deployed at CSDD31Zm…sJhcd)
│   ├── tidex6-tip-jar/          — ADR-013 reference CPI integration example (deployed + OtterSec-verified Apr 2026, deployment since closed)
│   ├── tidex6-confidential-amounts/  — early v0.3 Token-2022 Confidential-Transfers exploration (not on mainnet yet)
│   └── tidex6-caller/           — test CPI caller used by Day-1 gate 4
├── examples/
│   ├── private-payroll/         — flagship example: sender, receiver, accountant binaries
│   └── confidential-amount-demo/  — companion to programs/tidex6-confidential-amounts (v0.3 exploration)
├── brand/                        — logo assets, brandbook, Solscan PNGs
└── video/                        — pitch, demo, and weekly progress scripts

External repos (sibling path-deps, not part of this workspace):
  - tidex6-web        — production website at tidex6.com (5-microservice IPC architecture)
  - tidex6-relayer    — production relayer at relayer.tidex6.com (Axum HTTPS service, ADR-011)

Planned for v0.2, not yet in the workspace:
  - Proof of Innocence circuit + Association Set Provider (ADR-007 v2)
  - Relayer hardening: HSM keypair, multi-sig cold wallet, federated discovery
  - Ergonomic proc macros (`#[private_withdraw]` etc.) layered over the builder API (ADR-006)
  - Auditor key lifecycle — BIP32-style HD derivation for forward secrecy (extends ADR-014)

---

许可证

可根据你的选择，采用 MIT 或 Apache-2.0 许可证进行双重授权。

没有代币，也没有 SaaS 套餐。Groth16 验证器是一种无需许可、不可变的基础组件，任何人都可以集成；隐藏金额池则是由运营方部署的服务，并可配置每次操作的费用（也可以为零）。

---

联系方式

欢迎在 GitHub 上提交问题和拉取请求。

tidex6.rs — 我授予访问权限，而非许可。