@aztec/l1-artifacts 2.0.0-nightly.20250821 → 2.0.0-nightly.20250823

package/dest/InboxAbi.js

@@ -2110,6 +2110,274 @@
             }
         ]
     },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__CommitteeSizeMustBeGreaterThanZero",
+        "inputs": [
+            {
+                "name": "committeeSize",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__InvalidCommitteeCommitment",
+        "inputs": []
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__InvalidCommitteeSize",
+        "inputs": [
+            {
+                "name": "expected",
+                "type": "uint256",
+                "internalType": "uint256"
+            },
+            {
+                "name": "actual",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__InvalidEpochIndex",
+        "inputs": [
+            {
+                "name": "epochIndex",
+                "type": "uint256",
+                "internalType": "uint256"
+            },
+            {
+                "name": "roundSizeInEpochs",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__InvalidNumberOfCommittees",
+        "inputs": [
+            {
+                "name": "expected",
+                "type": "uint256",
+                "internalType": "uint256"
+            },
+            {
+                "name": "actual",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__InvalidQuorumAndRoundSize",
+        "inputs": [
+            {
+                "name": "quorum",
+                "type": "uint256",
+                "internalType": "uint256"
+            },
+            {
+                "name": "roundSize",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__InvalidSignature",
+        "inputs": []
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__InvalidVoteLength",
+        "inputs": [
+            {
+                "name": "expected",
+                "type": "uint256",
+                "internalType": "uint256"
+            },
+            {
+                "name": "actual",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__LifetimeMustBeGreaterThanExecutionDelay",
+        "inputs": [
+            {
+                "name": "lifetime",
+                "type": "uint256",
+                "internalType": "uint256"
+            },
+            {
+                "name": "executionDelay",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__LifetimeMustBeLessThanRoundabout",
+        "inputs": [
+            {
+                "name": "lifetime",
+                "type": "uint256",
+                "internalType": "uint256"
+            },
+            {
+                "name": "roundabout",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__QuorumMustBeGreaterThanZero",
+        "inputs": []
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__RoundAlreadyExecuted",
+        "inputs": [
+            {
+                "name": "round",
+                "type": "uint256",
+                "internalType": "SlashRound"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__RoundNotComplete",
+        "inputs": [
+            {
+                "name": "round",
+                "type": "uint256",
+                "internalType": "SlashRound"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__RoundOutOfRange",
+        "inputs": [
+            {
+                "name": "round",
+                "type": "uint256",
+                "internalType": "SlashRound"
+            },
+            {
+                "name": "currentRound",
+                "type": "uint256",
+                "internalType": "SlashRound"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__RoundSizeInEpochsMustBeGreaterThanZero",
+        "inputs": [
+            {
+                "name": "roundSizeInEpochs",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__RoundSizeMustBeMultipleOfEpochDuration",
+        "inputs": [
+            {
+                "name": "roundSize",
+                "type": "uint256",
+                "internalType": "uint256"
+            },
+            {
+                "name": "epochDuration",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__RoundSizeTooLarge",
+        "inputs": [
+            {
+                "name": "roundSize",
+                "type": "uint256",
+                "internalType": "uint256"
+            },
+            {
+                "name": "maxRoundSize",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__SlashAmountTooLarge",
+        "inputs": []
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__SlashOffsetMustBeGreaterThanZero",
+        "inputs": [
+            {
+                "name": "slashOffset",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__SlashingUnitMustBeGreaterThanZero",
+        "inputs": [
+            {
+                "name": "slashingUnit",
+                "type": "uint256",
+                "internalType": "uint256"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__VoteAlreadyCastInCurrentSlot",
+        "inputs": [
+            {
+                "name": "slot",
+                "type": "uint256",
+                "internalType": "Slot"
+            }
+        ]
+    },
+    {
+        "type": "error",
+        "name": "TallySlashingProposer__VotingNotOpen",
+        "inputs": [
+            {
+                "name": "currentRound",
+                "type": "uint256",
+                "internalType": "SlashRound"
+            }
+        ]
+    },
     {
         "type": "function",
         "name": "VERSION",

package/dest/InboxBytecode.d.ts

@@ -1,7 +1,7 @@
 /**
  * Inbox bytecode.
  */
-export declare const InboxBytecode = "0x610140604052348015610010575f5ffd5b50604051611c30380380611c3083398101604081905261002f91610418565b6001600160a01b03841660805260a082905260e0819052610051816002610554565b61010052604080516060810182525f8082526020820152908101610076600180610566565b6001600160401b03908116909152815160028054602085015160409095015160809390931c6001600160c01b031990911617600160801b94841694909402939093176001600160c01b0316600160c01b91909216021790556100d85f82610184565b6101135f60e0516101005160015f6001806100f39190610566565b6001600160401b0316815260208101919091526040015f2092919061022d565b610120818152505083833060a05160405161012d906103f4565b6001600160a01b0394851681529284166020840152921660408201526060810191909152608001604051809103905ff08015801561016d573d5f5f3e3d5ffd5b506001600160a01b031660c0525061062d92505050565b5f8080526020839052604081205560015b81811161022857610208835f6101ac600185610585565b81526020019081526020015f2054845f015f6001856101cb9190610585565b81526020019081526020015f20546040516020016101f3929190918252602082015260400190565b60408051601f1981840301815291905261032e565b5f828152602085905260409020558061022081610598565b915050610195565b505050565b83545f9080820361024d5750505f82815260208490526040902054610326565b82810361026b5750505f828152600185016020526040902054610326565b5f610277600183610585565b90505f610283826103c9565b5f81815260018a01602052604090205490915082821c825b8881101561031d5760018083161480156102e2575f82815260018d016020908152604091829020548251918201529081018590526102db906060016101f3565b9350610310565b5f82815260208c815260409182902054915161030d926101f392889201918252602082015260400190565b93505b50600191821c910161029b565b50909450505050505b949350505050565b6040805160018082528183019092525f916020820181803683370190505060028360405161035c91906105c7565b602060405180830381855afa158015610377573d5f5f3e3d5ffd5b5050506040513d601f19601f8201168201806040525081019061039a91906105d2565b6040516020016103ab9291906105e9565b6040516020818303038152906040526103c390610607565b92915050565b5f80825b806001166001036103ed57816103e281610598565b92505060011c6103cd565b5092915050565b6107f88061143883390190565b6001600160a01b0381168114610415575f5ffd5b50565b5f5f5f5f6080858703121561042b575f5ffd5b845161043681610401565b602086015190945061044781610401565b6040860151606090960151949790965092505050565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156104ac578085048111156104905761049061045d565b600184161561049e57908102905b60019390931c928002610475565b935093915050565b5f826104c2575060016103c3565b816104ce57505f6103c3565b81600181146104e457600281146104ee5761050a565b60019150506103c3565b60ff8411156104ff576104ff61045d565b50506001821b6103c3565b5060208310610133831016604e8410600b841016171561052d575081810a6103c3565b6105395f198484610471565b805f190482111561054c5761054c61045d565b029392505050565b5f61055f83836104b4565b9392505050565b6001600160401b0381811683821601908111156103c3576103c361045d565b818103818111156103c3576103c361045d565b5f600182016105a9576105a961045d565b5060010190565b5f81518060208401855e5f93019283525090919050565b5f61055f82846105b0565b5f602082840312156105e2575f5ffd5b5051919050565b5f6105f482856105b0565b60ff199390931683525050601f01919050565b80516020808301519190811015610627575f198160200360031b1b821691505b50919050565b60805160a05160c05160e0516101005161012051610d856106b35f395f6107c201525f81816104f4015281816105460152818161081e01526108ce01525f81816107fd01526108ad01525f818161018001528181610228015261059b01525f81816102a3015261032001525f8181610269015281816103fa015261074f0152610d855ff3fe608060405234801561000f575f5ffd5b50600436106100a6575f3560e01c80637a5080221161006e5780637a508022146102075780638ccf6b95146102265780639500ac301461024c5780639611c5c2146102645780639b24b3b01461028b578063ffa1ad741461029e575f5ffd5b80631865c57d146100aa5780631f6d510b146101535780632fb131c81461017b578063483f31ab146101ba5780635fd3c809146101db575b5f5ffd5b610111604080516060810182525f808252602082018190529181019190915250604080516060810182526002546001600160801b0319608082901b1682526001600160401b03600160801b820481166020840152600160c01b909104169181019190915290565b6040805182516001600160801b03191681526020808401516001600160401b039081169183019190915292820151909216908201526060015b60405180910390f35b610166610161366004610bbc565b6102c5565b6040805192835260208301919091520161014a565b6101a27f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b03909116815260200161014a565b6101cd6101c8366004610c33565b610743565b60405190815260200161014a565b600254600160c01b90046001600160401b03165b6040516001600160401b03909116815260200161014a565b6101cd610215366004610c33565b60016020525f908152604090205481565b7f00000000000000000000000000000000000000000000000000000000000000006101a2565b600254600160801b90046001600160401b03166101ef565b6101a27f000000000000000000000000000000000000000000000000000000000000000081565b6101cd610299366004610c33565b610899565b6101cd7f000000000000000000000000000000000000000000000000000000000000000081565b82515f9081907f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000811115610318576040516353bb503760e11b815260040161030f91815260200190565b60405180910390fd5b5060208501517f000000000000000000000000000000000000000000000000000000000000000081811461036857604051632e26721160e21b81526004810192909252602482015260440161030f565b508490507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000008111156103b0576040516311d1480560e21b815260040161030f91815260200190565b50827f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000008111156103f657604051633b379f8b60e21b815260040161030f91815260200190565b505f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316633f47ad066040518163ffffffff1660e01b8152600401602060405180830381865afa158015610454573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104789190610c4a565b1161049657604051630c0a9fb960e11b815260040160405180910390fd5b604080516060810182526002546001600160801b0319608082901b168083526001600160401b03600160801b830481166020808601829052600160c01b9094049091168486018190525f8181526001909452949092208054939491937f00000000000000000000000000000000000000000000000000000000000000000361054057610523600183610c75565b6001600160401b0381165f90815260016020526040902090925090505b80545f907f000000000000000000000000000000000000000000000000000000000000000061057960016001600160401b038716610c94565b6105839190610ca7565b61058d9190610cbe565b90505f336001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146105c657336105c9565b60055b6040805160e0810182526001600160a01b03831660a082019081524660c08301528152602081018f90529081018d9052606081018c9052608081018490529091505f610614826108f8565b9050610620858261097a565b506040516001600160801b031989166020820152603081018290525f9060500160408051601f198184030181528282528051602091820120606084019092526001600160801b031982168352909250810161067c8a6001610c75565b6001600160401b0390811682528981166020928301819052835160028054948601516040968701518516600160c01b026001600160c01b0391909516600160801b026001600160c01b031990961660809390931c9290921794909417169190911790915590518391907fe3afb584bcff3adb9d452d2e1ccbcd4aee164ae2a8cdab637aecf866a53fbb779061072790899086909182526001600160801b031916602082015260400190565b60405180910390a3509d929c50919a5050505050505050505050565b5f336001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000161461078d5760405163e5336a6b60e01b815260040160405180910390fd5b600254600160c01b90046001600160401b03168083106107c05760405163c490199960e01b815260040160405180910390fd5b7f00000000000000000000000000000000000000000000000000000000000000006001841115610845575f848152600160205260408120610842917f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000006109fb565b90505b6001600160401b03821661085a856001610cbe565b036108925761086a826001610c75565b600280546001600160401b0392909216600160c01b026001600160c01b039092169190911790555b9392505050565b5f8181526001602052604081206108f290827f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000006109fb565b92915050565b5f6108f2825f0151836020015184604001518560600151866080015160405160200161096695949392919085516001600160a01b03168152602095860151868201528451604082015293909401516060840152608083019190915260a082015260c081019190915260e00190565b604051602081830303815290604052610afc565b81545f908161098882610b91565b9050835f5b828110156109cb575f818152600188016020908152604091829020548251918201529081018390526109c190606001610966565b915060010161098d565b505f828152600187016020526040812082905586549087906109ec83610cd1565b90915550929695505050505050565b83545f90808203610a1b5750505f82815260208490526040902054610af4565b828103610a395750505f828152600185016020526040902054610af4565b5f610a45600183610c94565b90505f610a5182610b91565b5f81815260018a01602052604090205490915082821c825b88811015610aeb576001808316148015610ab0575f82815260018d01602090815260409182902054825191820152908101859052610aa990606001610966565b9350610ade565b5f82815260208c8152604091829020549151610adb9261096692889201918252602082015260400190565b93505b50600191821c9101610a69565b50909450505050505b949350505050565b6040805160018082528183019092525f9160208201818036833701905050600283604051610b2a9190610d00565b602060405180830381855afa158015610b45573d5f5f3e3d5ffd5b5050506040513d601f19601f82011682018060405250810190610b689190610c4a565b604051602001610b79929190610d0b565b6040516020818303038152906040526108f290610d29565b5f80825b80600116600103610bb55781610baa81610cd1565b92505060011c610b95565b5092915050565b5f5f5f8385036080811215610bcf575f5ffd5b6040811215610bdc575f5ffd5b50604051604081018181106001600160401b0382111715610c0b57634e487b7160e01b5f52604160045260245ffd5b6040908152853582526020808701359083015290969085013595506060909401359392505050565b5f60208284031215610c43575f5ffd5b5035919050565b5f60208284031215610c5a575f5ffd5b5051919050565b634e487b7160e01b5f52601160045260245ffd5b6001600160401b0381811683821601908111156108f2576108f2610c61565b818103818111156108f2576108f2610c61565b80820281158282048414176108f2576108f2610c61565b808201808211156108f2576108f2610c61565b5f60018201610ce257610ce2610c61565b5060010190565b5f81518060208401855e5f93019283525090919050565b5f6108928284610ce9565b5f610d168285610ce9565b60ff199390931683525050601f01919050565b80516020808301519190811015610d49575f198160200360031b1b821691505b5091905056fea26469706673582212202e85a61b838b30fbb82b01955e2324b48ca09efc57392694584f7a4ab74f7e1564736f6c634300081b0033610100604052348015610010575f5ffd5b506040516107f83803806107f883398101604081905261002f91610067565b6001600160a01b0393841660805290831660a052911660c05260e0526100b7565b6001600160a01b0381168114610064575f5ffd5b50565b5f5f5f5f6080858703121561007a575f5ffd5b845161008581610050565b602086015190945061009681610050565b60408601519093506100a781610050565b6060959095015193969295505050565b60805160a05160c05160e0516106ec61010c5f395f8181610168015261019901525f818161014101528181610218015261039601525f818161011a015261027a01525f818160db015261034b01526106ec5ff3fe608060405234801561000f575f5ffd5b506004361061007a575f3560e01c80639611c5c2116100585780639611c5c2146100d6578063b701069714610115578063c5d664c61461013c578063ffa1ad7414610163575f5ffd5b8063284b5dc61461007e5780632dc81c62146100ab57806348fef595146100c1575b5f5ffd5b61009161008c3660046105b2565b61018a565b604080519283526020830191909152015b60405180910390f35b6100b3600581565b6040519081526020016100a2565b6100d46100cf3660046105db565b610340565b005b6100fd7f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b0390911681526020016100a2565b6100fd7f000000000000000000000000000000000000000000000000000000000000000081565b6100fd7f000000000000000000000000000000000000000000000000000000000000000081565b6100b37f000000000000000000000000000000000000000000000000000000000000000081565b604080518082018252600581527f00000000000000000000000000000000000000000000000000000000000000006020820152905160248101859052604481018490525f91829182906102099060640160408051601f198184030181529190526020810180516001600160e01b0316630c7e892d60e31b179052610404565b90506102406001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001633308961049f565b604051631f6d510b60e01b8152825160048201526020830151602482015260448101829052606481018690525f9081906001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001690631f6d510b9060840160408051808303815f875af11580156102bf573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102e39190610610565b604080518b8152602081018b905290810183905260608101829052919350915089907fcb43dda0de11e57048e9d074ae7474446335afc906a0e5789d624fa5422629e39060800160405180910390a2909890975095505050505050565b336001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001614610389576040516333f1b48f60e11b815260040160405180910390fd5b6103bd6001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016838361050c565b816001600160a01b03167f63be20cc905d5ba0cf65db405c4999f99f2575e521875f13a8009d6eed7a09d9826040516103f891815260200190565b60405180910390a25050565b6040805160018082528183019092525f91602082018180368337019050506002836040516104329190610649565b602060405180830381855afa15801561044d573d5f5f3e3d5ffd5b5050506040513d601f19601f82011682018060405250810190610470919061065b565b604051602001610481929190610672565b60405160208183030381529060405261049990610690565b92915050565b6040516001600160a01b0384811660248301528381166044830152606482018390526105069186918216906323b872dd906084015b604051602081830303815290604052915060e01b6020820180516001600160e01b038381831617835250505050610542565b50505050565b6040516001600160a01b0383811660248301526044820183905261053d91859182169063a9059cbb906064016104d4565b505050565b5f5f60205f8451602086015f885af180610561576040513d5f823e3d81fd5b50505f513d91508115610578578060011415610585565b6001600160a01b0384163b155b1561050657604051635274afe760e01b81526001600160a01b038516600482015260240160405180910390fd5b5f5f5f606084860312156105c4575f5ffd5b505081359360208301359350604090920135919050565b5f5f604083850312156105ec575f5ffd5b82356001600160a01b0381168114610602575f5ffd5b946020939093013593505050565b5f5f60408385031215610621575f5ffd5b505080516020909101519092909150565b5f81518060208401855e5f93019283525090919050565b5f6106548284610632565b9392505050565b5f6020828403121561066b575f5ffd5b5051919050565b5f61067d8285610632565b60ff199390931683525050601f01919050565b805160208083015191908110156106b0575f198160200360031b1b821691505b5091905056fea2646970667358221220d5c7102d512a04b714c876d20b090dc0cfa0cfc93930aa195f4e96a9a2048e3664736f6c634300081b0033";
+export declare const InboxBytecode = "0x610140604052348015610010575f5ffd5b50604051611c30380380611c3083398101604081905261002f91610418565b6001600160a01b03841660805260a082905260e0819052610051816002610554565b61010052604080516060810182525f8082526020820152908101610076600180610566565b6001600160401b03908116909152815160028054602085015160409095015160809390931c6001600160c01b031990911617600160801b94841694909402939093176001600160c01b0316600160c01b91909216021790556100d85f82610184565b6101135f60e0516101005160015f6001806100f39190610566565b6001600160401b0316815260208101919091526040015f2092919061022d565b610120818152505083833060a05160405161012d906103f4565b6001600160a01b0394851681529284166020840152921660408201526060810191909152608001604051809103905ff08015801561016d573d5f5f3e3d5ffd5b506001600160a01b031660c0525061062d92505050565b5f8080526020839052604081205560015b81811161022857610208835f6101ac600185610585565b81526020019081526020015f2054845f015f6001856101cb9190610585565b81526020019081526020015f20546040516020016101f3929190918252602082015260400190565b60408051601f1981840301815291905261032e565b5f828152602085905260409020558061022081610598565b915050610195565b505050565b83545f9080820361024d5750505f82815260208490526040902054610326565b82810361026b5750505f828152600185016020526040902054610326565b5f610277600183610585565b90505f610283826103c9565b5f81815260018a01602052604090205490915082821c825b8881101561031d5760018083161480156102e2575f82815260018d016020908152604091829020548251918201529081018590526102db906060016101f3565b9350610310565b5f82815260208c815260409182902054915161030d926101f392889201918252602082015260400190565b93505b50600191821c910161029b565b50909450505050505b949350505050565b6040805160018082528183019092525f916020820181803683370190505060028360405161035c91906105c7565b602060405180830381855afa158015610377573d5f5f3e3d5ffd5b5050506040513d601f19601f8201168201806040525081019061039a91906105d2565b6040516020016103ab9291906105e9565b6040516020818303038152906040526103c390610607565b92915050565b5f80825b806001166001036103ed57816103e281610598565b92505060011c6103cd565b5092915050565b6107f88061143883390190565b6001600160a01b0381168114610415575f5ffd5b50565b5f5f5f5f6080858703121561042b575f5ffd5b845161043681610401565b602086015190945061044781610401565b6040860151606090960151949790965092505050565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156104ac578085048111156104905761049061045d565b600184161561049e57908102905b60019390931c928002610475565b935093915050565b5f826104c2575060016103c3565b816104ce57505f6103c3565b81600181146104e457600281146104ee5761050a565b60019150506103c3565b60ff8411156104ff576104ff61045d565b50506001821b6103c3565b5060208310610133831016604e8410600b841016171561052d575081810a6103c3565b6105395f198484610471565b805f190482111561054c5761054c61045d565b029392505050565b5f61055f83836104b4565b9392505050565b6001600160401b0381811683821601908111156103c3576103c361045d565b818103818111156103c3576103c361045d565b5f600182016105a9576105a961045d565b5060010190565b5f81518060208401855e5f93019283525090919050565b5f61055f82846105b0565b5f602082840312156105e2575f5ffd5b5051919050565b5f6105f482856105b0565b60ff199390931683525050601f01919050565b80516020808301519190811015610627575f198160200360031b1b821691505b50919050565b60805160a05160c05160e0516101005161012051610d856106b35f395f6107c201525f81816104f4015281816105460152818161081e01526108ce01525f81816107fd01526108ad01525f818161018001528181610228015261059b01525f81816102a3015261032001525f8181610269015281816103fa015261074f0152610d855ff3fe608060405234801561000f575f5ffd5b50600436106100a6575f3560e01c80637a5080221161006e5780637a508022146102075780638ccf6b95146102265780639500ac301461024c5780639611c5c2146102645780639b24b3b01461028b578063ffa1ad741461029e575f5ffd5b80631865c57d146100aa5780631f6d510b146101535780632fb131c81461017b578063483f31ab146101ba5780635fd3c809146101db575b5f5ffd5b610111604080516060810182525f808252602082018190529181019190915250604080516060810182526002546001600160801b0319608082901b1682526001600160401b03600160801b820481166020840152600160c01b909104169181019190915290565b6040805182516001600160801b03191681526020808401516001600160401b039081169183019190915292820151909216908201526060015b60405180910390f35b610166610161366004610bbc565b6102c5565b6040805192835260208301919091520161014a565b6101a27f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b03909116815260200161014a565b6101cd6101c8366004610c33565b610743565b60405190815260200161014a565b600254600160c01b90046001600160401b03165b6040516001600160401b03909116815260200161014a565b6101cd610215366004610c33565b60016020525f908152604090205481565b7f00000000000000000000000000000000000000000000000000000000000000006101a2565b600254600160801b90046001600160401b03166101ef565b6101a27f000000000000000000000000000000000000000000000000000000000000000081565b6101cd610299366004610c33565b610899565b6101cd7f000000000000000000000000000000000000000000000000000000000000000081565b82515f9081907f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000811115610318576040516353bb503760e11b815260040161030f91815260200190565b60405180910390fd5b5060208501517f000000000000000000000000000000000000000000000000000000000000000081811461036857604051632e26721160e21b81526004810192909252602482015260440161030f565b508490507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000008111156103b0576040516311d1480560e21b815260040161030f91815260200190565b50827f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000008111156103f657604051633b379f8b60e21b815260040161030f91815260200190565b505f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316633f47ad066040518163ffffffff1660e01b8152600401602060405180830381865afa158015610454573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104789190610c4a565b1161049657604051630c0a9fb960e11b815260040160405180910390fd5b604080516060810182526002546001600160801b0319608082901b168083526001600160401b03600160801b830481166020808601829052600160c01b9094049091168486018190525f8181526001909452949092208054939491937f00000000000000000000000000000000000000000000000000000000000000000361054057610523600183610c75565b6001600160401b0381165f90815260016020526040902090925090505b80545f907f000000000000000000000000000000000000000000000000000000000000000061057960016001600160401b038716610c94565b6105839190610ca7565b61058d9190610cbe565b90505f336001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146105c657336105c9565b60055b6040805160e0810182526001600160a01b03831660a082019081524660c08301528152602081018f90529081018d9052606081018c9052608081018490529091505f610614826108f8565b9050610620858261097a565b506040516001600160801b031989166020820152603081018290525f9060500160408051601f198184030181528282528051602091820120606084019092526001600160801b031982168352909250810161067c8a6001610c75565b6001600160401b0390811682528981166020928301819052835160028054948601516040968701518516600160c01b026001600160c01b0391909516600160801b026001600160c01b031990961660809390931c9290921794909417169190911790915590518391907fe3afb584bcff3adb9d452d2e1ccbcd4aee164ae2a8cdab637aecf866a53fbb779061072790899086909182526001600160801b031916602082015260400190565b60405180910390a3509d929c50919a5050505050505050505050565b5f336001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000161461078d5760405163e5336a6b60e01b815260040160405180910390fd5b600254600160c01b90046001600160401b03168083106107c05760405163c490199960e01b815260040160405180910390fd5b7f00000000000000000000000000000000000000000000000000000000000000006001841115610845575f848152600160205260408120610842917f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000006109fb565b90505b6001600160401b03821661085a856001610cbe565b036108925761086a826001610c75565b600280546001600160401b0392909216600160c01b026001600160c01b039092169190911790555b9392505050565b5f8181526001602052604081206108f290827f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000006109fb565b92915050565b5f6108f2825f0151836020015184604001518560600151866080015160405160200161096695949392919085516001600160a01b03168152602095860151868201528451604082015293909401516060840152608083019190915260a082015260c081019190915260e00190565b604051602081830303815290604052610afc565b81545f908161098882610b91565b9050835f5b828110156109cb575f818152600188016020908152604091829020548251918201529081018390526109c190606001610966565b915060010161098d565b505f828152600187016020526040812082905586549087906109ec83610cd1565b90915550929695505050505050565b83545f90808203610a1b5750505f82815260208490526040902054610af4565b828103610a395750505f828152600185016020526040902054610af4565b5f610a45600183610c94565b90505f610a5182610b91565b5f81815260018a01602052604090205490915082821c825b88811015610aeb576001808316148015610ab0575f82815260018d01602090815260409182902054825191820152908101859052610aa990606001610966565b9350610ade565b5f82815260208c8152604091829020549151610adb9261096692889201918252602082015260400190565b93505b50600191821c9101610a69565b50909450505050505b949350505050565b6040805160018082528183019092525f9160208201818036833701905050600283604051610b2a9190610d00565b602060405180830381855afa158015610b45573d5f5f3e3d5ffd5b5050506040513d601f19601f82011682018060405250810190610b689190610c4a565b604051602001610b79929190610d0b565b6040516020818303038152906040526108f290610d29565b5f80825b80600116600103610bb55781610baa81610cd1565b92505060011c610b95565b5092915050565b5f5f5f8385036080811215610bcf575f5ffd5b6040811215610bdc575f5ffd5b50604051604081018181106001600160401b0382111715610c0b57634e487b7160e01b5f52604160045260245ffd5b6040908152853582526020808701359083015290969085013595506060909401359392505050565b5f60208284031215610c43575f5ffd5b5035919050565b5f60208284031215610c5a575f5ffd5b5051919050565b634e487b7160e01b5f52601160045260245ffd5b6001600160401b0381811683821601908111156108f2576108f2610c61565b818103818111156108f2576108f2610c61565b80820281158282048414176108f2576108f2610c61565b808201808211156108f2576108f2610c61565b5f60018201610ce257610ce2610c61565b5060010190565b5f81518060208401855e5f93019283525090919050565b5f6108928284610ce9565b5f610d168285610ce9565b60ff199390931683525050601f01919050565b80516020808301519190811015610d49575f198160200360031b1b821691505b5091905056fea2646970667358221220f742dc210192940d27047c0bd3f1cab19bce2a8fafc3867ab98a59a7f24fe49d64736f6c634300081b0033610100604052348015610010575f5ffd5b506040516107f83803806107f883398101604081905261002f91610067565b6001600160a01b0393841660805290831660a052911660c05260e0526100b7565b6001600160a01b0381168114610064575f5ffd5b50565b5f5f5f5f6080858703121561007a575f5ffd5b845161008581610050565b602086015190945061009681610050565b60408601519093506100a781610050565b6060959095015193969295505050565b60805160a05160c05160e0516106ec61010c5f395f8181610168015261019901525f818161014101528181610218015261039601525f818161011a015261027a01525f818160db015261034b01526106ec5ff3fe608060405234801561000f575f5ffd5b506004361061007a575f3560e01c80639611c5c2116100585780639611c5c2146100d6578063b701069714610115578063c5d664c61461013c578063ffa1ad7414610163575f5ffd5b8063284b5dc61461007e5780632dc81c62146100ab57806348fef595146100c1575b5f5ffd5b61009161008c3660046105b2565b61018a565b604080519283526020830191909152015b60405180910390f35b6100b3600581565b6040519081526020016100a2565b6100d46100cf3660046105db565b610340565b005b6100fd7f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b0390911681526020016100a2565b6100fd7f000000000000000000000000000000000000000000000000000000000000000081565b6100fd7f000000000000000000000000000000000000000000000000000000000000000081565b6100b37f000000000000000000000000000000000000000000000000000000000000000081565b604080518082018252600581527f00000000000000000000000000000000000000000000000000000000000000006020820152905160248101859052604481018490525f91829182906102099060640160408051601f198184030181529190526020810180516001600160e01b0316630c7e892d60e31b179052610404565b90506102406001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001633308961049f565b604051631f6d510b60e01b8152825160048201526020830151602482015260448101829052606481018690525f9081906001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001690631f6d510b9060840160408051808303815f875af11580156102bf573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102e39190610610565b604080518b8152602081018b905290810183905260608101829052919350915089907fcb43dda0de11e57048e9d074ae7474446335afc906a0e5789d624fa5422629e39060800160405180910390a2909890975095505050505050565b336001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001614610389576040516333f1b48f60e11b815260040160405180910390fd5b6103bd6001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016838361050c565b816001600160a01b03167f63be20cc905d5ba0cf65db405c4999f99f2575e521875f13a8009d6eed7a09d9826040516103f891815260200190565b60405180910390a25050565b6040805160018082528183019092525f91602082018180368337019050506002836040516104329190610649565b602060405180830381855afa15801561044d573d5f5f3e3d5ffd5b5050506040513d601f19601f82011682018060405250810190610470919061065b565b604051602001610481929190610672565b60405160208183030381529060405261049990610690565b92915050565b6040516001600160a01b0384811660248301528381166044830152606482018390526105069186918216906323b872dd906084015b604051602081830303815290604052915060e01b6020820180516001600160e01b038381831617835250505050610542565b50505050565b6040516001600160a01b0383811660248301526044820183905261053d91859182169063a9059cbb906064016104d4565b505050565b5f5f60205f8451602086015f885af180610561576040513d5f823e3d81fd5b50505f513d91508115610578578060011415610585565b6001600160a01b0384163b155b1561050657604051635274afe760e01b81526001600160a01b038516600482015260240160405180910390fd5b5f5f5f606084860312156105c4575f5ffd5b505081359360208301359350604090920135919050565b5f5f604083850312156105ec575f5ffd5b82356001600160a01b0381168114610602575f5ffd5b946020939093013593505050565b5f5f60408385031215610621575f5ffd5b505080516020909101519092909150565b5f81518060208401855e5f93019283525090919050565b5f6106548284610632565b9392505050565b5f6020828403121561066b575f5ffd5b5051919050565b5f61067d8285610632565b60ff199390931683525050601f01919050565b805160208083015191908110156106b0575f198160200360031b1b821691505b5091905056fea2646970667358221220c87370a29c6590d8717a826b11636e96d24a0fbbfcc731abc78ed34aacebf5cb64736f6c634300081b0033";
 /**
  * Inbox link references.
  */

package/dest/InboxBytecode.js

@@ -1,6 +1,6 @@
 /**
  * Inbox bytecode.
- */ export const InboxBytecode = "0x610140604052348015610010575f5ffd5b50604051611c30380380611c3083398101604081905261002f91610418565b6001600160a01b03841660805260a082905260e0819052610051816002610554565b61010052604080516060810182525f8082526020820152908101610076600180610566565b6001600160401b03908116909152815160028054602085015160409095015160809390931c6001600160c01b031990911617600160801b94841694909402939093176001600160c01b0316600160c01b91909216021790556100d85f82610184565b6101135f60e0516101005160015f6001806100f39190610566565b6001600160401b0316815260208101919091526040015f2092919061022d565b610120818152505083833060a05160405161012d906103f4565b6001600160a01b0394851681529284166020840152921660408201526060810191909152608001604051809103905ff08015801561016d573d5f5f3e3d5ffd5b506001600160a01b031660c0525061062d92505050565b5f8080526020839052604081205560015b81811161022857610208835f6101ac600185610585565b81526020019081526020015f2054845f015f6001856101cb9190610585565b81526020019081526020015f20546040516020016101f3929190918252602082015260400190565b60408051601f1981840301815291905261032e565b5f828152602085905260409020558061022081610598565b915050610195565b505050565b83545f9080820361024d5750505f82815260208490526040902054610326565b82810361026b5750505f828152600185016020526040902054610326565b5f610277600183610585565b90505f610283826103c9565b5f81815260018a01602052604090205490915082821c825b8881101561031d5760018083161480156102e2575f82815260018d016020908152604091829020548251918201529081018590526102db906060016101f3565b9350610310565b5f82815260208c815260409182902054915161030d926101f392889201918252602082015260400190565b93505b50600191821c910161029b565b50909450505050505b949350505050565b6040805160018082528183019092525f916020820181803683370190505060028360405161035c91906105c7565b602060405180830381855afa158015610377573d5f5f3e3d5ffd5b5050506040513d601f19601f8201168201806040525081019061039a91906105d2565b6040516020016103ab9291906105e9565b6040516020818303038152906040526103c390610607565b92915050565b5f80825b806001166001036103ed57816103e281610598565b92505060011c6103cd565b5092915050565b6107f88061143883390190565b6001600160a01b0381168114610415575f5ffd5b50565b5f5f5f5f6080858703121561042b575f5ffd5b845161043681610401565b602086015190945061044781610401565b6040860151606090960151949790965092505050565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156104ac578085048111156104905761049061045d565b600184161561049e57908102905b60019390931c928002610475565b935093915050565b5f826104c2575060016103c3565b816104ce57505f6103c3565b81600181146104e457600281146104ee5761050a565b60019150506103c3565b60ff8411156104ff576104ff61045d565b50506001821b6103c3565b5060208310610133831016604e8410600b841016171561052d575081810a6103c3565b6105395f198484610471565b805f190482111561054c5761054c61045d565b029392505050565b5f61055f83836104b4565b9392505050565b6001600160401b0381811683821601908111156103c3576103c361045d565b818103818111156103c3576103c361045d565b5f600182016105a9576105a961045d565b5060010190565b5f81518060208401855e5f93019283525090919050565b5f61055f82846105b0565b5f602082840312156105e2575f5ffd5b5051919050565b5f6105f482856105b0565b60ff199390931683525050601f01919050565b80516020808301519190811015610627575f198160200360031b1b821691505b50919050565b60805160a05160c05160e0516101005161012051610d856106b35f395f6107c201525f81816104f4015281816105460152818161081e01526108ce01525f81816107fd01526108ad01525f818161018001528181610228015261059b01525f81816102a3015261032001525f8181610269015281816103fa015261074f0152610d855ff3fe608060405234801561000f575f5ffd5b50600436106100a6575f3560e01c80637a5080221161006e5780637a508022146102075780638ccf6b95146102265780639500ac301461024c5780639611c5c2146102645780639b24b3b01461028b578063ffa1ad741461029e575f5ffd5b80631865c57d146100aa5780631f6d510b146101535780632fb131c81461017b578063483f31ab146101ba5780635fd3c809146101db575b5f5ffd5b610111604080516060810182525f808252602082018190529181019190915250604080516060810182526002546001600160801b0319608082901b1682526001600160401b03600160801b820481166020840152600160c01b909104169181019190915290565b6040805182516001600160801b03191681526020808401516001600160401b039081169183019190915292820151909216908201526060015b60405180910390f35b610166610161366004610bbc565b6102c5565b6040805192835260208301919091520161014a565b6101a27f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b03909116815260200161014a565b6101cd6101c8366004610c33565b610743565b60405190815260200161014a565b600254600160c01b90046001600160401b03165b6040516001600160401b03909116815260200161014a565b6101cd610215366004610c33565b60016020525f908152604090205481565b7f00000000000000000000000000000000000000000000000000000000000000006101a2565b600254600160801b90046001600160401b03166101ef565b6101a27f000000000000000000000000000000000000000000000000000000000000000081565b6101cd610299366004610c33565b610899565b6101cd7f000000000000000000000000000000000000000000000000000000000000000081565b82515f9081907f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000811115610318576040516353bb503760e11b815260040161030f91815260200190565b60405180910390fd5b5060208501517f000000000000000000000000000000000000000000000000000000000000000081811461036857604051632e26721160e21b81526004810192909252602482015260440161030f565b508490507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000008111156103b0576040516311d1480560e21b815260040161030f91815260200190565b50827f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000008111156103f657604051633b379f8b60e21b815260040161030f91815260200190565b505f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316633f47ad066040518163ffffffff1660e01b8152600401602060405180830381865afa158015610454573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104789190610c4a565b1161049657604051630c0a9fb960e11b815260040160405180910390fd5b604080516060810182526002546001600160801b0319608082901b168083526001600160401b03600160801b830481166020808601829052600160c01b9094049091168486018190525f8181526001909452949092208054939491937f00000000000000000000000000000000000000000000000000000000000000000361054057610523600183610c75565b6001600160401b0381165f90815260016020526040902090925090505b80545f907f000000000000000000000000000000000000000000000000000000000000000061057960016001600160401b038716610c94565b6105839190610ca7565b61058d9190610cbe565b90505f336001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146105c657336105c9565b60055b6040805160e0810182526001600160a01b03831660a082019081524660c08301528152602081018f90529081018d9052606081018c9052608081018490529091505f610614826108f8565b9050610620858261097a565b506040516001600160801b031989166020820152603081018290525f9060500160408051601f198184030181528282528051602091820120606084019092526001600160801b031982168352909250810161067c8a6001610c75565b6001600160401b0390811682528981166020928301819052835160028054948601516040968701518516600160c01b026001600160c01b0391909516600160801b026001600160c01b031990961660809390931c9290921794909417169190911790915590518391907fe3afb584bcff3adb9d452d2e1ccbcd4aee164ae2a8cdab637aecf866a53fbb779061072790899086909182526001600160801b031916602082015260400190565b60405180910390a3509d929c50919a5050505050505050505050565b5f336001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000161461078d5760405163e5336a6b60e01b815260040160405180910390fd5b600254600160c01b90046001600160401b03168083106107c05760405163c490199960e01b815260040160405180910390fd5b7f00000000000000000000000000000000000000000000000000000000000000006001841115610845575f848152600160205260408120610842917f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000006109fb565b90505b6001600160401b03821661085a856001610cbe565b036108925761086a826001610c75565b600280546001600160401b0392909216600160c01b026001600160c01b039092169190911790555b9392505050565b5f8181526001602052604081206108f290827f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000006109fb565b92915050565b5f6108f2825f0151836020015184604001518560600151866080015160405160200161096695949392919085516001600160a01b03168152602095860151868201528451604082015293909401516060840152608083019190915260a082015260c081019190915260e00190565b604051602081830303815290604052610afc565b81545f908161098882610b91565b9050835f5b828110156109cb575f818152600188016020908152604091829020548251918201529081018390526109c190606001610966565b915060010161098d565b505f828152600187016020526040812082905586549087906109ec83610cd1565b90915550929695505050505050565b83545f90808203610a1b5750505f82815260208490526040902054610af4565b828103610a395750505f828152600185016020526040902054610af4565b5f610a45600183610c94565b90505f610a5182610b91565b5f81815260018a01602052604090205490915082821c825b88811015610aeb576001808316148015610ab0575f82815260018d01602090815260409182902054825191820152908101859052610aa990606001610966565b9350610ade565b5f82815260208c8152604091829020549151610adb9261096692889201918252602082015260400190565b93505b50600191821c9101610a69565b50909450505050505b949350505050565b6040805160018082528183019092525f9160208201818036833701905050600283604051610b2a9190610d00565b602060405180830381855afa158015610b45573d5f5f3e3d5ffd5b5050506040513d601f19601f82011682018060405250810190610b689190610c4a565b604051602001610b79929190610d0b565b6040516020818303038152906040526108f290610d29565b5f80825b80600116600103610bb55781610baa81610cd1565b92505060011c610b95565b5092915050565b5f5f5f8385036080811215610bcf575f5ffd5b6040811215610bdc575f5ffd5b50604051604081018181106001600160401b0382111715610c0b57634e487b7160e01b5f52604160045260245ffd5b6040908152853582526020808701359083015290969085013595506060909401359392505050565b5f60208284031215610c43575f5ffd5b5035919050565b5f60208284031215610c5a575f5ffd5b5051919050565b634e487b7160e01b5f52601160045260245ffd5b6001600160401b0381811683821601908111156108f2576108f2610c61565b818103818111156108f2576108f2610c61565b80820281158282048414176108f2576108f2610c61565b808201808211156108f2576108f2610c61565b5f60018201610ce257610ce2610c61565b5060010190565b5f81518060208401855e5f93019283525090919050565b5f6108928284610ce9565b5f610d168285610ce9565b60ff199390931683525050601f01919050565b80516020808301519190811015610d49575f198160200360031b1b821691505b5091905056fea26469706673582212202e85a61b838b30fbb82b01955e2324b48ca09efc57392694584f7a4ab74f7e1564736f6c634300081b0033610100604052348015610010575f5ffd5b506040516107f83803806107f883398101604081905261002f91610067565b6001600160a01b0393841660805290831660a052911660c05260e0526100b7565b6001600160a01b0381168114610064575f5ffd5b50565b5f5f5f5f6080858703121561007a575f5ffd5b845161008581610050565b602086015190945061009681610050565b60408601519093506100a781610050565b6060959095015193969295505050565b60805160a05160c05160e0516106ec61010c5f395f8181610168015261019901525f818161014101528181610218015261039601525f818161011a015261027a01525f818160db015261034b01526106ec5ff3fe608060405234801561000f575f5ffd5b506004361061007a575f3560e01c80639611c5c2116100585780639611c5c2146100d6578063b701069714610115578063c5d664c61461013c578063ffa1ad7414610163575f5ffd5b8063284b5dc61461007e5780632dc81c62146100ab57806348fef595146100c1575b5f5ffd5b61009161008c3660046105b2565b61018a565b604080519283526020830191909152015b60405180910390f35b6100b3600581565b6040519081526020016100a2565b6100d46100cf3660046105db565b610340565b005b6100fd7f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b0390911681526020016100a2565b6100fd7f000000000000000000000000000000000000000000000000000000000000000081565b6100fd7f000000000000000000000000000000000000000000000000000000000000000081565b6100b37f000000000000000000000000000000000000000000000000000000000000000081565b604080518082018252600581527f00000000000000000000000000000000000000000000000000000000000000006020820152905160248101859052604481018490525f91829182906102099060640160408051601f198184030181529190526020810180516001600160e01b0316630c7e892d60e31b179052610404565b90506102406001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001633308961049f565b604051631f6d510b60e01b8152825160048201526020830151602482015260448101829052606481018690525f9081906001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001690631f6d510b9060840160408051808303815f875af11580156102bf573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102e39190610610565b604080518b8152602081018b905290810183905260608101829052919350915089907fcb43dda0de11e57048e9d074ae7474446335afc906a0e5789d624fa5422629e39060800160405180910390a2909890975095505050505050565b336001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001614610389576040516333f1b48f60e11b815260040160405180910390fd5b6103bd6001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016838361050c565b816001600160a01b03167f63be20cc905d5ba0cf65db405c4999f99f2575e521875f13a8009d6eed7a09d9826040516103f891815260200190565b60405180910390a25050565b6040805160018082528183019092525f91602082018180368337019050506002836040516104329190610649565b602060405180830381855afa15801561044d573d5f5f3e3d5ffd5b5050506040513d601f19601f82011682018060405250810190610470919061065b565b604051602001610481929190610672565b60405160208183030381529060405261049990610690565b92915050565b6040516001600160a01b0384811660248301528381166044830152606482018390526105069186918216906323b872dd906084015b604051602081830303815290604052915060e01b6020820180516001600160e01b038381831617835250505050610542565b50505050565b6040516001600160a01b0383811660248301526044820183905261053d91859182169063a9059cbb906064016104d4565b505050565b5f5f60205f8451602086015f885af180610561576040513d5f823e3d81fd5b50505f513d91508115610578578060011415610585565b6001600160a01b0384163b155b1561050657604051635274afe760e01b81526001600160a01b038516600482015260240160405180910390fd5b5f5f5f606084860312156105c4575f5ffd5b505081359360208301359350604090920135919050565b5f5f604083850312156105ec575f5ffd5b82356001600160a01b0381168114610602575f5ffd5b946020939093013593505050565b5f5f60408385031215610621575f5ffd5b505080516020909101519092909150565b5f81518060208401855e5f93019283525090919050565b5f6106548284610632565b9392505050565b5f6020828403121561066b575f5ffd5b5051919050565b5f61067d8285610632565b60ff199390931683525050601f01919050565b805160208083015191908110156106b0575f198160200360031b1b821691505b5091905056fea2646970667358221220d5c7102d512a04b714c876d20b090dc0cfa0cfc93930aa195f4e96a9a2048e3664736f6c634300081b0033";
+ */ export const InboxBytecode = "0x610140604052348015610010575f5ffd5b50604051611c30380380611c3083398101604081905261002f91610418565b6001600160a01b03841660805260a082905260e0819052610051816002610554565b61010052604080516060810182525f8082526020820152908101610076600180610566565b6001600160401b03908116909152815160028054602085015160409095015160809390931c6001600160c01b031990911617600160801b94841694909402939093176001600160c01b0316600160c01b91909216021790556100d85f82610184565b6101135f60e0516101005160015f6001806100f39190610566565b6001600160401b0316815260208101919091526040015f2092919061022d565b610120818152505083833060a05160405161012d906103f4565b6001600160a01b0394851681529284166020840152921660408201526060810191909152608001604051809103905ff08015801561016d573d5f5f3e3d5ffd5b506001600160a01b031660c0525061062d92505050565b5f8080526020839052604081205560015b81811161022857610208835f6101ac600185610585565b81526020019081526020015f2054845f015f6001856101cb9190610585565b81526020019081526020015f20546040516020016101f3929190918252602082015260400190565b60408051601f1981840301815291905261032e565b5f828152602085905260409020558061022081610598565b915050610195565b505050565b83545f9080820361024d5750505f82815260208490526040902054610326565b82810361026b5750505f828152600185016020526040902054610326565b5f610277600183610585565b90505f610283826103c9565b5f81815260018a01602052604090205490915082821c825b8881101561031d5760018083161480156102e2575f82815260018d016020908152604091829020548251918201529081018590526102db906060016101f3565b9350610310565b5f82815260208c815260409182902054915161030d926101f392889201918252602082015260400190565b93505b50600191821c910161029b565b50909450505050505b949350505050565b6040805160018082528183019092525f916020820181803683370190505060028360405161035c91906105c7565b602060405180830381855afa158015610377573d5f5f3e3d5ffd5b5050506040513d601f19601f8201168201806040525081019061039a91906105d2565b6040516020016103ab9291906105e9565b6040516020818303038152906040526103c390610607565b92915050565b5f80825b806001166001036103ed57816103e281610598565b92505060011c6103cd565b5092915050565b6107f88061143883390190565b6001600160a01b0381168114610415575f5ffd5b50565b5f5f5f5f6080858703121561042b575f5ffd5b845161043681610401565b602086015190945061044781610401565b6040860151606090960151949790965092505050565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156104ac578085048111156104905761049061045d565b600184161561049e57908102905b60019390931c928002610475565b935093915050565b5f826104c2575060016103c3565b816104ce57505f6103c3565b81600181146104e457600281146104ee5761050a565b60019150506103c3565b60ff8411156104ff576104ff61045d565b50506001821b6103c3565b5060208310610133831016604e8410600b841016171561052d575081810a6103c3565b6105395f198484610471565b805f190482111561054c5761054c61045d565b029392505050565b5f61055f83836104b4565b9392505050565b6001600160401b0381811683821601908111156103c3576103c361045d565b818103818111156103c3576103c361045d565b5f600182016105a9576105a961045d565b5060010190565b5f81518060208401855e5f93019283525090919050565b5f61055f82846105b0565b5f602082840312156105e2575f5ffd5b5051919050565b5f6105f482856105b0565b60ff199390931683525050601f01919050565b80516020808301519190811015610627575f198160200360031b1b821691505b50919050565b60805160a05160c05160e0516101005161012051610d856106b35f395f6107c201525f81816104f4015281816105460152818161081e01526108ce01525f81816107fd01526108ad01525f818161018001528181610228015261059b01525f81816102a3015261032001525f8181610269015281816103fa015261074f0152610d855ff3fe608060405234801561000f575f5ffd5b50600436106100a6575f3560e01c80637a5080221161006e5780637a508022146102075780638ccf6b95146102265780639500ac301461024c5780639611c5c2146102645780639b24b3b01461028b578063ffa1ad741461029e575f5ffd5b80631865c57d146100aa5780631f6d510b146101535780632fb131c81461017b578063483f31ab146101ba5780635fd3c809146101db575b5f5ffd5b610111604080516060810182525f808252602082018190529181019190915250604080516060810182526002546001600160801b0319608082901b1682526001600160401b03600160801b820481166020840152600160c01b909104169181019190915290565b6040805182516001600160801b03191681526020808401516001600160401b039081169183019190915292820151909216908201526060015b60405180910390f35b610166610161366004610bbc565b6102c5565b6040805192835260208301919091520161014a565b6101a27f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b03909116815260200161014a565b6101cd6101c8366004610c33565b610743565b60405190815260200161014a565b600254600160c01b90046001600160401b03165b6040516001600160401b03909116815260200161014a565b6101cd610215366004610c33565b60016020525f908152604090205481565b7f00000000000000000000000000000000000000000000000000000000000000006101a2565b600254600160801b90046001600160401b03166101ef565b6101a27f000000000000000000000000000000000000000000000000000000000000000081565b6101cd610299366004610c33565b610899565b6101cd7f000000000000000000000000000000000000000000000000000000000000000081565b82515f9081907f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000811115610318576040516353bb503760e11b815260040161030f91815260200190565b60405180910390fd5b5060208501517f000000000000000000000000000000000000000000000000000000000000000081811461036857604051632e26721160e21b81526004810192909252602482015260440161030f565b508490507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000008111156103b0576040516311d1480560e21b815260040161030f91815260200190565b50827f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000008111156103f657604051633b379f8b60e21b815260040161030f91815260200190565b505f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316633f47ad066040518163ffffffff1660e01b8152600401602060405180830381865afa158015610454573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104789190610c4a565b1161049657604051630c0a9fb960e11b815260040160405180910390fd5b604080516060810182526002546001600160801b0319608082901b168083526001600160401b03600160801b830481166020808601829052600160c01b9094049091168486018190525f8181526001909452949092208054939491937f00000000000000000000000000000000000000000000000000000000000000000361054057610523600183610c75565b6001600160401b0381165f90815260016020526040902090925090505b80545f907f000000000000000000000000000000000000000000000000000000000000000061057960016001600160401b038716610c94565b6105839190610ca7565b61058d9190610cbe565b90505f336001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146105c657336105c9565b60055b6040805160e0810182526001600160a01b03831660a082019081524660c08301528152602081018f90529081018d9052606081018c9052608081018490529091505f610614826108f8565b9050610620858261097a565b506040516001600160801b031989166020820152603081018290525f9060500160408051601f198184030181528282528051602091820120606084019092526001600160801b031982168352909250810161067c8a6001610c75565b6001600160401b0390811682528981166020928301819052835160028054948601516040968701518516600160c01b026001600160c01b0391909516600160801b026001600160c01b031990961660809390931c9290921794909417169190911790915590518391907fe3afb584bcff3adb9d452d2e1ccbcd4aee164ae2a8cdab637aecf866a53fbb779061072790899086909182526001600160801b031916602082015260400190565b60405180910390a3509d929c50919a5050505050505050505050565b5f336001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000161461078d5760405163e5336a6b60e01b815260040160405180910390fd5b600254600160c01b90046001600160401b03168083106107c05760405163c490199960e01b815260040160405180910390fd5b7f00000000000000000000000000000000000000000000000000000000000000006001841115610845575f848152600160205260408120610842917f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000006109fb565b90505b6001600160401b03821661085a856001610cbe565b036108925761086a826001610c75565b600280546001600160401b0392909216600160c01b026001600160c01b039092169190911790555b9392505050565b5f8181526001602052604081206108f290827f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000006109fb565b92915050565b5f6108f2825f0151836020015184604001518560600151866080015160405160200161096695949392919085516001600160a01b03168152602095860151868201528451604082015293909401516060840152608083019190915260a082015260c081019190915260e00190565b604051602081830303815290604052610afc565b81545f908161098882610b91565b9050835f5b828110156109cb575f818152600188016020908152604091829020548251918201529081018390526109c190606001610966565b915060010161098d565b505f828152600187016020526040812082905586549087906109ec83610cd1565b90915550929695505050505050565b83545f90808203610a1b5750505f82815260208490526040902054610af4565b828103610a395750505f828152600185016020526040902054610af4565b5f610a45600183610c94565b90505f610a5182610b91565b5f81815260018a01602052604090205490915082821c825b88811015610aeb576001808316148015610ab0575f82815260018d01602090815260409182902054825191820152908101859052610aa990606001610966565b9350610ade565b5f82815260208c8152604091829020549151610adb9261096692889201918252602082015260400190565b93505b50600191821c9101610a69565b50909450505050505b949350505050565b6040805160018082528183019092525f9160208201818036833701905050600283604051610b2a9190610d00565b602060405180830381855afa158015610b45573d5f5f3e3d5ffd5b5050506040513d601f19601f82011682018060405250810190610b689190610c4a565b604051602001610b79929190610d0b565b6040516020818303038152906040526108f290610d29565b5f80825b80600116600103610bb55781610baa81610cd1565b92505060011c610b95565b5092915050565b5f5f5f8385036080811215610bcf575f5ffd5b6040811215610bdc575f5ffd5b50604051604081018181106001600160401b0382111715610c0b57634e487b7160e01b5f52604160045260245ffd5b6040908152853582526020808701359083015290969085013595506060909401359392505050565b5f60208284031215610c43575f5ffd5b5035919050565b5f60208284031215610c5a575f5ffd5b5051919050565b634e487b7160e01b5f52601160045260245ffd5b6001600160401b0381811683821601908111156108f2576108f2610c61565b818103818111156108f2576108f2610c61565b80820281158282048414176108f2576108f2610c61565b808201808211156108f2576108f2610c61565b5f60018201610ce257610ce2610c61565b5060010190565b5f81518060208401855e5f93019283525090919050565b5f6108928284610ce9565b5f610d168285610ce9565b60ff199390931683525050601f01919050565b80516020808301519190811015610d49575f198160200360031b1b821691505b5091905056fea2646970667358221220f742dc210192940d27047c0bd3f1cab19bce2a8fafc3867ab98a59a7f24fe49d64736f6c634300081b0033610100604052348015610010575f5ffd5b506040516107f83803806107f883398101604081905261002f91610067565b6001600160a01b0393841660805290831660a052911660c05260e0526100b7565b6001600160a01b0381168114610064575f5ffd5b50565b5f5f5f5f6080858703121561007a575f5ffd5b845161008581610050565b602086015190945061009681610050565b60408601519093506100a781610050565b6060959095015193969295505050565b60805160a05160c05160e0516106ec61010c5f395f8181610168015261019901525f818161014101528181610218015261039601525f818161011a015261027a01525f818160db015261034b01526106ec5ff3fe608060405234801561000f575f5ffd5b506004361061007a575f3560e01c80639611c5c2116100585780639611c5c2146100d6578063b701069714610115578063c5d664c61461013c578063ffa1ad7414610163575f5ffd5b8063284b5dc61461007e5780632dc81c62146100ab57806348fef595146100c1575b5f5ffd5b61009161008c3660046105b2565b61018a565b604080519283526020830191909152015b60405180910390f35b6100b3600581565b6040519081526020016100a2565b6100d46100cf3660046105db565b610340565b005b6100fd7f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b0390911681526020016100a2565b6100fd7f000000000000000000000000000000000000000000000000000000000000000081565b6100fd7f000000000000000000000000000000000000000000000000000000000000000081565b6100b37f000000000000000000000000000000000000000000000000000000000000000081565b604080518082018252600581527f00000000000000000000000000000000000000000000000000000000000000006020820152905160248101859052604481018490525f91829182906102099060640160408051601f198184030181529190526020810180516001600160e01b0316630c7e892d60e31b179052610404565b90506102406001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001633308961049f565b604051631f6d510b60e01b8152825160048201526020830151602482015260448101829052606481018690525f9081906001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001690631f6d510b9060840160408051808303815f875af11580156102bf573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102e39190610610565b604080518b8152602081018b905290810183905260608101829052919350915089907fcb43dda0de11e57048e9d074ae7474446335afc906a0e5789d624fa5422629e39060800160405180910390a2909890975095505050505050565b336001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001614610389576040516333f1b48f60e11b815260040160405180910390fd5b6103bd6001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016838361050c565b816001600160a01b03167f63be20cc905d5ba0cf65db405c4999f99f2575e521875f13a8009d6eed7a09d9826040516103f891815260200190565b60405180910390a25050565b6040805160018082528183019092525f91602082018180368337019050506002836040516104329190610649565b602060405180830381855afa15801561044d573d5f5f3e3d5ffd5b5050506040513d601f19601f82011682018060405250810190610470919061065b565b604051602001610481929190610672565b60405160208183030381529060405261049990610690565b92915050565b6040516001600160a01b0384811660248301528381166044830152606482018390526105069186918216906323b872dd906084015b604051602081830303815290604052915060e01b6020820180516001600160e01b038381831617835250505050610542565b50505050565b6040516001600160a01b0383811660248301526044820183905261053d91859182169063a9059cbb906064016104d4565b505050565b5f5f60205f8451602086015f885af180610561576040513d5f823e3d81fd5b50505f513d91508115610578578060011415610585565b6001600160a01b0384163b155b1561050657604051635274afe760e01b81526001600160a01b038516600482015260240160405180910390fd5b5f5f5f606084860312156105c4575f5ffd5b505081359360208301359350604090920135919050565b5f5f604083850312156105ec575f5ffd5b82356001600160a01b0381168114610602575f5ffd5b946020939093013593505050565b5f5f60408385031215610621575f5ffd5b505080516020909101519092909150565b5f81518060208401855e5f93019283525090919050565b5f6106548284610632565b9392505050565b5f6020828403121561066b575f5ffd5b5051919050565b5f61067d8285610632565b60ff199390931683525050601f01919050565b805160208083015191908110156106b0575f198160200360031b1b821691505b5091905056fea2646970667358221220c87370a29c6590d8717a826b11636e96d24a0fbbfcc731abc78ed34aacebf5cb64736f6c634300081b0033";
 /**
  * Inbox link references.
  */ export const InboxLinkReferences = {};

package/dest/MockVerifierAbi.d.ts

@@ -1525,6 +1525,206 @@ export declare const MockVerifierAbi: readonly [{
         readonly type: "uint256";
         readonly internalType: "Timestamp";
     }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__CommitteeSizeMustBeGreaterThanZero";
+    readonly inputs: readonly [{
+        readonly name: "committeeSize";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__InvalidCommitteeCommitment";
+    readonly inputs: readonly [];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__InvalidCommitteeSize";
+    readonly inputs: readonly [{
+        readonly name: "expected";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }, {
+        readonly name: "actual";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__InvalidEpochIndex";
+    readonly inputs: readonly [{
+        readonly name: "epochIndex";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }, {
+        readonly name: "roundSizeInEpochs";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__InvalidNumberOfCommittees";
+    readonly inputs: readonly [{
+        readonly name: "expected";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }, {
+        readonly name: "actual";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__InvalidQuorumAndRoundSize";
+    readonly inputs: readonly [{
+        readonly name: "quorum";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }, {
+        readonly name: "roundSize";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__InvalidSignature";
+    readonly inputs: readonly [];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__InvalidVoteLength";
+    readonly inputs: readonly [{
+        readonly name: "expected";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }, {
+        readonly name: "actual";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__LifetimeMustBeGreaterThanExecutionDelay";
+    readonly inputs: readonly [{
+        readonly name: "lifetime";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }, {
+        readonly name: "executionDelay";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__LifetimeMustBeLessThanRoundabout";
+    readonly inputs: readonly [{
+        readonly name: "lifetime";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }, {
+        readonly name: "roundabout";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__QuorumMustBeGreaterThanZero";
+    readonly inputs: readonly [];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__RoundAlreadyExecuted";
+    readonly inputs: readonly [{
+        readonly name: "round";
+        readonly type: "uint256";
+        readonly internalType: "SlashRound";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__RoundNotComplete";
+    readonly inputs: readonly [{
+        readonly name: "round";
+        readonly type: "uint256";
+        readonly internalType: "SlashRound";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__RoundOutOfRange";
+    readonly inputs: readonly [{
+        readonly name: "round";
+        readonly type: "uint256";
+        readonly internalType: "SlashRound";
+    }, {
+        readonly name: "currentRound";
+        readonly type: "uint256";
+        readonly internalType: "SlashRound";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__RoundSizeInEpochsMustBeGreaterThanZero";
+    readonly inputs: readonly [{
+        readonly name: "roundSizeInEpochs";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__RoundSizeMustBeMultipleOfEpochDuration";
+    readonly inputs: readonly [{
+        readonly name: "roundSize";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }, {
+        readonly name: "epochDuration";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__RoundSizeTooLarge";
+    readonly inputs: readonly [{
+        readonly name: "roundSize";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }, {
+        readonly name: "maxRoundSize";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__SlashAmountTooLarge";
+    readonly inputs: readonly [];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__SlashOffsetMustBeGreaterThanZero";
+    readonly inputs: readonly [{
+        readonly name: "slashOffset";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__SlashingUnitMustBeGreaterThanZero";
+    readonly inputs: readonly [{
+        readonly name: "slashingUnit";
+        readonly type: "uint256";
+        readonly internalType: "uint256";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__VoteAlreadyCastInCurrentSlot";
+    readonly inputs: readonly [{
+        readonly name: "slot";
+        readonly type: "uint256";
+        readonly internalType: "Slot";
+    }];
+}, {
+    readonly type: "error";
+    readonly name: "TallySlashingProposer__VotingNotOpen";
+    readonly inputs: readonly [{
+        readonly name: "currentRound";
+        readonly type: "uint256";
+        readonly internalType: "SlashRound";
+    }];
 }, {
     readonly type: "error";
     readonly name: "ValidatorSelection__EpochNotSetup";

package/dest/MockVerifierAbi.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"MockVerifierAbi.d.ts","sourceRoot":"","sources":["../src/MockVerifierAbi.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAmnElB,CAAC"}
+{"version":3,"file":"MockVerifierAbi.d.ts","sourceRoot":"","sources":["../src/MockVerifierAbi.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA+3ElB,CAAC"}