ZkProgram

o1js / Modules / ZkProgram

Namespace: ZkProgram

Table of contents

Functions

• Proof

Functions

Proof

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

Type parameters

Name	Type
PublicInputType	extends FlexibleProvablePure\<any>
PublicOutputType	extends FlexibleProvablePure\<any>

Parameters

Name	Type
program	Object
program.name	string
program.publicInputType	PublicInputType
program.publicOutputType	PublicOutputType

Returns

typeof ZkProgramProof

Defined in

lib/proof_system.ts:965