Expert in auditing Solidity smart contracts, providing detailed and relevant analyses.