Cryptography, Crypto Primitives, Web3, Blockchain.
Nisan. It’s been a staple of interactive proofs since the 90’s. This may seem a little contrived, but what it does is let a prover convince a verifier that the sum of a multi-variable polynomial g over the hypercube H = {0, 1} m(that’s all ordered m-tuples of zeroes and ones) is, well, whatever