Blog
Technical insights
Deep dives into smart contract vulnerabilities, blockchain security best practices, and technical research from CertiK engineers.
EducationalCertiK Audits PlotX Protocol To Ensure Integrity Of Token Smart ContractsCertiK is proud to announce another successful audit of the PlotX Smart Contracts by CertiK Professional Services.
EducationalAllianceBlock and CertiK's Audit ProcedureThe CertiK team was contracted by the AllianceBlock team to audit the design and implementation of their smart contracts, and its compliance with the EIPs it’s meant to execute on.
EducationalCertiK and Lien Finance’s Second Audit Engagement and Pen TestRecently, the CertiK team and Lien Finance team closed another audit engagement on the iDOL, Lien Token, and Oracle modules, and a penetration test on the wallet.
EducationalLien Protocol’s Smart Contract Audits: Provided By CertiKLien is a simple and elegant protocol that allows anyone to create a unique derivative contract.
EducationalNoOps: Reinventing Your Staking UXBy developing blockchain and cybersecurity technologies in parallel and complementary to one another, CertiK envisions NoOps as not just a singular product in its portfolio, but a gateway to innovation, discoveries, and deep knowledge in these two sectors.
EducationalIntroducing NoOps: The New Way to Run Your NodesThe product serves as a one-stop solution that serves the needs of different groups of end users actively participating in the staking business.
EducationalHiblocks' Smart Contract Audit for Decentralized Social MediaHiblocks, a blockchain-based social media curation platform, worked with CertiK to audit the design and implementation of its soon-to-be-release smart contracts.
EducationalCertiK’s Smart Contract Audit of SkinChain’s SKCSkinChain a blockchain platform exclusively for the cosmetic industry, aims to build an efficient product production and distribution ecosystem that can analyze integrated data and provide customized solutions.
EducationalHow DeepSEA Works The DeepSEA language syntax is inspired by functional languages like ML and Coq itself. The simple token contract below shows the general appearance, we will use it as a running example.
EducationalHow Ethereum Works: Accounts & GasNow that we understand what Ethereum is and the history behind it, let’s take a look at how Ethereum works.
EducationalV SYSTEMS Smart Contract AuditV SYSTEMS chose to work with CertiK, the leader in blockchain security, to review their Non-Turing-Complete smart contract technology development.
Educational5 Common Smart Contract Vulnerabilities and Bugs You Should Know AboutJust like in other software programs, the strength of a smart contract depends on the quality of the source code. Here's a list of the most common–and sometimes fatal–vulnerabilities to keep in mind.