SpecRecorder

Git Source

Title: SpecRecorder

Author: Phylax Systems

Precompile interface for registering the desired assertion spec

Used within the constructor of assertion contracts to specify which subset of PhEvm precompiles should be available during assertion execution. You can only call registerAssertionSpec once per assertion.

Functions

registerAssertionSpec

Called within the constructor to set the desired assertion spec. The assertion spec defines what subset of precompiles are available. You can only call this function once. For an assertion to be valid, it needs to have a defined spec.

function registerAssertionSpec(AssertionSpec spec) external view;

Parameters