2.9.26
2026年11月2日リリース
公式 Keylatch ウェブサイト
Smart Contract Audit ソリディティ用エージェント
Keylatch 2.9.26 は、組み込みツールを使用して、Solidityスマートコントラクトのセキュリティ監査結果を確認します。チャット内で変更が行われる前に承認できるよう、「Ask first」モードを使用します。
メインのコントラクトファイルを読み込み、外部呼び出しを見つけ、プロジェクトフォルダ内の潜在的なリエントランシーのリスクをすべてリストアップしてください。
- list_dir
./contracts3ファイル - read_file
./contracts/Token.sol読み込み済み - grep
external call2件の一致 - write_file
./findings-log.txt保存済み - Shell
your test commandexit 0
次のステップに進む前に確認を待機中却下承認
34 MB
セットアッププログラムダウンロード
25 MB
単一 .exe ファイル
13
インターフェースオプション
Windows 10/11
x64 対応
SHA-256
certutil で検証
Smart Contract Audit のプロセス
Keylatch はファイルを検索し、チェックを実行し、人が Smart Contract Audit プロセスで各結果を注意深く確認する間にメモを書き込みます。Keylatch は支援します。反復的なステップを自動化することで、論理エラーに集中できます。スコープの定義と手動でのコード読解は、正確性のために不可欠です。
ローカルツールによる Solidity 監査
Keylatch は list_dir を使用してコントラクトファイルの場所を特定し、read_file でソースコードを読み込みます。その後、grep でリエントランシーの原因となりうる外部呼び出しをすべて検索します。これが Solidity 監査です。まずは一時停止します。編集が行われる前に一時停止するには「Ask first」を使用します。エージェントは発見事項をログファイルに書き込み、差分を表示します。このアプリは監査機関ではありませんが、Windows 10/11 でコードを確認するのを支援します。コードが変更された後、監査の参照は維持されますか？
ツールトレース
list_dir ./contracts → 3 files
read_file Token.sol → loaded
grep external call → 2 matches
write_file findings → saved
Shell your test command → exit 0自動化された Smart Contract Audit のステップ
Keylatch は Windows 10/11 (x64) 用の自律型 AI エージェントで、バージョンは 2.9.26 です。自動化されたスマート契約監査は Shell を使用して静的チェッカーを実行します。レビュー完了。エージェントは grep を使用してコード内のすべての外部呼び出しを検出します。その後、read_file を使用してコマンドの出力を確認します。レビュー中に処理されたファイル数を表示します。エージェントは write_file を使用して、確認用の発見事項ノートを作成します。
ツールトレース
list_dir . -> lists contract files and test directories
read_file Token.sol -> reads the source code for review
grep -n "external" Token.sol -> finds lines matching 'external'
Shell -> runs your test command and your static-check command
write_file findings-log.txt -> saves the findings logSolidity 0.8 での算術オーバーフローのチェック
Windows 10/11 用の Keylatch 2.9.26 は、grep を使用してコントラクト内の状態変更をすべて検出し、所有権ロジックを検証できるようにします。その後、edit_file を使用してコントラクトに対する修飾子（modifier）を提案します。差分を確認してください。このステップはスマートコントラクト監査プロセスの一部です。承認モードには、編集操作中の安全性のための「Ask first」が含まれます。エージェントは Shell を使用してテストコマンドをローカルで実行します。差分が表示され、レビュー直後に変更を承認できます。
Solidity 0.8 でのオーバーフローチェック
エージェントは read_file を使用して数学関数を読み込み、Solidity 0.8 より前のコードのオーバーフローをチェックします。これにより、算術ロジックが人間によって確認されます。ログを確認してください。問題が見つかった場合の修正を確認するためにテストコマンドを実行します。grep は人間が読めるように外部呼び出しをリストアップします。grep は、初期の web3 アプリケーションにおける一般的なセキュリティギャップを見つけます。監査証跡のために、正確なコードバージョン付きでレポートを保管してください。
一般的なチャットアシスタントとの違い
Keylatch バージョン 2.9.26 はツール自体を実行するため、すべてのアクションは実際の結果を備えたカードとしてチャットに表示され、ファイル差分を確認できます。レビュー完了。
| 一般的なチャットアシスタント | Keylatch | |
|---|---|---|
| ツール実行 | コマンドを提案 | コマンドを実行 |
| ファイル変更 | テキストを表示 | 差分を表示 |
| 承認 | なし | Ask first |
| 結果 | テキストで結果を説明 | 実際の終了コード |
レビューの開始方法
- Windows 10 または 11 用の 34 MB のセットアッププログラムをダウンロードします。
- インストーラーを実行し、デスクトップでエージェントを起動します。
- チャットの作業ディレクトリにプロジェクトフォルダを開きます。
- モデルを選択し、テストボタンを押して
誰が監査に Keylatch を使用するか
初心者は Keylatch を使用してレビューワークフローを学び、すべてのツールアクションを確認することで、コード変更の背後にあるロジックを明確に理解します。修正してください。Solidity 0.8 およびそれ以降のバージョンでは、算術演算がデフォルトでチェックされるようになりました。
実務者は Keylatch を使用して独自のチェックを実行し、後続の分析のために発見事項のメモを保管します。エージェントはログファイルを保存します。Keylatch は支援します。エージェントはログを保存し、発見事項を確認できるようにします。
Keylatch はユニットテストを実行し、終了コードを検証するため、チームレビューのために正確なコードバージョン付きの発見事項ノートが保管されます。まずレビューしてください。すべてのステップがチャット履歴に記録されます。
よくある質問
Smart Contract Audit とは？
スマートコントラクト監査とは、コントラクトコードを構造化されたレビューで、重大度と修正案を伴う発見事項の書面リストで終わります。リスクを低減します。コードは公開されているため、バグは恒久的な損失を意味する可能性があります。
codewillmadeit.com は公式の Keylatch ウェブサイトですか？
はい、codewillmadeit.com は公式の Keylatch ウェブサイトです。インストーラーの SHA-256 チェックサムを、Windows コマンド certutil -hashfile を使用して公開されたマニフェストと比較して検証できます。一致を確認してください。チェックサムが一致した後、[詳細情報] を押して [それでも実行] を押してください。
コントラクトがアップグレードされた後も監査は適用されますか？
レポートはレビューされたコードバージョンとスコープのみをカバーするため、後続の変更にはコントラクトが安全であることを確認するために新しいレビューが必要です。いいえ、適用されません。アップグレードは古い監査の内容を変更するため、新しいバージョンには新しいレビューが必要です。
自動化されたレビュープロセスはどのように機能しますか？
自動化されたレビューは、静的チェックと AI を使用して問題を検出し、デプロイ前に発見事項を確認し、誤検知を却下するために手動検証を必要とします。人間の判断が不可欠です。ツールはセキュリティに関する最終決定のためにレビュアーを完全に置き換えるものではありません。
Smart Contract Security Audit の費用はいくらですか？
プロフェッショナルな監査には固定価格がなく、コストは専門家によってレビューされるコードの量と複雑さに依存します。見積もりを依頼してください。単純なトークンはカスタムロジックよりも安価で、レビュープロセスを完了するのにより少ない時間を要します。
Keylatch はプロフェッショナルな監査を置き換えることができますか？
いいえ、実際の資金が関与する場合には、自動化されたチェックはプロフェッショナルな監査を置き換えません。発見事項を自分で確認する必要があります。確認してください。エージェントはコードをデプロイする前に問題を見つけるのを支援します。
チームはコントラクトの監査をどのように社内で行うか？
社内監査は、スコープを定義し、コントラクトが何をするべきかを文書化し、ロジックがデプロイ前に検証され、変更がエージェントによって追跡されるプロセスです。Keylatch は支援します。Shell コマンドを実行し、詳細な出力を確認用に保存します。
今すぐコントラクトを確認
公式の Keylatch セットアッププログラム（約 34 MB、Windows 10 または 11 で動作）をダウンロードして、デプロイ前に Solidity スマートコントラクトのセキュリティ脆弱性を確認してください。certutil を使用して SHA-256 チェックサムがマニフェストと一致することを確認してください。ハッシュを比較してください。
Windows 用 Keylatch をダウンロード ↗サイトを検索
このウェブサイトのすべてのページは 20 言語で利用可能です。アプリのインターフェース自体は 13 言語に対応しています。
製品詳細 ↗ モデル設定 ↗ 監査ワークフロー ↗ インストーラーをダウンロード ↗ よくある質問 ↗ プライバシーポリシー ↗
