Communitygithub.com

dmustapha/confid9ntial-fhevm-skill

AIコーディングエージェントがZama FHEVM機密スマートコントラクトを正しく記述できるようにするプロダクション対応のSKILL.md:20のアンチパターン、3つのテンプレート、ライブSepoliaデモ

confid9ntial-fhevm-skill とは?

このスキル(dmustapha/confid9ntial-fhevm-skill)は、AIコーディングエージェント(Claude CodeやCursorなど)がZama FHEVM(完全準同型暗号仮想マシン)上で機密スマートコントラクトを安全かつ効率的に開発するために設計されたガイドです。20の一般的なアンチパターンを明示し、開発者が陥りがちな脆弱性や設計ミスを回避するためのベストプラクティスを提供します。さらに、即座に利用可能な3つのテンプレート(トークン、オークション、投票など)を含み、Sepoliaテストネット上で動作するライブデモを備えているため、実際のトランザクションを通じて動作を検証できます。このスキルは開発者やAIエージェントに対し、FHEVMの独自機能(暗号化された入出力、ブートストラッピング、ノイズ管理など)を正しく扱うための実践的な知識を提供し、安全な機密コントラクト開発の生産性を大幅に向上させます。

対応✓Claude Code~Codex CLI~Cursor
npx skills add dmustapha/confid9ntial-fhevm-skill

お気に入りのAIに質問する

このエージェントスキルを事前に読み込んだ状態で新しいチャットを開きます。

ドキュメント

confid9ntial-fhevm-skill は何をしますか?

プロダクション対応のSKILL.mdにより、AIコーディングエージェントがZama FHEVM機密スマートコントラクトを正しく記述できるようにします:20のアンチパターン、3つのテンプレート、ライブSepoliaデモ。

概要

このスキルは、Zama FHEVM(完全準同型暗号仮想マシン)上で機密スマートコントラクトを開発するための包括的なガイドを提供します。FHEVMはSolidityコントラクト内で暗号化されたデータの計算を可能にし、プライバシーを保ちながらブロックチェーン上でアプリケーションを実行できます。

主な機能

  • 20のアンチパターン:FHEVM開発でよくある間違いと、それらを回避する方法を詳述。
  • 3つのテンプレート:トークン、オークション、投票コントラクトのすぐに使えるテンプレート。
  • ライブSepoliaデモ:実際のトランザクションを見ることができるテストネットデプロイメント。

対応プラットフォーム

  • Claude Code
  • Cursor
  • Codex
  • その他のAIコーディングエージェント

使用方法

  1. AIエージェントにこのSKILL.mdを読み込ませます。
  2. 新しいFHEVMプロジェクトを開始するか、既存のものに統合します。
  3. テンプレートから始めるか、アンチパターンガイドを参照してください。
  4. Sepoliaテストネットでライブデモをテストします。

アンチパターン一覧(抜粋)

  1. 生の秘密値の直接比較:require(amount == 42) などの直接比較は避けてください。常に TFHE.isEqual() を使用します。
  2. 暗号化されていないループ制御:ループ変数はプレーンテキストのままにし、機密データはループ内で処理します。
  3. ブートストラッピングの無視:高ノイズの暗号文は再暗号化(ブートストラッピング)が必要です。
  4. ガス制限の未考慮: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

参考リンク

関連スキル