SnarkVerificationKey
scalus.examples.Groth16.SnarkVerificationKey
case class SnarkVerificationKey(nPublic: BigInt, vkAlpha: ByteString, vkBeta: ByteString, vkGamma: ByteString, vkDelta: ByteString, vkAlphaBeta: List[ByteString], vkIC: List[ByteString])
Verification key for the Groth16 proof system
Contains the necessary elements for verifying a proof, including the encoded points on the BLS12-381 curve
Value parameters
- nPublic
-
Number of public inputs
- vkAlpha
-
Alpha parameter in G1
- vkAlphaBeta
-
Precomputed alpha*beta in G2
- vkBeta
-
Beta parameter in G2
- vkDelta
-
Delta parameter in G2
- vkGamma
-
Gamma parameter in G2
- vkIC
-
List of IC coefficients in G1 for linear combination of inputs
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
Members list
In this article