Cryptography, Crypto Primitives, Web3, Blockchain.
array, then the composition is also a polynomial. In fact, plugging in a point to this polynomial gives the result of the map at that point! And since we can also represent the result array as a polynomial, the prover can run sum-check to convince the verifier that they computed the correct result.