shrec UltrafastSecp256k1