VerifyingKey
Overview
Represents a verifying key for a function within an Aleo program. The VerifyingKey class provides methods for loading, serializing, and inspecting verifying keys which are used to verify zero-knowledge proofs generated by program executions.
Methods
checksum
Get the checksum of the verifying key
checksum() ► string
| Param | Type |
|---|---|
| return | string |
copy
Create a copy of the verifying key
copy() ► VerifyingKey
| Param | Type |
|---|---|
| return | VerifyingKey |
fromBytes
Construct a new verifying key from a byte array
fromBytes(bytes) ► VerifyingKey
| Param | Type | Description |
|---|---|---|
| bytes | Uint8Array | Byte representation of a verifying key |
| return | VerifyingKey | Verifying key object |
fromString
Create a verifying key from string
fromString(string) ► VerifyingKey
| Param | Type | Description |
|---|---|---|
| string | string | String representation of a verifying key |
| return | VerifyingKey | Verifying key object |
toBytes
Create a byte array from a verifying key
toBytes() ► Uint8Array
| Param | Type |
|---|---|
| return | Uint8Array |
toString
Get a string representation of the verifying key
toString() ► string
| Param | Type |
|---|---|
| return | string |
numConstraints
Get the number of constraints associated with the circuit
numConstraints() ► number
| Param | Type |
|---|---|
| return | number |