Bunzz pte ltd (Singapore, CEO: Kenta Akutsu, hereinafter referred to as “Bunzz”) is pleased to announce that it has welcomed Associate Professor Kohei Suenaga, a computer science researcher at Kyoto University, as a technical advisor, and has begun an initiative to detect vulnerabilities and profit opportunities in smart contracts using computer science approaches such as formal verification and fuzzing.
Research and Development History
Bunzz provides ” Bunzz Audit ” to solve the industry issue of security audits of smart contracts in the blockchain field. The root cause of the industry issue is manual audits by humans, but our unique method of brute-force searching of vulnerability databases with LLM has been mechanized, resulting in approximately 90% cost reduction and a short delivery time of 48 hours.
Bunzz’s R&D team believes that such a mechanical approach effectively detects “unexpected behavior of smart contracts” and can be used in fields other than auditing. Specifically, the development of trading methods in DeFi. However, there are limitations to using only LLM and databases, and we believe that a technical breakthrough can be achieved by formally defining the behavior of contracts using program semantics methods from a computer science approach, such as formal verification and fuzzing, and discovering edges.
Therefore, we have decided to welcome Associate Professor Kohei Suenaga of Kyoto University, who is at the forefront of computer science in the blockchain field, especially in the application of formal verification methods, as a technical advisor.
The Potential of Blockchain × LLM × Computer Science
Associate Professor Suenaga’s Achievements in the Blockchain Field
He participated in the development of the static verification tool “Helmholtz” for Tezos , a blockchain that provides a friendly environment for DApp developers and has contributed to the security of the Tezos ecosystem. He is also a member of the development team for “iCon,” a derivative of Helmholtz that can calculate interactions between multiple contracts and the behavior of contracts before deployment, and has a track record at a global level in the field.
Synergy with Bunzz R&D Team
Bunzz has been developing blockchain-related products since 2019, deepening its knowledge of smart contracts, and since 2022 has been accumulating know-how by applying LLM to contract analysis and auditing, building vulnerability databases, etc. Combining blockchain, LLM, and computer science to create a breakthrough requires advanced research and development that crosses each area of expertise. Bunzz will spare no effort in applying its blockchain and LLM technologies and implementation capabilities, aiming to develop products that are meaningful to the industry.
Message from Bunzz CEO, Kenta Akutsu
Applications on the blockchain behave autonomously and are decentralized through “smart contracts.” Digital assets are basically exchanged P2P through these contracts, so the validity and security of the programs must be objectively evaluated. Against this background, applications such as formal verification and fuzzing, which can mathematically verify the operation of contracts, are gaining attention.
Associate Professor Suenaga is a researcher with world-class knowledge and experience in this field. We are pleased that he will join our R&D team. The Bunzz team will provide the technical know-how of LLM that we have cultivated so far and knowledge of the business logic of the DeFi market, and aim to develop valuable products through collaboration with the professor.
Message from Associate Professor Suenaga
I have recently joined the company as a technical advisor. My specialty is a method called formal verification, which is a method of verifying software based on mathematical methods. I believe that this method is truly valuable not only for regular software but also for software such as smart contracts, which handle assets with high value and where defects have a high possibility of damaging them. I will do my best to do valuable work!
