本文提出了一个RISC-V目标三元组标准，用于在以太坊上使用的zkEVM。该标准旨在统一不同zkEVM的基准测试、形式化验证工作，并降低审计电路的复杂性。它详细定义了最小的RISC-V指令集架构（ISA）及其扩展，例如Zicclsm，以确保与物理硬件的行为一致性并增强鲁棒性。
Zicclsm
