docs: limits documentation

Author: ivokub

prover/zkevm/prover/bls/limits.go

@@ -1,32 +1,54 @@
 package bls
 
 type Limits struct {
+	// Number of G1 addition input instances. Single instance is approx 11000
+	// PLONK constraints
 	NbG1AddInputInstances int
+	// Number of G2 addition input instances. Single instance is approx 25000
+	// PLONK constraints.
 	NbG2AddInputInstances int
 
+	// Number of G1 scalar multiplication input instances. Single instance is
+	// approx 596000 PLONK constraints
 	NbG1MulInputInstances int
+	// Number of G2 scalar multiplication input instances. Single instance is
+	// approx 1.2 million PLONK constraints
 	NbG2MulInputInstances int
 
 	// Number of inputs per Miller loop circuits. Counted without the last
-	// Miller loop which is done in the final exponentiation part.
+	// Miller loop which is done in the final exponentiation part. Single
+	// instance is approx 1.68M PLONK constraints
 	NbMillerLoopInputInstances int
-
-	// Number of inputs per final exponentiation circuits
+	// Number of inputs per final exponentiation circuits. Single instance is
+	// approx 1.74M PLONK constraints.
 	NbFinalExpInputInstances int
 
-	// Number of inputs per G1 subgroup membership circuits
+	// Number of inputs per G1 subgroup membership circuits. Single instance is
+	// approx 317000 PLONK constraints.
 	NbG1MembershipInputInstances int
-
-	// Number of inputs per G2 subgroup membership circuits
+	// Number of inputs per G2 subgroup membership circuits. Single instance is
+	// approx 378000 PLONK constraints.
 	NbG2MembershipInputInstances int
 
+	// Number of G1 map to curve input instances. Single instance is approx
+	// 217000 PLONK constraints.
 	NbG1MapToInputInstances int
+	// Number of G2 map to curve input instances. Single instance is approx
+	// 797000 PLONK constraints.
 	NbG2MapToInputInstances int
 
+	// Number of C1 membership input instances. Single instance is approx 4000
+	// PLONK constraints
 	NbC1MembershipInputInstances int
+	// Number of C2 membership input instances. Single instance is approx 8000
+	// PLONK constraints.
 	NbC2MembershipInputInstances int
 
-	NbPointEvalInputInstances        int
+	// Number of point evaluation input instances. Single instance is approx
+	// 3.19M PLONK constraints.
+	NbPointEvalInputInstances int
+	// Number of point evaluation failure input instances. Single instance is approx
+	// 5.34M PLONK constraints.
 	NbPointEvalFailureInputInstances int
 }