miden-verifier 0.20.2

Miden VM execution verifier
Documentation