v1.17: [zk-token-proof] Round compute units to nice numbers (backport…

… of #33910) (#33915)

[zk-token-proof] Round compute units to nice numbers (#33910)

round zk-token-proof compute units to nice numbers

(cherry picked from commit b0bf24b)

Co-authored-by: samkim-crypto <skim13@cs.stanford.edu>

programs/zk-token-proof/src/lib.rs

@@ -17,20 +17,20 @@ use {
 };
 
 pub const CLOSE_CONTEXT_STATE_COMPUTE_UNITS: u64 = 3_300;
-pub const VERIFY_ZERO_BALANCE_COMPUTE_UNITS: u64 = 6012;
-pub const VERIFY_WITHDRAW_COMPUTE_UNITS: u64 = 112_454;
-pub const VERIFY_CIPHERTEXT_CIPHERTEXT_EQUALITY_COMPUTE_UNITS: u64 = 7_943;
-pub const VERIFY_TRANSFER_COMPUTE_UNITS: u64 = 219_290;
-pub const VERIFY_TRANSFER_WITH_FEE_COMPUTE_UNITS: u64 = 407_121;
-pub const VERIFY_PUBKEY_VALIDITY_COMPUTE_UNITS: u64 = 2_619;
-pub const VERIFY_RANGE_PROOF_U64_COMPUTE_UNITS: u64 = 105_066;
-pub const VERIFY_BATCHED_RANGE_PROOF_U64_COMPUTE_UNITS: u64 = 111_478;
-pub const VERIFY_BATCHED_RANGE_PROOF_U128_COMPUTE_UNITS: u64 = 204_512;
+pub const VERIFY_ZERO_BALANCE_COMPUTE_UNITS: u64 = 6_000;
+pub const VERIFY_WITHDRAW_COMPUTE_UNITS: u64 = 110_000;
+pub const VERIFY_CIPHERTEXT_CIPHERTEXT_EQUALITY_COMPUTE_UNITS: u64 = 8_000;
+pub const VERIFY_TRANSFER_COMPUTE_UNITS: u64 = 219_000;
+pub const VERIFY_TRANSFER_WITH_FEE_COMPUTE_UNITS: u64 = 407_000;
+pub const VERIFY_PUBKEY_VALIDITY_COMPUTE_UNITS: u64 = 2_600;
+pub const VERIFY_RANGE_PROOF_U64_COMPUTE_UNITS: u64 = 105_000;
+pub const VERIFY_BATCHED_RANGE_PROOF_U64_COMPUTE_UNITS: u64 = 111_000;
+pub const VERIFY_BATCHED_RANGE_PROOF_U128_COMPUTE_UNITS: u64 = 200_000;
 pub const VERIFY_BATCHED_RANGE_PROOF_U256_COMPUTE_UNITS: u64 = 368_000;
-pub const VERIFY_CIPHERTEXT_COMMITMENT_EQUALITY_COMPUTE_UNITS: u64 = 6_424;
-pub const VERIFY_GROUPED_CIPHERTEXT_2_HANDLES_VALIDITY_COMPUTE_UNITS: u64 = 6_440;
-pub const VERIFY_BATCHED_GROUPED_CIPHERTEXT_2_HANDLES_VALIDITY_COMPUTE_UNITS: u64 = 12_575;
-pub const VERIFY_FEE_SIGMA_COMPUTE_UNITS: u64 = 6_547;
+pub const VERIFY_CIPHERTEXT_COMMITMENT_EQUALITY_COMPUTE_UNITS: u64 = 6_400;
+pub const VERIFY_GROUPED_CIPHERTEXT_2_HANDLES_VALIDITY_COMPUTE_UNITS: u64 = 6_400;
+pub const VERIFY_BATCHED_GROUPED_CIPHERTEXT_2_HANDLES_VALIDITY_COMPUTE_UNITS: u64 = 13_000;
+pub const VERIFY_FEE_SIGMA_COMPUTE_UNITS: u64 = 6_500;
 
 fn process_verify_proof<T, U>(invoke_context: &mut InvokeContext) -> Result<(), InstructionError>
 where