Ink will cooperate with CertiK to conduct a comprehensive formal verification for Ink's cross-chain smart contracts and program

16 May 2018, 10:36

Ink will cooperate with CertiK to conduct a comprehensive formal verification for Ink’s cross-chain smart contracts and program testing to enhance security.