This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
This a short post explaining the multivariate sum-check : a fundamental subprotocol used throughout multivariate succinct arguments (e.g. Spartan, HyperPlonK, etc). Roughly speaking, it often serves the same role as the divisibility check in the univariate contexts. This post assumes familiarity with finite fields, polynomials and lagrange interpolation/basis.
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.