From 65b78a19d0d990388a5d99bc88f4095b18c141e0 Mon Sep 17 00:00:00 2001 From: Kyle Den Hartog Date: Mon, 27 Nov 2023 10:16:19 +1300 Subject: [PATCH] move two_pow_245 next to other useful constants --- src/circuit/commit_ivk.rs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/circuit/commit_ivk.rs b/src/circuit/commit_ivk.rs index 33692a4a..fb0dd62b 100644 --- a/src/circuit/commit_ivk.rs +++ b/src/circuit/commit_ivk.rs @@ -71,6 +71,7 @@ impl CommitIvkChip { let two_pow_4 = pallas::Base::from(1 << 4); let two_pow_5 = pallas::Base::from(1 << 5); let two_pow_9 = two_pow_4 * two_pow_5; + let two_pow_245 = pallas::Base::from(1 << 49).pow([5, 0, 0, 0]); let two_pow_250 = pallas::Base::from_u128(1 << 125).square(); let two_pow_254 = two_pow_250 * two_pow_4; @@ -119,8 +120,6 @@ impl CommitIvkChip { // Check that nk = b_2 (5 bits) || c (240 bits) || d_0 (9 bits) || d_1 (1 bit) let nk_decomposition_check = { - let two_pow_245 = pallas::Base::from(1 << 49).pow([5, 0, 0, 0]); - b_2.clone() + c.clone() * two_pow_5 + d_0.clone() * two_pow_245