linux-aarch64: "cargo-prusti: cannot execute binary file: Exec format error"

Hi, 

I download **prusti-release-ubuntu.zip** and run cargo-prusti on the linux-x86_64 mechain(not in macos). It works well. 

Then I run it on linux-aarch64 mechain(not in macos). It shows "-bash: /usr/local/bin/cargo-prusti: cannot execute binary file: Exec format error". 

How to solve it? Does it support run cargo-prusti on linux-aarch64(not in macos) ?