Protect Your Project Today
Strengthen your project with the largest web3 security provider.
A CertiK security expert will review your request and follow up shortly.

CertiK Partners With NEO for Next Secure Smart Economic Model

News ·Announcements ·
CertiK Partners With NEO for Next Secure Smart Economic Model

As cryptocurrencies get more widely recognized as digital assets, Blockchain security becomes increasingly more essential. Having the largest developer community, NEO is paying extra attention to blockchain security.

This week, NEO announced partnership with Certik, formal verification platform for smart contracts and blockchain ecosystems, to enhance the security of its platform. Apart from smart contract verification, security auditor CertiK will also provide a tailored solution to verify NEO’s digital assets and digital identity. The collaboration between the two is in preparation for the smart economy revolution.

Formal Verification: When a logical language is used to describe a specification, Certik applies a rigorous mathematical deduction to check whether a given system code meets the requirements. This formal verification framework mathematically proves that smart contracts and blockchain ecosystems are bug-free and hacker-resistant. Currently, most of the smart contracts and dApps on the NEO platform are developed by individuals. In this development system, formal verification is crucial to rule out potential loopholes.

CertiK’s team is based in New York and Silicon Valley. Co-founder Prof. Shao Zhong, Thomas L. Kempner Professor & Chair of Computer Science at Yale University, has more than 30 years of experience in the security field. The core technology of the team is formed by Prof. Shao Zhong and another co-founder, Prof. Gu Ronghui, from Columbia University. Their research on CertiKOS, the world’s first operating system that has theoretically proven to be resistant to hacker attacks, is now widely used in various fields including, government and military.

As NGD (NEO Global Development) manager Zhao Chen mentioned, “NEO is a high-speed autonomous public chain. With more developers building layers on top of it, this added security layer will expedite the prosperity of the ecosystem. I believe NEO and CertiK’s partnership is on track to changing the course of history.”

About CertiK

CertiK is a blockchain and smart contract verification platform founded by top formal verification experts from Yale and Columbia University and former senior software engineers from Google and Facebook. Different from the traditional testing approaches, CertiK attempts to mathematically prove blockchain ecosystem 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 labelling.

Source: https://medium.com/neo-smart-economy/neo-partners-with-certik-for-next-secure-smart-economic-model-7f342d98e30e

To request the audit/verification of your smart contracts, please send email to [email protected].

Telegram: https://t.me/certikorg

Twitter: https://twitter.com/CertiKCommunity

Email: [email protected]

Related Blogs

Technical Deep Dive | CertiK Helped Fix a DoS Vulnerability in Solana’s Big-Integer Modular Exponentiation
Technical Blogs ·Educational

Technical Deep Dive | CertiK Helped Fix a DoS Vulnerability in Solana’s Big-Integer Modular Exponentiation

This article takes an in-depth look at the importance of blockchain transaction fee models and their critical role in ensuring network security and efficient operation. By comparing the transaction fee models of Ethereum and Solana, it highlights how unsafe transaction pricing can introduce network security risks. The article especially focuses on a compute-unit (CU) accounting error in Solana’s big-integer modular exponentiation syscall discovered and reported by the CertiK team, which could lead to a potential remote DoS attack. It further analyzes Solana’s smart-contract pricing model, PoH-related timing mechanics, and parallel transaction processing, and reproduces the remote DoS process and cost via experiments on a private Solana cluster.

CertiK’s Path Forward: Advancing Trust, Transparency, and Web3 Infrastructure
News ·Announcements

CertiK’s Path Forward: Advancing Trust, Transparency, and Web3 Infrastructure

As conversations at the 2026 World Economic Forum at Davos-Klosters, Switzerland continue to influence how global leaders engage with emerging technologies, one message is becoming increasingly clear: Web3 is entering a new phase defined by institutional participation, regulatory engagement, and long-term infrastructure.

CertiK Joins Proof of Talk 2025 as Platinum Sponsor
News ·Announcements

CertiK Joins Proof of Talk 2025 as Platinum Sponsor

CertiK, the largest Web3 security firm, is proud to announce its role as the Platinum Security Partner of Proof of Talk 2025, the premier Web3 and AI summit held at the iconic Louvre Palace in Paris on June 10-11. This sponsorship marks CertiK’s most significant event presence of the year, and underscores its deep commitment to advancing trust and security in the decentralized ecosystem.