Tag: artworks
-
CertiK (CTK) announces a creative contest
adminCoins CertiK (CTK) is a formal verification framework to mathematically prove that smart contracts and blockchain ecosystems are bug-free and hacker-resistant. …