tohka

技能#

• 编程语言：熟练掌握 C/C++/Python，熟悉 Go/Rust
• 程序分析：熟悉静态分析、符号执行、形式验证和模糊测试。
• 区块链：智能合约安全专家，熟悉区块链架构和共识算法的一般知识。

其他#

• 研究兴趣：区块链安全、形式验证等。