This program verifies that drand-verify implemented with ark-bls12-381 can work. Check out the two test cases in main.rs for more details and run cargo test to verify.