# AVA1 launch proofs (SPEC.md §5.2), computed with Python's hashlib.blake2b:
#   blake2b(b"AVA1 launch" + h, digest_size=32, key=token + bytes(16)).digest()[:16]
# token h -> proof
000102030405060708090a0b0c0d0e0f 77777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777 e82f02903d2475e367f89619b90e6c89
a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5 000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f202122232425262728292a2b2c2d2e2f303132333435363738393a3b3c3d3e3f 23f9967d0657a39878973e2ffc177d6e
