ZK's smart verifiable computation platform, Brevis, announced a partnership with multi-chain DEX Aster to optimize the speed, security, and privacy of perpetual DEXs through verifiable computation technology. Brevis can migrate complex on-chain computations off-chain and generate zero-knowledge proofs, reducing on-chain verification costs. The two companies will explore feasible solutions to protect user position privacy while ensuring market transparency.