confid9ntial-fhevm-skill は何をしますか?
プロダクション対応のSKILL.mdにより、AIコーディングエージェントがZama FHEVM機密スマートコントラクトを正しく記述できるようにします:20のアンチパターン、3つのテンプレート、ライブSepoliaデモ。
概要
このスキルは、Zama FHEVM(完全準同型暗号仮想マシン)上で機密スマートコントラクトを開発するための包括的なガイドを提供します。FHEVMはSolidityコントラクト内で暗号化されたデータの計算を可能にし、プライバシーを保ちながらブロックチェーン上でアプリケーションを実行できます。
主な機能
- 20のアンチパターン:FHEVM開発でよくある間違いと、それらを回避する方法を詳述。
- 3つのテンプレート:トークン、オークション、投票コントラクトのすぐに使えるテンプレート。
- ライブSepoliaデモ:実際のトランザクションを見ることができるテストネットデプロイメント。
対応プラットフォーム
- Claude Code
- Cursor
- Codex
- その他のAIコーディングエージェント
使用方法
- AIエージェントにこのSKILL.mdを読み込ませます。
- 新しいFHEVMプロジェクトを開始するか、既存のものに統合します。
- テンプレートから始めるか、アンチパターンガイドを参照してください。
- Sepoliaテストネットでライブデモをテストします。
アンチパターン一覧(抜粋)
- 生の秘密値の直接比較:
require(amount == 42)などの直接比較は避けてください。常にTFHE.isEqual()を使用します。 - 暗号化されていないループ制御:ループ変数はプレーンテキストのままにし、機密データはループ内で処理します。
- ブートストラッピングの無視:高ノイズの暗号文は再暗号化(ブートストラッピング)が必要です。
- ガス制限の未考慮:FHE演算は通常のEVM操作よりも高コストです。
gasLimitを適切に設定してください。
テンプレート
ERC-20風機密トークン
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.20;
import "@zama-ai/fhevm/contracts/FHE.sol";
contract ConfidentialToken {
mapping(address => euint64) private balances;
// ... その他の実装
}
封印入札オークション
// ... 詳細はテンプレートファイルを参照
機密投票
// ... 詳細はテンプレートファイルを参照
ライブデモ(Sepolia)
デプロイされたコントラクトアドレス:0x1234...abcd(Sepoliaテストネット)
トランザクション例:0x5678...efgh