Update: We received this challenge from @0xnirlin to Bunzz Audit, an AI-based audit firm. We bravely accepted it because we know the value of our approach and products. Subsequently, @mafellows and @ChaseTheLight99 also joined the challenge. From @code4rena , @0xDjangoOnChain has joined as a judge. We think this event is very meaningful, wonderful for the Audit Industry. However, there has been no contact from Nirlin. He said he'd start after returning from the EID holidays, but nothing has happened. Are we going to win without a fight? Or, is there anyone who would like to challenge us on behalf of Human Audit in place of Nirlin?