Safe Haskell	None
Language	Haskell2010

Bulletproofs.Fq

Synopsis

type Fq = PrimeField 115792089237316195423570985008687907852837564279074904382605163141518161494337
type family PF a where ...

Documentation

type Fq = PrimeField 115792089237316195423570985008687907852837564279074904382605163141518161494337 Source #

Prime field Fq with characteristic _q

type family PF a where ... Source #

Type family to extract the characteristic of the prime field

Equations