Properties
Private _executionState
_executionState: undefined | ExecutionState
Static Optional _maxProofsVerified
_maxProofsVerified?: 0 | 2 | 1
Static Private _methodMetadata
_methodMetadata: Record<string, { digest: string; hasReturn: boolean; rows: number; sequenceEvents: number }> = {}
Static Optional _methods
_methods?: MethodInterface[]
Static Optional _provers
_provers?: Prover[]
Static Optional _verificationKey
_verification
Key
?: { data
: string; hash
: Field }
The main zkapp class. To write a zkapp, extend this class as such: