Recursive verification
Past due by almost 2 years
66% complete
AirScript will be used for writing a recursive STARK verifier for the Miden VM in Miden assembly. This requires:
- ability to write all Miden VM constraints in AirScript
- describing Miden VM constraints in AirScript
- generating constraint evaluation logic in Miden Assembly