Worked on the Babylon repository to enhance backend reliability by addressing a runtime panic in the checkpointing module during proposal processing. Focused on Go development, the solution replaced an unsafe type assertion with a safe type check for injected checkpoint transactions, ensuring that invalid message types are rejected gracefully. Added regression tests to confirm that incorrect transactions at epoch boundaries are handled without causing system crashes, thereby improving the stability of ABCI++ proposal validation. This work strengthened the security posture by aligning with relevant advisories and maintained test coverage, all while ensuring no performance degradation in the backend processing pipeline.