1
- // Verification Key Hash: 30c540ad71c1de0ea945ef250fec744221207208b9c1a5e355ff394c0873e55c
1
+ // Verification Key Hash: d8836e9c78022c0245cd010590822e42e3a94cbbd7594c1a2dde73feedd7da0a
2
2
// SPDX-License-Identifier: Apache-2.0
3
3
// Copyright 2022 Aztec
4
4
pragma solidity >= 0.8.4 ;
5
5
6
6
library VerificationKey28x32 {
7
- function verificationKeyHash () internal pure returns (bytes32 ) {
8
- return 0x30c540ad71c1de0ea945ef250fec744221207208b9c1a5e355ff394c0873e55c ;
7
+ function verificationKeyHash () internal pure returns (bytes32 ) {
8
+ return 0xd8836e9c78022c0245cd010590822e42e3a94cbbd7594c1a2dde73feedd7da0a ;
9
9
}
10
10
11
11
function loadVerificationKey (uint256 _vk , uint256 _omegaInverseLoc ) internal pure {
@@ -14,28 +14,28 @@ library VerificationKey28x32 {
14
14
mstore (add (_vk, 0x20 ), 0x0000000000000000000000000000000000000000000000000000000000000011 ) // vk.num_inputs
15
15
mstore (add (_vk, 0x40 ), 0x0210fe635ab4c74d6b7bcf70bc23a1395680c64022dd991fb54d4506ab80c59d ) // vk.work_root
16
16
mstore (add (_vk, 0x60 ), 0x30644e121894ba67550ff245e0f5eb5a25832df811e8df9dd100d30c2c14d821 ) // vk.domain_inverse
17
- mstore (add (_vk, 0x80 ), 0x1d349b8977724e09c86fa578f4735879a9f44c213b0c8ca5102e4c3971408ef1 ) // vk.Q1.x
18
- mstore (add (_vk, 0xa0 ), 0x24f288f17b6ae11b4b7864ab9594f8b2f4f19ea1d60e17f772974e91844ac462 ) // vk.Q1.y
19
- mstore (add (_vk, 0xc0 ), 0x1478cb35d613e2cfbfda0b9dce986b7f00930b2556fa46cdc3baee5dc76bf589 ) // vk.Q2.x
20
- mstore (add (_vk, 0xe0 ), 0x2c18d64a741c1d344f0d52e6c62f7ac79821aba10256a15d2622438791a82839 ) // vk.Q2.y
21
- mstore (add (_vk, 0x100 ), 0x1da0feb3b521b13e4c0f131fb7e5fe4a4406caa1cee0df757659f2303329c00c ) // vk.Q3.x
22
- mstore (add (_vk, 0x120 ), 0x1f964f3a14e19de343a7a8a7ae0fc7b3c44211a9927ebbdb9556fd623177464c ) // vk.Q3.y
23
- mstore (add (_vk, 0x140 ), 0x188fa91323b2ba20000d98efb311dc84b27ec60203c6f51301471213bfcc0c93 ) // vk.QM.x
24
- mstore (add (_vk, 0x160 ), 0x0dec5cadfc71c9c707e8d451f6a87ee63a25769d6ca4b35f84596bc8d163ab13 ) // vk.QM.y
25
- mstore (add (_vk, 0x180 ), 0x0e18198690edc77d449e2a46b5bffffd1356422c0fa54e3cc011194ba83eb6ed ) // vk.QC.x
26
- mstore (add (_vk, 0x1a0 ), 0x1f22be590007dbcd8ce6d51b513bccb91906f3baec495226810856655b7fde35 ) // vk.QC.y
27
- mstore (add (_vk, 0x1c0 ), 0x1ae57998807b3d1393feec54458002a457f5518b9adc66bb2facf68fd08e6c85 ) // vk.SIGMA1.x
28
- mstore (add (_vk, 0x1e0 ), 0x078c0f28b8823d267717a4b9903af394feb40e305acd6d5692239b8449c391a3 ) // vk.SIGMA1.y
29
- mstore (add (_vk, 0x200 ), 0x23a3fa199f93bbdf437853790a5505ec120cb1d311b629342304cb07a77161f3 ) // vk.SIGMA2.x
30
- mstore (add (_vk, 0x220 ), 0x2e7711ded1fcd544e9f1aa2a82173475cd143f8111628694766546e179f071f7 ) // vk.SIGMA2.y
31
- mstore (add (_vk, 0x240 ), 0x1e242bd59e58c879d7ac9629be07a5396ac7d95f05496dbc2c9f45627d56c148 ) // vk.SIGMA3.x
32
- mstore (add (_vk, 0x260 ), 0x239a1f09cab3a4d6524ddb0577a804d883c806a55bf4931e037a0592b5faad7c ) // vk.SIGMA3.y
17
+ mstore (add (_vk, 0x80 ), 0x28763b9e2723f163d03f9c5e9cb2686be109c89043dbc31a24d134a5ffaf7e39 ) // vk.Q1.x
18
+ mstore (add (_vk, 0xa0 ), 0x27d60d8e1376e933b251bdaf11d7cf8314d3ca5e5f208658e4dbf03d15be0471 ) // vk.Q1.y
19
+ mstore (add (_vk, 0xc0 ), 0x16e2ff6a646b4b371a475a91bbd36ff02e22c75f0d4afeeaecab56ff25d7b65f ) // vk.Q2.x
20
+ mstore (add (_vk, 0xe0 ), 0x1df58477863fa42eda275ce17df6c2707ed89abb290daaeb866fe875f7d4e44c ) // vk.Q2.y
21
+ mstore (add (_vk, 0x100 ), 0x02023a039e7158f4329608491ea229a07fc5112a32ad9d2961a58e29bf7211e2 ) // vk.Q3.x
22
+ mstore (add (_vk, 0x120 ), 0x0b1c278edf9e1db2285ef8d8809dde95f8af7aa107013c4e9fc5b70bbc0e9a59 ) // vk.Q3.y
23
+ mstore (add (_vk, 0x140 ), 0x2183884c1567fa928798046bd13268aba2c7aab07d50a2e93e88b65eeae8976f ) // vk.QM.x
24
+ mstore (add (_vk, 0x160 ), 0x22c391dff72b76daf0ddbb024b26763fe56fcbc433398474aae3d7453c947829 ) // vk.QM.y
25
+ mstore (add (_vk, 0x180 ), 0x25ffa4decc27d229173054eb26f91ac1bb9fe66b36fb1351b6a431c47c58b9f9 ) // vk.QC.x
26
+ mstore (add (_vk, 0x1a0 ), 0x1377bd263e9a9fbb54156a42dcfc76e2bf4038777d5c3a0fcfaa037882def479 ) // vk.QC.y
27
+ mstore (add (_vk, 0x1c0 ), 0x0745bae6f0a51ad9b3f2973e0cd9e9834266e8050b39374ad51048968c93fc01 ) // vk.SIGMA1.x
28
+ mstore (add (_vk, 0x1e0 ), 0x1aea453cde85d8a53c2cefe84969ef09d4f6b3b1290a6ea149508a254612233b ) // vk.SIGMA1.y
29
+ mstore (add (_vk, 0x200 ), 0x2f7c002986e1e28312373dd29e2e3b9f1c8d82c864d61f8554c64df504ea6fef ) // vk.SIGMA2.x
30
+ mstore (add (_vk, 0x220 ), 0x0de4b7e3d3eec0dc58c66cda60015fb589ed2781a01328b20f2f272be775052a ) // vk.SIGMA2.y
31
+ mstore (add (_vk, 0x240 ), 0x0a14e2bb9eec9fb640b96f4c773d0f15fed671948fa99f175abb70fe829b4300 ) // vk.SIGMA3.x
32
+ mstore (add (_vk, 0x260 ), 0x0582923f30fe9526a88bf2c473789bcb03d5d135379e99fa7036deac48358b0b ) // vk.SIGMA3.y
33
33
mstore (add (_vk, 0x280 ), 0x01 ) // vk.contains_recursive_proof
34
34
mstore (add (_vk, 0x2a0 ), 1 ) // vk.recursive_proof_public_input_indices
35
- mstore (add (_vk, 0x2c0 ), 0x260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c1 ) // vk.g2_x.X.c1
36
- mstore (add (_vk, 0x2e0 ), 0x0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b0 ) // vk.g2_x.X.c0
37
- mstore (add (_vk, 0x300 ), 0x04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe4 ) // vk.g2_x.Y.c1
38
- mstore (add (_vk, 0x320 ), 0x22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e55 ) // vk.g2_x.Y.c0
35
+ mstore (add (_vk, 0x2c0 ), 0x260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c1 ) // vk.g2_x.X.c1
36
+ mstore (add (_vk, 0x2e0 ), 0x0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b0 ) // vk.g2_x.X.c0
37
+ mstore (add (_vk, 0x300 ), 0x04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe4 ) // vk.g2_x.Y.c1
38
+ mstore (add (_vk, 0x320 ), 0x22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e55 ) // vk.g2_x.Y.c0
39
39
mstore (_omegaInverseLoc, 0x2165a1a5bda6792b1dd75c9f4e2b8e61126a786ba1a6eadf811b03e7d69ca83b ) // vk.work_root_inverse
40
40
}
41
41
}
0 commit comments