Inside CertiK's Independent Security Research on Besu CertiK