[pclmulqdq]

Zero knowledge proofs were first invented/described in the 90's. Verifiable computation is older than blockchains and zero-knowledge proofs. Neither of these have anything to do with blockchains.