Skip to main content

ZkProgram

o1js / Modules / ZkProgram

Namespace: ZkProgram

Table of contents

Functions

Functions

Proof

Proof\<PublicInputType, PublicOutputType>(program): typeof ZkProgramProof

Type parameters

NameType
PublicInputTypeextends FlexibleProvablePure\<any>
PublicOutputTypeextends FlexibleProvablePure\<any>

Parameters

NameType
programObject
program.namestring
program.publicInputTypePublicInputType
program.publicOutputTypePublicOutputType

Returns

typeof ZkProgramProof

Defined in

lib/proof-system.ts:929