UltraHonkBackend
Implements
Backend
VerifierBackend
Constructors
new UltraHonkBackend(acirCircuit, options)
new UltraHonkBackend(acirCircuit, options): UltraHonkBackend
Parameters
Parameter | Type |
---|---|
acirCircuit | CompiledCircuit |
options | BackendOptions |
Returns
Properties
Property | Type | Description |
---|---|---|
backend | UltraHonkBackend | - |
Methods
destroy()
destroy(): Promise<void>
Returns
Promise
<void
>
Implementation of
Description
Destroys the backend
generateProof()
generateProof(compressedWitness): Promise<ProofData>
Parameters
Parameter | Type |
---|---|
compressedWitness | Uint8Array |
Returns
Promise
<ProofData
>
Implementation of
Description
Generates a proof
generateRecursiveProofArtifacts()
generateRecursiveProofArtifacts(proofData, numOfPublicInputs): Promise<object>
Parameters
Parameter | Type |
---|---|
proofData | ProofData |
numOfPublicInputs | number |
Returns
Promise
<object
>
Implementation of
Backend
.generateRecursiveProofArtifacts
Description
Retrieves the artifacts from a proof in the Field format
getVerificationKey()
getVerificationKey(): Promise<Uint8Array>
Returns
Promise
<Uint8Array
>
verifyProof()
verifyProof(proofData): Promise<boolean>
Parameters
Parameter | Type |
---|---|
proofData | ProofData |
Returns
Promise
<boolean
>
Implementation of
Description
Verifies a proof
Generated using typedoc-plugin-markdown and TypeDoc