checkConformance
For the complete documentation index, see llms.txt
@midnight-ntwrk/compact-runtime v0.20.0
@midnight-ntwrk/compact-runtime / checkConformance
Function: checkConformance()
function checkConformance(declaration, implementation): ConformanceResult;
Check a resolved module against the contract type its caller declared, returning the first thing
that went wrong, or Conformant.
A module may implement more circuits than the declaration names, but not fewer and not
differently. A declared-pure circuit must be implemented pure, and a declared-impure one must be
provable — which a pure circuit is not.
Only the implementation is screened for readability; the declaration comes from the caller's own module, which is version-locked to this runtime.
Parameters
declaration
The caller's declaredInterfaces[T] for the contract type being called through.
implementation
The resolved module's circuitSignatures.