[zklogin] add support for v2 vk

[joyqvq]

 
  ┌─────────────────────────────────────┬───────────┬───────────┐
  │              Benchmark              │    V1     │    V2     │
  ├─────────────────────────────────────┼───────────┼───────────┤
  │ as_arkworks                         │ 317.60 µs │ 309.44 µs │
  ├─────────────────────────────────────┼───────────┼───────────┤
  │ calculate_all_inputs_hash           │ 257.37 µs │ 535.72 µs │
  ├─────────────────────────────────────┼───────────┼───────────┤
  │ verify_zk_login_proof_with_fixed_vk │ 912.33 µs │ 931.25 µs │
  ├─────────────────────────────────────┼───────────┼───────────┤
  │ Total (verify_zk_login)             │ 3.13 ms   │ 1.87 ms   │
  └─────────────────────────────────────┴───────────┴───────────┘

calculate_all_inputs_hash performance increase comes from hash_to_field for the modulus: The RSA modulus bits are packed into 248-bit field elements.

• V1 (2048-bit): ceil(2048/248) = 9 field elements → 1 Poseidon hash (fits in 16)
• V2 (8192-bit): ceil(8192/248) = 34 field elements → chunks of 16 → 3 leaf hashes + 1
  root hash = 4 Poseidon calls

[joyqvq]

@mskd12 see latest comment for caching change. the speed up for calculate_all_inputs_hash alone (on a cold cache) is 546 µs → 200µs (warm, 63% faster)

overall

 ┌───────────────┬──────────┬──────────┬───────────────────────┐
  │    Variant    │   Cold   │   Warm   │        Speedup        │
  ├───────────────┼──────────┼──────────┼───────────────────────┤
  │ V1 (2048-bit) │ 256.0 µs │ 190.2 µs │ 1.35× (~66 µs saved)  │
  ├───────────────┼──────────┼──────────┼───────────────────────┤
  │ V2 (8192-bit) │ 536.9 µs │ 198.3 µs │ 2.71× (~339 µs saved) │
  └───────────────┴──────────┴──────────┴───────────────────────┘