WatchlistCoins

CertiK team completed the formal verification of the Ink cross-chain protocol smart contract and issued a code review report.

Ink
Ink
Twitter
11 Jul 2018, 02:08
CertiK team completed the formal verification of the Ink cross-chain protocol smart contract and issued a code review report. CertiK concludes that INK XC protocol contract implementation meets 100% of the specification and is hack-resistant.