CertiK, a blockchain security company, and Merlin, a decentralized exchange (DEX) powered by zkSync, are collaborating on a proposal to