$ZKWASM is too tragic