We propose a univariate sumcheck argument Count of essentially optimal communication efficiency of one group element. While the previously most efficient univariate sumcheck argument of Aurora is based on polynomial commitments, Count is based on inner-product commitments. We use Count to construct a new pairing-based updatable and universal zk-SNARK Vampire with the shortest known argument length (four group and two finite field elements) for NP. In addition, Vampire uses the aggregated polynomial commitment scheme of Boneh et al.