Hashlock Audits Groundbreaking Decentralized Profile Smart Contracts for Ithaca Protocol.
Hong Kong, 07/10/2024 – Hashlock, a leader in Web3 security and smart contract auditing, is proud to announce the successful audit of decentralized profile smart contracts for Ithaca Protocol.
The Ithaca team partnered with Hashlock to conduct a security audit of their smart contracts and backend scripts. Hashlock manually and proactively reviewed the code to ensure the project’s team and community that the deployed contracts were secure.
Ithaca Protocol is a non custodial composable option protocol with the mission to build permissionless cross-chain infrastructure enabling optimal risk sharing across time and event horizons. Allow for instant deployment of ‘liquidity self-enhancing’ complete, composable option, option strategy, structured product and lending markets, on any underlying.
We at Hashlock audited the solidity code within the Ithaca project, the scope of work included a comprehensive review of the smart contracts listed below. We tested the smart contracts to check for their security and efficiency. These tests were undertaken primarily through manual line-by-line analysis and were supported by software-assisted testing.
After Hashlock’s audit, we found the smart contracts to be “Secure”. The contracts all follow simple logic, with correct and detailed ordering. They use a series of interfaces, and the protocol uses a list of Open Zeppelin contracts.
After Hashlocks analysis, the Ithaca project seems to have a sound and well-tested code base, however, now that our vulnerability findings have been acknowledged. Overall, most of
the code is correctly ordered and follows industry best practices. The code is well commented on as well. To the best of our ability, Hashlock is not able to identify any further vulnerabilities.
About Hashlock:
Hashlock is a leading Web3 security firm specializing in smart contract auditing and blockchain cybersecurity. Our mission is to ensure the safe adoption of blockchain technology through rigorous audits and comprehensive security services.
Media Contact:
Name: Sotiris Tsouris
Title: Chief Business Officer
LinkedIn: https://www.linkedin.com/in/stsouris/