Offloading the logic of FRI query verification to the chiplet.
Description
Key Changes Done:
FRI Module Integration:
Created a new FRI module for FRI-specific logic.
Added functions for enforcing FRI constraints and auxiliary constraints within this module.
ProcessorAir Structure:
Integrated calls to FRI constraint functions within evaluate_transition and evaluate_aux_transition methods.
Context Initialization: Made sure that AirContext can handle FRI-specific configurations if necessary (you may need to customize this further based on your FRI setup).
This code aims to integrate FRI proof verification into the existing AIR setup of Miden VM.
Implemented the actual logic for FRI constraints in the FRI module.
Checklist before requesting a review
Repo forked and branch created from next according to naming convention.
Describe your changes
Offloading the logic of FRI query verification to the chiplet.
Description Key Changes Done:
FRI Module Integration:
Created a new FRI module for FRI-specific logic.
Added functions for enforcing FRI constraints and auxiliary constraints within this module.
ProcessorAir Structure:
Integrated calls to FRI constraint functions within evaluate_transition and evaluate_aux_transition methods.
Context Initialization: Made sure that AirContext can handle FRI-specific configurations if necessary (you may need to customize this further based on your FRI setup).
This code aims to integrate FRI proof verification into the existing AIR setup of Miden VM.
Implemented the actual logic for FRI constraints in the FRI module.
Checklist before requesting a review
next
according to naming convention.