Back to all stories
Case Study
CertiK and TRON are Collaborating
CertiK and TRON are Collaborating

CertiK, the smart contract and blockchain security firm, is collaborating with TRON, a platform dedicated to the establishment of truly decentralized internet and its infrastructure.

By working together, both CertiK and TRON redouble their commitment to a secure and robust decentralized community, empowering the blockchain ecosystem within the TRON network and beyond.

TRON is dedicated to the establishment of a truly decentralized Internet and its infrastructure by offering public blockchain support with high throughput, scalability, and availability for Decentralized Applications (DApps).

Since late April, there has been a steady increase of DApps in TRON, with the number of smart contracts increasing by 12.5% in a week. This growth has also stimulated the DApp trading volume on TRON, reaching 505,000 within a 24-hour time frame rising by 33% from the week before. Security is paramount for TRON, and, in working with CertiK, TRON has increased its security efforts against code vulnerabilities and malicious attacks of DApps.

Blockchain ecosystems are built on trust and proof, which establish the foundation of “consensus” that allows for network decentralization. To certify this proof, CertiK, has developed patented Formal Verification technologies that are used by best-in-class security experts to offer smart contract auditing, penetration testing, and threat detection for blockchain.

This collaboration with CertiK allows TRON to continue to gain momentum with its industry-leading product at scale, empowering TRON developers to spend more time creating — and less time worrying.

To learn more about TRON, visit the official TRON website or join the official TRON telegram.

About CertiK

Founded by computer science professors of Yale University and Columbia University, CertiK’s proprietary blockchain verification technology has secured billions in assets across all major protocols, including BNB and TUSD. CertiK uses a variety of mathematical proofs, at scale, to test and prove blockchain ecosystems 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 labeling.

Recognized as an industry leader in security, CertiK has reached strategic collaborations with the world’s top digital asset exchanges such as Binance, OKEx, and Huobi, as well as protocols such as NEO, ICON, and QuarkChain. CertiK is incubated and invested in by Binance Labs, along with other leading investors such as DHVC, FBG Capital, Bitmain, and Lightspeed.

To request the audit/verification of your smart contracts, please send an email to or visit