update verifier contracts

2026-01-12 07:28:08 -05:00 · 2023-05-23 23:13:51 +08:00
1 changed files with 3 additions and 3 deletions
--- a/contracts/src/libraries/verifier/RollupVerifier.sol
+++ b/contracts/src/libraries/verifier/RollupVerifier.sol
@@ -404,7 +404,7 @@ library RollupVerifier {
                t1
            )
        );
-        update_hash_scalar(2139959605475961860937015093717899596443860272195454718006038460622762772338, absorbing, 0);
+        update_hash_scalar(4962788430546239720468820373432349999910913477391546116427076891893180912849, absorbing, 0);
        update_hash_point(m[0], m[1], absorbing, 2);
        for (t0 = 0; t0 <= 4; t0++) {
            update_hash_point(proof[0 + t0 * 2], proof[1 + t0 * 2], absorbing, 5 + t0 * 3);
@@ -966,8 +966,8 @@ library RollupVerifier {
        );
        (t0, t1) = (
            ecc_mul_add(
-                7226449887868214736840321440792751573104787954076714575187805312000538789936,
-                10412613750159988958028585780050254212547419910094153825608548817586948534492,
+                20250810313797729750803809081013214281800078326747056369997706668070977348310,
+                14655445100632661160416934879564122225365628334766893900069157685523892261564,
                m[56],
                t0,
                t1