Official news, on June 9, 2022, StoneDAO announced a strategic cooperation with CertiK, a well-known formal verification company in the…