/** @var ParagonIE_Sodium_Core32_Int32 $x12 */
$x12 =
$ctx[12
];
/** @var ParagonIE_Sodium_Core32_Int32 $x13 */
$x13 =
$ctx[13
];
/** @var ParagonIE_Sodium_Core32_Int32 $x14 */
$x14 =
$ctx[14
];
/** @var ParagonIE_Sodium_Core32_Int32 $x15 */
$x15 =
$ctx[15
];
for ($i = 0;
$i < 10; ++
$i) { # QUARTERROUND( x0, x4, x8, x12)
list
($x0,
$x4,
$x8,
$x12) = self::
quarterRound($x0,
$x4,
$x8,
$x12);
# QUARTERROUND( x1, x5, x9, x13)
list
($x1,
$x5,
$x9,
$x13) = self::
quarterRound($x1,
$x5,
$x9,
$x13);
# QUARTERROUND( x2, x6, x10, x14)
list
($x2,
$x6,
$x10,
$x14) = self::
quarterRound($x2,
$x6,
$x10,
$x14);
# QUARTERROUND( x3, x7, x11, x15)
list
($x3,
$x7,
$x11,
$x15) = self::
quarterRound($x3,
$x7,
$x11,
$x15);
# QUARTERROUND( x0, x5, x10, x15)