菜单
Generate zk-DEx redeem note. Run `python generate_redeem.py --sk <key> --value <amount>` to create a Poseidon note hash for redemption.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
| name | zk-dex-redeem-python |
| description | Generate zk-DEx redeem note. Run `python generate_redeem.py --sk <key> --value <amount>` to create a Poseidon note hash for redemption. |
Python-based redeem note generation for zk-DEx. Creates a 7-input Poseidon note hash compatible with the circom redeem (mint/burn) circuit. The owner's secret key is used to derive the public key, which becomes the note owner. Uses the shared zkdex_lib library (pure Python, no npm/web3 dependency).
zkdex_lib/ (shared library: Poseidon hash, Note, Account)# 노트만 생성
python generate_redeem.py \
--sk <owner_secret_key> \
--value <amount> \
--token-type <hex> # optional, default: 0x0 (ETH)
--salt <hex> # optional, auto-generated if omitted
# 노트 + ZK proof 생성
python generate_redeem.py \
--sk <owner_secret_key> \
--value <amount> \
--proof
{
"noteHash": "0x2367a0c1...",
"noteRaw": {
"owner0": "0x...",
"owner1": "0x...",
"value": "0x...",
"token": "0x...",
"vk0": "0x...",
"vk1": "0x...",
"salt": "0x..."
},
"owner": {
"address": "c63db0d1...",
"publicKey": { "x": "0x...", "y": "0x..." }
},
"proof": {
"a": ["<uint256>", "<uint256>"],
"b": [["<uint256>", "<uint256>"], ["<uint256>", "<uint256>"]],
"c": ["<uint256>", "<uint256>"],
"input": ["<noteHash>", "<value>", "<tokenType>"]
}
}
--proof flag.
input: public signals [noteHash, value, tokenType]generate_redeem.py: CLI script for redeem note generationGlossary of core terms used in Tokamak zk-DEx: Note, Account, BabyJubJub, Poseidon hash, ZKDIP, zk Address, etc.
Generate BabyJubJub keypair for zk-DEx. Run `python generate_keypair.py -p <password>` to create sk/pk with Poseidon-based address and encrypted keystore JSON.
Generate zk-DEx mint note. Run `python generate_mint.py --owner-pk-x <hex> --owner-pk-y <hex> --value <amount>` to create a 7-input Poseidon note hash for minting.
Generate zk-DEx transfer note. Run `python generate_transfer.py --sk <key> --to-pk-x <hex> --to-pk-y <hex> --value <amount>` to create a Poseidon note hash for transfers.