snarkvm-nonnative