# Funds security Security is the top priority of the FreeDona protocol. We have adopted an internal and external combined method to ensure the safety of users’ funds. **1. Security of funds flow** The funds deposited by users into FreeDona will be automatically managed in strict accordance with the process and will not be transferred to private addresses at will. The user's funds will only be transferred between the user's address, FreeDona contract, and DeFi protocols. The accumulated interest will be used for distribution to users, donations, and project operations, and will not enter other unrelated addresses. **2. Emergency plan** Once FreeDona is exposed to a serious problem, we will suspend the corresponding service through the risk management contract to prevent the user's funds from being damaged, and follow up to solve the problem in time. **3. Security specifications** FreeDona is developed in compliance with safety principles and specifications, and has been formally verified by Mythril (static and dynamic safety analysis), using the SafeMath library to prevent digital overflow. --- # Agent Instructions: Querying This Documentation If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question. Perform an HTTP GET request on the current page URL with the `ask` query parameter: ``` GET https://docs.freedona.org/security/funds-security.md?ask= ``` The question should be specific, self-contained, and written in natural language. The response will contain a direct answer to the question and relevant excerpts and sources from the documentation. Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.