Illia Dovhopolyi, Artem Sdobnov, Dmytro ZakharovAcknowledgementThe UltraGroth proving system explained here is an adapted for real use cases version of the protocol initially described in Merlin404's article on HackMD. Huge credit to their work, which inspired much of what follows.PrerequisitesWe assume you already understand the basics of modern zero-knowledge (ZK) constructions. This article aims to build intuition around the UltraGroth proving system, and deep, formal knowledge of Gro...