The perp DEX verifies matching and liquidations with custom zero-knowledge circuits and keeps user assets on Ethereum