Counting Vampires: From Univariate Sumcheck to Updatable ZK-SNARK