Underpinning Cardano are three core objectives guiding its roadmap: the growth of the community and its needs, a distributed and resilient network true to the original vision of Satoshi Nakamoto and creating checks and balance between research and development so that commercial interest never eclipse the peer review foundation of the platform.
This is why Cardano isn’t caving to pressure and with several external auditors as Grimm, RPI Cryptography Group and FP watching quality and holding IOHK accountable, operation guidelines are clear. During the Malta Blockchain Summit, Charles Hoskinson the de facto leader of Cardano said there were plans of IOHK relocating and opening offices in Wyoming.
For activation of Voltaire, the final phase of Cardano development where the platform will be completely decentralized and fully functional, IOHK oversees development and currently work is on-going at Byron—the boot-trap phase. Byron is coded from the ground up using Haskell programming language. On the other hand, Haskell is debugged using Formal Verification where math cross checks every section of code before deployment.