During the process of writing additional formal verification Certora properties, a problem was found with the implementation of one of the voting assets (stkAAVE), so we proceeded to cancel proposal 345.
Given the isolated nature of the issue, we are evaluating the next steps and will let the community know about them during today.