-
Notifications
You must be signed in to change notification settings - Fork 20
-
Recursive verification
Past due by almost 2 years Last updated over 1 year agoAirScript will be used for writing a recursive STARK verifier for t…
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