Universal Protocol Alliance announced last week CertiK, a blockchain security technology provider, has joined the organization. Founded in 2017, Certik describes itself as a blockchain and smart contract verification platform founded by top formal verification experts from Yale and Columbia University. The company stated:
“Different from the traditional testing approaches, CertiK attempts to mathematically prove blockchain ecosystem and smart contracts are hacker-resistant and bug-free. CertiK’s key features include a layer-based decomposition approach, pluggable proof engine, machine-checkable proof objects, certified DApp libraries, and smart labelling.”
The Universal Protocol Alliance is notably a growing coalition of blockchain firms that have united around a new universal transparent reserve standard that aims to attract the next 100 million users to cryptocurrency. The organization revealed that by joining its growing community, CertiK will lend its smart contract security, leveraging mathematical proofs to audit a host of tokens that will be launched on the organization’s platform, starting with the Universal Dollar to be released shortly. Dan Schatt, Chairman of the Universal Protocol Alliance and also President of Cred, stated:
“CertiK is one of the most trusted blockchain security technology companies in the world and is on the cutting edge of research and innovation. Their involvement in the UP Alliance further demonstrates UPP’s commitment to smart contract code integrity, transparency and value substantiation, the foundational elements needed to give everyone the confidence in using universal tokens the Alliance will be minting the coming weeks, months and years.”
Daryl Hok, COO of CertiK, went on to add:
“Bringing the next 100 million users into cryptocurrency is a bold, but necessary mission for blockchain technology. It is a milestone that cannot be achieved alone. We are honored to join this prestigious group of organizations and excited to use our technology to provide the most rigorous security assurances and facilitate greater adoption.”