@inproceedings {43113,
	title = {Counting Vampires: From Univariate Sumcheck to~Updatable ZK-SNARK},
	journal = {Asiacrypt 2022},
	volume = {13792},
	year = {2023},
	pages = {249 - 278},
	publisher = {Springer Nature Switzerland},
	address = {Cham},
	abstract = {We propose a univariate sumcheck argument\&nbsp;Count\&nbsp;of essentially optimal communication efficiency of one group element. While the previously most efficient univariate sumcheck argument of Aurora is based on polynomial commitments,\&nbsp;Count\&nbsp;is based on inner-product commitments. We use\&nbsp;Count to construct a new pairing-based updatable and universal zk-SNARK\&nbsp;Vampire\&nbsp;with the shortest known argument length (four group and two finite field elements) for\&nbsp;NP. In addition,\&nbsp;Vampire\&nbsp;uses the aggregated polynomial commitment scheme of Boneh et al.},
	isbn = {978-3-031-22965-7},
	issn = {0302-9743},
	doi = {10.1007/978-3-031-22966-410.1007/978-3-031-22966-4_9},
	url = {https://link.springer.com/10.1007/978-3-031-22966-4},
	author = {Lipmaa, Helger and Siim, Janno and Zaj{\k a}c, Micha{\l}},
	editor = {Agrawal, Shweta and Lin, Dongdai}
}
