Flexible precomputation for verification checks

Posted February 19, 2019 under .