Founded in 2018 by professors of Yale and Columbia, CertiK is a pioneer in blockchain security, utilizing best-in-class Formal Verification and AI technology to secure and monitor blockchains, smart contracts, and Web3 apps. Ariva team in collaboration with Certik team ensures the security of all the services that we provide. You can check Certik documentation about Ariva below.
Hacken was founded in 2017 in Kyiv, Ukraine by security specialists and hackers to deliver cybersecurity solutions to companies and individuals, making histories of success. From the very beginning, we have been considering security and privacy as part of human rights. Now we have about 300 successful cases of providing our services to businesses, including bug bounty programs, penetration testing and more.