We’re happy to announce that the implementation of Punk Network’s native token $PUNK, was successfully audited by CertiK Professional Services Division. In this spotlight, we elaborate on the scope of the audit, as well as present some of the issues found during the auditing process.
Code Review & Auditing Process
The initial review was conducted by CertiK security engineers Alex Papageorgiou, and Angelos Apostolidis.
This report represents the results of CertiK’s engagement with Punk Network’s implementation of their $PUNK token smart contract. Our findings mainly refer to optimizations and Solidity coding standards. Hence, the issues identified pose no threat to the safety of the contract deployment.
The in-depth investigation of the smart contract in question included Static Analysis and Manual Review techniques. The auditing process focused on the following considerations:
Testing smart contract against both common and uncommon attack vectors.
Assessing the codebase to ensure compliance with current best practices and industry standards.
Ensuring contract logic meets the specifications and intentions of the client.
Cross-referencing contract structure and implementation against similar smart contracts produced by industry leaders.
Through a line-by-line manual review of the entire codebase.
Only four (4) findings were identified and presented in the vulnerability summary, of which the entirety was of informational nature. No major or critical issues were found during the auditing process, and the Punk Network team alleviated all findings highlighted by the CertiK Professional Services team, pointing towards a well-written contract by the team’s engineers.
CertiK is an edge-standards cybersecurity firm founded by Computer Science professors hailing from Yale and Columbia University respectively, aiming to improve the security and correctness of smart contracts and blockchain protocols on a global scale.
Leveraging a seasoned team of multi-skilled engineers and security auditors, CertiK’s mission is to apply a plethora of high-level industry practices, covering the entire spectrum of static, manual, and dynamic analyses, in order to ensure each project subject to a formal audit is up-to-date with modern security standards while offering their services to the broader DLT community.
Over the past few years, CertiK has serviced more than 100 top-shelf blockchains, DeFi protocols, among other complex and/or custom smart contracts, including but not limited to Binance, Tera, Bancor, Shapeshift, and Blockstack.
About Punk Network
Punk.Network is an open，smart and NFT-friendly public chain based on the Substrate architecture that adapts to the Polkadot ecology, which with NPoS (Nominated Proof of Stakes) as the consensus mechanism, which can accommodate a wide range of asset types, a large number of transactions and various type of smart contracts.
Punk.Network is committed to linking global Dapp developers, NFT investors and creators to provide the most professional, safest and most friendly development, trading, application, community and ecological support.