miden-verifier 0.24.2

Miden VM execution verifier
Documentation