Skip to content

Commit

Permalink
feat: update PlonkVerifier
Browse files Browse the repository at this point in the history
  • Loading branch information
@davidtaikocha
davidtaikocha committed Feb 24, 2023
1 parent c191a85 commit 7ebd6ed
Show file tree
Hide file tree
Showing 3 changed files with 66 additions and 66 deletions.
64 changes: 32 additions & 32 deletions packages/protocol/contracts/libs/yul/PlonkVerifier_10_txs.yulp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,7 @@ object "plonk_verifier" {
}
mstore(0x20, mod(calldataload(0x0), f_q))
mstore(0x40, mod(calldataload(0x20), f_q))
mstore(0x0, 17372798237753114595580418880396159109249363809265436712157434780866952855241)
mstore(0x0, 3067907949222900551913553498849892226635280613088758012043891418197569392443)

{
let x := calldataload(0x40)
Expand Down Expand Up @@ -1776,116 +1776,116 @@ mstore(0x9bc0, mload(0x9ae0))
mstore(0x9c00, mload(0x9b60))
mstore(0x9c20, mload(0x9b80))
success := and(eq(staticcall(gas(), 0x6, 0x9bc0, 0x80, 0x9bc0, 0x40), 1), success)
mstore(0x9c40, 0x1b0b29c25c50d9867cc7c9842ccb5c04dbde02f64a1f3c99c044cb2759f83c83)
mstore(0x9c60, 0x237b62160acb880e9c6cdc7b55b159d41c89b8edac88fc529478afa21400ae5b)
mstore(0x9c40, 0x24142897d89fae71ddba98fbfd32aeb5ca58035fe36a2ce8ba1f220c04bfd2ed)
mstore(0x9c60, 0x2f6c0d7716b92b04ec8c8915af38d26e334e48b1cf0244c3f69a6e2fd0b66c14)
mstore(0x9c80, mload(0x6d00))
success := and(eq(staticcall(gas(), 0x7, 0x9c40, 0x60, 0x9c40, 0x40), 1), success)
mstore(0x9ca0, mload(0x9bc0))
mstore(0x9cc0, mload(0x9be0))
mstore(0x9ce0, mload(0x9c40))
mstore(0x9d00, mload(0x9c60))
success := and(eq(staticcall(gas(), 0x6, 0x9ca0, 0x80, 0x9ca0, 0x40), 1), success)
mstore(0x9d20, 0x0ace1851a038ae306453d5bb714cd9ccd945c35c283ee4269eb451e624cefcd1)
mstore(0x9d40, 0x0f7c2530eeef28095d71e131d3223962c71b24c722bb5491c5409f566e4e26c6)
mstore(0x9d20, 0x02a8c8f304367570fb6ff09717c0c3489fd6fa0b18a43ec30f1738e23e44b7af)
mstore(0x9d40, 0x1630014e120ce66dc277145e1fa4508b450008e8b4761ff2095958af4594a8e0)
mstore(0x9d60, mload(0x6d20))
success := and(eq(staticcall(gas(), 0x7, 0x9d20, 0x60, 0x9d20, 0x40), 1), success)
mstore(0x9d80, mload(0x9ca0))
mstore(0x9da0, mload(0x9cc0))
mstore(0x9dc0, mload(0x9d20))
mstore(0x9de0, mload(0x9d40))
success := and(eq(staticcall(gas(), 0x6, 0x9d80, 0x80, 0x9d80, 0x40), 1), success)
mstore(0x9e00, 0x18c850fc70445314ae3c26ea43cfaea41d6365b400fa12131e20c130646226fd)
mstore(0x9e20, 0x0cdf5b9dacaf4d97ecd930cd080d09cf4648cb2786f3aa600d66772dc0fed219)
mstore(0x9e00, 0x1586c9888eeb27905be7f2344fe943d4b708c53a9ae1d6d659371ab13c5db842)
mstore(0x9e20, 0x03f3a8dab706905925bc52be8ecd37937b87c3688765969fa811fd6b8454b963)
mstore(0x9e40, mload(0x6d40))
success := and(eq(staticcall(gas(), 0x7, 0x9e00, 0x60, 0x9e00, 0x40), 1), success)
mstore(0x9e60, mload(0x9d80))
mstore(0x9e80, mload(0x9da0))
mstore(0x9ea0, mload(0x9e00))
mstore(0x9ec0, mload(0x9e20))
success := and(eq(staticcall(gas(), 0x6, 0x9e60, 0x80, 0x9e60, 0x40), 1), success)
mstore(0x9ee0, 0x2ff64dd0a085d9e112b3155dff7b9c4a28cb5539d48021b4bfcb6e61b8767983)
mstore(0x9f00, 0x25b3846e586e14946ce4ad4bc963b8b2efabfeebdefbd404e78de88d5d4b6df2)
mstore(0x9ee0, 0x06f43427764dc375d3827fa2765b7efb195c96c4e3a9f115913dbaef4b4605cd)
mstore(0x9f00, 0x214843cd8458f8b31330ffbda93d2fb8e8c92e3fc96f64e23f797f30fc9202ef)
mstore(0x9f20, mload(0x6d60))
success := and(eq(staticcall(gas(), 0x7, 0x9ee0, 0x60, 0x9ee0, 0x40), 1), success)
mstore(0x9f40, mload(0x9e60))
mstore(0x9f60, mload(0x9e80))
mstore(0x9f80, mload(0x9ee0))
mstore(0x9fa0, mload(0x9f00))
success := and(eq(staticcall(gas(), 0x6, 0x9f40, 0x80, 0x9f40, 0x40), 1), success)
mstore(0x9fc0, 0x2ef513095f4c531054c6c519442de199720857b5cfa6071c728355ae66c0591b)
mstore(0x9fe0, 0x0c19d9267979b9d715222e302296a2fb1aff01cf138e0177a0575d8c117cd536)
mstore(0x9fc0, 0x299e17546931ab9afbbf988216d73c1a0b7a886302299f9e756bcbb3ef8d4b77)
mstore(0x9fe0, 0x07d5b69d3b18c011b16d9f747f716fd5502b343c14f6d20b2d1f56a9ec95dc6d)
mstore(0xa000, mload(0x6d80))
success := and(eq(staticcall(gas(), 0x7, 0x9fc0, 0x60, 0x9fc0, 0x40), 1), success)
mstore(0xa020, mload(0x9f40))
mstore(0xa040, mload(0x9f60))
mstore(0xa060, mload(0x9fc0))
mstore(0xa080, mload(0x9fe0))
success := and(eq(staticcall(gas(), 0x6, 0xa020, 0x80, 0xa020, 0x40), 1), success)
mstore(0xa0a0, 0x1a066738c7bd0d43e754efadddfb3e5aca9bd4c7d2fde351382831c822bf19c0)
mstore(0xa0c0, 0x126c5fd21c6089a7153aaa043fcbbf887fc88b4740f12f9e955fda943be5770f)
mstore(0xa0a0, 0x00cf7441bfe23c289dc0ead64c4f446ff2f7056705f726048e4ce251f2b872db)
mstore(0xa0c0, 0x119e90dae672089175b8e619f66554864963becad6c98b6f076a44a58643b5be)
mstore(0xa0e0, mload(0x6da0))
success := and(eq(staticcall(gas(), 0x7, 0xa0a0, 0x60, 0xa0a0, 0x40), 1), success)
mstore(0xa100, mload(0xa020))
mstore(0xa120, mload(0xa040))
mstore(0xa140, mload(0xa0a0))
mstore(0xa160, mload(0xa0c0))
success := and(eq(staticcall(gas(), 0x6, 0xa100, 0x80, 0xa100, 0x40), 1), success)
mstore(0xa180, 0x27cf82489c0189a1d972d8b161021f0dbcd2dd3b67537bac1249e12e30547815)
mstore(0xa1a0, 0x0e71921fe0ac392e3c551c26dbd238ccc4663f6f511627a2e9da71346ef2dc27)
mstore(0xa180, 0x2855a61969e646e3ab0bf81a6fda391ae85d43675daf5c833d418a79566801ab)
mstore(0xa1a0, 0x1b5edecaff84a5748dca041b2f5be5f00aafc0b587f6abf9c978a861e85ae0cd)
mstore(0xa1c0, mload(0x6dc0))
success := and(eq(staticcall(gas(), 0x7, 0xa180, 0x60, 0xa180, 0x40), 1), success)
mstore(0xa1e0, mload(0xa100))
mstore(0xa200, mload(0xa120))
mstore(0xa220, mload(0xa180))
mstore(0xa240, mload(0xa1a0))
success := and(eq(staticcall(gas(), 0x6, 0xa1e0, 0x80, 0xa1e0, 0x40), 1), success)
mstore(0xa260, 0x1a0cf393bb856f1414baaae18658d9ce10b0a6c7b86bff9da766edc6a6ca7ade)
mstore(0xa280, 0x2d9ddf65bc706ec0f97f6a7d716bc44e9591c039febb27fe30988fcb66000a8e)
mstore(0xa260, 0x145f584377bc6ae8b501aef339707488d83d7c7264ade6443aa8b129435f0f03)
mstore(0xa280, 0x22054ed9c7da14500ca4c0a0ef50875365f86adf74ec5fb33318f06d13900962)
mstore(0xa2a0, mload(0x6de0))
success := and(eq(staticcall(gas(), 0x7, 0xa260, 0x60, 0xa260, 0x40), 1), success)
mstore(0xa2c0, mload(0xa1e0))
mstore(0xa2e0, mload(0xa200))
mstore(0xa300, mload(0xa260))
mstore(0xa320, mload(0xa280))
success := and(eq(staticcall(gas(), 0x6, 0xa2c0, 0x80, 0xa2c0, 0x40), 1), success)
mstore(0xa340, 0x09a32cd50c4ad8f06262a106b384418439838c2db89e46547936a6e9f55e1861)
mstore(0xa360, 0x1811dbce682f37fdcc5a5f73278223f72db464fd7e456573a78f7a3ca60e3d46)
mstore(0xa340, 0x008640f80880ee80d0a45a44184c03295c8461d1319a92d492aa9a9c5a06f906)
mstore(0xa360, 0x0dc16d263c5e24f8fdb0f31f0a19ab259be0581a35e068a9272e50f9dae6e1a4)
mstore(0xa380, mload(0x6e00))
success := and(eq(staticcall(gas(), 0x7, 0xa340, 0x60, 0xa340, 0x40), 1), success)
mstore(0xa3a0, mload(0xa2c0))
mstore(0xa3c0, mload(0xa2e0))
mstore(0xa3e0, mload(0xa340))
mstore(0xa400, mload(0xa360))
success := and(eq(staticcall(gas(), 0x6, 0xa3a0, 0x80, 0xa3a0, 0x40), 1), success)
mstore(0xa420, 0x2776df6ef17ec3218c44017548a49fb2cd0c2a858092f16651ddf103340b44e4)
mstore(0xa440, 0x17022d7c848db83c7f09ae48f7a91f98a891c9c0caf27f0e8c202c88b99903b2)
mstore(0xa420, 0x2b71958e4c46b43dac5a9e114648ce015d0ae18e0b554f5d652e2a2e46f8b719)
mstore(0xa440, 0x16eb2b964c384d0f73302c33c058864839e2edb805d2ab9420242d7867f06b2a)
mstore(0xa460, mload(0x6e20))
success := and(eq(staticcall(gas(), 0x7, 0xa420, 0x60, 0xa420, 0x40), 1), success)
mstore(0xa480, mload(0xa3a0))
mstore(0xa4a0, mload(0xa3c0))
mstore(0xa4c0, mload(0xa420))
mstore(0xa4e0, mload(0xa440))
success := and(eq(staticcall(gas(), 0x6, 0xa480, 0x80, 0xa480, 0x40), 1), success)
mstore(0xa500, 0x0127df15e164f40fb0f2577ddcf44bd6977bd37fd16c5238cb6c4679683f8c93)
mstore(0xa520, 0x305140fb6cf1094df4cc45fe89f765576f4ed96c6205a4db594566fbc3e20e3d)
mstore(0xa500, 0x2997a9015537f4e44a8e7633288a56fa1cc3521310d0156103346589ab214e99)
mstore(0xa520, 0x20cd7e98721ea1e2b93799024a840f0071612a5baa0e9ccab52c9b366bfcb96a)
mstore(0xa540, mload(0x6e40))
success := and(eq(staticcall(gas(), 0x7, 0xa500, 0x60, 0xa500, 0x40), 1), success)
mstore(0xa560, mload(0xa480))
mstore(0xa580, mload(0xa4a0))
mstore(0xa5a0, mload(0xa500))
mstore(0xa5c0, mload(0xa520))
success := and(eq(staticcall(gas(), 0x6, 0xa560, 0x80, 0xa560, 0x40), 1), success)
mstore(0xa5e0, 0x17ad80dc4e5b8aae96944d7eb00c5c7aacb0f023052728fa8678415f8f6a8e90)
mstore(0xa600, 0x2df63e304e1096fa8613e5353bcaa0b54baa3dd58b67c0c76b95ec6a73d69916)
mstore(0xa5e0, 0x206a6e4cef8214fe6edae0fb548fcf252de1ee7883f3541e2c44ebace7064016)
mstore(0xa600, 0x1d4041518e0e652ecabc0d5dcb503a30ffc2410def694377db33f4f0d9a69eca)
mstore(0xa620, mload(0x6e60))
success := and(eq(staticcall(gas(), 0x7, 0xa5e0, 0x60, 0xa5e0, 0x40), 1), success)
mstore(0xa640, mload(0xa560))
mstore(0xa660, mload(0xa580))
mstore(0xa680, mload(0xa5e0))
mstore(0xa6a0, mload(0xa600))
success := and(eq(staticcall(gas(), 0x6, 0xa640, 0x80, 0xa640, 0x40), 1), success)
mstore(0xa6c0, 0x03b5daead1eed111ab7c03d2d3a5d484552cd9754fed733a94250c233a8ef2d0)
mstore(0xa6e0, 0x1be5f76b62b04dd7cea6185161ae86fed9ec271717fe78a3a9b3c4734742bd7a)
mstore(0xa6c0, 0x129fb70a315e163344ed2808166e062289b5b90479420fde806c5ce2446560a3)
mstore(0xa6e0, 0x29f4eb812d6e1f999b96f899870af8e76fd9d06d0d76a1e6f8fb7810b23b64c6)
mstore(0xa700, mload(0x6e80))
success := and(eq(staticcall(gas(), 0x7, 0xa6c0, 0x60, 0xa6c0, 0x40), 1), success)
mstore(0xa720, mload(0xa640))
Expand Down Expand Up @@ -2135,10 +2135,10 @@ mstore(0xbea0, 0x198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c
mstore(0xbf00, 0x12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa)
mstore(0xbf20, mload(0xbde0))
mstore(0xbf40, mload(0xbe00))
mstore(0xbf60, 0x14631798b621d5bd412c165d8abc38f46dead3be96362907e4912b28b6fd11bc)
mstore(0xbf80, 0x0e134e99deb76ba1c9bd801150a9894b048a1a275d6c469543f19a417a60c9da)
mstore(0xbfa0, 0x2904d8151b69e71a466ba4b6b46fce5a2b81857fac86ac132756f144a0a11e3a)
mstore(0xbfc0, 0x2c2ed8a68646af208c79efe7cfbb2bdf8d9b7e9b9e447eebababe9cf5fc61ac4)
mstore(0xbf60, 0x23154cd76fc1a1456722405944669193fa5bb5dca6bf2d82a753c2bd4a301844)
mstore(0xbf80, 0x08faab3e0053f08c27e98f5f55d9e6828d5bec3ca616b4f8014ba8a57f087bec)
mstore(0xbfa0, 0x2491c974cda41f8748723ea2e5235649e0b01b17471d0152d93be5a0865f3f3e)
mstore(0xbfc0, 0x078a2487b80fcbfd3b4036c306540ec111c685b7842bd153042a4357b30db70a)
success := and(eq(staticcall(gas(), 0x8, 0xbe60, 0x180, 0xbe60, 0x20), 1), success)
success := and(eq(mload(0xbe60), 1), success)

Expand All @@ -2147,4 +2147,4 @@ success := and(eq(mload(0xbe60), 1), success)

}
}
}
}
Loading

0 comments on commit 7ebd6ed

Please sign in to comment.