Verify Local - secp256r1
Private Inputs
| Input | Type |
|---|---|
digest state | DigestState |
iteration | StaticArray<BlockN> or DynamicArray<BlockN> |
where iteration holds the chunk to be digested
Public Output
| Left | Right |
|---|---|
Poseidon-digest of DigestState | Poseidon-digest of the next DigestState |
We support all four SHA variants from the left stage, and it takes a single proof to do signature verification. Poseidon-digest of uncompressed pubkey is on the right.
Check out the explanation for EC here.
| SHA variant | |
|---|---|
| sha-224 | |
| sha-256 | ✔️ |
| sha-384 | |
| sha-512 |
Other SHA variants are trivial to add.