Skip to main content

CircuitSignature

For the complete documentation index, see llms.txt

@midnight-ntwrk/compact-runtime v0.20.0

@midnight-ntwrk/compact-runtime / CircuitSignature

Type Alias: CircuitSignature

type CircuitSignature = InterfaceCircuitDeclaration & {
  provable: boolean;
};

One circuit as implemented. pure is inferred purity; provable means a proof can be generated for it. Disjoint but not exhaustive: a circuit that only calls a witness is neither.

Type Declaration​

provable​

readonly provable: boolean;