Class: Circuit

Table of contents

Constructors

• constructor

Methods

• addConstraint
• array
• asProver
• assertEqual
• constraintSystem
• equal
• generateKeypair
• if
• inCheckedComputation
• inProver
• newVariable
• prove
• runAndCheck
• switch
• toFields
• verify
• witness

Constructors

constructor

• new Circuit()

Methods

addConstraint

▸ Static addConstraint(this, kind, x, y, z): void

Parameters

Name	Type
this	Circuit
kind	"multiply"
x	Field
y	Field
z	Field

Returns

void

Defined in

snarky.d.ts:492

▸ Static addConstraint(this, kind, x, y, z): void

Parameters

Name	Type
this	Circuit
kind	"add"
x	Field
y	Field
z	Field

Returns

void

Defined in

snarky.d.ts:499

▸ Static addConstraint(this, kind, x, y, z): void

Parameters

Name	Type
this	Circuit
kind	"equal"
x	Field
y	Field
z	Field

Returns

void

Defined in

snarky.d.ts:506

▸ Static addConstraint(this, kind, x, y, z): void

Parameters

Name	Type
this	Circuit
kind	"boolean"
x	Field
y	Field
z	Field

Returns

void

Defined in

snarky.d.ts:513

---

array

▸ Static array<T>(elementType, length): AsFieldElements<T[]>

Type parameters

Name
T

Parameters

Name	Type
elementType	AsFieldElements<T>
length	number

Returns

AsFieldElements<T[]>

Defined in

snarky.d.ts:539

---

asProver

▸ Static asProver(f): void

Parameters

Name	Type
f	() => void

Returns

void

Defined in

snarky.d.ts:529

---

assertEqual

▸ Static assertEqual<T>(ctor, x, y): void

Type parameters

Name
T

Parameters

Name	Type
ctor	Object
ctor.toFields	(x: T) => Field[]
x	T
y	T

Returns

void

Defined in

snarky.d.ts:544

▸ Static assertEqual<T>(x, y): void

Type parameters

Name
T

Parameters

Name	Type
x	T
y	T

Returns

void

Defined in

snarky.d.ts:546

---

constraintSystem

▸ Static constraintSystem<T>(f): Object

Type parameters

Name
T

Parameters

Name	Type
f	() => T

Returns

Object

Name	Type
digest	string
result	T
rows	number

Defined in

snarky.d.ts:533

---

equal

▸ Static equal<T>(ctor, x, y): Bool

Type parameters

Name
T

Parameters

Name	Type
ctor	Object
ctor.toFields	(x: T) => Field[]
x	T
y	T

Returns

Bool

Defined in

snarky.d.ts:548

▸ Static equal<T>(x, y): Bool

Type parameters

Name
T

Parameters

Name	Type
x	T
y	T

Returns

Bool

Defined in

snarky.d.ts:550

---

generateKeypair

▸ Static generateKeypair(): Keypair

Returns

Keypair

Defined in

snarky.d.ts:572

---

if

▸ Static if<T>(b, ctor, x, y): T

Type parameters

Name
T

Parameters

Name	Type
b	boolean | Bool
ctor	AsFieldElements<T>
x	T
y	T

Returns

T

Defined in

snarky.d.ts:552

▸ Static if<T>(b, x, y): T

Type parameters

Name
T

Parameters

Name	Type
b	boolean | Bool
x	T
y	T

Returns

T

Defined in

snarky.d.ts:554

---

inCheckedComputation

▸ Static inCheckedComputation(): boolean

Returns

boolean

Defined in

snarky.d.ts:582

---

inProver

▸ Static inProver(): boolean

Returns

boolean

Defined in

snarky.d.ts:580

---

newVariable

▸ Static newVariable(f): Field

Parameters

Name	Type
f	() => string | number | boolean | Field

Returns

Field

Defined in

snarky.d.ts:521

---

prove

▸ Static prove(privateInput, publicInput, kp): Proof

Parameters

Name	Type
privateInput	any[]
publicInput	any[]
kp	Keypair

Returns

Proof

Defined in

snarky.d.ts:574

---

runAndCheck

▸ Static runAndCheck<T>(f): T

Type parameters

Name
T

Parameters

Name	Type
f	() => T

Returns

T

Defined in

snarky.d.ts:531

---

switch

▸ Static switch<T, A>(mask, type, values): T

Generalization of Circuit.if for choosing between more than two different cases. It takes a "mask", which is an array of Bools that contains only one true element, as well as a type/constructor and an array of values of that type. The result is that value which corresponds to the true element of the mask. Example:

let x = Circuit.switch([Bool(false), Bool(true)], Field, [Field(1), Field(2)]);
x.assertEquals(2);

Type parameters

Name	Type
T	T
A	extends AsFieldElements<T, A>

Parameters

Name	Type
mask	Bool[]
type	A
values	T[]

Returns

T

Defined in

snarky.d.ts:566

---

toFields

▸ Static toFields<A>(a): Field[]

Type parameters

Name
A

Parameters

Name	Type
a	A

Returns

Field[]

Defined in

snarky.d.ts:578

---

verify

▸ Static verify(publicInput, vk, pi): boolean

Parameters

Name	Type
publicInput	any[]
vk	VerificationKey
pi	Proof

Returns

boolean

Defined in

snarky.d.ts:576

---

witness

▸ Static witness<T, S>(ctor, f): T

Type parameters

Name	Type
T	T
S	extends AsFieldElements<T, S> = AsFieldElements<T>

Parameters

Name	Type
ctor	S
f	() => T

Returns

T

Defined in

snarky.d.ts:524