Circuit Parameters
Proof Inputs
Public inputs
3
Committed inputs
Recursion (IVC)
Chips
Higher chips include their dependencies.
N.B. The native chip is used by default when using Midnight-zk's zk_stdlib library. When creating a circuit (not a zk_stdlib's relation) or chip from other libraries of Midnight-zk, the chip is not automatically used however.
N.B. The native chip is used by default when using Midnight-zk's zk_stdlib library. When creating a circuit (not a zk_stdlib's relation) or chip from other libraries of Midnight-zk, the chip is not automatically used however.
Base
Hash
ECC
Parsing
Active profile: none
Additional Configuration
Extra columns, selectors and lookup arguments are added on top of those provided by the selected chips.
The circuit degree is the maximum of the value set here and the degree required by the chips.
Degree hint
0
Advice columns
0
Fixed columns
0
Selectors
0
Column evaluations
0
Lookup arguments
0
VK Size
—
— fixed · — perm
Proof Size
—
— commits · — scalars
Input Size
—
— field elements · — commits
Total
—
proof + vk + input
Circuit degree
—
Gate args
—
Permutation args
—
Lookup args
—
Trashcab args
—
VK size breakdown
Commitments (×48 bytes each)
—
Fixed columns
Permutation polys
Detailed breakdown
| Component | Count | ×48B | Bytes |
|---|
Proof size breakdown
Commitments (×48 bytes each)
—
Scalars (×32 bytes each)
—
Advice / Evals
Permutation
Vanishing
Lookup
Polynomial Commitment Scheme
Trash args
Detailed breakdown
| Argument | Commits | ×48B | Scalars | ×32B | Total |
|---|
Verifier Operations
— adjusted for pi & ci
Scalar ops
| Operation | Count |
|---|
Point & pairing ops
| Operation | Count |
|---|
Transcript ops
| Operation | Count | Input sizes (bytes) |
|---|