To design a distributed transaction system ensuring ACID properties, I would use the Saga pattern or two-phase commit protocol, depending on the trade-offs I am willing to make. The Saga pattern allows for compensation actions in the event of a failure, while two-phase commit guarantees stronger consistency but can introduce blocking issues. Both methods have their challenges, particularly with failure handling and performance.