相关概念

首先，我们将描述零知识证明系统halo2依赖的算术化(电路描述方法); 其次介绍电路实现的相关抽象概念。