use zkex instead of zkmax because ZSS EE depends on ZK PE