Safe Haskell | None |
---|---|

Language | Haskell2010 |

# Documentation

Generate vector of generators in a deterministic way from the curve generator g by applying H(encode(g) || i) where H is a secure hash function

Generate vector of generators in a deterministic way from the curve generator h by applying H(encode(h) || i) where H is a secure hash function

oracle :: ByteString -> Integer Source #

A random oracle. In the Fiat-Shamir heuristic, its input is specifically the transcript of the interaction up to that point.

pointToBS :: Point -> ByteString Source #