Halo2NativeProof

SIP Protocol API Reference v0.7.4

---

SIP Protocol API Reference / Halo2NativeProof

Interface: Halo2NativeProof

Defined in: @sip-protocol/sdk/dist/index-DXh2IGkz.d.ts:2249

Halo2 native proof format

Extends

• NativeProofFormat

Properties

verificationKey?

optional verificationKey: Uint8Array<ArrayBufferLike> | `0x${string}`

Defined in: @sip-protocol/sdk/dist/index-DXh2IGkz.d.ts:2226

System-specific verification key

Inherited from

NativeProofFormat.verificationKey

---

nativeMetadata?

optional nativeMetadata: Record<string, unknown>

Defined in: @sip-protocol/sdk/dist/index-DXh2IGkz.d.ts:2228

Native metadata specific to the proof system

Inherited from

NativeProofFormat.nativeMetadata

---

system

readonly system: "halo2"

Defined in: @sip-protocol/sdk/dist/index-DXh2IGkz.d.ts:2250

The proof system this format belongs to

Overrides

NativeProofFormat.system

---

proofData

proofData: Uint8Array

Defined in: @sip-protocol/sdk/dist/index-DXh2IGkz.d.ts:2252

Halo2 proof transcript

Overrides

NativeProofFormat.proofData

---

publicInputs

publicInputs: string[]

Defined in: @sip-protocol/sdk/dist/index-DXh2IGkz.d.ts:2254

Public inputs as field elements

Overrides

NativeProofFormat.publicInputs

---

provingKeyCommitment?

optional provingKeyCommitment: `0x${string}`

Defined in: @sip-protocol/sdk/dist/index-DXh2IGkz.d.ts:2256

Proving key commitment

---

k?

optional k: number

Defined in: @sip-protocol/sdk/dist/index-DXh2IGkz.d.ts:2258

Circuit degree (k value)

---

halo2Version?

optional halo2Version: string

Defined in: @sip-protocol/sdk/dist/index-DXh2IGkz.d.ts:2260

Halo2 library version