Privacy Pools 智能合約實現

合約架構

PrivacyPool/
├── PrivacyPool.sol      # 主合約
├── MerkleTree.sol       # Merkle 樹
├── Verifier.sol         # ZK 驗證器
└── interfaces/
    └── IPrivacyPool.sol

主合約核心

contract PrivacyPool {
    // Merkle 樹根
    bytes32 public commitmentRoot;
    
    // 已花費的 nullifier
    mapping(bytes32 => bool) public spentNullifiers;
    
    // 存款
    function deposit(bytes32 commitment) external payable {
        // 驗證存款金額
        require(msg.value >= MIN_DEPOSIT);
        
        // 插入 Merkle 樹
        _insert(commitment);
        
        emit Deposit(commitment, msg.sender);
    }
    
    // 提款
    function withdraw(
        bytes calldata proof,
        bytes32 root,
        bytes32 nullifierHash,
        address payable recipient,
        uint256 fee
    ) external {
        // 驗證 ZK 證明
        require(verifier.verify(proof, root, nullifierHash, recipient), "Invalid proof");
        
        // 防止雙花
        require(!spentNullifiers[nullifierHash], "Already spent");
        spentNullifiers[nullifierHash] = true;
        
        // 轉帳
        recipient.transfer(msg.value - fee);
    }
}

安全檢查清單

• [ ] 重入攻擊防護
• [ ] 整數溢出檢查
• [ ] Nullifier 重複使用檢查
• [ ] Merkle 根有效性驗證
• [ ] 存款金額下限

結語

合約實現要小心再小心，上線前必須審計。

COMMIT: Add Privacy Pools smart contract implementation guide