How to implement zero knowledge proof verifier on motoko?

@kayicp I’ve put together an example of using a Rust crate from a Motoko canister and posted details here - Using Rust packages from a Motoko canister - #6 by timk11. This uses winterfell but a similar approach ought to work for the crate you had in mind.