Class Prover

Hierarchy

Prover

Index

Constructors

Properties

serverAddr witnessCalculator

Methods

fetchRemoteFile init loadAndModifyWitnessCalculator serialize updateState updateStateForBackend updateStateForClient verifyState verifyStateForBackend verifyStateForClient verifyWithdrawalForBackend verifyWithdrawalForClient verifyWithrawal withdraw withdrawForBackend withdrawForClient

Constructors

constructor

new Prover(): Prover
Returns Prover

Properties

`Static` serverAddr

serverAddr: string

`Static` witnessCalculator

witnessCalculator: any

Methods

`Static` fetchRemoteFile

fetchRemoteFile(url: string): Promise<any>
Parameters
- url: string
Returns Promise<any>
- Defined in prover.ts:66

`Static` init

init(): Promise<void>
Returns Promise<void>
- Defined in prover.ts:40

`Static` loadAndModifyWitnessCalculator

loadAndModifyWitnessCalculator(url: string): Promise<unknown>
Parameters
- url: string
Returns Promise<unknown>
- Defined in prover.ts:56

`Static` serialize

serialize(proofAndPublicSignals: any): string
Parameters
- proofAndPublicSignals: any
Returns string
- Defined in prover.ts:225

`Static` updateState

updateState(circuitPath: string, input: any): Promise<{
proof: any;
publicSignals: any;
}>
Parameters
- circuitPath: string
- input: any
Returns Promise<{
proof: any;
publicSignals: any;
}>
- Defined in prover.ts:71

`Static` updateStateForBackend

updateStateForBackend(circuitPath: string, input: any): Promise<{
proof: any;
publicSignals: any;
}>
Parameters
- circuitPath: string
- input: any
Returns Promise<{
proof: any;
publicSignals: any;
}>
- Defined in prover.ts:161

`Static` updateStateForClient

updateStateForClient(input: any): Promise<{
proof: any;
publicSignals: any;
}>
Parameters
- input: any
Returns Promise<{
proof: any;
publicSignals: any;
}>
- Defined in prover.ts:103

`Static` verifyState

verifyState(circuitPath: string, proofAndPublicSignals: any): Promise<any>
Parameters
- circuitPath: string
- proofAndPublicSignals: any
Returns Promise<any>
- Defined in prover.ts:79

`Static` verifyStateForBackend

verifyStateForBackend(circuitPath: string, proofAndPublicSignals: any): Promise<any>
Parameters
- circuitPath: string
- proofAndPublicSignals: any
Returns Promise<any>
- Defined in prover.ts:183

`Static` verifyStateForClient

verifyStateForClient(proofAndPublicSignals: any): Promise<any>
Parameters
- proofAndPublicSignals: any
Returns Promise<any>
- Defined in prover.ts:120

`Static` verifyWithdrawalForBackend

verifyWithdrawalForBackend(circuitPath: string, proofAndPublicSignals: any): Promise<any>
Parameters
- circuitPath: string
- proofAndPublicSignals: any
Returns Promise<any>
- Defined in prover.ts:215

`Static` verifyWithdrawalForClient

verifyWithdrawalForClient(proofAndPublicSignals: any): Promise<any>
Parameters
- proofAndPublicSignals: any
Returns Promise<any>
- Defined in prover.ts:148

`Static` verifyWithrawal

verifyWithrawal(circuitPath: string, proofAndPublicSignals: any): Promise<any>
Parameters
- circuitPath: string
- proofAndPublicSignals: any
Returns Promise<any>
- Defined in prover.ts:95

`Static` withdraw

withdraw(circuitPath: string, input: any): Promise<{
proof: any;
publicSignals: any;
}>
Parameters
- circuitPath: string
- input: any
Returns Promise<{
proof: any;
publicSignals: any;
}>
- Defined in prover.ts:87

`Static` withdrawForBackend

withdrawForBackend(circuitPath: string, input: any): Promise<{
proof: any;
publicSignals: any;
}>
Parameters
- circuitPath: string
- input: any
Returns Promise<{
proof: any;
publicSignals: any;
}>
- Defined in prover.ts:193

`Static` withdrawForClient

withdrawForClient(input: any): Promise<{
proof: any;
publicSignals: any;
}>
Parameters
- input: any
Returns Promise<{
proof: any;
publicSignals: any;
}>
- Defined in prover.ts:131

Generated using TypeDoc