tohka

技能#

• 程式語言：熟悉 C/C++/Python，熟悉 Go/Rust
• 程式分析：熟悉靜態分析、符號執行、形式驗證和模糊測試。
• 區塊鏈：智能合約安全專家，熟悉區塊鏈架構和共識算法的一般知識。

雜項#

• 研究興趣：區塊鏈安全、形式驗證等。