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:902