linux-sgx-trts-modified/external/epid-sdk/epid/member/tiny/math/unittests/fq12-test.cc

/*############################################################################
# Copyright 2017 Intel Corporation
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
#     http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
############################################################################*/
/// Unit tests of Fq12 implementation.
/*! \file */

#include <gtest/gtest.h>

#include "epid/member/tiny/math/unittests/cmp-testhelper.h"

extern "C" {
#include "epid/member/tiny/math/fq12.h"
#include "epid/member/tiny/math/mathtypes.h"
}

namespace {

////////////////////////////////////////////////////////////////////////
// Fq12Add

TEST(TinyFq12Test, Fq12AddWorks) {
  Fq12Elem expected = {{{{0xf8898202, 0xb45883e0, 0x8d18168d, 0xf67a4288,
                          0xec7c2a8a, 0xfa6f0441, 0xff5583e2, 0x32d88286},
                         {0x304722d5, 0x113e09d3, 0xeaf32297, 0x32d71c16,
                          0x1cb0685b, 0xe3315524, 0xafd38377, 0xfeae3272}},
                        {{0xc82d8518, 0x99cec06c, 0xe8d7d62b, 0x2f00d5c5,
                          0x0620146e, 0x2741e62b, 0x9e7557ca, 0xeb019297},
                         {0x15cfc66e, 0x55ba87c0, 0xf1060150, 0xb91180f6,
                          0xb0d77f5f, 0xc7fa8733, 0x7dc697f1, 0x1e6b8e24}},
                        {{0x1400db26, 0x0760a0b1, 0x1a64565f, 0x27b5641e,
                          0xd96484ed, 0x54b02297, 0xa2a57172, 0xc3a04c1c},
                         {0x17ff87fb, 0x6294fcdb, 0x8f7c4bc2, 0xd0802fe6,
                          0xee3d7f1b, 0xf19d63af, 0xdb1d00ae, 0x80df53e6}}},
                       {{{0xc8c6cded, 0x0a290583, 0xd4ab7f8b, 0x867f6ac5,
                          0x791662bb, 0x893f1baa, 0xfc911068, 0xe97be9e3},
                         {0xdb9666f2, 0x1ff150ee, 0xd8691261, 0x5efee8a7,
                          0x0c67c4e5, 0x1501f7e4, 0xde7e72d8, 0x01ab1a71}},
                        {{0x85a5659c, 0xcfd4464f, 0xea3b0e64, 0x4a85994f,
                          0x0e842121, 0x939ca516, 0x55e1a4b6, 0xb92af8fa},
                         {0xb2bfc7eb, 0x71e5dd9d, 0x16b23032, 0x8590e174,
                          0x88a246af, 0x7d317c63, 0xc8f3a39a, 0x903a091d}},
                        {{0xf0df5efe, 0x5a88ee12, 0xb0d81569, 0x70172a9f,
                          0xa330fbf2, 0x36a7ea66, 0x95287dc2, 0x99c6386b},
                         {0x875888c7, 0xa3fa338b, 0x52d41dbe, 0x36960893,
                          0xfdf09874, 0x3986d2ba, 0xa9eb891e, 0x5cf05c6f}}}};
  Fq12Elem left = {{{{0x22cfd6a2, 0x23e82f1e, 0xd50e1450, 0xe853e88c,
                      0xafa65357, 0x4780716c, 0xffd94b0f, 0x5e643124},
                     {0x4d23497f, 0x189daf4d, 0x0ac5c478, 0x3583e2b0,
                      0x34dd5651, 0x1bb8f3e0, 0x1e1f4181, 0x8aa45bf5}},
                    {{0xaf9cf50f, 0xdfb22086, 0x170f8bcb, 0x75bbd889,
                      0x5d391be8, 0x88aa7982, 0xafae53e0, 0xecd73957},
                     {0x2e2e734a, 0xf6e7e2b7, 0x90b6df9f, 0x2eef83b7,
                      0x5000252c, 0x1837550e, 0x1f45a674, 0x93d557cd}},
                    {{0xcb5e99ef, 0x42374c61, 0x323344a2, 0x6aa052c7,
                      0x6e58060a, 0x38ee9923, 0xa18c3407, 0x582edecf},
                     {0x873d4160, 0xb0e68183, 0x6cade2bc, 0x77ba8f60,
                      0x26ec9f79, 0xc8b2c612, 0x79e80d5f, 0x180fdb61}}},
                   {{{0x51a7809d, 0xf8eca154, 0x3c6e23f3, 0xad809603,
                      0x62a80f0a, 0x41a7438e, 0x633b97dc, 0x2bff7dc0},
                     {0xb097729b, 0xe9ec6749, 0x125f70be, 0xa9a546bd,
                      0x6e80b955, 0x2f93adc4, 0x92734322, 0x3d539b24}},
                    {{0xd1719fbe, 0x651cbd10, 0x8a4524f4, 0x25a76399,
                      0xa8cc1ef5, 0x09d65b42, 0xdfb7b8ab, 0x58e4393c},
                     {0x93e7c6a6, 0x553e24e7, 0x3dcd9201, 0xd6894612,
                      0xabb68325, 0xf1039ad5, 0xbdef6e94, 0xe3b7cc9e}},
                    {{0xb28f5a78, 0x890b3670, 0x23c0c6e0, 0xeb127c48,
                      0x8626fe26, 0x48fe77de, 0xbc8309f8, 0x67a2fd2b},
                     {0xf5175d3c, 0x27c16a53, 0x93a131c4, 0x10d8cb8e,
                      0xb6db8586, 0x153b2bba, 0xc4d17107, 0xbe451bde}}}};
  Fq12Elem right = {{{{0x848cdb73, 0x6399829e, 0xcaa20cc0, 0x1b02bff6,
                       0x2b477bd2, 0xf9d48534, 0xff7929a0, 0xd4745161},
                      {0xe323d956, 0xf8a05a85, 0xe02d5e1e, 0xfd533966,
                       0xe7d31209, 0xc7786143, 0x91b441f6, 0x7409d67d}},
                     {{0xc763c01c, 0x8d45cdc1, 0xe46054e2, 0xc6216337,
                       0x97589d24, 0xe57d5f07, 0xeec3f4b6, 0xfe2a593f},
                      {0x96748337, 0x31fbd2e4, 0x72e72c33, 0x96fe633a,
                       0x4f48fed2, 0xf6a92484, 0x5e7de24a, 0x8a963657}},
                     {{0x48a24137, 0xc529544f, 0xe83111bc, 0xbd151156,
                       0x6b0c7ee2, 0x1bc18974, 0x01193d6b, 0x6b716d4d},
                      {0x90c2469b, 0xb1ae7b57, 0x22ce6905, 0x58c5a086,
                       0xc750dfa2, 0x28ea9d9d, 0x6134f34f, 0x68cf7885}}},
                    {{{0x771f4d50, 0x113c642f, 0x983d5b97, 0xd8fed4c2,
                       0x166e53b0, 0x4797d81c, 0x9955788c, 0xbd7c6c23},
                      {0xd9d2246a, 0x092e1780, 0xd8a1ac25, 0xc23607e5,
                       0x8c58b02e, 0x2c543c7e, 0x4c082083, 0xc4577f4d}},
                     {{0xb433c5de, 0x6ab7893e, 0x5ff5e970, 0x24de35b6,
                       0x65b8022c, 0x89c649d3, 0x7629ec0b, 0x6046bfbd},
                      {0xcdab3158, 0xefd0e691, 0xeb7ca8b3, 0xbbe4015c,
                       0xcb5d6828, 0xd313d3ec, 0x0b0125d2, 0xac823c7f}},
                     {{0x3e500486, 0xd17db7a2, 0x8d174e88, 0x8504ae57,
                       0x1d09fdcb, 0xeda97288, 0xd8a573c9, 0x32233b3f},
                      {0x41145b9e, 0x4f61f713, 0xd1caf67d, 0x3299a2ff,
                       0x3586b78d, 0x6b31995f, 0xe51708e4, 0x9eab4090}}}};
  Fq12Elem actual = {0};
  Fq12Add(&actual, &left, &right);
  EXPECT_EQ(expected, actual);
}

////////////////////////////////////////////////////////////////////////
// Fq12Sub

TEST(TinyFq12Test, Fq12SubWorks) {
  Fq12Elem expected = {{{{0x4d162b42, 0x9377da5b, 0x1d041212, 0xda2d8e91,
                          0x72d07c24, 0x9491de97, 0x005d123b, 0x89efdfc3},
                         {0x69ff7029, 0x1ffd54c7, 0x2a986659, 0x3830a949,
                          0x4d0a4447, 0x5440929c, 0x8c6aff8a, 0x169a8577}},
                        {{0x970c6506, 0x259580a0, 0x4547416c, 0xbc76db4c,
                          0xb4522362, 0xea130cd9, 0xc0e74ff6, 0xeeace017},
                         {0x97b9f013, 0xc4ec0fd2, 0x1dcfb36c, 0x97f1207d,
                          0x00b72659, 0x218e308a, 0xc0c7c429, 0x093f2175}},
                        {{0x318f88cb, 0x503725ee, 0x5c9a3d68, 0xba67a76b,
                          0xf1bd2bc6, 0x6413020d, 0xa06fe769, 0xecbd7182},
                         {0xa54e2ad8, 0xd2613407, 0x5c778439, 0x2bd154d5,
                          0x4e0d6476, 0xe6ae1ad3, 0x18b00add, 0xaf4062dc}}},
                       {{{0x895b6360, 0xbad96b00, 0xb6c8d2df, 0xe15e273b,
                          0x3aab5ff8, 0x40f55dd1, 0xc9e3101d, 0x6e83119c},
                         {0x85987e44, 0xb3e77da4, 0x4c55cf1c, 0xf44ba4d2,
                          0xd099adc5, 0x4a2563a4, 0x4668136c, 0x78fc1bd7}},
                        {{0xcc1109f3, 0xcd8e61ad, 0x3ce74606, 0x0da593de,
                          0x3185c168, 0xc6f603ce, 0x698abd6c, 0xf89d797f},
                         {0xc63c954e, 0x656d3e55, 0x5250e94d, 0x1aa544b5,
                          0xe0591afd, 0x1defc6e8, 0xb2ee48c2, 0x3735901f}},
                        {{0x743f55f2, 0xb78d7ece, 0x96a97857, 0x660dcdf0,
                          0x691d005b, 0x5b550556, 0xe3dd962e, 0x357fc1eb},
                         {0xb403019e, 0xd85f7340, 0xc1d63b46, 0xde3f288e,
                          0x8154cdf8, 0xaa09925b, 0xdfba6822, 0x1f99db4d}}}};
  Fq12Elem left = {{{{0x22cfd6a2, 0x23e82f1e, 0xd50e1450, 0xe853e88c,
                      0xafa65357, 0x4780716c, 0xffd94b0f, 0x5e643124},
                     {0x4d23497f, 0x189daf4d, 0x0ac5c478, 0x3583e2b0,
                      0x34dd5651, 0x1bb8f3e0, 0x1e1f4181, 0x8aa45bf5}},
                    {{0xaf9cf50f, 0xdfb22086, 0x170f8bcb, 0x75bbd889,
                      0x5d391be8, 0x88aa7982, 0xafae53e0, 0xecd73957},
                     {0x2e2e734a, 0xf6e7e2b7, 0x90b6df9f, 0x2eef83b7,
                      0x5000252c, 0x1837550e, 0x1f45a674, 0x93d557cd}},
                    {{0xcb5e99ef, 0x42374c61, 0x323344a2, 0x6aa052c7,
                      0x6e58060a, 0x38ee9923, 0xa18c3407, 0x582edecf},
                     {0x873d4160, 0xb0e68183, 0x6cade2bc, 0x77ba8f60,
                      0x26ec9f79, 0xc8b2c612, 0x79e80d5f, 0x180fdb61}}},
                   {{{0x51a7809d, 0xf8eca154, 0x3c6e23f3, 0xad809603,
                      0x62a80f0a, 0x41a7438e, 0x633b97dc, 0x2bff7dc0},
                     {0xb097729b, 0xe9ec6749, 0x125f70be, 0xa9a546bd,
                      0x6e80b955, 0x2f93adc4, 0x92734322, 0x3d539b24}},
                    {{0xd1719fbe, 0x651cbd10, 0x8a4524f4, 0x25a76399,
                      0xa8cc1ef5, 0x09d65b42, 0xdfb7b8ab, 0x58e4393c},
                     {0x93e7c6a6, 0x553e24e7, 0x3dcd9201, 0xd6894612,
                      0xabb68325, 0xf1039ad5, 0xbdef6e94, 0xe3b7cc9e}},
                    {{0xb28f5a78, 0x890b3670, 0x23c0c6e0, 0xeb127c48,
                      0x8626fe26, 0x48fe77de, 0xbc8309f8, 0x67a2fd2b},
                     {0xf5175d3c, 0x27c16a53, 0x93a131c4, 0x10d8cb8e,
                      0xb6db8586, 0x153b2bba, 0xc4d17107, 0xbe451bde}}}};
  Fq12Elem right = {{{{0x848cdb73, 0x6399829e, 0xcaa20cc0, 0x1b02bff6,
                       0x2b477bd2, 0xf9d48534, 0xff7929a0, 0xd4745161},
                      {0xe323d956, 0xf8a05a85, 0xe02d5e1e, 0xfd533966,
                       0xe7d31209, 0xc7786143, 0x91b441f6, 0x7409d67d}},
                     {{0xc763c01c, 0x8d45cdc1, 0xe46054e2, 0xc6216337,
                       0x97589d24, 0xe57d5f07, 0xeec3f4b6, 0xfe2a593f},
                      {0x96748337, 0x31fbd2e4, 0x72e72c33, 0x96fe633a,
                       0x4f48fed2, 0xf6a92484, 0x5e7de24a, 0x8a963657}},
                     {{0x48a24137, 0xc529544f, 0xe83111bc, 0xbd151156,
                       0x6b0c7ee2, 0x1bc18974, 0x01193d6b, 0x6b716d4d},
                      {0x90c2469b, 0xb1ae7b57, 0x22ce6905, 0x58c5a086,
                       0xc750dfa2, 0x28ea9d9d, 0x6134f34f, 0x68cf7885}}},
                    {{{0x771f4d50, 0x113c642f, 0x983d5b97, 0xd8fed4c2,
                       0x166e53b0, 0x4797d81c, 0x9955788c, 0xbd7c6c23},
                      {0xd9d2246a, 0x092e1780, 0xd8a1ac25, 0xc23607e5,
                       0x8c58b02e, 0x2c543c7e, 0x4c082083, 0xc4577f4d}},
                     {{0xb433c5de, 0x6ab7893e, 0x5ff5e970, 0x24de35b6,
                       0x65b8022c, 0x89c649d3, 0x7629ec0b, 0x6046bfbd},
                      {0xcdab3158, 0xefd0e691, 0xeb7ca8b3, 0xbbe4015c,
                       0xcb5d6828, 0xd313d3ec, 0x0b0125d2, 0xac823c7f}},
                     {{0x3e500486, 0xd17db7a2, 0x8d174e88, 0x8504ae57,
                       0x1d09fdcb, 0xeda97288, 0xd8a573c9, 0x32233b3f},
                      {0x41145b9e, 0x4f61f713, 0xd1caf67d, 0x3299a2ff,
                       0x3586b78d, 0x6b31995f, 0xe51708e4, 0x9eab4090}}}};
  Fq12Elem actual = {0};
  Fq12Sub(&actual, &left, &right);
  EXPECT_EQ(expected, actual);
}

////////////////////////////////////////////////////////////////////////
// Fq12Square

TEST(TinyFq12Test, Fq12SquareWorks) {
  Fq12Elem expected = {{{{0xb2718e2f, 0x5acdc81c, 0x00964828, 0x20087676,
                          0x5ae15b61, 0x4fd4da11, 0xe092dfeb, 0x58534fb6},
                         {0xccc9dc07, 0x1004c642, 0x4d95229d, 0x82350b1c,
                          0x9771ce95, 0xd9a24ede, 0xbd10467b, 0xc7ed3445}},
                        {{0xbde22884, 0x8354762f, 0x86ba1554, 0x63db32bb,
                          0x0bae02fd, 0x6d0d96e8, 0xcf9ffd11, 0xb8fe4b31},
                         {0x2d04f196, 0x23e1a987, 0x99e976e3, 0xa037f309,
                          0xe90221d9, 0x201fec2a, 0x46d79de9, 0xc93a6bd2}},
                        {{0x5c58af07, 0xd9343489, 0xb4f19136, 0xff508b82,
                          0xc14265f4, 0xa4d22c7b, 0x6e928f38, 0xe279749e},
                         {0xa1d790b2, 0xcf37602c, 0xc842e733, 0x72c2773a,
                          0xc4d0ad50, 0x707594fb, 0x969b8864, 0x0979561b}}},
                       {{{0x24a687fb, 0xfb396e79, 0xc34718eb, 0x2b491ee6,
                          0xba812deb, 0xc6dfa2d8, 0x4c2bd958, 0x692fc435},
                         {0x0b3d5a09, 0xb3310b79, 0xcb0179fe, 0x8e8a4e82,
                          0x79cf9278, 0x1b884773, 0xe7bfdc35, 0xb64b17bf}},
                        {{0x7928c472, 0xbc2fe39f, 0xa4eff880, 0xd700813f,
                          0x555725f0, 0x43a4f63e, 0x857b8b39, 0x96614e14},
                         {0x0ba1d9bb, 0x78f7e930, 0x13c1d603, 0xe2f9587b,
                          0x19c67a04, 0x3931bdf3, 0x3c6271ae, 0xdde60cd5}},
                        {{0xa376e35d, 0xd157352f, 0x040e0af6, 0x0e36afd1,
                          0x9cfbfb84, 0x9cd3d83a, 0x94b83ec5, 0x1de41161},
                         {0xf1424d67, 0x5ecaee6f, 0x25a809b2, 0x00abd96d,
                          0x2b2da6c7, 0xbcfeab22, 0x6072fb3a, 0x75474592}}}};
  Fq12Elem left = {{{{0x22cfd6a2, 0x23e82f1e, 0xd50e1450, 0xe853e88c,
                      0xafa65357, 0x4780716c, 0xffd94b0f, 0x5e643124},
                     {0x4d23497f, 0x189daf4d, 0x0ac5c478, 0x3583e2b0,
                      0x34dd5651, 0x1bb8f3e0, 0x1e1f4181, 0x8aa45bf5}},
                    {{0xaf9cf50f, 0xdfb22086, 0x170f8bcb, 0x75bbd889,
                      0x5d391be8, 0x88aa7982, 0xafae53e0, 0xecd73957},
                     {0x2e2e734a, 0xf6e7e2b7, 0x90b6df9f, 0x2eef83b7,
                      0x5000252c, 0x1837550e, 0x1f45a674, 0x93d557cd}},
                    {{0xcb5e99ef, 0x42374c61, 0x323344a2, 0x6aa052c7,
                      0x6e58060a, 0x38ee9923, 0xa18c3407, 0x582edecf},
                     {0x873d4160, 0xb0e68183, 0x6cade2bc, 0x77ba8f60,
                      0x26ec9f79, 0xc8b2c612, 0x79e80d5f, 0x180fdb61}}},
                   {{{0x51a7809d, 0xf8eca154, 0x3c6e23f3, 0xad809603,
                      0x62a80f0a, 0x41a7438e, 0x633b97dc, 0x2bff7dc0},
                     {0xb097729b, 0xe9ec6749, 0x125f70be, 0xa9a546bd,
                      0x6e80b955, 0x2f93adc4, 0x92734322, 0x3d539b24}},
                    {{0xd1719fbe, 0x651cbd10, 0x8a4524f4, 0x25a76399,
                      0xa8cc1ef5, 0x09d65b42, 0xdfb7b8ab, 0x58e4393c},
                     {0x93e7c6a6, 0x553e24e7, 0x3dcd9201, 0xd6894612,
                      0xabb68325, 0xf1039ad5, 0xbdef6e94, 0xe3b7cc9e}},
                    {{0xb28f5a78, 0x890b3670, 0x23c0c6e0, 0xeb127c48,
                      0x8626fe26, 0x48fe77de, 0xbc8309f8, 0x67a2fd2b},
                     {0xf5175d3c, 0x27c16a53, 0x93a131c4, 0x10d8cb8e,
                      0xb6db8586, 0x153b2bba, 0xc4d17107, 0xbe451bde}}}};

  Fq12Elem actual = {0};
  Fq12Square(&actual, &left);
  EXPECT_EQ(expected, actual);
}

////////////////////////////////////////////////////////////////////////
// Fq12Mul

TEST(TinyFq12Test, Fq12MultWorks) {
  Fq12Elem expected = {{{{0x054b2248, 0x40490d13, 0xa309fba1, 0xcda4a1ef,
                          0xe6efd6b9, 0x6dbdd131, 0xfde112e9, 0xaf90b12e},
                         {0x4e21c944, 0x03e20ec3, 0xed4543f5, 0x7a577659,
                          0x81d1fd42, 0xea9a8c1c, 0x791b36af, 0x870740ff}},
                        {{0x8d2c2a6e, 0xe8ce5ca0, 0xe528c957, 0x84cd9406,
                          0x34a3c63a, 0x2b928ab5, 0x66655119, 0x91ff61ee},
                         {0x4c30c782, 0x4fd5522a, 0xfd8d17f1, 0xa3a6f430,
                          0x37bf9b7b, 0x72928155, 0x66037689, 0x4c8e67bc}},
                        {{0x35a5ce87, 0x1b25e22e, 0x2313705b, 0x9e3e6eb6,
                          0x8675e450, 0x33d9cdc4, 0x569c1b3e, 0xd9027fce},
                         {0x4f74f503, 0xecbc164d, 0x48ce7250, 0x32b9fb72,
                          0x8b726b18, 0xc0872542, 0xcb8d6a0b, 0xfecc8ed3}}},
                       {{{0x1a907f78, 0x04356cb2, 0x03360ad2, 0xba867ae8,
                          0xa1d5266f, 0xb5896fcf, 0x7013d8a3, 0x587b138f},
                         {0x30de9fe0, 0xacde6ad3, 0xdb1dcd3d, 0x765f2eac,
                          0x7f665d4e, 0xedc431a0, 0xd9057e43, 0x1bd63b89}},
                        {{0x16e913c4, 0xdc0a393e, 0xa9780dac, 0xa0e35293,
                          0x99e4eb2f, 0x80654405, 0x9a51d4b9, 0x890d2fa3},
                         {0x7a415a23, 0x7252917f, 0xb05a73ac, 0xe8a7f092,
                          0x9e68afd0, 0xfe5b63d2, 0x68ecfa20, 0xe3a9f4e0}},
                        {{0x3a77ca45, 0x282422b7, 0x613276da, 0x5bc45097,
                          0x95ea8ee4, 0x4a7a7633, 0xc9bb3324, 0xe396b7b4},
                         {0xf37c26a1, 0x8009faaa, 0x0779b7c1, 0x6ef10242,
                          0xcd5a86eb, 0x2dd2897e, 0x2b5f0b01, 0x0b79178d}}}};
  Fq12Elem left = {{{{0x22cfd6a2, 0x23e82f1e, 0xd50e1450, 0xe853e88c,
                      0xafa65357, 0x4780716c, 0xffd94b0f, 0x5e643124},
                     {0x4d23497f, 0x189daf4d, 0x0ac5c478, 0x3583e2b0,
                      0x34dd5651, 0x1bb8f3e0, 0x1e1f4181, 0x8aa45bf5}},
                    {{0xaf9cf50f, 0xdfb22086, 0x170f8bcb, 0x75bbd889,
                      0x5d391be8, 0x88aa7982, 0xafae53e0, 0xecd73957},
                     {0x2e2e734a, 0xf6e7e2b7, 0x90b6df9f, 0x2eef83b7,
                      0x5000252c, 0x1837550e, 0x1f45a674, 0x93d557cd}},
                    {{0xcb5e99ef, 0x42374c61, 0x323344a2, 0x6aa052c7,
                      0x6e58060a, 0x38ee9923, 0xa18c3407, 0x582edecf},
                     {0x873d4160, 0xb0e68183, 0x6cade2bc, 0x77ba8f60,
                      0x26ec9f79, 0xc8b2c612, 0x79e80d5f, 0x180fdb61}}},
                   {{{0x51a7809d, 0xf8eca154, 0x3c6e23f3, 0xad809603,
                      0x62a80f0a, 0x41a7438e, 0x633b97dc, 0x2bff7dc0},
                     {0xb097729b, 0xe9ec6749, 0x125f70be, 0xa9a546bd,
                      0x6e80b955, 0x2f93adc4, 0x92734322, 0x3d539b24}},
                    {{0xd1719fbe, 0x651cbd10, 0x8a4524f4, 0x25a76399,
                      0xa8cc1ef5, 0x09d65b42, 0xdfb7b8ab, 0x58e4393c},
                     {0x93e7c6a6, 0x553e24e7, 0x3dcd9201, 0xd6894612,
                      0xabb68325, 0xf1039ad5, 0xbdef6e94, 0xe3b7cc9e}},
                    {{0xb28f5a78, 0x890b3670, 0x23c0c6e0, 0xeb127c48,
                      0x8626fe26, 0x48fe77de, 0xbc8309f8, 0x67a2fd2b},
                     {0xf5175d3c, 0x27c16a53, 0x93a131c4, 0x10d8cb8e,
                      0xb6db8586, 0x153b2bba, 0xc4d17107, 0xbe451bde}}}};
  Fq12Elem right = {{{{0x848cdb73, 0x6399829e, 0xcaa20cc0, 0x1b02bff6,
                       0x2b477bd2, 0xf9d48534, 0xff7929a0, 0xd4745161},
                      {0xe323d956, 0xf8a05a85, 0xe02d5e1e, 0xfd533966,
                       0xe7d31209, 0xc7786143, 0x91b441f6, 0x7409d67d}},
                     {{0xc763c01c, 0x8d45cdc1, 0xe46054e2, 0xc6216337,
                       0x97589d24, 0xe57d5f07, 0xeec3f4b6, 0xfe2a593f},
                      {0x96748337, 0x31fbd2e4, 0x72e72c33, 0x96fe633a,
                       0x4f48fed2, 0xf6a92484, 0x5e7de24a, 0x8a963657}},
                     {{0x48a24137, 0xc529544f, 0xe83111bc, 0xbd151156,
                       0x6b0c7ee2, 0x1bc18974, 0x01193d6b, 0x6b716d4d},
                      {0x90c2469b, 0xb1ae7b57, 0x22ce6905, 0x58c5a086,
                       0xc750dfa2, 0x28ea9d9d, 0x6134f34f, 0x68cf7885}}},
                    {{{0x771f4d50, 0x113c642f, 0x983d5b97, 0xd8fed4c2,
                       0x166e53b0, 0x4797d81c, 0x9955788c, 0xbd7c6c23},
                      {0xd9d2246a, 0x092e1780, 0xd8a1ac25, 0xc23607e5,
                       0x8c58b02e, 0x2c543c7e, 0x4c082083, 0xc4577f4d}},
                     {{0xb433c5de, 0x6ab7893e, 0x5ff5e970, 0x24de35b6,
                       0x65b8022c, 0x89c649d3, 0x7629ec0b, 0x6046bfbd},
                      {0xcdab3158, 0xefd0e691, 0xeb7ca8b3, 0xbbe4015c,
                       0xcb5d6828, 0xd313d3ec, 0x0b0125d2, 0xac823c7f}},
                     {{0x3e500486, 0xd17db7a2, 0x8d174e88, 0x8504ae57,
                       0x1d09fdcb, 0xeda97288, 0xd8a573c9, 0x32233b3f},
                      {0x41145b9e, 0x4f61f713, 0xd1caf67d, 0x3299a2ff,
                       0x3586b78d, 0x6b31995f, 0xe51708e4, 0x9eab4090}}}};
  Fq12Elem actual = {0};
  Fq12Mul(&actual, &left, &right);
  EXPECT_EQ(expected, actual);
}

////////////////////////////////////////////////////////////////////////
// Fq12Inv

TEST(TinyFq12Test, Fq12InvWorks) {
  Fq12Elem expected = {{{{0xcf7ba426, 0x4bb2c4c3, 0xfb50fa73, 0xb70c280d,
                          0xb5cf02c7, 0xb047bc29, 0x7cd8b4d1, 0xc238e14d},
                         {0xd1bc45de, 0xc113277d, 0x5189b836, 0x49694d5b,
                          0xc4084edb, 0xc837f717, 0xf65566eb, 0x519dad22}},
                        {{0x62b12d6e, 0xc2a49558, 0x0f36f3b8, 0x2274fc44,
                          0xd7ef63a2, 0x7a0f59da, 0xc4fa06c3, 0x812be980},
                         {0xc887fc84, 0xbeb1803c, 0x5ec3d49f, 0x7c32ae46,
                          0x97fb66b2, 0x470acb13, 0x2e9d2992, 0x88dd93d5}},
                        {{0x47087924, 0x143c1bba, 0x4fe23ddb, 0x6be4e322,
                          0x3cabd640, 0xdf2f66c9, 0x2d309380, 0xa244260f},
                         {0xf899db8a, 0xb5a83982, 0x264e1961, 0xe8a8ce8c,
                          0xe94ceacf, 0xd18bd271, 0x67f10894, 0xc82e0f88}}},
                       {{{0x61170257, 0x9740a14e, 0xdd90ec1f, 0xfc1a7d8b,
                          0x2a37d62c, 0xa6577bc2, 0xe610b5d6, 0xe0b70389},
                         {0x8192b447, 0x2fd37cbc, 0xc3f80c5b, 0x618f95a1,
                          0x21e22c0c, 0xf35bd82b, 0xbf635e7d, 0x990ac1f2}},
                        {{0x790d6584, 0xf40c0f6e, 0x83ca3d0f, 0x96f7c28d,
                          0x8a2662fa, 0xc83bfe45, 0x8be01843, 0x87a00b86},
                         {0x6020320a, 0x73199db4, 0x4d5dd850, 0x14cf247d,
                          0x34fb1d44, 0x8ababc0d, 0x7c849de5, 0x81226e85}},
                        {{0x6453b966, 0xbbd595ea, 0x704c45e2, 0x5d4cd2a1,
                          0x8ee6cc5e, 0x336a21d8, 0x87955196, 0xc9e0915a},
                         {0x83330d6a, 0x200dbac0, 0x6b9e8ee8, 0xe6a33cf8,
                          0x4dc48908, 0xd0a02fdb, 0x0f715987, 0x5f4b9d5b}}}};
  Fq12Elem left = {{{{0x22cfd6a2, 0x23e82f1e, 0xd50e1450, 0xe853e88c,
                      0xafa65357, 0x4780716c, 0xffd94b0f, 0x5e643124},
                     {0x4d23497f, 0x189daf4d, 0x0ac5c478, 0x3583e2b0,
                      0x34dd5651, 0x1bb8f3e0, 0x1e1f4181, 0x8aa45bf5}},
                    {{0xaf9cf50f, 0xdfb22086, 0x170f8bcb, 0x75bbd889,
                      0x5d391be8, 0x88aa7982, 0xafae53e0, 0xecd73957},
                     {0x2e2e734a, 0xf6e7e2b7, 0x90b6df9f, 0x2eef83b7,
                      0x5000252c, 0x1837550e, 0x1f45a674, 0x93d557cd}},
                    {{0xcb5e99ef, 0x42374c61, 0x323344a2, 0x6aa052c7,
                      0x6e58060a, 0x38ee9923, 0xa18c3407, 0x582edecf},
                     {0x873d4160, 0xb0e68183, 0x6cade2bc, 0x77ba8f60,
                      0x26ec9f79, 0xc8b2c612, 0x79e80d5f, 0x180fdb61}}},
                   {{{0x51a7809d, 0xf8eca154, 0x3c6e23f3, 0xad809603,
                      0x62a80f0a, 0x41a7438e, 0x633b97dc, 0x2bff7dc0},
                     {0xb097729b, 0xe9ec6749, 0x125f70be, 0xa9a546bd,
                      0x6e80b955, 0x2f93adc4, 0x92734322, 0x3d539b24}},
                    {{0xd1719fbe, 0x651cbd10, 0x8a4524f4, 0x25a76399,
                      0xa8cc1ef5, 0x09d65b42, 0xdfb7b8ab, 0x58e4393c},
                     {0x93e7c6a6, 0x553e24e7, 0x3dcd9201, 0xd6894612,
                      0xabb68325, 0xf1039ad5, 0xbdef6e94, 0xe3b7cc9e}},
                    {{0xb28f5a78, 0x890b3670, 0x23c0c6e0, 0xeb127c48,
                      0x8626fe26, 0x48fe77de, 0xbc8309f8, 0x67a2fd2b},
                     {0xf5175d3c, 0x27c16a53, 0x93a131c4, 0x10d8cb8e,
                      0xb6db8586, 0x153b2bba, 0xc4d17107, 0xbe451bde}}}};
  Fq12Elem actual = {0};
  Fq12Inv(&actual, &left);
  EXPECT_EQ(expected, actual);
}

////////////////////////////////////////////////////////////////////////
// Fq12Neg

TEST(TinyFq12Test, Fq12NegWorks) {
  Fq12Elem expected = {{{{0x8c035971, 0xaf40febd, 0x3d89f632, 0x24887d6e,
                          0x3ecb5147, 0xff6580f2, 0x0023a5bd, 0xa19bcedb},
                         {0x61afe694, 0xba8b7e8e, 0x07d2460a, 0xd758834b,
                          0xb9944e4d, 0x2b2cfe7e, 0xe1ddaf4c, 0x755ba40a}},
                        {{0xff363b04, 0xf3770d54, 0xfb887eb6, 0x97208d71,
                          0x913888b6, 0xbe3b78dc, 0x504e9cec, 0x1328c6a8},
                         {0x80a4bcc9, 0xdc414b24, 0x81e12ae2, 0xddece243,
                          0x9e717f72, 0x2eae9d50, 0xe0b74a59, 0x6c2aa832}},
                        {{0xe3749624, 0x90f1e179, 0xe064c5e0, 0xa23c1333,
                          0x80199e94, 0x0df7593b, 0x5e70bcc6, 0xa7d12130},
                         {0x2795eeb3, 0x2242ac58, 0xa5ea27c6, 0x9521d69a,
                          0xc7850525, 0x7e332c4c, 0x8614e36d, 0xe7f0249e}}},
                       {{{0x5d2baf76, 0xda3c8c87, 0xd629e68e, 0x5f5bcff7,
                          0x8bc99594, 0x053eaed0, 0x9cc158f1, 0xd400823f},
                         {0xfe3bbd78, 0xe93cc691, 0x003899c3, 0x63371f3e,
                          0x7ff0eb49, 0x1752449a, 0x6d89adab, 0xc2ac64db}},
                        {{0xdd619055, 0x6e0c70ca, 0x8852e58e, 0xe7350261,
                          0x45a585a9, 0x3d0f971c, 0x20453822, 0xa71bc6c3},
                         {0x1aeb696d, 0x7deb08f4, 0xd4ca7881, 0x36531fe8,
                          0x42bb2179, 0x55e25789, 0x420d8238, 0x1c483361}},
                        {{0xfc43d59b, 0x4a1df76a, 0xeed743a2, 0x21c9e9b2,
                          0x684aa678, 0xfde77a80, 0x4379e6d4, 0x985d02d4},
                         {0xb9bbd2d7, 0xab67c387, 0x7ef6d8be, 0xfc039a6c,
                          0x37961f18, 0x31aac6a4, 0x3b2b7fc6, 0x41bae421}}}};
  Fq12Elem left = {{{{0x22cfd6a2, 0x23e82f1e, 0xd50e1450, 0xe853e88c,
                      0xafa65357, 0x4780716c, 0xffd94b0f, 0x5e643124},
                     {0x4d23497f, 0x189daf4d, 0x0ac5c478, 0x3583e2b0,
                      0x34dd5651, 0x1bb8f3e0, 0x1e1f4181, 0x8aa45bf5}},
                    {{0xaf9cf50f, 0xdfb22086, 0x170f8bcb, 0x75bbd889,
                      0x5d391be8, 0x88aa7982, 0xafae53e0, 0xecd73957},
                     {0x2e2e734a, 0xf6e7e2b7, 0x90b6df9f, 0x2eef83b7,
                      0x5000252c, 0x1837550e, 0x1f45a674, 0x93d557cd}},
                    {{0xcb5e99ef, 0x42374c61, 0x323344a2, 0x6aa052c7,
                      0x6e58060a, 0x38ee9923, 0xa18c3407, 0x582edecf},
                     {0x873d4160, 0xb0e68183, 0x6cade2bc, 0x77ba8f60,
                      0x26ec9f79, 0xc8b2c612, 0x79e80d5f, 0x180fdb61}}},
                   {{{0x51a7809d, 0xf8eca154, 0x3c6e23f3, 0xad809603,
                      0x62a80f0a, 0x41a7438e, 0x633b97dc, 0x2bff7dc0},
                     {0xb097729b, 0xe9ec6749, 0x125f70be, 0xa9a546bd,
                      0x6e80b955, 0x2f93adc4, 0x92734322, 0x3d539b24}},
                    {{0xd1719fbe, 0x651cbd10, 0x8a4524f4, 0x25a76399,
                      0xa8cc1ef5, 0x09d65b42, 0xdfb7b8ab, 0x58e4393c},
                     {0x93e7c6a6, 0x553e24e7, 0x3dcd9201, 0xd6894612,
                      0xabb68325, 0xf1039ad5, 0xbdef6e94, 0xe3b7cc9e}},
                    {{0xb28f5a78, 0x890b3670, 0x23c0c6e0, 0xeb127c48,
                      0x8626fe26, 0x48fe77de, 0xbc8309f8, 0x67a2fd2b},
                     {0xf5175d3c, 0x27c16a53, 0x93a131c4, 0x10d8cb8e,
                      0xb6db8586, 0x153b2bba, 0xc4d17107, 0xbe451bde}}}};
  Fq12Elem actual = {0};
  Fq12Neg(&actual, &left);
  EXPECT_EQ(expected, actual);
}

////////////////////////////////////////////////////////////////////////
// Fq12Set

TEST(TinyFq12Test, Fq12SetWorks) {
  Fq12Elem result = {{{{0x22cfd6a2, 0x23e82f1e, 0xd50e1450, 0xe853e88c,
                        0xafa65357, 0x4780716c, 0xffd94b0f, 0x5e643124},
                       {0x4d23497f, 0x189daf4d, 0x0ac5c478, 0x3583e2b0,
                        0x34dd5651, 0x1bb8f3e0, 0x1e1f4181, 0x8aa45bf5}},
                      {{0xaf9cf50f, 0xdfb22086, 0x170f8bcb, 0x75bbd889,
                        0x5d391be8, 0x88aa7982, 0xafae53e0, 0xecd73957},
                       {0x2e2e734a, 0xf6e7e2b7, 0x90b6df9f, 0x2eef83b7,
                        0x5000252c, 0x1837550e, 0x1f45a674, 0x93d557cd}},
                      {{0xcb5e99ef, 0x42374c61, 0x323344a2, 0x6aa052c7,
                        0x6e58060a, 0x38ee9923, 0xa18c3407, 0x582edecf},
                       {0x873d4160, 0xb0e68183, 0x6cade2bc, 0x77ba8f60,
                        0x26ec9f79, 0xc8b2c612, 0x79e80d5f, 0x180fdb61}}},
                     {{{0x51a7809d, 0xf8eca154, 0x3c6e23f3, 0xad809603,
                        0x62a80f0a, 0x41a7438e, 0x633b97dc, 0x2bff7dc0},
                       {0xb097729b, 0xe9ec6749, 0x125f70be, 0xa9a546bd,
                        0x6e80b955, 0x2f93adc4, 0x92734322, 0x3d539b24}},
                      {{0xd1719fbe, 0x651cbd10, 0x8a4524f4, 0x25a76399,
                        0xa8cc1ef5, 0x09d65b42, 0xdfb7b8ab, 0x58e4393c},
                       {0x93e7c6a6, 0x553e24e7, 0x3dcd9201, 0xd6894612,
                        0xabb68325, 0xf1039ad5, 0xbdef6e94, 0xe3b7cc9e}},
                      {{0xb28f5a78, 0x890b3670, 0x23c0c6e0, 0xeb127c48,
                        0x8626fe26, 0x48fe77de, 0xbc8309f8, 0x67a2fd2b},
                       {0xf5175d3c, 0x27c16a53, 0x93a131c4, 0x10d8cb8e,
                        0xb6db8586, 0x153b2bba, 0xc4d17107, 0xbe451bde}}}};
  Fq12Elem expected = {{{{0x00000010, 0}, {0}}}};
  uint32_t val = 0x10;
  Fq12Set(&result, val);
  EXPECT_EQ(expected, result);
}

////////////////////////////////////////////////////////////////////////
// Fq12Exp

TEST(TinyFq12Test, Fq12ExpWorks) {
  Fq12Elem expected = {{{{0x07770c93, 0x5820d5a9, 0x65189432, 0x5f5d67ff,
                          0xe257644a, 0x41318fa0, 0x6ab6be96, 0xf104adf8},
                         {0x6d5cae3a, 0x2e43c14b, 0xede9dbfe, 0x6743d276,
                          0x35d13a61, 0xf25d3672, 0x6a36930c, 0x9bdbed9d}},
                        {{0x12fc551f, 0x9ff0f349, 0x4131b828, 0x50c353ed,
                          0x785d7e8b, 0xbb894c96, 0xee86c2d1, 0x8af21330},
                         {0x45a7337a, 0xb0f0d8c5, 0xacfb0dbd, 0x1f775366,
                          0x12303719, 0x6f7208bd, 0x68c1bf17, 0x14b60ae7}},
                        {{0xcdf00f9c, 0xbd6529d8, 0x693b8a51, 0xcb9eb968,
                          0x46c25f48, 0x39cbf307, 0xd7283cd4, 0x8cbb7dd9},
                         {0xb18b24c2, 0x5a98714f, 0x0782ea19, 0x8af18c94,
                          0x22373570, 0xe24e7fef, 0x0510369a, 0xc5399438}}},
                       {{{0x141a7578, 0x05e94e05, 0x08ec385f, 0x3a5ae1ef,
                          0xccd4f61a, 0x3291d9f6, 0xb7b07242, 0xb1742404},
                         {0xec5f69b1, 0x68fbad6b, 0x167e8ec8, 0x67c97e56,
                          0x1ac21584, 0x783e2b30, 0x8c2dd9dd, 0xd4ed7488}},
                        {{0xb591926f, 0x97f68a1f, 0xd3bccfb8, 0x9a58152b,
                          0x9e12cf14, 0x0a82dfd6, 0x8c246e88, 0x94bcbc8a},
                         {0xa95962fe, 0x342b7e99, 0xddc1c0d9, 0x15a4e0f8,
                          0x64475d29, 0xbce1bd39, 0xa79dd2ee, 0xee505176}},
                        {{0xdb49f8cf, 0x10cdb302, 0xf5c48053, 0x83ce1f18,
                          0x988d4d5c, 0xd305fb4e, 0xbb11f2bb, 0x2f391894},
                         {0x084c02ad, 0x26eae084, 0x4d81e78d, 0x9750454d,
                          0xdb062196, 0xae6ad23e, 0x18588c31, 0xb3d78420}}}};
  Fq12Elem left = {{{{0x22cfd6a2, 0x23e82f1e, 0xd50e1450, 0xe853e88c,
                      0xafa65357, 0x4780716c, 0xffd94b0f, 0x5e643124},
                     {0x4d23497f, 0x189daf4d, 0x0ac5c478, 0x3583e2b0,
                      0x34dd5651, 0x1bb8f3e0, 0x1e1f4181, 0x8aa45bf5}},
                    {{0xaf9cf50f, 0xdfb22086, 0x170f8bcb, 0x75bbd889,
                      0x5d391be8, 0x88aa7982, 0xafae53e0, 0xecd73957},
                     {0x2e2e734a, 0xf6e7e2b7, 0x90b6df9f, 0x2eef83b7,
                      0x5000252c, 0x1837550e, 0x1f45a674, 0x93d557cd}},
                    {{0xcb5e99ef, 0x42374c61, 0x323344a2, 0x6aa052c7,
                      0x6e58060a, 0x38ee9923, 0xa18c3407, 0x582edecf},
                     {0x873d4160, 0xb0e68183, 0x6cade2bc, 0x77ba8f60,
                      0x26ec9f79, 0xc8b2c612, 0x79e80d5f, 0x180fdb61}}},
                   {{{0x51a7809d, 0xf8eca154, 0x3c6e23f3, 0xad809603,
                      0x62a80f0a, 0x41a7438e, 0x633b97dc, 0x2bff7dc0},
                     {0xb097729b, 0xe9ec6749, 0x125f70be, 0xa9a546bd,
                      0x6e80b955, 0x2f93adc4, 0x92734322, 0x3d539b24}},
                    {{0xd1719fbe, 0x651cbd10, 0x8a4524f4, 0x25a76399,
                      0xa8cc1ef5, 0x09d65b42, 0xdfb7b8ab, 0x58e4393c},
                     {0x93e7c6a6, 0x553e24e7, 0x3dcd9201, 0xd6894612,
                      0xabb68325, 0xf1039ad5, 0xbdef6e94, 0xe3b7cc9e}},
                    {{0xb28f5a78, 0x890b3670, 0x23c0c6e0, 0xeb127c48,
                      0x8626fe26, 0x48fe77de, 0xbc8309f8, 0x67a2fd2b},
                     {0xf5175d3c, 0x27c16a53, 0x93a131c4, 0x10d8cb8e,
                      0xb6db8586, 0x153b2bba, 0xc4d17107, 0xbe451bde}}}};
  VeryLargeInt exponent = {0x76abb18a, 0x92c0f7b9, 0x2c1a37e0, 0x7fdf6ca1,
                           0xe3401760, 0x66eb7d52, 0x918d50a7, 0x12a65bd6};
  Fq12Elem actual = {0};
  Fq12Exp(&actual, &left, &exponent);
  EXPECT_EQ(expected, actual);
}

////////////////////////////////////////////////////////////////////////
// Fq12MultiExp

TEST(TinyFq12Test, Fq12MultiExpWorks) {
  Fq12Elem expected = {{{{0x9b800ac0, 0x1fb360b8, 0x9af601c4, 0x4931f447,
                          0x31152f7c, 0x7f6b2489, 0x2fbeed91, 0xcc7a6ac0},
                         {0xb76c0d77, 0x5b09b4be, 0x4a8fc1d4, 0x2e5222d1,
                          0x6b6e41e6, 0x9ea53fff, 0x6daabae4, 0x591274a2}},
                        {{0xb669c611, 0xc8b0430b, 0xa7c054c3, 0x360bd4bc,
                          0xf09ef81c, 0x4d5bb8b1, 0x9333c78f, 0x32ff73b8},
                         {0x90ec74e4, 0xe1e77b28, 0xb453b94a, 0xf7bf242c,
                          0xdbee7487, 0x29b8c962, 0x31bcb2b5, 0x06737ced}},
                        {{0x26f4def9, 0xc706336d, 0x18aae9bf, 0x9b568de1,
                          0x4e0fa721, 0x10695d37, 0x44a446e4, 0x1f90fc31},
                         {0xec9525dc, 0x4f63a5d6, 0x07e9f19c, 0x982ac0b8,
                          0x818c07fc, 0x2603a2c4, 0x44e6a144, 0xb8a617a5}}},
                       {{{0x34f08dcb, 0x0afd33cc, 0x38921139, 0x10c707ef,
                          0x1bcd1d79, 0x1cee939a, 0x08831471, 0x2318f2b4},
                         {0x8e4f9261, 0x37304a70, 0xb24df55d, 0xd93a8a20,
                          0x32ff13b2, 0x342ce4a7, 0x25185cd0, 0xd974dca3}},
                        {{0x0a83a8aa, 0xf2e71e4e, 0x0e0af78b, 0x85363dfa,
                          0xf825e945, 0x01d733f5, 0xf54d7f42, 0x3c77fa71},
                         {0xb5a7931b, 0x25c5c577, 0x6d21b52e, 0xbc951e9b,
                          0x51dd45b9, 0x743e886f, 0x6bc839d4, 0xd7deccd5}},
                        {{0x947af194, 0xd0239f95, 0x1dde9421, 0x59369d3e,
                          0xd9863881, 0xb9c24b75, 0xcbdb4021, 0x4c940810},
                         {0x96070307, 0x4f68fbf2, 0x5a719a10, 0x73b7cc22,
                          0x4ef192e7, 0xbb5b635e, 0xdeb5746b, 0x89b5a530}}}};
  Fq12Elem pairing_out = {{{{0x50ab7bc6, 0xd28d33ca, 0xa7de4ce1, 0x162996ed,
                             0xad5ee231, 0x4fc0a501, 0x468be932, 0xba101ff6},
                            {0x14d36207, 0x34c44c84, 0xdfa22b9e, 0x1f4d1fc0,
                             0xcb0454f2, 0xc4077c42, 0xebde30b6, 0x15eb79f4}},
                           {{0xf91d7519, 0xc456caad, 0xb908d0d3, 0x31b0be8c,
                             0x1c0def81, 0x80e14649, 0x4657b6e7, 0xf18b84d1},
                            {0xec73b557, 0xf8acbc05, 0x2e5f0a7e, 0xf485e0eb,
                             0x6fd516b6, 0xb7190100, 0xc1fa4e50, 0x3fee7c43}},
                           {{0xb3ebe0e5, 0xc572866a, 0xa10be392, 0x2d6f653d,
                             0x138bb1b6, 0x87cf70ba, 0xbbef8650, 0xe3b31829},
                            {0x4ba31303, 0x8d1afe6e, 0xe7138780, 0x36a08173,
                             0xcdc3182a, 0x1ecb0486, 0xd5a961a5, 0xda0e5787}}},
                          {{{0x0b13b454, 0xa62f5fbf, 0xa4bed641, 0xd3632805,
                             0xe8010941, 0x72cebb51, 0x8aaa0095, 0x669e804d},
                            {0xe49b7149, 0x8fc69d31, 0x956d88ab, 0x265c926b,
                             0x3bb2f1d4, 0xbfc206ea, 0x6f29d6da, 0x5b5065dc}},
                           {{0x0ff0848e, 0x1f3fdf5c, 0xb3533098, 0x1a434003,
                             0xc80d2a60, 0x4ac6aa4a, 0xc99fbca8, 0xe0ce978f},
                            {0x3357d172, 0xf5f8a018, 0x5908b3da, 0xe540395c,
                             0xb654a226, 0x89cef58e, 0x47786d9f, 0x5a5d41d2}},
                           {{0x788a3989, 0x49a5f719, 0x5a0042e3, 0x92f94303,
                             0x1bd0e6c8, 0x81c5ac15, 0xe8a05ec8, 0xbbba6ced},
                            {0x6d17dc8e, 0xaf351b75, 0xba6e2c36, 0x2a04ea26,
                             0x421e1737, 0x16fd0bfe, 0x4bb33376, 0x32aebf4d}}}};
  Fq12Elem pairing_inv = {{{{0x50ab7bc6, 0xd28d33ca, 0xa7de4ce1, 0x162996ed,
                             0xad5ee231, 0x4fc0a501, 0x468be932, 0xba101ff6},
                            {0x14d36207, 0x34c44c84, 0xdfa22b9e, 0x1f4d1fc0,
                             0xcb0454f2, 0xc4077c42, 0xebde30b6, 0x15eb79f4}},
                           {{0xf91d7519, 0xc456caad, 0xb908d0d3, 0x31b0be8c,
                             0x1c0def81, 0x80e14649, 0x4657b6e7, 0xf18b84d1},
                            {0xec73b557, 0xf8acbc05, 0x2e5f0a7e, 0xf485e0eb,
                             0x6fd516b6, 0xb7190100, 0xc1fa4e50, 0x3fee7c43}},
                           {{0xb3ebe0e5, 0xc572866a, 0xa10be392, 0x2d6f653d,
                             0x138bb1b6, 0x87cf70ba, 0xbbef8650, 0xe3b31829},
                            {0x4ba31303, 0x8d1afe6e, 0xe7138780, 0x36a08173,
                             0xcdc3182a, 0x1ecb0486, 0xd5a961a5, 0xda0e5787}}},
                          {{{0xa3bf7bbf, 0x2cf9ce1c, 0x6dd93441, 0x39793df5,
                             0x06709b5d, 0xd417370d, 0x7552f037, 0x99617fb2},
                            {0xca37beca, 0x436290a9, 0x7d2a81d7, 0xe67fd38f,
                             0xb2beb2ca, 0x8723eb74, 0x90d319f2, 0xa4af9a23}},
                           {{0x9ee2ab85, 0xb3e94e7f, 0x5f44d9ea, 0xf29925f7,
                             0x26647a3e, 0xfc1f4814, 0x365d3424, 0x1f316870},
                            {0x7b7b5ea1, 0xdd308dc3, 0xb98f56a7, 0x279c2c9e,
                             0x381d0278, 0xbd16fcd0, 0xb884832d, 0xa5a2be2d}},
                           {{0x3648f68a, 0x898336c2, 0xb897c79f, 0x79e322f7,
                             0xd2a0bdd6, 0xc5204649, 0x175c9204, 0x44459312},
                            {0x41bb5385, 0x23f41266, 0x5829de4c, 0xe2d77bd4,
                             0xac538d67, 0x2fe8e660, 0xb449bd57, 0xcd5140b2}}}};
  VeryLargeInt exponent = {0x76abb18a, 0x92c0f7b9, 0x2c1a37e0, 0x7fdf6ca1,
                           0xe3401760, 0x66eb7d52, 0x918d50a7, 0x12a65bd6};
  Fq12Elem b1 = pairing_inv;
  Fq12Elem b2 = pairing_out;
  Fq12Elem b3 = pairing_out;
  VeryLargeInt e1 = exponent;
  VeryLargeInt e2 = {0};
  VeryLargeInt e3 = exponent;
  // pairing_out^exp * pairing_out^(-exp) * pairing_out^0 * pairing_out^exp ==
  // pairing_out^exp
  Fq12Elem actual = {0};
  Fq12MultiExp(&actual, &pairing_out, &exponent, &b1, &e1, &b2, &e2, &b3, &e3);
  EXPECT_EQ(expected, actual);
}

////////////////////////////////////////////////////////////////////////
// Fq12Eq

TEST(TinyFq12Test, Fq12EqPasses) {
  Fq12Elem left = {{{{0x22cfd6a2, 0x23e82f1e, 0xd50e1450, 0xe853e88c,
                      0xafa65357, 0x4780716c, 0xffd94b0f, 0x5e643124},
                     {0x4d23497f, 0x189daf4d, 0x0ac5c478, 0x3583e2b0,
                      0x34dd5651, 0x1bb8f3e0, 0x1e1f4181, 0x8aa45bf5}},
                    {{0xaf9cf50f, 0xdfb22086, 0x170f8bcb, 0x75bbd889,
                      0x5d391be8, 0x88aa7982, 0xafae53e0, 0xecd73957},
                     {0x2e2e734a, 0xf6e7e2b7, 0x90b6df9f, 0x2eef83b7,
                      0x5000252c, 0x1837550e, 0x1f45a674, 0x93d557cd}},
                    {{0xcb5e99ef, 0x42374c61, 0x323344a2, 0x6aa052c7,
                      0x6e58060a, 0x38ee9923, 0xa18c3407, 0x582edecf},
                     {0x873d4160, 0xb0e68183, 0x6cade2bc, 0x77ba8f60,
                      0x26ec9f79, 0xc8b2c612, 0x79e80d5f, 0x180fdb61}}},
                   {{{0x51a7809d, 0xf8eca154, 0x3c6e23f3, 0xad809603,
                      0x62a80f0a, 0x41a7438e, 0x633b97dc, 0x2bff7dc0},
                     {0xb097729b, 0xe9ec6749, 0x125f70be, 0xa9a546bd,
                      0x6e80b955, 0x2f93adc4, 0x92734322, 0x3d539b24}},
                    {{0xd1719fbe, 0x651cbd10, 0x8a4524f4, 0x25a76399,
                      0xa8cc1ef5, 0x09d65b42, 0xdfb7b8ab, 0x58e4393c},
                     {0x93e7c6a6, 0x553e24e7, 0x3dcd9201, 0xd6894612,
                      0xabb68325, 0xf1039ad5, 0xbdef6e94, 0xe3b7cc9e}},
                    {{0xb28f5a78, 0x890b3670, 0x23c0c6e0, 0xeb127c48,
                      0x8626fe26, 0x48fe77de, 0xbc8309f8, 0x67a2fd2b},
                     {0xf5175d3c, 0x27c16a53, 0x93a131c4, 0x10d8cb8e,
                      0xb6db8586, 0x153b2bba, 0xc4d17107, 0xbe451bde}}}};
  Fq12Elem left2 = {{{{0x22cfd6a2, 0x23e82f1e, 0xd50e1450, 0xe853e88c,
                       0xafa65357, 0x4780716c, 0xffd94b0f, 0x5e643124},
                      {0x4d23497f, 0x189daf4d, 0x0ac5c478, 0x3583e2b0,
                       0x34dd5651, 0x1bb8f3e0, 0x1e1f4181, 0x8aa45bf5}},
                     {{0xaf9cf50f, 0xdfb22086, 0x170f8bcb, 0x75bbd889,
                       0x5d391be8, 0x88aa7982, 0xafae53e0, 0xecd73957},
                      {0x2e2e734a, 0xf6e7e2b7, 0x90b6df9f, 0x2eef83b7,
                       0x5000252c, 0x1837550e, 0x1f45a674, 0x93d557cd}},
                     {{0xcb5e99ef, 0x42374c61, 0x323344a2, 0x6aa052c7,
                       0x6e58060a, 0x38ee9923, 0xa18c3407, 0x582edecf},
                      {0x873d4160, 0xb0e68183, 0x6cade2bc, 0x77ba8f60,
                       0x26ec9f79, 0xc8b2c612, 0x79e80d5f, 0x180fdb61}}},
                    {{{0x51a7809d, 0xf8eca154, 0x3c6e23f3, 0xad809603,
                       0x62a80f0a, 0x41a7438e, 0x633b97dc, 0x2bff7dc0},
                      {0xb097729b, 0xe9ec6749, 0x125f70be, 0xa9a546bd,
                       0x6e80b955, 0x2f93adc4, 0x92734322, 0x3d539b24}},
                     {{0xd1719fbe, 0x651cbd10, 0x8a4524f4, 0x25a76399,
                       0xa8cc1ef5, 0x09d65b42, 0xdfb7b8ab, 0x58e4393c},
                      {0x93e7c6a6, 0x553e24e7, 0x3dcd9201, 0xd6894612,
                       0xabb68325, 0xf1039ad5, 0xbdef6e94, 0xe3b7cc9e}},
                     {{0xb28f5a78, 0x890b3670, 0x23c0c6e0, 0xeb127c48,
                       0x8626fe26, 0x48fe77de, 0xbc8309f8, 0x67a2fd2b},
                      {0xf5175d3c, 0x27c16a53, 0x93a131c4, 0x10d8cb8e,
                       0xb6db8586, 0x153b2bba, 0xc4d17107, 0xbe451bde}}}};
  EXPECT_TRUE(Fq12Eq(&left, &left2));
}

TEST(TinyFq12Test, Fq12EqFails) {
  Fq12Elem left = {{{{0x22cfd6a2, 0x23e82f1e, 0xd50e1450, 0xe853e88c,
                      0xafa65357, 0x4780716c, 0xffd94b0f, 0x5e643124},
                     {0x4d23497f, 0x189daf4d, 0x0ac5c478, 0x3583e2b0,
                      0x34dd5651, 0x1bb8f3e0, 0x1e1f4181, 0x8aa45bf5}},
                    {{0xaf9cf50f, 0xdfb22086, 0x170f8bcb, 0x75bbd889,
                      0x5d391be8, 0x88aa7982, 0xafae53e0, 0xecd73957},
                     {0x2e2e734a, 0xf6e7e2b7, 0x90b6df9f, 0x2eef83b7,
                      0x5000252c, 0x1837550e, 0x1f45a674, 0x93d557cd}},
                    {{0xcb5e99ef, 0x42374c61, 0x323344a2, 0x6aa052c7,
                      0x6e58060a, 0x38ee9923, 0xa18c3407, 0x582edecf},
                     {0x873d4160, 0xb0e68183, 0x6cade2bc, 0x77ba8f60,
                      0x26ec9f79, 0xc8b2c612, 0x79e80d5f, 0x180fdb61}}},
                   {{{0x51a7809d, 0xf8eca154, 0x3c6e23f3, 0xad809603,
                      0x62a80f0a, 0x41a7438e, 0x633b97dc, 0x2bff7dc0},
                     {0xb097729b, 0xe9ec6749, 0x125f70be, 0xa9a546bd,
                      0x6e80b955, 0x2f93adc4, 0x92734322, 0x3d539b24}},
                    {{0xd1719fbe, 0x651cbd10, 0x8a4524f4, 0x25a76399,
                      0xa8cc1ef5, 0x09d65b42, 0xdfb7b8ab, 0x58e4393c},
                     {0x93e7c6a6, 0x553e24e7, 0x3dcd9201, 0xd6894612,
                      0xabb68325, 0xf1039ad5, 0xbdef6e94, 0xe3b7cc9e}},
                    {{0xb28f5a78, 0x890b3670, 0x23c0c6e0, 0xeb127c48,
                      0x8626fe26, 0x48fe77de, 0xbc8309f8, 0x67a2fd2b},
                     {0xf5175d3c, 0x27c16a53, 0x93a131c4, 0x10d8cb8e,
                      0xb6db8586, 0x153b2bba, 0xc4d17107, 0xbe451bde}}}};
  Fq12Elem right = {{{{0x848cdb73, 0x6399829e, 0xcaa20cc0, 0x1b02bff6,
                       0x2b477bd2, 0xf9d48534, 0xff7929a0, 0xd4745161},
                      {0xe323d956, 0xf8a05a85, 0xe02d5e1e, 0xfd533966,
                       0xe7d31209, 0xc7786143, 0x91b441f6, 0x7409d67d}},
                     {{0xc763c01c, 0x8d45cdc1, 0xe46054e2, 0xc6216337,
                       0x97589d24, 0xe57d5f07, 0xeec3f4b6, 0xfe2a593f},
                      {0x96748337, 0x31fbd2e4, 0x72e72c33, 0x96fe633a,
                       0x4f48fed2, 0xf6a92484, 0x5e7de24a, 0x8a963657}},
                     {{0x48a24137, 0xc529544f, 0xe83111bc, 0xbd151156,
                       0x6b0c7ee2, 0x1bc18974, 0x01193d6b, 0x6b716d4d},
                      {0x90c2469b, 0xb1ae7b57, 0x22ce6905, 0x58c5a086,
                       0xc750dfa2, 0x28ea9d9d, 0x6134f34f, 0x68cf7885}}},
                    {{{0x771f4d50, 0x113c642f, 0x983d5b97, 0xd8fed4c2,
                       0x166e53b0, 0x4797d81c, 0x9955788c, 0xbd7c6c23},
                      {0xd9d2246a, 0x092e1780, 0xd8a1ac25, 0xc23607e5,
                       0x8c58b02e, 0x2c543c7e, 0x4c082083, 0xc4577f4d}},
                     {{0xb433c5de, 0x6ab7893e, 0x5ff5e970, 0x24de35b6,
                       0x65b8022c, 0x89c649d3, 0x7629ec0b, 0x6046bfbd},
                      {0xcdab3158, 0xefd0e691, 0xeb7ca8b3, 0xbbe4015c,
                       0xcb5d6828, 0xd313d3ec, 0x0b0125d2, 0xac823c7f}},
                     {{0x3e500486, 0xd17db7a2, 0x8d174e88, 0x8504ae57,
                       0x1d09fdcb, 0xeda97288, 0xd8a573c9, 0x32233b3f},
                      {0x41145b9e, 0x4f61f713, 0xd1caf67d, 0x3299a2ff,
                       0x3586b78d, 0x6b31995f, 0xe51708e4, 0x9eab4090}}}};
  EXPECT_FALSE(Fq12Eq(&left, &right));
}

////////////////////////////////////////////////////////////////////////
// Fq12Conj

TEST(TinyFq12Test, Fq12ConjWorks) {
  Fq12Elem expected = {{{{0x22cfd6a2, 0x23e82f1e, 0xd50e1450, 0xe853e88c,
                          0xafa65357, 0x4780716c, 0xffd94b0f, 0x5e643124},
                         {0x4d23497f, 0x189daf4d, 0x0ac5c478, 0x3583e2b0,
                          0x34dd5651, 0x1bb8f3e0, 0x1e1f4181, 0x8aa45bf5}},
                        {{0xaf9cf50f, 0xdfb22086, 0x170f8bcb, 0x75bbd889,
                          0x5d391be8, 0x88aa7982, 0xafae53e0, 0xecd73957},
                         {0x2e2e734a, 0xf6e7e2b7, 0x90b6df9f, 0x2eef83b7,
                          0x5000252c, 0x1837550e, 0x1f45a674, 0x93d557cd}},
                        {{0xcb5e99ef, 0x42374c61, 0x323344a2, 0x6aa052c7,
                          0x6e58060a, 0x38ee9923, 0xa18c3407, 0x582edecf},
                         {0x873d4160, 0xb0e68183, 0x6cade2bc, 0x77ba8f60,
                          0x26ec9f79, 0xc8b2c612, 0x79e80d5f, 0x180fdb61}}},
                       {{{0x5d2baf76, 0xda3c8c87, 0xd629e68e, 0x5f5bcff7,
                          0x8bc99594, 0x053eaed0, 0x9cc158f1, 0xd400823f},
                         {0xfe3bbd78, 0xe93cc691, 0x003899c3, 0x63371f3e,
                          0x7ff0eb49, 0x1752449a, 0x6d89adab, 0xc2ac64db}},
                        {{0xdd619055, 0x6e0c70ca, 0x8852e58e, 0xe7350261,
                          0x45a585a9, 0x3d0f971c, 0x20453822, 0xa71bc6c3},
                         {0x1aeb696d, 0x7deb08f4, 0xd4ca7881, 0x36531fe8,
                          0x42bb2179, 0x55e25789, 0x420d8238, 0x1c483361}},
                        {{0xfc43d59b, 0x4a1df76a, 0xeed743a2, 0x21c9e9b2,
                          0x684aa678, 0xfde77a80, 0x4379e6d4, 0x985d02d4},
                         {0xb9bbd2d7, 0xab67c387, 0x7ef6d8be, 0xfc039a6c,
                          0x37961f18, 0x31aac6a4, 0x3b2b7fc6, 0x41bae421}}}};
  Fq12Elem input = {{{{0x22cfd6a2, 0x23e82f1e, 0xd50e1450, 0xe853e88c,
                       0xafa65357, 0x4780716c, 0xffd94b0f, 0x5e643124},
                      {0x4d23497f, 0x189daf4d, 0x0ac5c478, 0x3583e2b0,
                       0x34dd5651, 0x1bb8f3e0, 0x1e1f4181, 0x8aa45bf5}},
                     {{0xaf9cf50f, 0xdfb22086, 0x170f8bcb, 0x75bbd889,
                       0x5d391be8, 0x88aa7982, 0xafae53e0, 0xecd73957},
                      {0x2e2e734a, 0xf6e7e2b7, 0x90b6df9f, 0x2eef83b7,
                       0x5000252c, 0x1837550e, 0x1f45a674, 0x93d557cd}},
                     {{0xcb5e99ef, 0x42374c61, 0x323344a2, 0x6aa052c7,
                       0x6e58060a, 0x38ee9923, 0xa18c3407, 0x582edecf},
                      {0x873d4160, 0xb0e68183, 0x6cade2bc, 0x77ba8f60,
                       0x26ec9f79, 0xc8b2c612, 0x79e80d5f, 0x180fdb61}}},
                    {{{0x51a7809d, 0xf8eca154, 0x3c6e23f3, 0xad809603,
                       0x62a80f0a, 0x41a7438e, 0x633b97dc, 0x2bff7dc0},
                      {0xb097729b, 0xe9ec6749, 0x125f70be, 0xa9a546bd,
                       0x6e80b955, 0x2f93adc4, 0x92734322, 0x3d539b24}},
                     {{0xd1719fbe, 0x651cbd10, 0x8a4524f4, 0x25a76399,
                       0xa8cc1ef5, 0x09d65b42, 0xdfb7b8ab, 0x58e4393c},
                      {0x93e7c6a6, 0x553e24e7, 0x3dcd9201, 0xd6894612,
                       0xabb68325, 0xf1039ad5, 0xbdef6e94, 0xe3b7cc9e}},
                     {{0xb28f5a78, 0x890b3670, 0x23c0c6e0, 0xeb127c48,
                       0x8626fe26, 0x48fe77de, 0xbc8309f8, 0x67a2fd2b},
                      {0xf5175d3c, 0x27c16a53, 0x93a131c4, 0x10d8cb8e,
                       0xb6db8586, 0x153b2bba, 0xc4d17107, 0xbe451bde}}}};
  Fq12Elem actual = {0};
  Fq12Conj(&actual, &input);
  EXPECT_EQ(expected, actual);
}

////////////////////////////////////////////////////////////////////////
// Fq12ExpCyc

TEST(TinyFq12Test, Fq12ExpCycWorks) {
  Fq12Elem expected = {{{{0x44415742, 0xce586503, 0xe5cc514f, 0x731d97a3,
                          0xe8c98357, 0xb1de361d, 0x15cf9bfc, 0x4ca54124},
                         {0x7decae5a, 0x572ae946, 0x4244f518, 0x1490b9e4,
                          0xbbbafdb2, 0xb2d13f3f, 0xae1de024, 0xe224dc2f}},
                        {{0x876377f0, 0x2c75d3ab, 0x5aa65a1d, 0x42ff41fa,
                          0x2729ff86, 0x8f76d40f, 0x2c224666, 0xce3d5926},
                         {0x4f0b47eb, 0xa45887d9, 0xf4407be2, 0xaaedbf4a,
                          0x9f8a426e, 0x809a601a, 0xea000edd, 0x4fe97056}},
                        {{0x7eb3ea97, 0xd6769b11, 0x2f2bed07, 0x6fbb5801,
                          0x1e67136e, 0x2fd1e9a3, 0x242559de, 0x5a018155},
                         {0xb66ad800, 0x51924848, 0xdecddaa8, 0x3eed0649,
                          0xcf7f3edb, 0x17dcaa6e, 0x27cd41c7, 0x055a6039}}},
                       {{{0x09d45f4f, 0x3d360f00, 0x7561c4fb, 0x70500d0f,
                          0x20851a64, 0x5c5ed2a6, 0x6118fe9e, 0xfa05dc75},
                         {0x57b872d1, 0x9a19e54d, 0x3395e069, 0x29d98c64,
                          0xcdbdda55, 0x001f07e7, 0x8aeaca7f, 0x747c1dc8}},
                        {{0x0c0cb22d, 0x75ca59be, 0x202684e4, 0xec1b56c5,
                          0x46434c3f, 0x55f52f7a, 0xfcb5686b, 0x0a1172be},
                         {0xf0b043af, 0xbb2ae039, 0xccbdac3c, 0x8f42a6f2,
                          0x06c264ab, 0xa47599b7, 0xc6a8c454, 0xa5b257e3}},
                        {{0x8700f8b7, 0x4090b69d, 0x20e35539, 0xfd30e911,
                          0xa08ecbf5, 0xb038eb7b, 0x6ea872c3, 0xdfa0f669},
                         {0x5600be7b, 0x43ec3905, 0xc830ae6e, 0xd9780bec,
                          0xe7d288c3, 0xcff72a6e, 0x059b9c31, 0x66ebb803}}}};
  Fq12Elem input = {{{{0x4200e30a, 0xebf627b9, 0x607ebce6, 0x7848a894,
                       0xe1b736d1, 0x4c9dd307, 0x9e1301e3, 0x07256eb7},
                      {0xe17a0b54, 0x0e02f2d5, 0x3df772e0, 0x9155aaa2,
                       0x3c5ffcc6, 0x8427940b, 0x362f51ee, 0x331e0c73}},
                     {{0x954eecdb, 0x970bc820, 0x92d1776a, 0x02f81e51,
                       0x8a7a9216, 0x6172111f, 0x9bd29665, 0x9612d47d},
                      {0x8fceb2c7, 0xb3f7eced, 0xa3d0a21e, 0xd66c6583,
                       0xf273f385, 0x827df9e6, 0x503de81c, 0x5b2cae32}},
                     {{0xf08207ed, 0x7ab76686, 0xb681b701, 0x9d19d066,
                       0x81956e08, 0x2ca17f37, 0x65d1d24e, 0x0cff7cb8},
                      {0xf9cd6e9e, 0x4821363b, 0xb0bc2b8c, 0xa380ecbb,
                       0x7b04aea0, 0x396f0948, 0x93619efe, 0x42aa1fd4}}},
                    {{{0x805b8aa4, 0x23ab6f9a, 0x937ea209, 0x9dba1ab2,
                       0x426d02b7, 0x36782ff4, 0xe371d373, 0x66873347},
                      {0x51d27dea, 0xd40cd434, 0xd5627a4d, 0xbcc747de,
                       0xa54b31ec, 0x3e2c2fa4, 0x4f07b689, 0xb33b79bc}},
                     {{0xfeea300c, 0x26ab30d9, 0x92c098e9, 0x192c191b,
                       0xeefd498c, 0x3cd4e4ac, 0xe9a3f142, 0x00bdca46},
                      {0xeb1edad0, 0xd4c2439e, 0x51025e46, 0x006cfb7c,
                       0x04b6efda, 0x159f7c19, 0xa1085a5e, 0x459833d5}},
                     {{0xeb08632d, 0x3c4ecf58, 0x02624178, 0xf65dbcf5,
                       0xeb320af5, 0xce34c3db, 0x799ea805, 0x1f944aa2},
                      {0x6f488ba6, 0x07f9f8dc, 0x690e6d4b, 0xa45b11be,
                       0x8d39f017, 0x96619fec, 0x6100af71, 0x16201c36}}}};
  VeryLargeInt pairing_t = {0x30b0a801, 0x6882f5c0, 0x00000000, 0x00000000,
                            0x00000000, 0x00000000, 0x00000000, 0x00000000};
  Fq12Elem actual = {0};
  Fq12ExpCyc(&actual, &input, &pairing_t);
  EXPECT_EQ(expected, actual);
}

////////////////////////////////////////////////////////////////////////
// Fq12SqCyc

TEST(TinyFq12Test, Fq12SqCycWorks) {
  const Fq12Elem a = {{{{0x4200e30a, 0xebf627b9, 0x607ebce6, 0x7848a894,
                         0xe1b736d1, 0x4c9dd307, 0x9e1301e3, 0x07256eb7},
                        {0xe17a0b54, 0x0e02f2d5, 0x3df772e0, 0x9155aaa2,
                         0x3c5ffcc6, 0x8427940b, 0x362f51ee, 0x331e0c73}},
                       {{0x954eecdb, 0x970bc820, 0x92d1776a, 0x02f81e51,
                         0x8a7a9216, 0x6172111f, 0x9bd29665, 0x9612d47d},
                        {0x8fceb2c7, 0xb3f7eced, 0xa3d0a21e, 0xd66c6583,
                         0xf273f385, 0x827df9e6, 0x503de81c, 0x5b2cae32}},
                       {{0xf08207ed, 0x7ab76686, 0xb681b701, 0x9d19d066,
                         0x81956e08, 0x2ca17f37, 0x65d1d24e, 0x0cff7cb8},
                        {0xf9cd6e9e, 0x4821363b, 0xb0bc2b8c, 0xa380ecbb,
                         0x7b04aea0, 0x396f0948, 0x93619efe, 0x42aa1fd4}}},
                      {{{0x805b8aa4, 0x23ab6f9a, 0x937ea209, 0x9dba1ab2,
                         0x426d02b7, 0x36782ff4, 0xe371d373, 0x66873347},
                        {0x51d27dea, 0xd40cd434, 0xd5627a4d, 0xbcc747de,
                         0xa54b31ec, 0x3e2c2fa4, 0x4f07b689, 0xb33b79bc}},
                       {{0xfeea300c, 0x26ab30d9, 0x92c098e9, 0x192c191b,
                         0xeefd498c, 0x3cd4e4ac, 0xe9a3f142, 0x00bdca46},
                        {0xeb1edad0, 0xd4c2439e, 0x51025e46, 0x006cfb7c,
                         0x04b6efda, 0x159f7c19, 0xa1085a5e, 0x459833d5}},
                       {{0xeb08632d, 0x3c4ecf58, 0x02624178, 0xf65dbcf5,
                         0xeb320af5, 0xce34c3db, 0x799ea805, 0x1f944aa2},
                        {0x6f488ba6, 0x07f9f8dc, 0x690e6d4b, 0xa45b11be,
                         0x8d39f017, 0x96619fec, 0x6100af71, 0x16201c36}}}};
  const Fq12Elem expected = {
      {{{0x526a44b5, 0x9ad9e0d5, 0x7fc8d87d, 0xdac7f569, 0xb7160629, 0xc5073804,
         0x217aac0c, 0x71b7efa7},
        {0xd0accd40, 0x66aed48f, 0x3e8cb003, 0x54d56ad9, 0x5f6d6996, 0x0be42117,
         0xa36948ed, 0xbb155b11}},
       {{0x806eec23, 0xf4e66785, 0xaffdc175, 0xa19e8e95, 0xa11edc9d, 0xfad5f701,
         0x4bf831bc, 0xe743b59e},
        {0xfc57a415, 0xb843987c, 0x3aabe4e3, 0xb23ed43d, 0xc418a1cd, 0xc46cc003,
         0xb646c6b0, 0x32af93c9}},
       {{0x20c76439, 0xc9915b9f, 0x34fae4ad, 0x952c702a, 0xf2edbbd9, 0x06aa03db,
         0x10219f83, 0x905d0b4c},
        {0xab64286e, 0xb368606d, 0xa469d731, 0xbc1f7604, 0xeae89f06, 0xd6d6b335,
         0x68da2258, 0x4ab0021e}}},
      {{{0xa69a08d7, 0xbac72f6e, 0xaf9c76c7, 0x67d54f71, 0x41aea080, 0x36129b92,
         0xd25549e1, 0xa261f5ef},
        {0xd663885e, 0xd0de96b5, 0x6631c5ab, 0x1826eea2, 0xab116580, 0xc41e9bd7,
         0x935a4539, 0x1283ccf4}},
       {{0xc279b3a5, 0x750dcbe7, 0x8f96e4ba, 0xd3321942, 0xf837f073, 0x11ed32b8,
         0x26691990, 0x06c077da},
        {0x4d690c41, 0x47d447a7, 0xb0ecd6ca, 0xbab6e94b, 0xb1984cb4, 0xb104eb7f,
         0xd0b8e924, 0xe8c70bef}},
       {{0x1c750b7c, 0x9923d34c, 0xc88a0dda, 0x2e14c6ca, 0x6748bad3, 0x50d05e2b,
         0x14f32504, 0x2dc7a9d3},
        {0xa1c4328d, 0x9e8f16d8, 0xd31d739a, 0x0c9da028, 0x613f8c91, 0x75fbf7f3,
         0x78575301, 0x496c9a7b}}}};
  Fq12Elem res;
  Fq12SqCyc(&res, &a);
  EXPECT_EQ(expected, res);
}

////////////////////////////////////////////////////////////////////////
// Fq12MulSpecial

TEST(TinyFq12Test, Fq12MulSpecialWorks) {
  const Fq12Elem left = {{{{0xbee28a1d, 0x57d6402c, 0x61cd0458, 0x194e2452,
                            0x1c223de9, 0x6546ced9, 0xdcd0878f, 0xc55048e3},
                           {0x6a8d5fe2, 0xfcf17083, 0xb608693b, 0x981bd9fe,
                            0x54a9e8fa, 0x0e8250f4, 0x93430f47, 0xf862d9af}},
                          {{0x57975e42, 0xf57416a0, 0x08a35031, 0x9d28f11c,
                            0xa9467df1, 0x58159cfa, 0x48cb43f1, 0x7f6f1e63},
                           {0xb6199d76, 0xf0ee74eb, 0xc2413051, 0x5ee7af00,
                            0xed646e81, 0xa34adbc8, 0xb30cb947, 0xc256758a}},
                          {{0xd2100f2c, 0x34bef28c, 0xe6ffd998, 0x3f8de361,
                            0x711229db, 0x143ccdbf, 0x4fad6107, 0x35365f92},
                           {0xea2fbf36, 0x14a160b2, 0x5051bd0f, 0x6f056434,
                            0x2d53ef9f, 0x00d84656, 0xc8535c97, 0x23aaa4e4}}},
                         {{{0xfa291b36, 0xdff94440, 0xc016a92d, 0xe44a0e69,
                            0xdb2d97f6, 0xb1747475, 0x1cbc7fc4, 0x0e94ef53},
                           {0x0ea6037c, 0x9a639210, 0xd84404c5, 0x4b8c16ef,
                            0xfc9e6161, 0x3914ae4c, 0xd1b76423, 0x63ef638b}},
                          {{0xfbe030a1, 0x2a114147, 0x6639fbac, 0x0349a4a5,
                            0x5c7d47de, 0x63888f75, 0x7224cc85, 0x4c1bfeb3},
                           {0xb214f453, 0x403afc2f, 0xa61d5e45, 0x4392c48a,
                            0xc4f5aec3, 0xce77b85a, 0xc8d59c7e, 0xd0060196}},
                          {{0x00000000, 0x00000000, 0x00000000, 0x00000000,
                            0x00000000, 0x00000000, 0x00000000, 0x00000000},
                           {0x00000000, 0x00000000, 0x00000000, 0x00000000,
                            0x00000000, 0x00000000, 0x00000000, 0x00000000}}}};
  const Fq12Elem right = {{{{0xd878f624, 0xb6e07457, 0x64c79fdf, 0x0b8cebe9,
                             0x97be762b, 0xbc4aea64, 0xf72d75cc, 0xdc8ed85d},
                            {0x65847e3a, 0x2a2ff0f3, 0x87af7204, 0xfb4cba91,
                             0x0df3d736, 0x77e1a4e0, 0x138efcca, 0xc427f6ab}},
                           {{0x00000000, 0x00000000, 0x00000000, 0x00000000,
                             0x00000000, 0x00000000, 0x00000000, 0x00000000},
                            {0x00000000, 0x00000000, 0x00000000, 0x00000000,
                             0x00000000, 0x00000000, 0x00000000, 0x00000000}},
                           {{0x00000000, 0x00000000, 0x00000000, 0x00000000,
                             0x00000000, 0x00000000, 0x00000000, 0x00000000},
                            {0x00000000, 0x00000000, 0x00000000, 0x00000000,
                             0x00000000, 0x00000000, 0x00000000, 0x00000000}}},
                          {{{0x163784b5, 0x2a7d4fd5, 0x1f5a1a18, 0xe89cba68,
                             0xc233b435, 0xa20456c0, 0x6397ae08, 0x7b76d157},
                            {0xb68f8337, 0x079302c1, 0x99e4326a, 0xc14686de,
                             0x866e7108, 0x685e797e, 0x3a4b03e5, 0x9aab4042}},
                           {{0x2cd4fe4d, 0xb4660e9a, 0xf99f415d, 0x627f9703,
                             0x902301e4, 0xcf3c4224, 0xaca9779d, 0x917a2609},
                            {0x9da1e8ac, 0xadb15382, 0x6d31577a, 0xcfd95901,
                             0xf4fdf69b, 0x8ebf8ef3, 0xc15f4a65, 0x0d6458ec}},
                           {{0x00000000, 0x00000000, 0x00000000, 0x00000000,
                             0x00000000, 0x00000000, 0x00000000, 0x00000000},
                            {0x00000000, 0x00000000, 0x00000000, 0x00000000,
                             0x00000000, 0x00000000, 0x00000000, 0x00000000}}}};
  const Fq12Elem expected = {
      {{{0x9f8d4cd8, 0x00fcb121, 0xb1383622, 0xff83d7d7, 0xa4b229fb, 0xcece9321,
         0x81ef1f73, 0x05137d4e},
        {0x9f6177a7, 0x050a266e, 0x73bb8d3b, 0xc99e1d33, 0x678d1f52, 0xc63568f1,
         0x1920273f, 0x11a25307}},
       {{0xcf70c64d, 0x99892381, 0xf6f6a6de, 0xfec24fa5, 0x8d18873e, 0x4f621aad,
         0x7d3599d0, 0x128407fe},
        {0x33e6c086, 0xa85bf06c, 0x2edfd568, 0xc2426dbe, 0xdbbd397c, 0x2b6e80b2,
         0x63dd5f45, 0x98bc904e}},
       {{0xb56c9e77, 0x84063128, 0x830da180, 0xa3d9be01, 0x7ec1cfe7, 0x817c7cc1,
         0x409da3aa, 0xb05dcc43},
        {0x356380bf, 0x72eb335a, 0xb6f2b26c, 0x080613dc, 0x67720d78, 0x488a988f,
         0xee0e1bff, 0x0758479e}}},
      {{{0xa640a57d, 0xc171805c, 0xd1c81064, 0xef2644a8, 0xe28b6e89, 0xd031ff2f,
         0xf734a21b, 0x0d8e465e},
        {0x609de07b, 0x1d248226, 0x19fed7c8, 0x2b378e3d, 0xd55d1461, 0x719d0037,
         0x6fe515b8, 0x34f03c08}},
       {{0xdcdcb9d0, 0x814badfe, 0x01405a2a, 0x2e1a5295, 0x3d08cb46, 0xd0dc0d2b,
         0x4ca64738, 0x2b2e5180},
        {0x503385b0, 0x030d5f71, 0xd24ad48c, 0x4f246e0b, 0x9e904a36, 0x302748d6,
         0x1c034d23, 0xf6aa74f6}},
       {{0x05fc0305, 0xfb7ba8fd, 0x4a8425a1, 0xd69ff60a, 0x356d1941, 0x4559a790,
         0xcf1088e9, 0x63784e99},
        {0xa8a6d207, 0x6e6ed383, 0xf8a9804e, 0x0be13d11, 0xcef9010b, 0x90c8c91a,
         0x0b1302ef, 0xe2ce5b67}}}};
  Fq12Elem res;
  Fq12MulSpecial(&res, &left, &right);
  EXPECT_EQ(expected, res);
}

////////////////////////////////////////////////////////////////////////
// Fq12Cp

TEST(TinyFq12Test, Fq12CpWorks) {
  Fq12Elem a = {{{{0x22cfd6a2, 0x23e82f1e, 0xd50e1450, 0xe853e88c, 0xafa65357,
                   0x4780716c, 0xffd94b0f, 0x5e643124},
                  {0x4d23497f, 0x189daf4d, 0x0ac5c478, 0x3583e2b0, 0x34dd5651,
                   0x1bb8f3e0, 0x1e1f4181, 0x8aa45bf5}},
                 {{0xaf9cf50f, 0xdfb22086, 0x170f8bcb, 0x75bbd889, 0x5d391be8,
                   0x88aa7982, 0xafae53e0, 0xecd73957},
                  {0x2e2e734a, 0xf6e7e2b7, 0x90b6df9f, 0x2eef83b7, 0x5000252c,
                   0x1837550e, 0x1f45a674, 0x93d557cd}},
                 {{0xcb5e99ef, 0x42374c61, 0x323344a2, 0x6aa052c7, 0x6e58060a,
                   0x38ee9923, 0xa18c3407, 0x582edecf},
                  {0x873d4160, 0xb0e68183, 0x6cade2bc, 0x77ba8f60, 0x26ec9f79,
                   0xc8b2c612, 0x79e80d5f, 0x180fdb61}}},
                {{{0x51a7809d, 0xf8eca154, 0x3c6e23f3, 0xad809603, 0x62a80f0a,
                   0x41a7438e, 0x633b97dc, 0x2bff7dc0},
                  {0xb097729b, 0xe9ec6749, 0x125f70be, 0xa9a546bd, 0x6e80b955,
                   0x2f93adc4, 0x92734322, 0x3d539b24}},
                 {{0xd1719fbe, 0x651cbd10, 0x8a4524f4, 0x25a76399, 0xa8cc1ef5,
                   0x09d65b42, 0xdfb7b8ab, 0x58e4393c},
                  {0x93e7c6a6, 0x553e24e7, 0x3dcd9201, 0xd6894612, 0xabb68325,
                   0xf1039ad5, 0xbdef6e94, 0xe3b7cc9e}},
                 {{0xb28f5a78, 0x890b3670, 0x23c0c6e0, 0xeb127c48, 0x8626fe26,
                   0x48fe77de, 0xbc8309f8, 0x67a2fd2b},
                  {0xf5175d3c, 0x27c16a53, 0x93a131c4, 0x10d8cb8e, 0xb6db8586,
                   0x153b2bba, 0xc4d17107, 0xbe451bde}}}};
  Fq12Elem result = {0};
  Fq12Cp(&result, &a);
  EXPECT_EQ(a, result);
}

////////////////////////////////////////////////////////////////////////
// Fq12Clear

TEST(TinyFq12Test, Fq12ClearWorks) {
  Fq12Elem zero = {0};
  Fq12Elem a = {{{{0x22cfd6a2, 0x23e82f1e, 0xd50e1450, 0xe853e88c, 0xafa65357,
                   0x4780716c, 0xffd94b0f, 0x5e643124},
                  {0x4d23497f, 0x189daf4d, 0x0ac5c478, 0x3583e2b0, 0x34dd5651,
                   0x1bb8f3e0, 0x1e1f4181, 0x8aa45bf5}},
                 {{0xaf9cf50f, 0xdfb22086, 0x170f8bcb, 0x75bbd889, 0x5d391be8,
                   0x88aa7982, 0xafae53e0, 0xecd73957},
                  {0x2e2e734a, 0xf6e7e2b7, 0x90b6df9f, 0x2eef83b7, 0x5000252c,
                   0x1837550e, 0x1f45a674, 0x93d557cd}},
                 {{0xcb5e99ef, 0x42374c61, 0x323344a2, 0x6aa052c7, 0x6e58060a,
                   0x38ee9923, 0xa18c3407, 0x582edecf},
                  {0x873d4160, 0xb0e68183, 0x6cade2bc, 0x77ba8f60, 0x26ec9f79,
                   0xc8b2c612, 0x79e80d5f, 0x180fdb61}}},
                {{{0x51a7809d, 0xf8eca154, 0x3c6e23f3, 0xad809603, 0x62a80f0a,
                   0x41a7438e, 0x633b97dc, 0x2bff7dc0},
                  {0xb097729b, 0xe9ec6749, 0x125f70be, 0xa9a546bd, 0x6e80b955,
                   0x2f93adc4, 0x92734322, 0x3d539b24}},
                 {{0xd1719fbe, 0x651cbd10, 0x8a4524f4, 0x25a76399, 0xa8cc1ef5,
                   0x09d65b42, 0xdfb7b8ab, 0x58e4393c},
                  {0x93e7c6a6, 0x553e24e7, 0x3dcd9201, 0xd6894612, 0xabb68325,
                   0xf1039ad5, 0xbdef6e94, 0xe3b7cc9e}},
                 {{0xb28f5a78, 0x890b3670, 0x23c0c6e0, 0xeb127c48, 0x8626fe26,
                   0x48fe77de, 0xbc8309f8, 0x67a2fd2b},
                  {0xf5175d3c, 0x27c16a53, 0x93a131c4, 0x10d8cb8e, 0xb6db8586,
                   0x153b2bba, 0xc4d17107, 0xbe451bde}}}};
  Fq12Clear(&a);
  EXPECT_EQ(zero, a);
}

}  // namespace