A smart contract is a computer protocol, which is used to ensure a transparent agreement is in place between two parties. Smart contracts are deployed and executed on the blockchain, allowing for reliable, transparent, and permanent operations without the need for any third party involvement. The main advantages of smart contracts are their reliability, safety, speed, autonomy, and accuracy.
Smart contracts are used in the financial sector for many purposes including voting, auditing, and accounting etc where their benefits are crucial
Solana smart contracts are written in Rust language. Solana offers a different smart contract model to traditional EVM-based blockchains. Smart contract is read-only or stateless and contains just program logic. Once deployed, smart contracts can be interacted with by external accounts.
We conduct an audit for Solana smart contracts by performing a manual code review using auditing tools and checking the logic and execution of the smart contract. At the end of the audit, we provide a report with a summary of the basic contract functionality as well as a description of all found issues and our recommendations for fixing them.