Holdex and CertiK partner to provide compliance and security to token sale campaigns

Holdex, a compliance-focused decentralized fundraising platform, and CertiK, one of the top smart contract auditing and blockchain security firms, today announced a partnership and commitment to serve tokenized fundraising campaigns.

Founded at the end of November 2017 by blockchain enthusiasts Vadim Zolotokrylin, Giorgia Pellizzari, and Mark Curchin, Holdex aims at making smart contract-based fundraising accessible to the many projects while providing all the tools necessary to stay compliant and secure.

“We firmly believe that raising funds by selling tokenised securities is a perfectly natural evolution after the ups and downs of utility token sale campaigns. The professional and institutional investment community needs to feel confident and comfortable investing again, which is why we need partners such as CertiK in our network”, says Vadim, Holdex CEO. He continued: “Our goal with Holdex platform is to provide projects with access to everything they need — whether it is technology, knowledge or connections — to inspire trust and confidence in those willing to invest in them.”

Founded in 2017 by Prof. Zhong Shao from Yale University and Prof. Ronghui Gu from Columbia University, CertiK, is a NYC-based software security company providing world’s leading Formal Verification framework for smart contracts and blockchain ecosystems. . 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.

Partnering with CertiK is only the latest milestone in Holdex’ journey towards creating a global network to top providers for Security Token Offerings (or STOs). Holdex already boasts strategic partnerships with leading players in the industry of decentralised and trustless transactions such as Blockpass, Hosho, Entersoft and ChainSecurity, while integrating in its platform high profile compliance providers like Dow Jones and Coinfirm.

“Smart contracts intend to transfer trust from people to programs, which means that smart contracts need to be 100% reliable. Based on what we have seen in the market, nothing could be further from the truth. The open-source, self-executing, and irreversible nature of smart contracts makes it a prime target for exploitation by malicious hackers. Among the various approaches to ensure software reliability and security, Formal Verification is the gold standard, offering mathematical assurances against hacks by computing all possible scenarios before they can be exploited” says Yvan Nasr, Head of Business Development of CertiK. “By partnering with Holdex, CertiK will work with highly qualified teams and successful projects that take security seriously and contribute to the maturation of the space.”