Dusk combines the best parts of Ethereum and Zcash. It has the general-purpose computation capabilities of Ethereum (And much more freedom in programming for it) and the privacy features in value transfers of Zcash. On top of that, the chain itself is optimized for ZKPs. Contract developers can build contracts on Dusk that can verify and store ZK proofs efficiently for any use-case. There's also tooling available around that that makes it possible to retrieve provers from contracts and in the future instantiate them into local provers. Given Dusk has a shared, public state, the possibilities of what you can build are theoretically limitless. Aleo and Mina take different approaches. They're not like "traditional" blockchains. Aleo does computation off-chain, and only stores the proof of the computation on-chain to verify against. In that sense, they're building off-chain provable ZK-apps. Apps where you can prove the computation that was done, but not on a shared public state with on-chain computation to compliment business rules. Mina's primary selling point is that it has a small, fixed blockchain state. You can prove that a computation is part of a recursive proof that forms the state. To get access to shared state, there is "hidden" historical data. In Mina, the ZK-apps also share and validate proofs. We make the distinction by saying we have a ZK-friendly blockchain, one that anyone can trivially build a dApp on that has business rules of its own, shared state AND allows you to use ZKPs in arbitrarily. In essence, some of the ZK chains that are out there COULD in fact be implemented on top of Dusk.