기본 정보
Yoichi Hirai is the head of a consulting company and has been engaged in software formal verification for more than ten years. Previously, he was an Ethereum formal verification engineer and was responsible for the virtual machine project.
Yoichi Hirai is the head of a consulting company and has been engaged in software formal verification for more than ten years. Previously, he was an Ethereum formal verification engineer and was responsible for the virtual machine project.