miden-verifier (cargo): Miden VM execution verifier
Keywords: zkp|stark|verifier|miden|cryptography|virtual-machine|zero-knowledge