本文档提供了一份详细的指南，旨在帮助用户在Mainnet上验证proof verifier智能合约（elderberry-fork.8）的部署。主要内容包括：准备工作站环境、安装和配置circom、编译生成verifier智能合约、编译合约、下载已部署合约的字节码，并最终比对两者是否一致，以验证部署的正确性。
