CertiK is proud to announce a successful security audit of the HUMAN Protocol’s HMT token contract.

The HUMAN Protocol is a broadly applicable approach to organizing, evaluating, and compensating labor. It quantizes complicated tasks, factoring them into the smallest practical sub-tasks. This enables frictionless, universal distribution of work, mechanical evaluation of the quality of that work, and automatic payment while limiting required trust in any actor.

hCaptcha, a leading dApp using the HUMAN Protocol, sponsored the audit of the open-source code. The HUMAN Protocol adds features at the token level like a Bulk API to enable highly efficient one-to-many micropayments while maintaining compatibility with the standard Ethereum blockchain.

hCaptcha presents a system to root out bots — one that’s applicable and compatible across a wide variety of platforms and hosts, serving as a drop-in replacement for Google’s reCAPTCHA.

As one of the largest dApps, hCaptcha needed a partner capable of securing and checking core infrastructure code in order to help secure their front-end security offering across the landscape.

As hCaptcha continues its excellence in securing the front-end, CertiK is proud to help hCaptcha validate the security of the underlying ledger technology in the HUMAN Protocol. By partnering with CertiK, hCaptcha was able to leverage our Formal Verification technology to secure the correctness of their ledger programs and data across all points of access.

CertiK is proud to collaborate with hCaptcha to solidify and improve the hCaptcha product to further our shared security-first mission.

The Audit Process

The auditing was conducted by CertiK’s team of experienced security engineers and consultants and was conducted utilizing CertiK’s Formal Verification Platform, Static Analysis, and Manual Review.

Overall, the team found the HUMAN Protocol HMT token contract code to follow good practices. With the delivery of the audit report, CertiK concludes that the contract is not vulnerable to any classically known anti-patterns or security issues.

CertiK would like to congratulate the HUMAN Protocol team for passing the rigorous verification process and wishes them luck on their project at large — and to reiterate our shared belief in our mutual mission of improved security.

About CertiK

CertiK is a blockchain and smart contract verification platform founded by top Formal Verification experts from Yale and Columbia University. Incubated by Binance Labs, CertiK has strategic partnerships with the world’s leading crypto exchanges such as Binance, OKEx, and Huobi, as well as protocols such as NEO, ICON, and QuarkChain.

CertiK’s formal verification method works differently than traditional testing approaches: rather than working manually, CertiK mathematically proves blockchain ecosystem and smart contracts are hacker-resistant and bug-free at scale. CertiK has secured over $4B in asset value, auditing several projects across all major protocols, including BNB, Terra, Crypto.com, and 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: https://www.linkedin.com/company/certik

About hCaptcha

hCaptcha is a tool for keeping out bots and spam online. As a drop-in replacement for Google’s reCAPTCHA, hCaptcha pays publishers for correct human answers their visitors submit on anti-bot tests. This labor provides AI/ML companies with labeled data as websites keep out spam.

hCaptcha is used by site publishers to monetize their web traffic while providing a more reliable anti-bot and anti-spam solution for users and lower-cost data annotation for AI/ML companies.

It is powered by the HUMAN Protocol, an open decentralized protocol for human review that runs on the Ethereum blockchain.

Visit hCaptcha.com for more information. hCaptcha is a product of Intuition Machines, Inc., (imachines.com) an AI/ML company with a focus on visual domain machine learning at scale.