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