Terminology

This document establishes a consistent terminology and notation for the concepts commonly used in the context of zero-knowledge proofs (ZKPs). It aims to make the presentation clear and concise, particularly for readers with a background in cryptography or mathematics. The following conventions will be used throughout the book:

Fields and Curves

1. Finite Fields:

• ${\mathbb{F}}_p$: Denotes a general finite field of prime order $p$.

2. Elliptic Curves:

• ${\mathbb{F}}_r$: Scalar field
• ${\mathbb{F}}_q$: Base field