基本情報
Hanzhi Liu 氏は Nubit の共同設立者です。上海交通大学で理学士号を取得し、現在は UCSB で博士課程に在籍しています (休学中)。彼の研究は、プログラム検証、言語セマンティクス、コンパイラ最適化が中心です。彼は Ethereum Foundation PSE のほとんどのプロジェクトの正式な証明を書いており、ゼロデイ脆弱性を多数発見しています。彼は、S&P 2024 に採択された ZKP 回路の認証に関する注目すべき論文を執筆し、オンチェーン攻撃の緩和に取り組んでいます。