Verifying Local Signature
Public Output
| Left | Right |
|---|---|
SHA-digest of SignedAttrs | Poseidon-digest of Pubkey of local certificate in serial form |
Implicit Variance
First dimension of variance stems from the SHA variant that needs to be used on the left.
Second dimension is based on the signature algorithm itself. For example, for RSA with key size of 2048, we need a exponentiation proof and one verification proof which includes one of the two supported padding schemes.
The signature verification stage can be consisted of one or more proofs depending on the document requirements.