Cryptography, Crypto Primitives, Web3, Blockchain.
that our proof language can reason about. But we noted that to look at one particular place in an array requires evaluating a polynomial, and that just doesn’t seem scalable. What kind of algorithms can we even use with this? The answer is the sum-check protocol of Lund, Fortnow, Karloff, and