Example of drand library in Move. This also includes a needed fix in translate.rs.

[jcivlin]

Move allows empty vectors, this fix provides missing conversion for this.

This fix allows full compilation (no source code changes required) of an drand library written in Sui move.

In particular spot this function:

    /// Derive a uniform vector from a drand signature.
    public fun derive_randomness(drand_sig: vector<u8>): vector<u8> {
        sha2_256(drand_sig)
    }

Note that drand_lib.moveis only an example, a test is not included in this PR, but a comment how to build the example was added to the beginning of file.

// Run it from current directory as move-mv-llvm-compiler -c ./drand_lib.move  -p ./Move.toml --test {-O|-S} -o <out_dir>

[ksolana]

Please add the .ll output file as expected file.

[ksolana]

Make it an entry.