イーサリアムの「Prover」とは主にzkEVMやzkVMsにおいてZKP(ゼロ知識証明)のProofs(証明)を生成するサブシステムを指す。このProverはzero-knowledge ProverやzkProverなどとも呼ばれることがある。
Proverは各zkVMsプロジェクトが開発を競っており、RISC ZeroやStarknetなどがリアルタイム証明が可能なProverを発表している。