// This file was autogenerated by Hardhat, do not edit it.
// prettier-ignore
// tslint:disable
// eslint-disable
// biome-ignore format: see above

export interface DkgFoldAttestationVerifier$Type {
  readonly _format: "hh3-artifact-1";
  readonly contractName: "DkgFoldAttestationVerifier";
  readonly sourceName: "contracts/verifiers/DkgFoldAttestationVerifier.sol";
  readonly abi: [{"inputs":[],"name":"AttestationBindingCountMismatch","type":"error"},{"inputs":[],"name":"ECDSAInvalidSignature","type":"error"},{"inputs":[{"internalType":"uint256","name":"length","type":"uint256"}],"name":"ECDSAInvalidSignatureLength","type":"error"},{"inputs":[{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"ECDSAInvalidSignatureS","type":"error"},{"inputs":[],"name":"InvalidFoldAttestation","type":"error"},{"inputs":[],"name":"PartyIdNotInProof","type":"error"},{"inputs":[{"internalType":"bytes","name":"dkgAttestationBundle","type":"bytes"}],"name":"decodeAttestationBundle","outputs":[{"components":[{"internalType":"uint256","name":"partyId","type":"uint256"},{"internalType":"bytes32","name":"skAggCommit","type":"bytes32"},{"internalType":"bytes32","name":"esmAggCommit","type":"bytes32"},{"internalType":"bytes","name":"signature","type":"bytes"}],"internalType":"struct DkgFoldAttestationLib.Attestation[]","name":"attestations","type":"tuple[]"},{"components":[{"internalType":"uint256","name":"partyId","type":"uint256"},{"internalType":"address","name":"node","type":"address"}],"internalType":"struct DkgFoldAttestationLib.PartySlotBinding[]","name":"bindings","type":"tuple[]"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"bytes","name":"proof","type":"bytes"}],"name":"decodeProofPublicInputs","outputs":[{"internalType":"bytes32[]","name":"publicInputs","type":"bytes32[]"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"registry","type":"address"},{"internalType":"uint256","name":"chainId","type":"uint256"},{"internalType":"uint256","name":"e3Id","type":"uint256"},{"internalType":"bytes","name":"proof","type":"bytes"},{"internalType":"bytes","name":"dkgAttestationBundle","type":"bytes"}],"name":"verify","outputs":[{"internalType":"uint256[]","name":"partyIds","type":"uint256[]"},{"internalType":"bytes32[]","name":"skAggCommits","type":"bytes32[]"},{"internalType":"bytes32[]","name":"esmAggCommits","type":"bytes32[]"}],"stateMutability":"view","type":"function"}];
  readonly bytecode: "0x6080604052348015600f57600080fd5b506117c38061001f6000396000f3fe608060405234801561001057600080fd5b50600436106100415760003560e01c8063267339c01461004657806344b4d93b14610070578063b476c31e14610090575b600080fd5b610059610054366004610d65565b6100b2565b604051610067929190610e1b565b60405180910390f35b61008361007e366004610d65565b6100cc565b6040516100679190610f09565b6100a361009e366004610f3b565b6100e2565b60405161006793929190610fd4565b6060806100c183850185611202565b909590945092505050565b60606100da8284018461133d565b949350505050565b606080606060006100f588888888610117565b90506101038b8b8b84610328565b935093509350509750975097945050505050565b6101426040518060800160405280606081526020016060815260200160608152602001600081525090565b6040516344b4d93b60e01b815230906344b4d93b9061016790889088906004016113ff565b600060405180830381865afa9250505080156101a557506040513d6000823e601f3d908101601f191682016040526101a2919081019061142e565b60015b6101c25760405163d997ed5760e01b815260040160405180910390fd5b8082526101ce90610437565b606082015260015b816060015181101561026457815160016101f18360026114cf565b6101fb91906114e2565b8151811061020b5761020b6114f5565b602090810291909101015182516102238360026114cf565b81518110610233576102336114f5565b602002602001015160001c1161025c5760405163d997ed5760e01b815260040160405180910390fd5b6001016101d6565b506040516299cce760e61b8152309063267339c09061028990869086906004016113ff565b600060405180830381865afa9250505080156102c757506040513d6000823e601f3d908101601f191682016040526102c4919081019061159c565b60015b6102e45760405163d997ed5760e01b815260040160405180910390fd5b602083018290526040830181905251905114158061030b5750806060015181604001515114155b156100da5760405162e341df60e31b815260040160405180910390fd5b606080606083606001516001600160401b0381111561034957610349611037565b604051908082528060200260200182016040528015610372578160200160208202803683370190505b50925083606001516001600160401b0381111561039157610391611037565b6040519080825280602002602001820160405280156103ba578160200160208202803683370190505b50915083606001516001600160401b038111156103d9576103d9611037565b604051908082528060200260200182016040528015610402578160200160208202803683370190505b50905060005b846060015181101561042c5761042488888888858989896104c1565b600101610408565b509450945094915050565b60006006825110158015610462575060036006835161045691906114e2565b6104609190611722565b155b61047f5760405163d997ed5760e01b815260040160405180910390fd5b60036006835161048f91906114e2565b6104999190611736565b9050600081116104bc5760405163d997ed5760e01b815260040160405180910390fd5b919050565b831561059f5760408501516104d76001866114e2565b815181106104e7576104e76114f5565b60200260200101516000015185604001518581518110610509576105096114f5565b602002602001015160000151116105335760405163d997ed5760e01b815260040160405180910390fd5b60208501516105436001866114e2565b81518110610553576105536114f5565b60200260200101516000015185602001518581518110610575576105756114f5565b6020026020010151600001511161059f5760405163d997ed5760e01b815260040160405180910390fd5b60008060006105ec8b8b8b8b8c604001518c815181106105c1576105c16114f5565b60200260200101518d602001518d815181106105df576105df6114f5565b602002602001015161067d565b92509250925087604001518781518110610608576106086114f5565b602002602001015160000151868481518110610626576106266114f5565b60200260200101818152505081858481518110610645576106456114f5565b60200260200101818152505080848481518110610664576106646114f5565b6020026020010181815250505050505050505050505050565b600080600084602001516001600160a01b0316896001600160a01b031663e4d185db8988600001516040518363ffffffff1660e01b81526004016106cb929190918252602082015260400190565b602060405180830381865afa1580156106e8573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061070c919061174a565b6001600160a01b0316146107335760405163d997ed5760e01b815260040160405180910390fd5b6020850151604051632ea823bb60e11b8152600481018990526001600160a01b039182166024820152908a1690635d50477690604401602060405180830381865afa158015610786573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107aa9190611767565b6107c75760405163d997ed5760e01b815260040160405180910390fd5b84518451146107e95760405163d997ed5760e01b815260040160405180910390fd5b60006107f789308a8861091b565b905085602001516001600160a01b0316816001600160a01b03161461082f5760405163d997ed5760e01b815260040160405180910390fd5b60608701516002906000906108459060056114cf565b905060008960600151600261085a9190611789565b6108659060056114cf565b905061087f8a60000151848c606001518c60000151610abd565b60208901518b519198509061089489856114cf565b815181106108a4576108a46114f5565b60200260200101511480156108df575060408801518a516108c589846114cf565b815181106108d5576108d56114f5565b6020026020010151145b6108fc5760405163d997ed5760e01b815260040160405180910390fd5b5050506020850151604086015190935091505096509650969350505050565b805160208083015160408085015181518083018352601981527822b731b630bb32a235b3a337b63220ba3a32b9ba30ba34b7b760391b908501528151808301835260018152603160f81b9085015281517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f818601527f7c2896ef6fdf08fd6cc1e063b076751855b4614d062f06cbee7f69916e7ed504818401527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc66060820152608081018a90526001600160a01b03891660a0808301919091528351808303909101815260c0820184528051908601207ff3bc3d3242a13c256f2ac5753c35690f21906f8f236dd7cd69fcafc3edb57b6460e0830152610100820189905261012082019690965261014081019390935261016080840191909152815180840390910181526101808301825280519084012061190160f01b6101a08401526101a28301949094526101c280830194909452805180830390940184526101e290910190528151910120600090610ab3818460600151610b1d565b9695505050505050565b6000805b83811015610b04578286610ad583886114cf565b81518110610ae557610ae56114f5565b602002602001015160001c03610afc5790506100da565b600101610ac1565b506040516225b7e360e91b815260040160405180910390fd5b600080600080610b2d8686610b49565b925092509250610b3d8282610b96565b50909150505b92915050565b60008060008351604103610b835760208401516040850151606086015160001a610b7588828585610c58565b955095509550505050610b8f565b50508151600091506002905b9250925092565b6000826003811115610baa57610baa6117a0565b03610bb3575050565b6001826003811115610bc757610bc76117a0565b03610be55760405163f645eedf60e01b815260040160405180910390fd5b6002826003811115610bf957610bf96117a0565b03610c1f5760405163fce698f760e01b8152600481018290526024015b60405180910390fd5b6003826003811115610c3357610c336117a0565b03610c54576040516335e2f38360e21b815260048101829052602401610c16565b5050565b600080806fa2a8918ca85bafe22016d0b997e4df60600160ff1b03841115610c895750600091506003905082610d13565b604080516000808252602082018084528a905260ff891692820192909252606081018790526080810186905260019060a0016020604051602081039080840390855afa158015610cdd573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116610d0957506000925060019150829050610d13565b9250600091508190505b9450945094915050565b60008083601f840112610d2f57600080fd5b5081356001600160401b03811115610d4657600080fd5b602083019150836020828501011115610d5e57600080fd5b9250929050565b60008060208385031215610d7857600080fd5b82356001600160401b03811115610d8e57600080fd5b610d9a85828601610d1d565b90969095509350505050565b60005b83811015610dc1578181015183820152602001610da9565b50506000910152565b600081518084526020840193506020830160005b82811015610e11578151805187526020908101516001600160a01b03168188015260409096019590910190600101610dde565b5093949350505050565b6000604082016040835280855180835260608501915060608160051b86010192506020870160005b82811015610eb857605f19878603018452815180518652602081015160208701526040810151604087015260608101519050608060608701528051806080880152610e958160a0890160208501610da6565b601f01601f19169590950160a00194506020938401939190910190600101610e43565b505050508281036020840152610ece8185610dca565b95945050505050565b600081518084526020840193506020830160005b82811015610e11578151865260209586019590910190600101610eeb565b602081526000610f1c6020830184610ed7565b9392505050565b6001600160a01b0381168114610f3857600080fd5b50565b600080600080600080600060a0888a031215610f5657600080fd5b8735610f6181610f23565b9650602088013595506040880135945060608801356001600160401b03811115610f8a57600080fd5b610f968a828b01610d1d565b90955093505060808801356001600160401b03811115610fb557600080fd5b610fc18a828b01610d1d565b989b979a50959850939692959293505050565b6060808252845190820181905260009060208601906080840190835b8181101561100e578351835260209384019390920191600101610ff0565b505083810360208501526110228187610ed7565b9150508281036040840152610ab38185610ed7565b634e487b7160e01b600052604160045260246000fd5b604080519081016001600160401b038111828210171561106f5761106f611037565b60405290565b604051608081016001600160401b038111828210171561106f5761106f611037565b604051601f8201601f191681016001600160401b03811182821017156110bf576110bf611037565b604052919050565b60006001600160401b038211156110e0576110e0611037565b5060051b60200190565b60006001600160401b0382111561110357611103611037565b50601f01601f191660200190565b600082601f83011261112257600080fd5b8135611135611130826110ea565b611097565b81815284602083860101111561114a57600080fd5b816020850160208301376000918101602001919091529392505050565b600082601f83011261117857600080fd5b8135611186611130826110c7565b8082825260208201915060208360061b8601019250858311156111a857600080fd5b602085015b838110156111f857604081880312156111c557600080fd5b6111cd61104d565b8135815260208201356111df81610f23565b60208281019190915290845292909201916040016111ad565b5095945050505050565b6000806040838503121561121557600080fd5b82356001600160401b0381111561122b57600080fd5b8301601f8101851361123c57600080fd5b803561124a611130826110c7565b8082825260208201915060208360051b85010192508783111561126c57600080fd5b602084015b838110156113085780356001600160401b0381111561128f57600080fd5b85016080818b03601f190112156112a557600080fd5b6112ad611075565b60208281013582526040808401359183019190915260608301359082015260808201356001600160401b038111156112e457600080fd5b6112f38c602083860101611111565b60608301525084525060209283019201611271565b50945050505060208301356001600160401b0381111561132757600080fd5b61133385828601611167565b9150509250929050565b6000806040838503121561135057600080fd5b82356001600160401b0381111561136657600080fd5b61137285828601611111565b92505060208301356001600160401b0381111561138e57600080fd5b8301601f8101851361139f57600080fd5b80356113ad611130826110c7565b8082825260208201915060208360051b8501019250878311156113cf57600080fd5b6020840193505b828410156113f15783358252602093840193909101906113d6565b809450505050509250929050565b60208152816020820152818360408301376000818301604090810191909152601f909201601f19160101919050565b60006020828403121561144057600080fd5b81516001600160401b0381111561145657600080fd5b8201601f8101841361146757600080fd5b8051611475611130826110c7565b8082825260208201915060208360051b85010192508683111561149757600080fd5b6020840193505b82841015610ab357835182526020938401939091019061149e565b634e487b7160e01b600052601160045260246000fd5b80820180821115610b4357610b436114b9565b81810381811115610b4357610b436114b9565b634e487b7160e01b600052603260045260246000fd5b600082601f83011261151c57600080fd5b815161152a611130826110c7565b8082825260208201915060208360061b86010192508583111561154c57600080fd5b602085015b838110156111f8576040818803121561156957600080fd5b61157161104d565b81518152602082015161158381610f23565b6020828101919091529084529290920191604001611551565b600080604083850312156115af57600080fd5b82516001600160401b038111156115c557600080fd5b8301601f810185136115d657600080fd5b80516115e4611130826110c7565b8082825260208201915060208360051b85010192508783111561160657600080fd5b602084015b838110156116df5780516001600160401b0381111561162957600080fd5b85016080818b03601f1901121561163f57600080fd5b611647611075565b60208281015182526040808401519183019190915260608301519082015260808201516001600160401b0381111561167e57600080fd5b6020818401019250508a601f83011261169657600080fd5b81516116a4611130826110ea565b8181528c60208386010111156116b957600080fd5b6116ca826020830160208701610da6565b6060830152508452506020928301920161160b565b506020870151909550925050506001600160401b0381111561170057600080fd5b6113338582860161150b565b634e487b7160e01b600052601260045260246000fd5b6000826117315761173161170c565b500690565b6000826117455761174561170c565b500490565b60006020828403121561175c57600080fd5b8151610f1c81610f23565b60006020828403121561177957600080fd5b81518015158114610f1c57600080fd5b8082028115828204841417610b4357610b436114b9565b634e487b7160e01b600052602160045260246000fdfea164736f6c634300081c000a";
  readonly deployedBytecode: "0x608060405234801561001057600080fd5b50600436106100415760003560e01c8063267339c01461004657806344b4d93b14610070578063b476c31e14610090575b600080fd5b610059610054366004610d65565b6100b2565b604051610067929190610e1b565b60405180910390f35b61008361007e366004610d65565b6100cc565b6040516100679190610f09565b6100a361009e366004610f3b565b6100e2565b60405161006793929190610fd4565b6060806100c183850185611202565b909590945092505050565b60606100da8284018461133d565b949350505050565b606080606060006100f588888888610117565b90506101038b8b8b84610328565b935093509350509750975097945050505050565b6101426040518060800160405280606081526020016060815260200160608152602001600081525090565b6040516344b4d93b60e01b815230906344b4d93b9061016790889088906004016113ff565b600060405180830381865afa9250505080156101a557506040513d6000823e601f3d908101601f191682016040526101a2919081019061142e565b60015b6101c25760405163d997ed5760e01b815260040160405180910390fd5b8082526101ce90610437565b606082015260015b816060015181101561026457815160016101f18360026114cf565b6101fb91906114e2565b8151811061020b5761020b6114f5565b602090810291909101015182516102238360026114cf565b81518110610233576102336114f5565b602002602001015160001c1161025c5760405163d997ed5760e01b815260040160405180910390fd5b6001016101d6565b506040516299cce760e61b8152309063267339c09061028990869086906004016113ff565b600060405180830381865afa9250505080156102c757506040513d6000823e601f3d908101601f191682016040526102c4919081019061159c565b60015b6102e45760405163d997ed5760e01b815260040160405180910390fd5b602083018290526040830181905251905114158061030b5750806060015181604001515114155b156100da5760405162e341df60e31b815260040160405180910390fd5b606080606083606001516001600160401b0381111561034957610349611037565b604051908082528060200260200182016040528015610372578160200160208202803683370190505b50925083606001516001600160401b0381111561039157610391611037565b6040519080825280602002602001820160405280156103ba578160200160208202803683370190505b50915083606001516001600160401b038111156103d9576103d9611037565b604051908082528060200260200182016040528015610402578160200160208202803683370190505b50905060005b846060015181101561042c5761042488888888858989896104c1565b600101610408565b509450945094915050565b60006006825110158015610462575060036006835161045691906114e2565b6104609190611722565b155b61047f5760405163d997ed5760e01b815260040160405180910390fd5b60036006835161048f91906114e2565b6104999190611736565b9050600081116104bc5760405163d997ed5760e01b815260040160405180910390fd5b919050565b831561059f5760408501516104d76001866114e2565b815181106104e7576104e76114f5565b60200260200101516000015185604001518581518110610509576105096114f5565b602002602001015160000151116105335760405163d997ed5760e01b815260040160405180910390fd5b60208501516105436001866114e2565b81518110610553576105536114f5565b60200260200101516000015185602001518581518110610575576105756114f5565b6020026020010151600001511161059f5760405163d997ed5760e01b815260040160405180910390fd5b60008060006105ec8b8b8b8b8c604001518c815181106105c1576105c16114f5565b60200260200101518d602001518d815181106105df576105df6114f5565b602002602001015161067d565b92509250925087604001518781518110610608576106086114f5565b602002602001015160000151868481518110610626576106266114f5565b60200260200101818152505081858481518110610645576106456114f5565b60200260200101818152505080848481518110610664576106646114f5565b6020026020010181815250505050505050505050505050565b600080600084602001516001600160a01b0316896001600160a01b031663e4d185db8988600001516040518363ffffffff1660e01b81526004016106cb929190918252602082015260400190565b602060405180830381865afa1580156106e8573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061070c919061174a565b6001600160a01b0316146107335760405163d997ed5760e01b815260040160405180910390fd5b6020850151604051632ea823bb60e11b8152600481018990526001600160a01b039182166024820152908a1690635d50477690604401602060405180830381865afa158015610786573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107aa9190611767565b6107c75760405163d997ed5760e01b815260040160405180910390fd5b84518451146107e95760405163d997ed5760e01b815260040160405180910390fd5b60006107f789308a8861091b565b905085602001516001600160a01b0316816001600160a01b03161461082f5760405163d997ed5760e01b815260040160405180910390fd5b60608701516002906000906108459060056114cf565b905060008960600151600261085a9190611789565b6108659060056114cf565b905061087f8a60000151848c606001518c60000151610abd565b60208901518b519198509061089489856114cf565b815181106108a4576108a46114f5565b60200260200101511480156108df575060408801518a516108c589846114cf565b815181106108d5576108d56114f5565b6020026020010151145b6108fc5760405163d997ed5760e01b815260040160405180910390fd5b5050506020850151604086015190935091505096509650969350505050565b805160208083015160408085015181518083018352601981527822b731b630bb32a235b3a337b63220ba3a32b9ba30ba34b7b760391b908501528151808301835260018152603160f81b9085015281517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f818601527f7c2896ef6fdf08fd6cc1e063b076751855b4614d062f06cbee7f69916e7ed504818401527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc66060820152608081018a90526001600160a01b03891660a0808301919091528351808303909101815260c0820184528051908601207ff3bc3d3242a13c256f2ac5753c35690f21906f8f236dd7cd69fcafc3edb57b6460e0830152610100820189905261012082019690965261014081019390935261016080840191909152815180840390910181526101808301825280519084012061190160f01b6101a08401526101a28301949094526101c280830194909452805180830390940184526101e290910190528151910120600090610ab3818460600151610b1d565b9695505050505050565b6000805b83811015610b04578286610ad583886114cf565b81518110610ae557610ae56114f5565b602002602001015160001c03610afc5790506100da565b600101610ac1565b506040516225b7e360e91b815260040160405180910390fd5b600080600080610b2d8686610b49565b925092509250610b3d8282610b96565b50909150505b92915050565b60008060008351604103610b835760208401516040850151606086015160001a610b7588828585610c58565b955095509550505050610b8f565b50508151600091506002905b9250925092565b6000826003811115610baa57610baa6117a0565b03610bb3575050565b6001826003811115610bc757610bc76117a0565b03610be55760405163f645eedf60e01b815260040160405180910390fd5b6002826003811115610bf957610bf96117a0565b03610c1f5760405163fce698f760e01b8152600481018290526024015b60405180910390fd5b6003826003811115610c3357610c336117a0565b03610c54576040516335e2f38360e21b815260048101829052602401610c16565b5050565b600080806fa2a8918ca85bafe22016d0b997e4df60600160ff1b03841115610c895750600091506003905082610d13565b604080516000808252602082018084528a905260ff891692820192909252606081018790526080810186905260019060a0016020604051602081039080840390855afa158015610cdd573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116610d0957506000925060019150829050610d13565b9250600091508190505b9450945094915050565b60008083601f840112610d2f57600080fd5b5081356001600160401b03811115610d4657600080fd5b602083019150836020828501011115610d5e57600080fd5b9250929050565b60008060208385031215610d7857600080fd5b82356001600160401b03811115610d8e57600080fd5b610d9a85828601610d1d565b90969095509350505050565b60005b83811015610dc1578181015183820152602001610da9565b50506000910152565b600081518084526020840193506020830160005b82811015610e11578151805187526020908101516001600160a01b03168188015260409096019590910190600101610dde565b5093949350505050565b6000604082016040835280855180835260608501915060608160051b86010192506020870160005b82811015610eb857605f19878603018452815180518652602081015160208701526040810151604087015260608101519050608060608701528051806080880152610e958160a0890160208501610da6565b601f01601f19169590950160a00194506020938401939190910190600101610e43565b505050508281036020840152610ece8185610dca565b95945050505050565b600081518084526020840193506020830160005b82811015610e11578151865260209586019590910190600101610eeb565b602081526000610f1c6020830184610ed7565b9392505050565b6001600160a01b0381168114610f3857600080fd5b50565b600080600080600080600060a0888a031215610f5657600080fd5b8735610f6181610f23565b9650602088013595506040880135945060608801356001600160401b03811115610f8a57600080fd5b610f968a828b01610d1d565b90955093505060808801356001600160401b03811115610fb557600080fd5b610fc18a828b01610d1d565b989b979a50959850939692959293505050565b6060808252845190820181905260009060208601906080840190835b8181101561100e578351835260209384019390920191600101610ff0565b505083810360208501526110228187610ed7565b9150508281036040840152610ab38185610ed7565b634e487b7160e01b600052604160045260246000fd5b604080519081016001600160401b038111828210171561106f5761106f611037565b60405290565b604051608081016001600160401b038111828210171561106f5761106f611037565b604051601f8201601f191681016001600160401b03811182821017156110bf576110bf611037565b604052919050565b60006001600160401b038211156110e0576110e0611037565b5060051b60200190565b60006001600160401b0382111561110357611103611037565b50601f01601f191660200190565b600082601f83011261112257600080fd5b8135611135611130826110ea565b611097565b81815284602083860101111561114a57600080fd5b816020850160208301376000918101602001919091529392505050565b600082601f83011261117857600080fd5b8135611186611130826110c7565b8082825260208201915060208360061b8601019250858311156111a857600080fd5b602085015b838110156111f857604081880312156111c557600080fd5b6111cd61104d565b8135815260208201356111df81610f23565b60208281019190915290845292909201916040016111ad565b5095945050505050565b6000806040838503121561121557600080fd5b82356001600160401b0381111561122b57600080fd5b8301601f8101851361123c57600080fd5b803561124a611130826110c7565b8082825260208201915060208360051b85010192508783111561126c57600080fd5b602084015b838110156113085780356001600160401b0381111561128f57600080fd5b85016080818b03601f190112156112a557600080fd5b6112ad611075565b60208281013582526040808401359183019190915260608301359082015260808201356001600160401b038111156112e457600080fd5b6112f38c602083860101611111565b60608301525084525060209283019201611271565b50945050505060208301356001600160401b0381111561132757600080fd5b61133385828601611167565b9150509250929050565b6000806040838503121561135057600080fd5b82356001600160401b0381111561136657600080fd5b61137285828601611111565b92505060208301356001600160401b0381111561138e57600080fd5b8301601f8101851361139f57600080fd5b80356113ad611130826110c7565b8082825260208201915060208360051b8501019250878311156113cf57600080fd5b6020840193505b828410156113f15783358252602093840193909101906113d6565b809450505050509250929050565b60208152816020820152818360408301376000818301604090810191909152601f909201601f19160101919050565b60006020828403121561144057600080fd5b81516001600160401b0381111561145657600080fd5b8201601f8101841361146757600080fd5b8051611475611130826110c7565b8082825260208201915060208360051b85010192508683111561149757600080fd5b6020840193505b82841015610ab357835182526020938401939091019061149e565b634e487b7160e01b600052601160045260246000fd5b80820180821115610b4357610b436114b9565b81810381811115610b4357610b436114b9565b634e487b7160e01b600052603260045260246000fd5b600082601f83011261151c57600080fd5b815161152a611130826110c7565b8082825260208201915060208360061b86010192508583111561154c57600080fd5b602085015b838110156111f8576040818803121561156957600080fd5b61157161104d565b81518152602082015161158381610f23565b6020828101919091529084529290920191604001611551565b600080604083850312156115af57600080fd5b82516001600160401b038111156115c557600080fd5b8301601f810185136115d657600080fd5b80516115e4611130826110c7565b8082825260208201915060208360051b85010192508783111561160657600080fd5b602084015b838110156116df5780516001600160401b0381111561162957600080fd5b85016080818b03601f1901121561163f57600080fd5b611647611075565b60208281015182526040808401519183019190915260608301519082015260808201516001600160401b0381111561167e57600080fd5b6020818401019250508a601f83011261169657600080fd5b81516116a4611130826110ea565b8181528c60208386010111156116b957600080fd5b6116ca826020830160208701610da6565b6060830152508452506020928301920161160b565b506020870151909550925050506001600160401b0381111561170057600080fd5b6113338582860161150b565b634e487b7160e01b600052601260045260246000fd5b6000826117315761173161170c565b500690565b6000826117455761174561170c565b500490565b60006020828403121561175c57600080fd5b8151610f1c81610f23565b60006020828403121561177957600080fd5b81518015158114610f1c57600080fd5b8082028115828204841417610b4357610b436114b9565b634e487b7160e01b600052602160045260246000fdfea164736f6c634300081c000a";
  readonly linkReferences: {};
  readonly deployedLinkReferences: {};
  readonly immutableReferences: {};
  readonly inputSourceName: "project/contracts/verifiers/DkgFoldAttestationVerifier.sol";
  readonly buildInfoId: "solc-0_8_28-58b894a0ac77a2d784be77b69288a062b8f6f518";
};

import "hardhat/types/artifacts";
declare module "hardhat/types/artifacts" {
  interface ArtifactMap {
    ["DkgFoldAttestationVerifier"]: DkgFoldAttestationVerifier$Type;
    ["contracts/verifiers/DkgFoldAttestationVerifier.sol:DkgFoldAttestationVerifier"]: DkgFoldAttestationVerifier$Type;
  }
}