@enclave-e3/contracts 0.1.11 → 0.1.13

package/artifacts/contracts/verifier/DkgPkVerifier.sol/ZKTranscriptLib.json

@@ -0,0 +1,400 @@
+{
+  "_format": "hh3-artifact-1",
+  "contractName": "ZKTranscriptLib",
+  "sourceName": "contracts/verifier/DkgPkVerifier.sol",
+  "abi": [
+    {
+      "inputs": [
+        {
+          "components": [
+            {
+              "internalType": "Fr[16]",
+              "name": "pairingPointObject",
+              "type": "uint256[16]"
+            },
+            {
+              "components": [
+                {
+                  "internalType": "uint256",
+                  "name": "x",
+                  "type": "uint256"
+                },
+                {
+                  "internalType": "uint256",
+                  "name": "y",
+                  "type": "uint256"
+                }
+              ],
+              "internalType": "struct Honk.G1Point",
+              "name": "w1",
+              "type": "tuple"
+            },
+            {
+              "components": [
+                {
+                  "internalType": "uint256",
+                  "name": "x",
+                  "type": "uint256"
+                },
+                {
+                  "internalType": "uint256",
+                  "name": "y",
+                  "type": "uint256"
+                }
+              ],
+              "internalType": "struct Honk.G1Point",
+              "name": "w2",
+              "type": "tuple"
+            },
+            {
+              "components": [
+                {
+                  "internalType": "uint256",
+                  "name": "x",
+                  "type": "uint256"
+                },
+                {
+                  "internalType": "uint256",
+                  "name": "y",
+                  "type": "uint256"
+                }
+              ],
+              "internalType": "struct Honk.G1Point",
+              "name": "w3",
+              "type": "tuple"
+            },
+            {
+              "components": [
+                {
+                  "internalType": "uint256",
+                  "name": "x",
+                  "type": "uint256"
+                },
+                {
+                  "internalType": "uint256",
+                  "name": "y",
+                  "type": "uint256"
+                }
+              ],
+              "internalType": "struct Honk.G1Point",
+              "name": "w4",
+              "type": "tuple"
+            },
+            {
+              "components": [
+                {
+                  "internalType": "uint256",
+                  "name": "x",
+                  "type": "uint256"
+                },
+                {
+                  "internalType": "uint256",
+                  "name": "y",
+                  "type": "uint256"
+                }
+              ],
+              "internalType": "struct Honk.G1Point",
+              "name": "lookupReadCounts",
+              "type": "tuple"
+            },
+            {
+              "components": [
+                {
+                  "internalType": "uint256",
+                  "name": "x",
+                  "type": "uint256"
+                },
+                {
+                  "internalType": "uint256",
+                  "name": "y",
+                  "type": "uint256"
+                }
+              ],
+              "internalType": "struct Honk.G1Point",
+              "name": "lookupReadTags",
+              "type": "tuple"
+            },
+            {
+              "components": [
+                {
+                  "internalType": "uint256",
+                  "name": "x",
+                  "type": "uint256"
+                },
+                {
+                  "internalType": "uint256",
+                  "name": "y",
+                  "type": "uint256"
+                }
+              ],
+              "internalType": "struct Honk.G1Point",
+              "name": "lookupInverses",
+              "type": "tuple"
+            },
+            {
+              "components": [
+                {
+                  "internalType": "uint256",
+                  "name": "x",
+                  "type": "uint256"
+                },
+                {
+                  "internalType": "uint256",
+                  "name": "y",
+                  "type": "uint256"
+                }
+              ],
+              "internalType": "struct Honk.G1Point",
+              "name": "zPerm",
+              "type": "tuple"
+            },
+            {
+              "components": [
+                {
+                  "internalType": "uint256",
+                  "name": "x",
+                  "type": "uint256"
+                },
+                {
+                  "internalType": "uint256",
+                  "name": "y",
+                  "type": "uint256"
+                }
+              ],
+              "internalType": "struct Honk.G1Point[3]",
+              "name": "libraCommitments",
+              "type": "tuple[3]"
+            },
+            {
+              "internalType": "Fr",
+              "name": "libraSum",
+              "type": "uint256"
+            },
+            {
+              "internalType": "Fr[9][28]",
+              "name": "sumcheckUnivariates",
+              "type": "uint256[9][28]"
+            },
+            {
+              "internalType": "Fr[41]",
+              "name": "sumcheckEvaluations",
+              "type": "uint256[41]"
+            },
+            {
+              "internalType": "Fr",
+              "name": "libraEvaluation",
+              "type": "uint256"
+            },
+            {
+              "components": [
+                {
+                  "internalType": "uint256",
+                  "name": "x",
+                  "type": "uint256"
+                },
+                {
+                  "internalType": "uint256",
+                  "name": "y",
+                  "type": "uint256"
+                }
+              ],
+              "internalType": "struct Honk.G1Point",
+              "name": "geminiMaskingPoly",
+              "type": "tuple"
+            },
+            {
+              "internalType": "Fr",
+              "name": "geminiMaskingEval",
+              "type": "uint256"
+            },
+            {
+              "components": [
+                {
+                  "internalType": "uint256",
+                  "name": "x",
+                  "type": "uint256"
+                },
+                {
+                  "internalType": "uint256",
+                  "name": "y",
+                  "type": "uint256"
+                }
+              ],
+              "internalType": "struct Honk.G1Point[27]",
+              "name": "geminiFoldComms",
+              "type": "tuple[27]"
+            },
+            {
+              "internalType": "Fr[28]",
+              "name": "geminiAEvaluations",
+              "type": "uint256[28]"
+            },
+            {
+              "internalType": "Fr[4]",
+              "name": "libraPolyEvals",
+              "type": "uint256[4]"
+            },
+            {
+              "components": [
+                {
+                  "internalType": "uint256",
+                  "name": "x",
+                  "type": "uint256"
+                },
+                {
+                  "internalType": "uint256",
+                  "name": "y",
+                  "type": "uint256"
+                }
+              ],
+              "internalType": "struct Honk.G1Point",
+              "name": "shplonkQ",
+              "type": "tuple"
+            },
+            {
+              "components": [
+                {
+                  "internalType": "uint256",
+                  "name": "x",
+                  "type": "uint256"
+                },
+                {
+                  "internalType": "uint256",
+                  "name": "y",
+                  "type": "uint256"
+                }
+              ],
+              "internalType": "struct Honk.G1Point",
+              "name": "kzgQuotient",
+              "type": "tuple"
+            }
+          ],
+          "internalType": "struct Honk.ZKProof",
+          "name": "proof",
+          "type": "tuple"
+        },
+        {
+          "internalType": "bytes32[]",
+          "name": "publicInputs",
+          "type": "bytes32[]"
+        },
+        {
+          "internalType": "uint256",
+          "name": "vkHash",
+          "type": "uint256"
+        },
+        {
+          "internalType": "uint256",
+          "name": "publicInputsSize",
+          "type": "uint256"
+        },
+        {
+          "internalType": "uint256",
+          "name": "logN",
+          "type": "uint256"
+        }
+      ],
+      "name": "generateTranscript",
+      "outputs": [
+        {
+          "components": [
+            {
+              "components": [
+                {
+                  "internalType": "Fr",
+                  "name": "eta",
+                  "type": "uint256"
+                },
+                {
+                  "internalType": "Fr",
+                  "name": "etaTwo",
+                  "type": "uint256"
+                },
+                {
+                  "internalType": "Fr",
+                  "name": "etaThree",
+                  "type": "uint256"
+                },
+                {
+                  "internalType": "Fr",
+                  "name": "beta",
+                  "type": "uint256"
+                },
+                {
+                  "internalType": "Fr",
+                  "name": "gamma",
+                  "type": "uint256"
+                },
+                {
+                  "internalType": "Fr",
+                  "name": "publicInputsDelta",
+                  "type": "uint256"
+                }
+              ],
+              "internalType": "struct Honk.RelationParameters",
+              "name": "relationParameters",
+              "type": "tuple"
+            },
+            {
+              "internalType": "Fr[27]",
+              "name": "alphas",
+              "type": "uint256[27]"
+            },
+            {
+              "internalType": "Fr[28]",
+              "name": "gateChallenges",
+              "type": "uint256[28]"
+            },
+            {
+              "internalType": "Fr",
+              "name": "libraChallenge",
+              "type": "uint256"
+            },
+            {
+              "internalType": "Fr[28]",
+              "name": "sumCheckUChallenges",
+              "type": "uint256[28]"
+            },
+            {
+              "internalType": "Fr",
+              "name": "rho",
+              "type": "uint256"
+            },
+            {
+              "internalType": "Fr",
+              "name": "geminiR",
+              "type": "uint256"
+            },
+            {
+              "internalType": "Fr",
+              "name": "shplonkNu",
+              "type": "uint256"
+            },
+            {
+              "internalType": "Fr",
+              "name": "shplonkZ",
+              "type": "uint256"
+            },
+            {
+              "internalType": "Fr",
+              "name": "publicInputsDelta",
+              "type": "uint256"
+            }
+          ],
+          "internalType": "struct ZKTranscript",
+          "name": "t",
+          "type": "tuple"
+        }
+      ],
+      "stateMutability": "pure",
+      "type": "function"
+    }
+  ],
+  "bytecode": "0x611709610034600b8282823980515f1a607314602857634e487b7160e01b5f525f60045260245ffd5b305f52607381538281f3fe7300000000000000000000000000000000000000003014608060405260043610610034575f3560e01c8063995bf45714610038575b5f5ffd5b61004b61004636600461121e565b610061565b6040516100589190611460565b60405180910390f35b610069610d80565b5f610078888888888886610128565b9083529050610087818961017c565b6020840191909152905061009b818461026b565b604084019190915290506100af8189610314565b606084019190915290506100c4888285610375565b608084019190915290506100d88882610444565b60a084019190915290506100ed888285610647565b60c084019190915290506101028882856107b9565b60e08401919091529050610116888261093b565b50610100830152509695505050505050565b610130610de5565b5f61013e8888888888610978565b60408601919091526020850191909152908352925061015d8389610c71565b6080850191909152606084019190915291989197509095505050505050565b610184610e15565b5f61018d610e34565b84815260e08401805151602080840191909152905181015160408084019190915261010086018051516060850152518201516080840152516101f0916101d591849101611535565b60405160208183030381529060405280519060200120610cfc565b91505f6101fc83610d22565b50808552905060015b6102116001601c61157c565b811015610261576102428561022760018461157c565b601b811061023757610237611521565b602002015183610d52565b8582601b811061025457610254611521565b6020020152600101610205565b5050509250929050565b610273610e52565b5f61028a846040516020016101d591815260200190565b935061029584610d22565b50825260015b8381101561030c576102ed836102b260018461157c565b601c81106102c2576102c2611521565b6020020151846102d360018561157c565b601c81106102e3576102e3611521565b6020020151610d52565b8382601c81106102ff576102ff611521565b602002015260010161029b565b509093915050565b5f5f61031e610e71565b84815261012084018051515160208084019190915290515181015160408084019190915261014086015160608401525161035e916101d59184910161158f565b915061036982610d22565b50959194509092505050565b61037d610e52565b5f805b8381101561043a57610390610e8f565b8581525f5b60098110156103f95787610160015183601c81106103b5576103b5611521565b602002015181600981106103cb576103cb611521565b6020020151826103dc8360016115c2565b600a81106103ec576103ec611521565b6020020152600101610395565b5061040e816040516020016101d591906115d5565b955061041986610d22565b508483601c811061042c5761042c611521565b602002015250600101610380565b5090949293505050565b5f5f61044e610eae565b83815260015b602981116104ab5761018086015161046d60018361157c565b6029811061047d5761047d611521565b602002015182826032811061049457610494611521565b6020020152806104a381611609565b915050610454565b856101a001518282603281106104c3576104c3611521565b60200201526104d36001826115c2565b61012087015160200151519091508282603281106104f3576104f3611521565b602002015261012086015160016020020151602001518282600161051791906115c2565b6032811061052757610527611521565b60200201526105376002826115c2565b610120870151604001515190915082826032811061055757610557611521565b602002015261012086015160026020020151602001518282600161057b91906115c2565b6032811061058b5761058b611521565b602002015261059b6002826115c2565b6101c0870151519091508282603281106105b7576105b7611521565b602002018181525050856101c0015160200151828260016105d891906115c2565b603281106105e8576105e8611521565b60200201526105f86002826115c2565b9050856101e0015182826032811061061257610612611521565b60200201818152505061062f826040516020016101d59190611621565b925061063a83610d22565b5096929550919350505050565b5f808061065560018561157c565b610660906002611655565b61066b9060016115c2565b6001600160401b0381111561068257610682610f09565b6040519080825280602002602001820160405280156106ab578160200160208202803683370190505b50905084815f815181106106c1576106c1611521565b60209081029190910101525f5b6106d960018661157c565b81101561078c5786610200015181601b81106106f7576106f7611521565b60200201515182610709836002611655565b6107149060016115c2565b8151811061072457610724611521565b60200260200101818152505086610200015181601b811061074757610747611521565b6020020151602001518282600261075e9190611655565b6107699060026115c2565b8151811061077957610779611521565b60209081029190910101526001016106ce565b506107a1816040516020016101d5919061166c565b91506107ac82610d22565b5096919550909350505050565b5f80806107c78460016115c2565b6107d29060046115c2565b6001600160401b038111156107e9576107e9610f09565b604051908082528060200260200182016040528015610812578160200160208202803683370190505b50905084815f8151811061082857610828611521565b602090810291909101015260015b8481116108925761022087015161084e60018361157c565b601c811061085e5761085e611521565b602002015182828151811061087557610875611521565b60209081029190910101528061088a81611609565b915050610836565b505f806108a08660016115c2565b90505b6108ae8660046115c2565b811161090d5787610240015182600481106108cb576108cb611521565b60200201518382815181106108e2576108e2611521565b6020908102919091010152816108f781611609565b925050808061090590611609565b9150506108a3565b50610922826040516020016101d5919061166c565b925061092d83610d22565b509792965091945050505050565b5f5f610945610ecd565b838152610260850180515160208084019190915290518101516040808401919091525161035e916101d591849101611696565b5f808080806109888660016115c2565b6109939060066115c2565b6001600160401b038111156109aa576109aa610f09565b6040519080825280602002602001820160405280156109d3578160200160208202803683370190505b509050865f1b815f815181106109eb576109eb611521565b60209081029190910101525f5b610a0360108861157c565b811015610a5457898982818110610a1c57610a1c611521565b9050602002013582826001610a3191906115c2565b81518110610a4157610a41611521565b60209081029190910101526001016109f8565b505f5b6010811015610ac5578a51610a7f908260108110610a7757610a77611521565b602002015190565b82826010610a8e8b60016115c2565b610a98919061157c565b610aa291906115c2565b81518110610ab257610ab2611521565b6020908102919091010152600101610a57565b5060208a01515181610ad88860016115c2565b81518110610ae857610ae8611521565b6020908102919091018101919091528a810151015181610b098860016115c2565b610b149060016115c2565b81518110610b2457610b24611521565b602090810291909101015260408a01515181610b418860016115c2565b610b4c9060026115c2565b81518110610b5c57610b5c611521565b60209081029190910181019190915260408b0151015181610b7e8860016115c2565b610b899060036115c2565b81518110610b9957610b99611521565b602090810291909101015260608a01515181610bb68860016115c2565b610bc19060046115c2565b81518110610bd157610bd1611521565b60209081029190910181019190915260608b0151015181610bf38860016115c2565b610bfe9060056115c2565b81518110610c0e57610c0e611521565b602002602001018181525050610c2e816040516020016101d5919061166c565b9150610c3982610d22565b6040805160208101869052929750909550610c5491016101d5565b9150610c5f82610d22565b50809350505095509550955095915050565b5f5f5f610c7c610eeb565b85815260a0858101805151602080850191909152905181015160408085019190915260c08089018051516060870152518301516080808701919091528901805151948601949094529251820151928401929092529051610ce2916101d5918491016116c9565b9150610ced82610d22565b90979096509194509092505050565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001900690565b5f80826001600160801b038116608082901c610d3d82610cfc565b9450610d4881610cfc565b9350505050915091565b5f7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000182840990505b92915050565b604051806101400160405280610d94610de5565b8152602001610da1610e15565b8152602001610dae610e52565b81526020015f8152602001610dc1610e52565b81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6040518060c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b604051806103600160405280601b906020820280368337509192915050565b6040518060a001604052806005906020820280368337509192915050565b604051806103800160405280601c906020820280368337509192915050565b60405180608001604052806004906020820280368337509192915050565b604051806101400160405280600a906020820280368337509192915050565b6040518061064001604052806032906020820280368337509192915050565b60405180606001604052806003906020820280368337509192915050565b6040518060e001604052806007906020820280368337509192915050565b634e487b7160e01b5f52604160045260245ffd5b6040516102a081016001600160401b0381118282101715610f4057610f40610f09565b60405290565b604051601f8201601f191681016001600160401b0381118282101715610f6e57610f6e610f09565b604052919050565b5f82601f830112610f85575f5ffd5b5f610200610f9281610f46565b915083018185821115610fa3575f5ffd5b845b82811015610fbd578035825260209182019101610fa5565b509195945050505050565b5f60408284031215610fd8575f5ffd5b604080519081016001600160401b0381118282101715610ffa57610ffa610f09565b604052823581526020928301359281019290925250919050565b5f82601f830112611023575f5ffd5b5f61102e6060610f46565b90508060c0840185811115611041575f5ffd5b845b81811015610fbd576110558782610fc8565b8352602090920191604001611043565b5f82601f830112611074575f5ffd5b61038061108081610f46565b905080611f80840185811115611094575f5ffd5b845b818110156110f85786601f8201126110ac575f5ffd5b5f6101206110b981610f46565b9150820181898211156110ca575f5ffd5b835b828110156110e45780358252602091820191016110cc565b505050845260209093019261012001611096565b509095945050505050565b5f82601f830112611112575f5ffd5b5f610520610f9281610f46565b5f82601f83011261112e575f5ffd5b5f61036061113b81610f46565b915050806106c0840185811115611150575f5ffd5b845b81811015610fbd576111648782610fc8565b8352602090920191604001611152565b5f82601f830112611183575f5ffd5b5f610380610f9281610f46565b5f82601f83011261119f575f5ffd5b5f6111aa6080610f46565b90508060808401858111156111bd575f5ffd5b845b81811015610fbd5780358352602092830192016111bf565b5f5f83601f8401126111e7575f5ffd5b5081356001600160401b038111156111fd575f5ffd5b6020830191508360208260051b8501011115611217575f5ffd5b9250929050565b5f5f5f5f5f5f8688036135c0811215611235575f5ffd5b613540811215611243575f5ffd5b5061124c610f1d565b6112568989610f76565b8152611266896102008a01610fc8565b6020820152611279896102408a01610fc8565b604082015261128c896102808a01610fc8565b606082015261129f896102c08a01610fc8565b60808201526112b2896103008a01610fc8565b60a08201526112c5896103408a01610fc8565b60c08201526112d8896103808a01610fc8565b60e08201526112eb896103c08a01610fc8565b6101008201526112ff896104008a01611014565b6101208201526104c088013561014082015261131f896104e08a01611065565b610160820152611333896124608a01611103565b6101808201526129808801356101a0820152611353896129a08a01610fc8565b6101c08201526129e08801356101e082015261137389612a008a0161111f565b610200820152611387896130c08a01611174565b61022082015261139b896134408a01611190565b6102408201526113af896134c08a01610fc8565b6102608201526113c3896135008a01610fc8565b61028082015295506135408701356001600160401b038111156113e4575f5ffd5b6113f089828a016111d7565b979a90995096976135608101359761358082013597506135a09091013595509350505050565b805f5b601b811015611438578151845260209384019390910190600101611419565b50505050565b805f5b601c811015611438578151845260209384019390910190600101611441565b8151805182526020808201519083015260408082015190830152606080820151908301526080808201519083015260a09081015190820152610be0810160208301516114af60c0840182611416565b5060408301516114c361042084018261143e565b5060608301516107a083015260808301516114e26107c084018261143e565b5060a0830151610b4083015260c0830151610b6083015260e0830151610b80830152610100830151610ba083015261012090920151610bc09091015290565b634e487b7160e01b5f52603260045260245ffd5b5f8183825b600581101561155957815183526020928301929091019060010161153a565b50505060a08201905092915050565b634e487b7160e01b5f52601160045260245ffd5b81810381811115610d7a57610d7a611568565b5f8183825b60048110156115b3578151835260209283019290910190600101611594565b50505060808201905092915050565b80820180821115610d7a57610d7a611568565b5f8183825b600a8110156115f95781518352602092830192909101906001016115da565b5050506101408201905092915050565b5f6001820161161a5761161a611568565b5060010190565b5f8183825b6032811015611645578151835260209283019290910190600101611626565b5050506106408201905092915050565b8082028115828204841417610d7a57610d7a611568565b81515f90829060208501835b82811015610fbd578151845260209384019390910190600101611678565b5f8183825b60038110156116ba57815183526020928301929091019060010161169b565b50505060608201905092915050565b5f8183825b60078110156116ed5781518352602092830192909101906001016116ce565b50505060e0820190509291505056fea164736f6c634300081c000a",
+  "deployedBytecode": "0x7300000000000000000000000000000000000000003014608060405260043610610034575f3560e01c8063995bf45714610038575b5f5ffd5b61004b61004636600461121e565b610061565b6040516100589190611460565b60405180910390f35b610069610d80565b5f610078888888888886610128565b9083529050610087818961017c565b6020840191909152905061009b818461026b565b604084019190915290506100af8189610314565b606084019190915290506100c4888285610375565b608084019190915290506100d88882610444565b60a084019190915290506100ed888285610647565b60c084019190915290506101028882856107b9565b60e08401919091529050610116888261093b565b50610100830152509695505050505050565b610130610de5565b5f61013e8888888888610978565b60408601919091526020850191909152908352925061015d8389610c71565b6080850191909152606084019190915291989197509095505050505050565b610184610e15565b5f61018d610e34565b84815260e08401805151602080840191909152905181015160408084019190915261010086018051516060850152518201516080840152516101f0916101d591849101611535565b60405160208183030381529060405280519060200120610cfc565b91505f6101fc83610d22565b50808552905060015b6102116001601c61157c565b811015610261576102428561022760018461157c565b601b811061023757610237611521565b602002015183610d52565b8582601b811061025457610254611521565b6020020152600101610205565b5050509250929050565b610273610e52565b5f61028a846040516020016101d591815260200190565b935061029584610d22565b50825260015b8381101561030c576102ed836102b260018461157c565b601c81106102c2576102c2611521565b6020020151846102d360018561157c565b601c81106102e3576102e3611521565b6020020151610d52565b8382601c81106102ff576102ff611521565b602002015260010161029b565b509093915050565b5f5f61031e610e71565b84815261012084018051515160208084019190915290515181015160408084019190915261014086015160608401525161035e916101d59184910161158f565b915061036982610d22565b50959194509092505050565b61037d610e52565b5f805b8381101561043a57610390610e8f565b8581525f5b60098110156103f95787610160015183601c81106103b5576103b5611521565b602002015181600981106103cb576103cb611521565b6020020151826103dc8360016115c2565b600a81106103ec576103ec611521565b6020020152600101610395565b5061040e816040516020016101d591906115d5565b955061041986610d22565b508483601c811061042c5761042c611521565b602002015250600101610380565b5090949293505050565b5f5f61044e610eae565b83815260015b602981116104ab5761018086015161046d60018361157c565b6029811061047d5761047d611521565b602002015182826032811061049457610494611521565b6020020152806104a381611609565b915050610454565b856101a001518282603281106104c3576104c3611521565b60200201526104d36001826115c2565b61012087015160200151519091508282603281106104f3576104f3611521565b602002015261012086015160016020020151602001518282600161051791906115c2565b6032811061052757610527611521565b60200201526105376002826115c2565b610120870151604001515190915082826032811061055757610557611521565b602002015261012086015160026020020151602001518282600161057b91906115c2565b6032811061058b5761058b611521565b602002015261059b6002826115c2565b6101c0870151519091508282603281106105b7576105b7611521565b602002018181525050856101c0015160200151828260016105d891906115c2565b603281106105e8576105e8611521565b60200201526105f86002826115c2565b9050856101e0015182826032811061061257610612611521565b60200201818152505061062f826040516020016101d59190611621565b925061063a83610d22565b5096929550919350505050565b5f808061065560018561157c565b610660906002611655565b61066b9060016115c2565b6001600160401b0381111561068257610682610f09565b6040519080825280602002602001820160405280156106ab578160200160208202803683370190505b50905084815f815181106106c1576106c1611521565b60209081029190910101525f5b6106d960018661157c565b81101561078c5786610200015181601b81106106f7576106f7611521565b60200201515182610709836002611655565b6107149060016115c2565b8151811061072457610724611521565b60200260200101818152505086610200015181601b811061074757610747611521565b6020020151602001518282600261075e9190611655565b6107699060026115c2565b8151811061077957610779611521565b60209081029190910101526001016106ce565b506107a1816040516020016101d5919061166c565b91506107ac82610d22565b5096919550909350505050565b5f80806107c78460016115c2565b6107d29060046115c2565b6001600160401b038111156107e9576107e9610f09565b604051908082528060200260200182016040528015610812578160200160208202803683370190505b50905084815f8151811061082857610828611521565b602090810291909101015260015b8481116108925761022087015161084e60018361157c565b601c811061085e5761085e611521565b602002015182828151811061087557610875611521565b60209081029190910101528061088a81611609565b915050610836565b505f806108a08660016115c2565b90505b6108ae8660046115c2565b811161090d5787610240015182600481106108cb576108cb611521565b60200201518382815181106108e2576108e2611521565b6020908102919091010152816108f781611609565b925050808061090590611609565b9150506108a3565b50610922826040516020016101d5919061166c565b925061092d83610d22565b509792965091945050505050565b5f5f610945610ecd565b838152610260850180515160208084019190915290518101516040808401919091525161035e916101d591849101611696565b5f808080806109888660016115c2565b6109939060066115c2565b6001600160401b038111156109aa576109aa610f09565b6040519080825280602002602001820160405280156109d3578160200160208202803683370190505b509050865f1b815f815181106109eb576109eb611521565b60209081029190910101525f5b610a0360108861157c565b811015610a5457898982818110610a1c57610a1c611521565b9050602002013582826001610a3191906115c2565b81518110610a4157610a41611521565b60209081029190910101526001016109f8565b505f5b6010811015610ac5578a51610a7f908260108110610a7757610a77611521565b602002015190565b82826010610a8e8b60016115c2565b610a98919061157c565b610aa291906115c2565b81518110610ab257610ab2611521565b6020908102919091010152600101610a57565b5060208a01515181610ad88860016115c2565b81518110610ae857610ae8611521565b6020908102919091018101919091528a810151015181610b098860016115c2565b610b149060016115c2565b81518110610b2457610b24611521565b602090810291909101015260408a01515181610b418860016115c2565b610b4c9060026115c2565b81518110610b5c57610b5c611521565b60209081029190910181019190915260408b0151015181610b7e8860016115c2565b610b899060036115c2565b81518110610b9957610b99611521565b602090810291909101015260608a01515181610bb68860016115c2565b610bc19060046115c2565b81518110610bd157610bd1611521565b60209081029190910181019190915260608b0151015181610bf38860016115c2565b610bfe9060056115c2565b81518110610c0e57610c0e611521565b602002602001018181525050610c2e816040516020016101d5919061166c565b9150610c3982610d22565b6040805160208101869052929750909550610c5491016101d5565b9150610c5f82610d22565b50809350505095509550955095915050565b5f5f5f610c7c610eeb565b85815260a0858101805151602080850191909152905181015160408085019190915260c08089018051516060870152518301516080808701919091528901805151948601949094529251820151928401929092529051610ce2916101d5918491016116c9565b9150610ced82610d22565b90979096509194509092505050565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001900690565b5f80826001600160801b038116608082901c610d3d82610cfc565b9450610d4881610cfc565b9350505050915091565b5f7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000182840990505b92915050565b604051806101400160405280610d94610de5565b8152602001610da1610e15565b8152602001610dae610e52565b81526020015f8152602001610dc1610e52565b81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6040518060c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b604051806103600160405280601b906020820280368337509192915050565b6040518060a001604052806005906020820280368337509192915050565b604051806103800160405280601c906020820280368337509192915050565b60405180608001604052806004906020820280368337509192915050565b604051806101400160405280600a906020820280368337509192915050565b6040518061064001604052806032906020820280368337509192915050565b60405180606001604052806003906020820280368337509192915050565b6040518060e001604052806007906020820280368337509192915050565b634e487b7160e01b5f52604160045260245ffd5b6040516102a081016001600160401b0381118282101715610f4057610f40610f09565b60405290565b604051601f8201601f191681016001600160401b0381118282101715610f6e57610f6e610f09565b604052919050565b5f82601f830112610f85575f5ffd5b5f610200610f9281610f46565b915083018185821115610fa3575f5ffd5b845b82811015610fbd578035825260209182019101610fa5565b509195945050505050565b5f60408284031215610fd8575f5ffd5b604080519081016001600160401b0381118282101715610ffa57610ffa610f09565b604052823581526020928301359281019290925250919050565b5f82601f830112611023575f5ffd5b5f61102e6060610f46565b90508060c0840185811115611041575f5ffd5b845b81811015610fbd576110558782610fc8565b8352602090920191604001611043565b5f82601f830112611074575f5ffd5b61038061108081610f46565b905080611f80840185811115611094575f5ffd5b845b818110156110f85786601f8201126110ac575f5ffd5b5f6101206110b981610f46565b9150820181898211156110ca575f5ffd5b835b828110156110e45780358252602091820191016110cc565b505050845260209093019261012001611096565b509095945050505050565b5f82601f830112611112575f5ffd5b5f610520610f9281610f46565b5f82601f83011261112e575f5ffd5b5f61036061113b81610f46565b915050806106c0840185811115611150575f5ffd5b845b81811015610fbd576111648782610fc8565b8352602090920191604001611152565b5f82601f830112611183575f5ffd5b5f610380610f9281610f46565b5f82601f83011261119f575f5ffd5b5f6111aa6080610f46565b90508060808401858111156111bd575f5ffd5b845b81811015610fbd5780358352602092830192016111bf565b5f5f83601f8401126111e7575f5ffd5b5081356001600160401b038111156111fd575f5ffd5b6020830191508360208260051b8501011115611217575f5ffd5b9250929050565b5f5f5f5f5f5f8688036135c0811215611235575f5ffd5b613540811215611243575f5ffd5b5061124c610f1d565b6112568989610f76565b8152611266896102008a01610fc8565b6020820152611279896102408a01610fc8565b604082015261128c896102808a01610fc8565b606082015261129f896102c08a01610fc8565b60808201526112b2896103008a01610fc8565b60a08201526112c5896103408a01610fc8565b60c08201526112d8896103808a01610fc8565b60e08201526112eb896103c08a01610fc8565b6101008201526112ff896104008a01611014565b6101208201526104c088013561014082015261131f896104e08a01611065565b610160820152611333896124608a01611103565b6101808201526129808801356101a0820152611353896129a08a01610fc8565b6101c08201526129e08801356101e082015261137389612a008a0161111f565b610200820152611387896130c08a01611174565b61022082015261139b896134408a01611190565b6102408201526113af896134c08a01610fc8565b6102608201526113c3896135008a01610fc8565b61028082015295506135408701356001600160401b038111156113e4575f5ffd5b6113f089828a016111d7565b979a90995096976135608101359761358082013597506135a09091013595509350505050565b805f5b601b811015611438578151845260209384019390910190600101611419565b50505050565b805f5b601c811015611438578151845260209384019390910190600101611441565b8151805182526020808201519083015260408082015190830152606080820151908301526080808201519083015260a09081015190820152610be0810160208301516114af60c0840182611416565b5060408301516114c361042084018261143e565b5060608301516107a083015260808301516114e26107c084018261143e565b5060a0830151610b4083015260c0830151610b6083015260e0830151610b80830152610100830151610ba083015261012090920151610bc09091015290565b634e487b7160e01b5f52603260045260245ffd5b5f8183825b600581101561155957815183526020928301929091019060010161153a565b50505060a08201905092915050565b634e487b7160e01b5f52601160045260245ffd5b81810381811115610d7a57610d7a611568565b5f8183825b60048110156115b3578151835260209283019290910190600101611594565b50505060808201905092915050565b80820180821115610d7a57610d7a611568565b5f8183825b600a8110156115f95781518352602092830192909101906001016115da565b5050506101408201905092915050565b5f6001820161161a5761161a611568565b5060010190565b5f8183825b6032811015611645578151835260209283019290910190600101611626565b5050506106408201905092915050565b8082028115828204841417610d7a57610d7a611568565b81515f90829060208501835b82811015610fbd578151845260209384019390910190600101611678565b5f8183825b60038110156116ba57815183526020928301929091019060010161169b565b50505060608201905092915050565b5f8183825b60078110156116ed5781518352602092830192909101906001016116ce565b50505060e0820190509291505056fea164736f6c634300081c000a",
+  "linkReferences": {},
+  "deployedLinkReferences": {},
+  "immutableReferences": {},
+  "inputSourceName": "project/contracts/verifier/DkgPkVerifier.sol",
+  "buildInfoId": "solc-0_8_28-e60a5d7c133605edcf61acdd5ba43ab44ee0928e"
+}