Blockchain, Security, Formal Verification, Auditing, Smart Contracts.
TUSD. To request the audit/verification of your smart contracts, please email audit@certik.org or visit certik.org to submit the request. Twitter: https://twitter.com/certikorg Reddit: https://www.reddit.com/r/CertiKOrg/ Telegram: https://t.me/certikorg LinkedIn: