static void Main(string[] args) { // estimating costs bool free_swaps = true; Console.Write("operation, CNOT count, 1-qubit Clifford count, T count, R count, M count, T depth, initial width, extra width, comment, full depth"); Estimates.SBox <QLowMC.InPlace.SBox>("in_place = true", true, free_swaps); Estimates.SBox <QLowMC.SBox>("in_place = false", false, free_swaps); Estimates.SBoxLayer <QLowMC.SBoxLayer>("in_place = false - L0", 32, 10, false, free_swaps); Estimates.SBoxLayer <QLowMC.InPlace.SBoxLayer>("in_place = true - L0", 32, 10, true, free_swaps); Estimates.SBoxLayer <QLowMC.SBoxLayer>("in_place = false - L1", 128, 10, false, free_swaps); Estimates.SBoxLayer <QLowMC.InPlace.SBoxLayer>("in_place = true - L1", 128, 10, true, free_swaps); Estimates.SBoxLayer <QLowMC.SBoxLayer>("in_place = false - L3", 192, 10, false, free_swaps); Estimates.SBoxLayer <QLowMC.InPlace.SBoxLayer>("in_place = true - L3", 192, 10, true, free_swaps); Estimates.SBoxLayer <QLowMC.SBoxLayer>("in_place = false - L5", 256, 10, false, free_swaps); Estimates.SBoxLayer <QLowMC.InPlace.SBoxLayer>("in_place = true - L5", 256, 10, true, free_swaps); // L0 toy category -- for development only /* * for (int round = 0; round <= 10; round++) * { * int category = 0; * int blocksize = 32; * Estimates.KeyExpansion<QLowMC.InPlace.L0.KeyExpansion>($"in_place = true - L{category} - round {round}", round, blocksize, category, free_swaps, $"_r{round}"); * if (round > 0) * { * Estimates.AffineLayer<QLowMC.InPlace.L0.AffineLayer>($"in_place = true - L{category} - round {round}", round, blocksize, category, free_swaps, $"_r{round}"); * Estimates.Round<QLowMC.Round>($"in_place = true - L{category} - round {round}", round, blocksize, category, free_swaps); * } * }*/ // category 1 /* * for (int round = 0; round <= 20; round++) * { * int category = 1; * int blocksize = 128; * Estimates.KeyExpansion<QLowMC.InPlace.L1.KeyExpansion>($"in_place = true - L{category} - round {round}", round, blocksize, category, free_swaps); * if (round > 0) * { * Estimates.AffineLayer<QLowMC.InPlace.L1.AffineLayer>($"in_place = true - L{category} - round {round}", round, blocksize, category, free_swaps); * Estimates.Round<QLowMC.Round>($"in_place = true - L{category} - round {round}", round, blocksize, category, free_swaps); * } * }*/ // category 3 /* * for (int round = 0; round <= 30; round++) * { * int category = 3; * int blocksize = 192; * Estimates.KeyExpansion<QLowMC.InPlace.L3.KeyExpansion>($"in_place = true - L{category} - round {round}", round, blocksize, category, free_swaps); * if (round > 0) * { * Estimates.AffineLayer<QLowMC.InPlace.L3.AffineLayer>($"in_place = true - L{category} - round {round}", round, blocksize, category, free_swaps); * Estimates.Round<QLowMC.Round>($"in_place = true - L{category} - round {round}", round, blocksize, category, free_swaps); * } * }*/ // category 5 for (int round = 0; round <= 38; round++) { int category = 5; int blocksize = 256; Estimates.KeyExpansion <QLowMC.InPlace.L5.KeyExpansion>($"in_place = true - L{category} - round {round}", round, blocksize, category, free_swaps); if (round > 0) { Estimates.AffineLayer <QLowMC.InPlace.L5.AffineLayer>($"in_place = true - L{category} - round {round}", round, blocksize, category, free_swaps); Estimates.Round <QLowMC.Round>($"in_place = true - L{category} - round {round}", round, blocksize, category, free_swaps); } } //Estimates.Encrypt<QLowMC.Encrypt>("L0", 32, 0, free_swaps, "_l0"); //Estimates.Encrypt<QLowMC.Encrypt>("L1", 128, 1, free_swaps, "_l1"); //Estimates.Encrypt<QLowMC.Encrypt>("L3", 192, 3, free_swaps, "_l3"); Estimates.Encrypt <QLowMC.Encrypt>("L5", 256, 5, free_swaps, "_l5"); //Estimates.GroverOracle<QLowMC.GroverOracle>("L0 - 1 pair", 32, 1, 0, free_swaps, "_l0_r1"); //Estimates.GroverOracle<QLowMC.GroverOracle>("L1 - 1 pair", 128, 1, 1, free_swaps, "_l1_r1"); //Estimates.GroverOracle<QLowMC.GroverOracle>("L3 - 1 pair", 192, 1, 3, free_swaps, "_l3_r1"); Estimates.GroverOracle <QLowMC.GroverOracle>("L5 - 1 pair", 256, 1, 5, free_swaps, "_l5_r1"); //Estimates.GroverOracle<QLowMC.GroverOracle>("L0 - 2 pairs", 32, 2, 0, free_swaps, "_l0_r2"); //Estimates.GroverOracle<QLowMC.GroverOracle>("L1 - 2 pairs", 128, 2, 1, free_swaps, "_l1_r2"); //Estimates.GroverOracle<QLowMC.GroverOracle>("L3 - 2 pairs", 192, 2, 3, free_swaps, "_l3_r2"); Estimates.GroverOracle <QLowMC.GroverOracle>("L5 - 2 pairs", 256, 2, 5, free_swaps, "_l5_r2"); Console.WriteLine(); }
static void Main(string[] args) { // estimating costs bool free_swaps = true; Console.Write("operation, CNOT count, 1-qubit Clifford count, T count, R count, M count, T depth, initial width, extra width, comment, full depth"); // GF256 Estimates.Mul <QGF256.Mul>("unrolled = false", false, free_swaps); Estimates.Mul <QGF256.UnrolledMul>("unrolled = true", true, free_swaps); Estimates.Square <QGF256.Square>("in_place = false", false, free_swaps); Estimates.Square <QGF256.InPlace.Square>("in_place = true", true, free_swaps); Estimates.Fourth <QGF256.Fourth>("in_place = false", false, free_swaps); Estimates.Fourth <QGF256.InPlace.Fourth>("in_place = true", true, free_swaps); Estimates.Sixteenth <QGF256.Sixteenth>("in_place = false", free_swaps); Estimates.SixtyFourth <QGF256.InPlace.SixtyFourth>("in_place = true", free_swaps); // AES Estimates.SBox <GLRS16.SBox>("tower_field = false", false, false, free_swaps); // Estimates.SBox<NigelsSbox.SBox>("tower_field = true", true, free_swaps); Estimates.SBox <LPS19.SBox>("tower_field = true", true, true, free_swaps); Estimates.SBox <BoyarPeralta11.SBox>("tower_field = true", true, false, free_swaps); Estimates.ByteSub <QAES.ByteSub>("state size is the same for all", free_swaps); Estimates.ShiftRow <QAES.InPlace.ShiftRow>("in_place = true - state size is the same for all", free_swaps); Estimates.MixWord <QAES.InPlace.MixWord>("in_place = true", true, free_swaps); Estimates.MixWord <MaximovMixColumn.MixWord>("in_place = false", false, free_swaps); Estimates.MixColumn <QAES.InPlace.MixColumn>("widest = true - state size is the same for all", true, free_swaps); Estimates.MixColumn <MaximovMixColumn.MixColumn>("widest = false - state size is the same for all", false, free_swaps); Estimates.AddRoundKey <QAES.Widest.AddRoundKey>("widest = true - state size is the same for all", free_swaps); // InPlace full KeyExpansion is never run as part of the algorithms, only for tests // Estimates.KeyExpansion<QAES.InPlace.KeyExpansion>("in_place = true, Nr = 10, Nk = 4", true, 10, 4, free_swaps); // Estimates.KeyExpansion<QAES.InPlace.KeyExpansion>("in_place = true, Nr = 12, Nk = 6", true, 12, 6, free_swaps); // Estimates.KeyExpansion<QAES.InPlace.KeyExpansion>("in_place = true, Nr = 14, Nk = 8", true, 14, 8, free_swaps); // Partial key expansion is called for different sizes and in different rounds, and may have different values each time // AES 128 for (int round = 1; round <= 10; round++) { Estimates.InPlacePartialKeyExpansion <QAES.InPlace.KeyExpansion>($"$KE_0^(Nk-1)$ - round {round}", 10, 4, round, 0, 3, free_swaps); } // AES 192 for (int round = 1; round <= 12; round++) { if (round % 3 == 1) { int key_round = (round / 3) * 2 + 1; if (round > 1) { Estimates.InPlacePartialKeyExpansion <QAES.InPlace.KeyExpansion>($"$KE_(2*Nk/3)^(Nk-1)$ - round {round}", 12, 6, key_round, 4, 5, free_swaps); } Estimates.InPlacePartialKeyExpansion <QAES.InPlace.KeyExpansion>($"$KE_0^(Nk/3-1)$ - round {round}", 12, 6, key_round, 0, 1, free_swaps); } else if (round % 3 == 2) { int key_round = (round / 3) * 2 + 1; Estimates.InPlacePartialKeyExpansion <QAES.InPlace.KeyExpansion>($"$KE_2^(Nk-1)$ - round {round}", 12, 6, key_round, 2, 5, free_swaps); } else { int key_round = (round / 3) * 2; Estimates.InPlacePartialKeyExpansion <QAES.InPlace.KeyExpansion>($"$KE_0^(2 Nk/3-1)$ - round {round}", 12, 6, key_round, 0, 3, free_swaps); } } // AES 256 for (int round = 1; round <= 14; round++) { if (round % 2 == 0) { int key_round = round / 2; Estimates.InPlacePartialKeyExpansion <QAES.InPlace.KeyExpansion>($"$KE_0^(Nk/2-1)$ - round {round}", 14, 8, key_round, 0, 3, free_swaps); } else { if (round > 2) { int key_round = round / 2; Estimates.InPlacePartialKeyExpansion <QAES.InPlace.KeyExpansion>($"$KE_(Nk/2)^(Nk-1)$ - round {round}", 14, 8, key_round, 4, 7, free_swaps); } } } Estimates.KeyExpansion <QAES.Widest.KeyExpansion>("in_place = false - Nr = 10 - Nk = 4 - not currently used", false, 10, 4, free_swaps); Estimates.KeyExpansion <QAES.Widest.KeyExpansion>("in_place = false - Nr = 12 - Nk = 6 - not currently used", false, 12, 6, free_swaps); Estimates.KeyExpansion <QAES.Widest.KeyExpansion>("in_place = false - Nr = 14 - Nk = 8 - not currently used", false, 14, 8, free_swaps); Estimates.Round <QAES.Widest.Round>("state size is the same for all", 0, false, 4, free_swaps); for (int round = 1; round <= 10; round++) { int Nk = 4; Estimates.Round <QAES.SmartWide.Round>($"round = {round} - Nk = {Nk} - in_place mixcolumn", round, true, Nk, true, free_swaps); Estimates.Round <QAES.SmartWide.Round>($"round = {round} - Nk = {Nk} - Maximov's mixcolumn", round, true, Nk, false, free_swaps); } for (int round = 1; round <= 12; round++) { int Nk = 6; Estimates.Round <QAES.SmartWide.Round>($"round = {round} - Nk = {Nk} - in_place mixcolumn", round, true, Nk, true, free_swaps); Estimates.Round <QAES.SmartWide.Round>($"round = {round} - Nk = {Nk} - Maximov's mixcolumn", round, true, Nk, false, free_swaps); } for (int round = 1; round <= 14; round++) { int Nk = 8; Estimates.Round <QAES.SmartWide.Round>($"round = {round} - Nk = {Nk} - in_place mixcolumn", round, true, Nk, true, free_swaps); Estimates.Round <QAES.SmartWide.Round>($"round = {round} - Nk = {Nk} - Maximov's mixcolumn", round, true, Nk, false, free_swaps); } Estimates.FinalRound <QAES.Widest.FinalRound>("state size is the same for all", false, 4, free_swaps); Estimates.FinalRound <QAES.SmartWide.FinalRound>("Nk = 4 - state size is the same for all but in-place expansion isn't", true, 4, free_swaps); Estimates.FinalRound <QAES.SmartWide.FinalRound>("Nk = 6 - state size is the same for all but in-place expansion isn't", true, 6, free_swaps); Estimates.FinalRound <QAES.SmartWide.FinalRound>("Nk = 8 - state size is the same for all but in-place expansion isn't", true, 8, free_swaps); Estimates.Rijndael <QAES.SmartWide.Rijndael>("smart_wide = true - Nr = 10 - Nk = 4 - in_place mixcolumn", true, 10, 4, true, free_swaps, "_128_in-place-MC"); Estimates.Rijndael <QAES.SmartWide.Rijndael>("smart_wide = true - Nr = 12 - Nk = 6 - in_place mixcolumn", true, 12, 6, true, free_swaps, "_192_in-place-MC"); Estimates.Rijndael <QAES.SmartWide.Rijndael>("smart_wide = true - Nr = 14 - Nk = 8 - in_place mixcolumn", true, 14, 8, true, free_swaps, "_256_in-place-MC"); Estimates.Rijndael <QAES.SmartWide.Rijndael>("smart_wide = true - Nr = 10 - Nk = 4 - Maximov's mixcolumn", true, 10, 4, false, free_swaps, "_128_maximov-MC"); Estimates.Rijndael <QAES.SmartWide.Rijndael>("smart_wide = true - Nr = 12 - Nk = 6 - Maximov's mixcolumn", true, 12, 6, false, free_swaps, "_192_maximov-MC"); Estimates.Rijndael <QAES.SmartWide.Rijndael>("smart_wide = true - Nr = 14 - Nk = 8 - Maximov's mixcolumn", true, 14, 8, false, free_swaps, "_256_maximov-MC"); Estimates.Rijndael <QAES.Widest.Rijndael>("smart_wide = false - Nr = 10 - Nk = 4", false, 10, 4, true, free_swaps, "_128_in-place-MC"); Estimates.Rijndael <QAES.Widest.Rijndael>("smart_wide = false - Nr = 12 - Nk = 6", false, 12, 6, true, free_swaps, "_192_in-place-MC"); Estimates.Rijndael <QAES.Widest.Rijndael>("smart_wide = false - Nr = 14 - Nk = 8", false, 14, 8, true, free_swaps, "_256_in-place-MC"); Estimates.GroverOracle <QAES.SmartWide.GroverOracle>("smart_wide = true - Nr = 10 - Nk = 4 - in_place mixcolumn - r = 1", true, 1, 10, 4, true, free_swaps, "_128_in-place-MC_r1"); Estimates.GroverOracle <QAES.SmartWide.GroverOracle>("smart_wide = true - Nr = 12 - Nk = 6 - in_place mixcolumn - r = 1", true, 1, 12, 6, true, free_swaps, "_192_in-place-MC_r1"); Estimates.GroverOracle <QAES.SmartWide.GroverOracle>("smart_wide = true - Nr = 14 - Nk = 8 - in_place mixcolumn - r = 1", true, 1, 14, 8, true, free_swaps, "_256_in-place-MC_r1"); Estimates.GroverOracle <QAES.SmartWide.GroverOracle>("smart_wide = true - Nr = 10 - Nk = 4 - in_place mixcolumn - r = 2", true, 2, 10, 4, true, free_swaps, "_128_in-place-MC_r2"); Estimates.GroverOracle <QAES.SmartWide.GroverOracle>("smart_wide = true - Nr = 12 - Nk = 6 - in_place mixcolumn - r = 2", true, 2, 12, 6, true, free_swaps, "_192_in-place-MC_r2"); Estimates.GroverOracle <QAES.SmartWide.GroverOracle>("smart_wide = true - Nr = 14 - Nk = 8 - in_place mixcolumn - r = 2", true, 2, 14, 8, true, free_swaps, "_256_in-place-MC_r2"); Estimates.GroverOracle <QAES.SmartWide.GroverOracle>("smart_wide = true - Nr = 10 - Nk = 4 - in_place mixcolumn - r = 3", true, 3, 10, 4, true, free_swaps, "_128_in-place-MC_r3"); Estimates.GroverOracle <QAES.SmartWide.GroverOracle>("smart_wide = true - Nr = 12 - Nk = 6 - in_place mixcolumn - r = 3", true, 3, 12, 6, true, free_swaps, "_192_in-place-MC_r3"); Estimates.GroverOracle <QAES.SmartWide.GroverOracle>("smart_wide = true - Nr = 14 - Nk = 8 - in_place mixcolumn - r = 3", true, 3, 14, 8, true, free_swaps, "_256_in-place-MC_r3"); Estimates.GroverOracle <QAES.SmartWide.GroverOracle>("smart_wide = true - Nr = 10 - Nk = 4 - Maximov's mixcolumn - r = 1", true, 1, 10, 4, false, free_swaps, "_128_maximov-MC_r1"); Estimates.GroverOracle <QAES.SmartWide.GroverOracle>("smart_wide = true - Nr = 12 - Nk = 6 - Maximov's mixcolumn - r = 1", true, 1, 12, 6, false, free_swaps, "_192_maximov-MC_r1"); Estimates.GroverOracle <QAES.SmartWide.GroverOracle>("smart_wide = true - Nr = 14 - Nk = 8 - Maximov's mixcolumn - r = 1", true, 1, 14, 8, false, free_swaps, "_256_maximov-MC_r1"); Estimates.GroverOracle <QAES.SmartWide.GroverOracle>("smart_wide = true - Nr = 10 - Nk = 4 - Maximov's mixcolumn - r = 2", true, 2, 10, 4, false, free_swaps, "_128_maximov-MC_r2"); Estimates.GroverOracle <QAES.SmartWide.GroverOracle>("smart_wide = true - Nr = 12 - Nk = 6 - Maximov's mixcolumn - r = 2", true, 2, 12, 6, false, free_swaps, "_192_maximov-MC_r2"); Estimates.GroverOracle <QAES.SmartWide.GroverOracle>("smart_wide = true - Nr = 14 - Nk = 8 - Maximov's mixcolumn - r = 2", true, 2, 14, 8, false, free_swaps, "_256_maximov-MC_r2"); Estimates.GroverOracle <QAES.SmartWide.GroverOracle>("smart_wide = true - Nr = 10 - Nk = 4 - Maximov's mixcolumn - r = 3", true, 3, 10, 4, false, free_swaps, "_128_maximov-MC_r3"); Estimates.GroverOracle <QAES.SmartWide.GroverOracle>("smart_wide = true - Nr = 12 - Nk = 6 - Maximov's mixcolumn - r = 3", true, 3, 12, 6, false, free_swaps, "_192_maximov-MC_r3"); Estimates.GroverOracle <QAES.SmartWide.GroverOracle>("smart_wide = true - Nr = 14 - Nk = 8 - Maximov's mixcolumn - r = 3", true, 3, 14, 8, false, free_swaps, "_256_maximov-MC_r3"); Console.WriteLine(); }