awesome-truebit Things not easy with EVM: Herumi BLS library: BLS12-381 signature verification ported to TrueBit