Elixir(日：エリクサー)とは・・・

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