术语表

  • PLONKish: PLONK系

  • argument: 证明

  • language: 语言

  • relation: 关系

  • statement: 论述

  • witness: 论据

  • soundness: 可靠性

  • circuit: 电路

  • public input: 公开输入

  • private input: 隐私输入

  • arithmetization:算术化

  • custom gate: 自定义门

  • lookup: 查找表

  • field:域

  • grand product: 大乘积

  • generalization: 泛化

  • selector: 选择子

  • row: 行

  • column: 列

  • cell:单元格

  • lagrange basis polynomial: 拉格朗日基多项式

  • floor planner:布局器

  • gadget:小工具

  • scalar: 标量

  • vanishing polynomial:消退多项式