a library for creating and attesting to prediction market events