JubJubFq.r3 constructor

Implementation

factory JubJubFq.r3() {
  return JubJubFq([
    BigInt.parse('0xc62c1807439b73af'),
    BigInt.parse('0x1b3e0d188cf06990'),
    BigInt.parse('0x73d13c71c7b5f418'),
    BigInt.parse('0x6e2a5bb9c8db33e9'),
  ]);
}