This report summarizes the security assessment and formal verification of SiloCore v2, conducted from March 31 to April 7, 2025. The assessment highlights identified vulnerabilities in asset-collateral management and share token handling. The following report provides details of the findings and reviews.