zkSwap on iOS

The project is an iOS app and Safe plugin that allows you to swap tokens on DEX aggregators with the confidence of getting the optimal route. The iOS app uses speech-to-text functionality to prepare a swap intent, which is then executed by the solver on an optimal route of many DEXes. You can connect to the safe account using WalletConnect or MetaMask.

The solver has to prove that the swap was executed on the optimal route among many DEXes. The user does not have to trust the solver/bundler that the route proposed by the DEX aggregator was indeed optimal - zkProof guarantees it. The safe plugin allows the swap to be executed on behalf of the user only if the proof is valid - the swap is optimal.

We use Safe{Core} protocol components, namely the SafeManager, the Registry, the Smart Contract Wallet and the Safe plugin, to enable the swaps to be executed on behalf of the user. We use the Circomkit to generate a circuit, a prover and a verifier. The solver is written in TypeScript and is centralised for now. The client is a native iOS app written in Swift, using SwiftUI, that uses the speech-to-text feature and openAI API, the WalletConnect, and MetaMask components to access the safe account.

From the sponsored technologies, we use the Safe protocol components, especially Safe plugin, MetaMask and WalletConnect, the smart contracts are deployed on the Gnosis chain.