Module types 

Halo2-facing type aliases and witness shapes for the STM SNARK circuit.

This module bridges STM domain concepts (message, lottery index, Merkle proof) to circuit-oriented types consumed by the Halo2 relation and gadgets.

Structs

Bls12

BLS12-381 pairing engine.

Jubjub

This represents an extended point (U, V, Z, T1, T2) with Z nonzero, corresponding to the affine point (U/Z, V/Z). We always have T1 * T2 = UV/Z.

JubjubBase

Represents an element of the scalar field Fq of the BLS12-381 elliptic curve construction.

JubjubScalar

Represents an element of the scalar field $\mathbb{F}_r$ of the Jubjub elliptic curve construction.

MTLeaf

Merkle-tree leaf material used by Halo2 witness construction.

MerklePath

Merkle authentication path used by the Halo2 circuit witness.

Enums

Position

Position of a sibling node relative to the current hash in a Merkle path.

Type Aliases

LotteryIndex

Lottery index (i) used for per-lottery checks in witness entries.

MerkleRoot

Merkle root public input committed by the STM membership commitment tree.

SignedMessageWithoutPrefix

Signed message value used by the circuit transcript, without any domain prefix.

Target

Lottery threshold value used by the circuit for signer eligibility checks.