私についてスキル# プログラミング言語：C/C++/Python の経験あり、Go/Rust にも慣れています プログラム解析：静的解析、シンボリック実行、形式検証、ファズに精通 ブロックチェーン：スマートコントラクトセキュリティの専門家、ブロックチェーンアーキテクチャとコンセンサスアルゴリズムの一般知識に精通 その他# 研究興味：ブロックチェーンセキュリティ、形式検証など ---