This module implements the Goldwasser-Goldreich-Micali PRF, along with extended functionality that allows puncturing inputs from secret keys.