Conduct audit for G^2 with Trail of Bits to ensure smart contract security