example-fhe-voting/out/Counter.sol/Counter.json

{"abi":[{"type":"function","name":"add","inputs":[{"name":"encryptedValue","type":"tuple","internalType":"struct Euint32","components":[{"name":"ctHash","type":"uint256","internalType":"uint256"},{"name":"securityZone","type":"uint8","internalType":"uint8"},{"name":"utype","type":"uint8","internalType":"uint8"},{"name":"signature","type":"bytes","internalType":"bytes"}]}],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"getCounter","inputs":[{"name":"sealingKey","type":"bytes32","internalType":"bytes32"}],"outputs":[{"name":"","type":"bytes","internalType":"bytes"}],"stateMutability":"view"},{"type":"error","name":"InvalidEncryptedInput","inputs":[{"name":"got","type":"uint8","internalType":"uint8"},{"name":"expected","type":"uint8","internalType":"uint8"}]},{"type":"error","name":"SecurityZoneOutOfBounds","inputs":[{"name":"value","type":"int32","internalType":"int32"}]}],"bytecode":{"object":"0x6080604052348015600e575f5ffd5b50610e2a8061001c5f395ff3fe608060405234801561000f575f5ffd5b5060043610610034575f3560e01c8063836e09011461003857806384ff25c614610068575b5f5ffd5b610052600480360381019061004d91906106d6565b610084565b60405161005f9190610771565b60405180910390f35b610082600480360381019061007d91906107b3565b610098565b005b60606100915f54836100c1565b9050919050565b5f6100ab826100a690610a28565b6100f2565b90506100b85f5482610165565b5f819055505050565b60605f83905080836040516020016100da929190610a58565b60405160208183030381529060405291505092915050565b5f5f600490508060ff16836040015160ff161461014c578260400151816040517f67cf3071000000000000000000000000000000000000000000000000000000008152600401610143929190610a8e565b60405180910390fd5b61015d610158846101ae565b6101f0565b915050919050565b5f61016f83610287565b61017f5761017c5f610298565b92505b61018882610287565b610198576101955f610298565b91505b6101a66004848460086102aa565b905092915050565b6101b6610667565b6040518060800160405280835f01518152602001836020015160ff168152602001600460ff16815260200183606001518152509050919050565b5f73020000000000000000000000000000000000008073ffffffffffffffffffffffffffffffffffffffff166327f9c76283336040518363ffffffff1660e01b8152600401610240929190610bba565b6020604051808303815f875af115801561025c573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102809190610bfc565b9050919050565b5f61029182610399565b9050919050565b5f6102a3825f6103a5565b9050919050565b5f73020000000000000000000000000000000000008073ffffffffffffffffffffffffffffffffffffffff16631888debd86846102e788886103bf565b5f67ffffffffffffffff811115610301576103006107fe565b5b60405190808252806020026020018201604052801561032f5781602001602082028036833780820191505090505b506040518563ffffffff1660e01b815260040161034f9493929190610d42565b6020604051808303815f875af115801561036b573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061038f9190610bfc565b9050949350505050565b5f5f8214159050919050565b5f5f6103b384600485610459565b90508091505092915050565b60605f600267ffffffffffffffff8111156103dd576103dc6107fe565b5b60405190808252806020026020018201604052801561040b5781602001602082028036833780820191505090505b50905083815f8151811061042257610421610d93565b5b602002602001018181525050828160018151811061044357610442610d93565b5b6020026020010181815250508091505092915050565b5f73020000000000000000000000000000000000008073ffffffffffffffffffffffffffffffffffffffff16631888debd84601a5f67ffffffffffffffff8111156104a7576104a66107fe565b5b6040519080825280602002602001820160405280156104d55781602001602082028036833780820191505090505b506104ec898960ff166104e78a610554565b6105ab565b6040518563ffffffff1660e01b815260040161050b9493929190610d42565b6020604051808303815f875af1158015610527573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061054b9190610bfc565b90509392505050565b5f5f8260030b121561059d57816040517f8f568bf80000000000000000000000000000000000000000000000000000000081526004016105949190610ddb565b60405180910390fd5b8163ffffffff169050919050565b60605f600367ffffffffffffffff8111156105c9576105c86107fe565b5b6040519080825280602002602001820160405280156105f75781602001602082028036833780820191505090505b50905084815f8151811061060e5761060d610d93565b5b602002602001018181525050838160018151811061062f5761062e610d93565b5b60200260200101818152505082816002815181106106505761064f610d93565b5b602002602001018181525050809150509392505050565b60405180608001604052805f81526020015f60ff1681526020015f60ff168152602001606081525090565b5f604051905090565b5f5ffd5b5f5ffd5b5f819050919050565b6106b5816106a3565b81146106bf575f5ffd5b50565b5f813590506106d0816106ac565b92915050565b5f602082840312156106eb576106ea61069b565b5b5f6106f8848285016106c2565b91505092915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f61074382610701565b61074d818561070b565b935061075d81856020860161071b565b61076681610729565b840191505092915050565b5f6020820190508181035f8301526107898184610739565b905092915050565b5f5ffd5b5f608082840312156107aa576107a9610791565b5b81905092915050565b5f602082840312156107c8576107c761069b565b5b5f82013567ffffffffffffffff8111156107e5576107e461069f565b5b6107f184828501610795565b91505092915050565b5f5ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b61083482610729565b810181811067ffffffffffffffff82111715610853576108526107fe565b5b80604052505050565b5f610865610692565b9050610871828261082b565b919050565b5f5ffd5b5f819050919050565b61088c8161087a565b8114610896575f5ffd5b50565b5f813590506108a781610883565b92915050565b5f60ff82169050919050565b6108c2816108ad565b81146108cc575f5ffd5b50565b5f813590506108dd816108b9565b92915050565b5f5ffd5b5f5ffd5b5f67ffffffffffffffff821115610905576109046107fe565b5b61090e82610729565b9050602081019050919050565b828183375f83830152505050565b5f61093b610936846108eb565b61085c565b905082815260208101848484011115610957576109566108e7565b5b61096284828561091b565b509392505050565b5f82601f83011261097e5761097d6108e3565b5b813561098e848260208601610929565b91505092915050565b5f608082840312156109ac576109ab6107fa565b5b6109b6608061085c565b90505f6109c584828501610899565b5f8301525060206109d8848285016108cf565b60208301525060406109ec848285016108cf565b604083015250606082013567ffffffffffffffff811115610a1057610a0f610876565b5b610a1c8482850161096a565b60608301525092915050565b5f610a333683610997565b9050919050565b610a438161087a565b82525050565b610a52816106a3565b82525050565b5f604082019050610a6b5f830185610a3a565b610a786020830184610a49565b9392505050565b610a88816108ad565b82525050565b5f604082019050610aa15f830185610a7f565b610aae6020830184610a7f565b9392505050565b610abe8161087a565b82525050565b610acd816108ad565b82525050565b5f82825260208201905092915050565b5f610aed82610701565b610af78185610ad3565b9350610b0781856020860161071b565b610b1081610729565b840191505092915050565b5f608083015f830151610b305f860182610ab5565b506020830151610b436020860182610ac4565b506040830151610b566040860182610ac4565b5060608301518482036060860152610b6e8282610ae3565b9150508091505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610ba482610b7b565b9050919050565b610bb481610b9a565b82525050565b5f6040820190508181035f830152610bd28185610b1b565b9050610be16020830184610bab565b9392505050565b5f81519050610bf681610883565b92915050565b5f60208284031215610c1157610c1061069b565b5b5f610c1e84828501610be8565b91505092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602160045260245ffd5b60208110610c6557610c64610c27565b5b50565b5f819050610c7582610c54565b919050565b5f610c8482610c68565b9050919050565b610c9481610c7a565b82525050565b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b5f610cce8383610ab5565b60208301905092915050565b5f602082019050919050565b5f610cf082610c9a565b610cfa8185610ca4565b9350610d0583610cb4565b805f5b83811015610d35578151610d1c8882610cc3565b9750610d2783610cda565b925050600181019050610d08565b5085935050505092915050565b5f608082019050610d555f830187610a7f565b610d626020830186610c8b565b8181036040830152610d748185610ce6565b90508181036060830152610d888184610ce6565b905095945050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f8160030b9050919050565b610dd581610dc0565b82525050565b5f602082019050610dee5f830184610dcc565b9291505056fea2646970667358221220247e0766ee956f6623281778584d9b50167d22f06139e8eab68d08b397c326cb64736f6c634300081b0033","sourceMap":"197:353:0:-:0;;;;;;;;;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x608060405234801561000f575f5ffd5b5060043610610034575f3560e01c8063836e09011461003857806384ff25c614610068575b5f5ffd5b610052600480360381019061004d91906106d6565b610084565b60405161005f9190610771565b60405180910390f35b610082600480360381019061007d91906107b3565b610098565b005b60606100915f54836100c1565b9050919050565b5f6100ab826100a690610a28565b6100f2565b90506100b85f5482610165565b5f819055505050565b60605f83905080836040516020016100da929190610a58565b60405160208183030381529060405291505092915050565b5f5f600490508060ff16836040015160ff161461014c578260400151816040517f67cf3071000000000000000000000000000000000000000000000000000000008152600401610143929190610a8e565b60405180910390fd5b61015d610158846101ae565b6101f0565b915050919050565b5f61016f83610287565b61017f5761017c5f610298565b92505b61018882610287565b610198576101955f610298565b91505b6101a66004848460086102aa565b905092915050565b6101b6610667565b6040518060800160405280835f01518152602001836020015160ff168152602001600460ff16815260200183606001518152509050919050565b5f73020000000000000000000000000000000000008073ffffffffffffffffffffffffffffffffffffffff166327f9c76283336040518363ffffffff1660e01b8152600401610240929190610bba565b6020604051808303815f875af115801561025c573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102809190610bfc565b9050919050565b5f61029182610399565b9050919050565b5f6102a3825f6103a5565b9050919050565b5f73020000000000000000000000000000000000008073ffffffffffffffffffffffffffffffffffffffff16631888debd86846102e788886103bf565b5f67ffffffffffffffff811115610301576103006107fe565b5b60405190808252806020026020018201604052801561032f5781602001602082028036833780820191505090505b506040518563ffffffff1660e01b815260040161034f9493929190610d42565b6020604051808303815f875af115801561036b573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061038f9190610bfc565b9050949350505050565b5f5f8214159050919050565b5f5f6103b384600485610459565b90508091505092915050565b60605f600267ffffffffffffffff8111156103dd576103dc6107fe565b5b60405190808252806020026020018201604052801561040b5781602001602082028036833780820191505090505b50905083815f8151811061042257610421610d93565b5b602002602001018181525050828160018151811061044357610442610d93565b5b6020026020010181815250508091505092915050565b5f73020000000000000000000000000000000000008073ffffffffffffffffffffffffffffffffffffffff16631888debd84601a5f67ffffffffffffffff8111156104a7576104a66107fe565b5b6040519080825280602002602001820160405280156104d55781602001602082028036833780820191505090505b506104ec898960ff166104e78a610554565b6105ab565b6040518563ffffffff1660e01b815260040161050b9493929190610d42565b6020604051808303815f875af1158015610527573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061054b9190610bfc565b90509392505050565b5f5f8260030b121561059d57816040517f8f568bf80000000000000000000000000000000000000000000000000000000081526004016105949190610ddb565b60405180910390fd5b8163ffffffff169050919050565b60605f600367ffffffffffffffff8111156105c9576105c86107fe565b5b6040519080825280602002602001820160405280156105f75781602001602082028036833780820191505090505b50905084815f8151811061060e5761060d610d93565b5b602002602001018181525050838160018151811061062f5761062e610d93565b5b60200260200101818152505082816002815181106106505761064f610d93565b5b602002602001018181525050809150509392505050565b60405180608001604052805f81526020015f60ff1681526020015f60ff168152602001606081525090565b5f604051905090565b5f5ffd5b5f5ffd5b5f819050919050565b6106b5816106a3565b81146106bf575f5ffd5b50565b5f813590506106d0816106ac565b92915050565b5f602082840312156106eb576106ea61069b565b5b5f6106f8848285016106c2565b91505092915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f61074382610701565b61074d818561070b565b935061075d81856020860161071b565b61076681610729565b840191505092915050565b5f6020820190508181035f8301526107898184610739565b905092915050565b5f5ffd5b5f608082840312156107aa576107a9610791565b5b81905092915050565b5f602082840312156107c8576107c761069b565b5b5f82013567ffffffffffffffff8111156107e5576107e461069f565b5b6107f184828501610795565b91505092915050565b5f5ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b61083482610729565b810181811067ffffffffffffffff82111715610853576108526107fe565b5b80604052505050565b5f610865610692565b9050610871828261082b565b919050565b5f5ffd5b5f819050919050565b61088c8161087a565b8114610896575f5ffd5b50565b5f813590506108a781610883565b92915050565b5f60ff82169050919050565b6108c2816108ad565b81146108cc575f5ffd5b50565b5f813590506108dd816108b9565b92915050565b5f5ffd5b5f5ffd5b5f67ffffffffffffffff821115610905576109046107fe565b5b61090e82610729565b9050602081019050919050565b828183375f83830152505050565b5f61093b610936846108eb565b61085c565b905082815260208101848484011115610957576109566108e7565b5b61096284828561091b565b509392505050565b5f82601f83011261097e5761097d6108e3565b5b813561098e848260208601610929565b91505092915050565b5f608082840312156109ac576109ab6107fa565b5b6109b6608061085c565b90505f6109c584828501610899565b5f8301525060206109d8848285016108cf565b60208301525060406109ec848285016108cf565b604083015250606082013567ffffffffffffffff811115610a1057610a0f610876565b5b610a1c8482850161096a565b60608301525092915050565b5f610a333683610997565b9050919050565b610a438161087a565b82525050565b610a52816106a3565b82525050565b5f604082019050610a6b5f830185610a3a565b610a786020830184610a49565b9392505050565b610a88816108ad565b82525050565b5f604082019050610aa15f830185610a7f565b610aae6020830184610a7f565b9392505050565b610abe8161087a565b82525050565b610acd816108ad565b82525050565b5f82825260208201905092915050565b5f610aed82610701565b610af78185610ad3565b9350610b0781856020860161071b565b610b1081610729565b840191505092915050565b5f608083015f830151610b305f860182610ab5565b506020830151610b436020860182610ac4565b506040830151610b566040860182610ac4565b5060608301518482036060860152610b6e8282610ae3565b9150508091505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610ba482610b7b565b9050919050565b610bb481610b9a565b82525050565b5f6040820190508181035f830152610bd28185610b1b565b9050610be16020830184610bab565b9392505050565b5f81519050610bf681610883565b92915050565b5f60208284031215610c1157610c1061069b565b5b5f610c1e84828501610be8565b91505092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602160045260245ffd5b60208110610c6557610c64610c27565b5b50565b5f819050610c7582610c54565b919050565b5f610c8482610c68565b9050919050565b610c9481610c7a565b82525050565b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b5f610cce8383610ab5565b60208301905092915050565b5f602082019050919050565b5f610cf082610c9a565b610cfa8185610ca4565b9350610d0583610cb4565b805f5b83811015610d35578151610d1c8882610cc3565b9750610d2783610cda565b925050600181019050610d08565b5085935050505092915050565b5f608082019050610d555f830187610a7f565b610d626020830186610c8b565b8181036040830152610d748185610ce6565b90508181036060830152610d888184610ce6565b905095945050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f8160030b9050919050565b610dd581610dc0565b82525050565b5f602082019050610dee5f830184610dcc565b9291505056fea2646970667358221220247e0766ee956f6623281778584d9b50167d22f06139e8eab68d08b397c326cb64736f6c634300081b0033","sourceMap":"197:353:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;414:134;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;250:158;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;414:134;475:12;506:35;521:7;;530:10;506:14;:35::i;:::-;499:42;;414:134;;;:::o;250:158::-;313:13;329:29;343:14;329:29;;;:::i;:::-;:13;:29::i;:::-;313:45;;378:23;386:7;;395:5;378:7;:23::i;:::-;368:7;:33;;;;303:105;250:158;:::o;154592:190:2:-;154670:12;154694;154724:5;154694:36;;154758:4;154764:10;154747:28;;;;;;;;;:::i;:::-;;;;;;;;;;;;;154740:35;;;154592:190;;;;:::o;115527:335::-;115586:7;115605:19;7770:1:6;115605:40:2;;115674:13;115659:28;;:5;:11;;;:28;;;115655:115;;115732:5;:11;;;115745:13;115710:49;;;;;;;;;;;;:::i;:::-;;;;;;;;115655:115;115801:53;115824:29;115847:5;115824:22;:29::i;:::-;115801:22;:53::i;:::-;115781:74;;;115527:335;;;:::o;5596:342::-;5653:7;5677:12;5685:3;5677:7;:12::i;:::-;5672:62;;5711:12;5721:1;5711:9;:12::i;:::-;5705:18;;5672:62;5748:12;5756:3;5748:7;:12::i;:::-;5743:62;;5782:12;5792:1;5782:9;:12::i;:::-;5776:18;;5743:62;5835:95;7770:1:6;5888:3:2;5909;5915:14;5835:17;:95::i;:::-;5815:116;;5596:342;;;;:::o;10682:297:6:-;10753:21;;:::i;:::-;10793:179;;;;;;;;10830:5;:12;;;10793:179;;;;10870:5;:18;;;10793:179;;;;;;7770:1;10793:179;;;;;;10946:5;:15;;;10793:179;;;10786:186;;10682:297;;;:::o;5059:165:4:-;5127:7;745:42:5;5153:45:4;;;5199:5;5206:10;5153:64;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5146:71;;5059:165;;;:::o;2075:110:2:-;2125:4;2140:42;2179:1;2140:23;:42::i;:::-;2133:49;;2075:110;;;:::o;127894:104::-;127946:7;127972:19;127982:5;127989:1;127972:9;:19::i;:::-;127965:26;;127894:104;;;:::o;2614:319:4:-;2715:7;745:42:5;2741:44:4;;;2799:10;2823;2847:39;2877:3;2882;2847:29;:39::i;:::-;2914:1;2900:16;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2741:185;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2734:192;;2614:319;;;;;;:::o;1020:99:3:-;1080:4;1111:1;1103:4;:9;;1096:16;;1020:99;;;:::o;128225:210:2:-;128297:7;128316:10;128329:66;128355:5;7770:1:6;128382:12:2;128329:25;:66::i;:::-;128316:79;;128425:2;128405:23;;;128225:210;;;;:::o;1440:240:3:-;1524:16;1552:23;1592:1;1578:16;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1552:42;;1616:6;1604;1611:1;1604:9;;;;;;;;:::i;:::-;;;;;;;:18;;;;;1644:6;1632;1639:1;1632:9;;;;;;;;:::i;:::-;;;;;;;:18;;;;;1667:6;1660:13;;;1440:240;;;;:::o;743:372:4:-;834:7;745:42:5;860:44:4;;;918:6;938:25;991:1;977:16;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1007:91;1037:5;1044:6;1007:91;;1052:45;1084:12;1052:31;:45::i;:::-;1007:29;:91::i;:::-;860:248;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;853:255;;743:372;;;;;:::o;629:208:3:-;696:7;727:1;719:5;:9;;;715:77;;;775:5;751:30;;;;;;;;;;;:::i;:::-;;;;;;;;715:77;823:5;808:22;;801:29;;629:208;;;:::o;1745:284::-;1845:16;1873:23;1913:1;1899:16;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1873:42;;1937:6;1925;1932:1;1925:9;;;;;;;;:::i;:::-;;;;;;;:18;;;;;1965:6;1953;1960:1;1953:9;;;;;;;;:::i;:::-;;;;;;;:18;;;;;1993:6;1981;1988:1;1981:9;;;;;;;;:::i;:::-;;;;;;;:18;;;;;2016:6;2009:13;;;1745:284;;;;;:::o;-1:-1:-1:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;7:75:7:-;40:6;73:2;67:9;57:19;;7:75;:::o;88:117::-;197:1;194;187:12;211:117;320:1;317;310:12;334:77;371:7;400:5;389:16;;334:77;;;:::o;417:122::-;490:24;508:5;490:24;:::i;:::-;483:5;480:35;470:63;;529:1;526;519:12;470:63;417:122;:::o;545:139::-;591:5;629:6;616:20;607:29;;645:33;672:5;645:33;:::i;:::-;545:139;;;;:::o;690:329::-;749:6;798:2;786:9;777:7;773:23;769:32;766:119;;;804:79;;:::i;:::-;766:119;924:1;949:53;994:7;985:6;974:9;970:22;949:53;:::i;:::-;939:63;;895:117;690:329;;;;:::o;1025:98::-;1076:6;1110:5;1104:12;1094:22;;1025:98;;;:::o;1129:168::-;1212:11;1246:6;1241:3;1234:19;1286:4;1281:3;1277:14;1262:29;;1129:168;;;;:::o;1303:139::-;1392:6;1387:3;1382;1376:23;1433:1;1424:6;1419:3;1415:16;1408:27;1303:139;;;:::o;1448:102::-;1489:6;1540:2;1536:7;1531:2;1524:5;1520:14;1516:28;1506:38;;1448:102;;;:::o;1556:373::-;1642:3;1670:38;1702:5;1670:38;:::i;:::-;1724:70;1787:6;1782:3;1724:70;:::i;:::-;1717:77;;1803:65;1861:6;1856:3;1849:4;1842:5;1838:16;1803:65;:::i;:::-;1893:29;1915:6;1893:29;:::i;:::-;1888:3;1884:39;1877:46;;1646:283;1556:373;;;;:::o;1935:309::-;2046:4;2084:2;2073:9;2069:18;2061:26;;2133:9;2127:4;2123:20;2119:1;2108:9;2104:17;2097:47;2161:76;2232:4;2223:6;2161:76;:::i;:::-;2153:84;;1935:309;;;;:::o;2250:117::-;2359:1;2356;2349:12;2395:233;2469:5;2510:3;2501:6;2496:3;2492:16;2488:26;2485:113;;;2517:79;;:::i;:::-;2485:113;2616:6;2607:15;;2395:233;;;;:::o;2634:545::-;2721:6;2770:2;2758:9;2749:7;2745:23;2741:32;2738:119;;;2776:79;;:::i;:::-;2738:119;2924:1;2913:9;2909:17;2896:31;2954:18;2946:6;2943:30;2940:117;;;2976:79;;:::i;:::-;2940:117;3081:81;3154:7;3145:6;3134:9;3130:22;3081:81;:::i;:::-;3071:91;;2867:305;2634:545;;;;:::o;3185:117::-;3294:1;3291;3284:12;3308:180;3356:77;3353:1;3346:88;3453:4;3450:1;3443:15;3477:4;3474:1;3467:15;3494:281;3577:27;3599:4;3577:27;:::i;:::-;3569:6;3565:40;3707:6;3695:10;3692:22;3671:18;3659:10;3656:34;3653:62;3650:88;;;3718:18;;:::i;:::-;3650:88;3758:10;3754:2;3747:22;3537:238;3494:281;;:::o;3781:129::-;3815:6;3842:20;;:::i;:::-;3832:30;;3871:33;3899:4;3891:6;3871:33;:::i;:::-;3781:129;;;:::o;3916:117::-;4025:1;4022;4015:12;4039:77;4076:7;4105:5;4094:16;;4039:77;;;:::o;4122:122::-;4195:24;4213:5;4195:24;:::i;:::-;4188:5;4185:35;4175:63;;4234:1;4231;4224:12;4175:63;4122:122;:::o;4250:139::-;4296:5;4334:6;4321:20;4312:29;;4350:33;4377:5;4350:33;:::i;:::-;4250:139;;;;:::o;4395:86::-;4430:7;4470:4;4463:5;4459:16;4448:27;;4395:86;;;:::o;4487:118::-;4558:22;4574:5;4558:22;:::i;:::-;4551:5;4548:33;4538:61;;4595:1;4592;4585:12;4538:61;4487:118;:::o;4611:135::-;4655:5;4693:6;4680:20;4671:29;;4709:31;4734:5;4709:31;:::i;:::-;4611:135;;;;:::o;4752:117::-;4861:1;4858;4851:12;4875:117;4984:1;4981;4974:12;4998:307;5059:4;5149:18;5141:6;5138:30;5135:56;;;5171:18;;:::i;:::-;5135:56;5209:29;5231:6;5209:29;:::i;:::-;5201:37;;5293:4;5287;5283:15;5275:23;;4998:307;;;:::o;5311:148::-;5409:6;5404:3;5399;5386:30;5450:1;5441:6;5436:3;5432:16;5425:27;5311:148;;;:::o;5465:423::-;5542:5;5567:65;5583:48;5624:6;5583:48;:::i;:::-;5567:65;:::i;:::-;5558:74;;5655:6;5648:5;5641:21;5693:4;5686:5;5682:16;5731:3;5722:6;5717:3;5713:16;5710:25;5707:112;;;5738:79;;:::i;:::-;5707:112;5828:54;5875:6;5870:3;5865;5828:54;:::i;:::-;5548:340;5465:423;;;;;:::o;5907:338::-;5962:5;6011:3;6004:4;5996:6;5992:17;5988:27;5978:122;;6019:79;;:::i;:::-;5978:122;6136:6;6123:20;6161:78;6235:3;6227:6;6220:4;6212:6;6208:17;6161:78;:::i;:::-;6152:87;;5968:277;5907:338;;;;:::o;6273:1078::-;6348:5;6392:4;6380:9;6375:3;6371:19;6367:30;6364:117;;;6400:79;;:::i;:::-;6364:117;6499:21;6515:4;6499:21;:::i;:::-;6490:30;;6581:1;6621:49;6666:3;6657:6;6646:9;6642:22;6621:49;:::i;:::-;6614:4;6607:5;6603:16;6596:75;6530:152;6749:2;6790:47;6833:3;6824:6;6813:9;6809:22;6790:47;:::i;:::-;6783:4;6776:5;6772:16;6765:73;6692:157;6909:2;6950:47;6993:3;6984:6;6973:9;6969:22;6950:47;:::i;:::-;6943:4;6936:5;6932:16;6925:73;6859:150;7101:2;7090:9;7086:18;7073:32;7132:18;7124:6;7121:30;7118:117;;;7154:79;;:::i;:::-;7118:117;7274:58;7328:3;7319:6;7308:9;7304:22;7274:58;:::i;:::-;7267:4;7260:5;7256:16;7249:84;7019:325;6273:1078;;;;:::o;7357:214::-;7461:9;7495:69;7549:14;7542:5;7495:69;:::i;:::-;7482:82;;7357:214;;;:::o;7577:118::-;7664:24;7682:5;7664:24;:::i;:::-;7659:3;7652:37;7577:118;;:::o;7701:::-;7788:24;7806:5;7788:24;:::i;:::-;7783:3;7776:37;7701:118;;:::o;7825:332::-;7946:4;7984:2;7973:9;7969:18;7961:26;;7997:71;8065:1;8054:9;8050:17;8041:6;7997:71;:::i;:::-;8078:72;8146:2;8135:9;8131:18;8122:6;8078:72;:::i;:::-;7825:332;;;;;:::o;8163:112::-;8246:22;8262:5;8246:22;:::i;:::-;8241:3;8234:35;8163:112;;:::o;8281:316::-;8394:4;8432:2;8421:9;8417:18;8409:26;;8445:67;8509:1;8498:9;8494:17;8485:6;8445:67;:::i;:::-;8522:68;8586:2;8575:9;8571:18;8562:6;8522:68;:::i;:::-;8281:316;;;;;:::o;8603:108::-;8680:24;8698:5;8680:24;:::i;:::-;8675:3;8668:37;8603:108;;:::o;8717:102::-;8790:22;8806:5;8790:22;:::i;:::-;8785:3;8778:35;8717:102;;:::o;8825:158::-;8898:11;8932:6;8927:3;8920:19;8972:4;8967:3;8963:14;8948:29;;8825:158;;;;:::o;8989:353::-;9065:3;9093:38;9125:5;9093:38;:::i;:::-;9147:60;9200:6;9195:3;9147:60;:::i;:::-;9140:67;;9216:65;9274:6;9269:3;9262:4;9255:5;9251:16;9216:65;:::i;:::-;9306:29;9328:6;9306:29;:::i;:::-;9301:3;9297:39;9290:46;;9069:273;8989:353;;;;:::o;9402:976::-;9537:3;9573:4;9568:3;9564:14;9662:4;9655:5;9651:16;9645:23;9681:63;9738:4;9733:3;9729:14;9715:12;9681:63;:::i;:::-;9588:166;9844:4;9837:5;9833:16;9827:23;9863:59;9916:4;9911:3;9907:14;9893:12;9863:59;:::i;:::-;9764:168;10015:4;10008:5;10004:16;9998:23;10034:59;10087:4;10082:3;10078:14;10064:12;10034:59;:::i;:::-;9942:161;10190:4;10183:5;10179:16;10173:23;10243:3;10237:4;10233:14;10226:4;10221:3;10217:14;10210:38;10269:71;10335:4;10321:12;10269:71;:::i;:::-;10261:79;;10113:238;10368:4;10361:11;;9542:836;9402:976;;;;:::o;10384:126::-;10421:7;10461:42;10454:5;10450:54;10439:65;;10384:126;;;:::o;10516:96::-;10553:7;10582:24;10600:5;10582:24;:::i;:::-;10571:35;;10516:96;;;:::o;10618:118::-;10705:24;10723:5;10705:24;:::i;:::-;10700:3;10693:37;10618:118;;:::o;10742:515::-;10929:4;10967:2;10956:9;10952:18;10944:26;;11016:9;11010:4;11006:20;11002:1;10991:9;10987:17;10980:47;11044:124;11163:4;11154:6;11044:124;:::i;:::-;11036:132;;11178:72;11246:2;11235:9;11231:18;11222:6;11178:72;:::i;:::-;10742:515;;;;;:::o;11263:143::-;11320:5;11351:6;11345:13;11336:22;;11367:33;11394:5;11367:33;:::i;:::-;11263:143;;;;:::o;11412:351::-;11482:6;11531:2;11519:9;11510:7;11506:23;11502:32;11499:119;;;11537:79;;:::i;:::-;11499:119;11657:1;11682:64;11738:7;11729:6;11718:9;11714:22;11682:64;:::i;:::-;11672:74;;11628:128;11412:351;;;;:::o;11769:180::-;11817:77;11814:1;11807:88;11914:4;11911:1;11904:15;11938:4;11935:1;11928:15;11955:122;12044:2;12037:5;12034:13;12024:47;;12051:18;;:::i;:::-;12024:47;11955:122;:::o;12083:143::-;12136:7;12165:5;12154:16;;12171:49;12214:5;12171:49;:::i;:::-;12083:143;;;:::o;12232:::-;12296:9;12329:40;12363:5;12329:40;:::i;:::-;12316:53;;12232:143;;;:::o;12381:159::-;12482:51;12527:5;12482:51;:::i;:::-;12477:3;12470:64;12381:159;;:::o;12546:114::-;12613:6;12647:5;12641:12;12631:22;;12546:114;;;:::o;12666:184::-;12765:11;12799:6;12794:3;12787:19;12839:4;12834:3;12830:14;12815:29;;12666:184;;;;:::o;12856:132::-;12923:4;12946:3;12938:11;;12976:4;12971:3;12967:14;12959:22;;12856:132;;;:::o;12994:179::-;13063:10;13084:46;13126:3;13118:6;13084:46;:::i;:::-;13162:4;13157:3;13153:14;13139:28;;12994:179;;;;:::o;13179:113::-;13249:4;13281;13276:3;13272:14;13264:22;;13179:113;;;:::o;13328:732::-;13447:3;13476:54;13524:5;13476:54;:::i;:::-;13546:86;13625:6;13620:3;13546:86;:::i;:::-;13539:93;;13656:56;13706:5;13656:56;:::i;:::-;13735:7;13766:1;13751:284;13776:6;13773:1;13770:13;13751:284;;;13852:6;13846:13;13879:63;13938:3;13923:13;13879:63;:::i;:::-;13872:70;;13965:60;14018:6;13965:60;:::i;:::-;13955:70;;13811:224;13798:1;13795;13791:9;13786:14;;13751:284;;;13755:14;14051:3;14044:10;;13452:608;;;13328:732;;;;:::o;14066:875::-;14353:4;14391:3;14380:9;14376:19;14368:27;;14405:67;14469:1;14458:9;14454:17;14445:6;14405:67;:::i;:::-;14482:86;14564:2;14553:9;14549:18;14540:6;14482:86;:::i;:::-;14615:9;14609:4;14605:20;14600:2;14589:9;14585:18;14578:48;14643:108;14746:4;14737:6;14643:108;:::i;:::-;14635:116;;14798:9;14792:4;14788:20;14783:2;14772:9;14768:18;14761:48;14826:108;14929:4;14920:6;14826:108;:::i;:::-;14818:116;;14066:875;;;;;;;:::o;14947:180::-;14995:77;14992:1;14985:88;15092:4;15089:1;15082:15;15116:4;15113:1;15106:15;15133:90;15168:7;15211:5;15208:1;15197:20;15186:31;;15133:90;;;:::o;15229:112::-;15312:22;15328:5;15312:22;:::i;:::-;15307:3;15300:35;15229:112;;:::o;15347:214::-;15436:4;15474:2;15463:9;15459:18;15451:26;;15487:67;15551:1;15540:9;15536:17;15527:6;15487:67;:::i;:::-;15347:214;;;;:::o","linkReferences":{}},"methodIdentifiers":{"add((uint256,uint8,uint8,bytes))":"84ff25c6","getCounter(bytes32)":"836e0901"},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.27+commit.40a35a09\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[{\"internalType\":\"uint8\",\"name\":\"got\",\"type\":\"uint8\"},{\"internalType\":\"uint8\",\"name\":\"expected\",\"type\":\"uint8\"}],\"name\":\"InvalidEncryptedInput\",\"type\":\"error\"},{\"inputs\":[{\"internalType\":\"int32\",\"name\":\"value\",\"type\":\"int32\"}],\"name\":\"SecurityZoneOutOfBounds\",\"type\":\"error\"},{\"inputs\":[{\"components\":[{\"internalType\":\"uint256\",\"name\":\"ctHash\",\"type\":\"uint256\"},{\"internalType\":\"uint8\",\"name\":\"securityZone\",\"type\":\"uint8\"},{\"internalType\":\"uint8\",\"name\":\"utype\",\"type\":\"uint8\"},{\"internalType\":\"bytes\",\"name\":\"signature\",\"type\":\"bytes\"}],\"internalType\":\"struct Euint32\",\"name\":\"encryptedValue\",\"type\":\"tuple\"}],\"name\":\"add\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"bytes32\",\"name\":\"sealingKey\",\"type\":\"bytes32\"}],\"name\":\"getCounter\",\"outputs\":[{\"internalType\":\"bytes\",\"name\":\"\",\"type\":\"bytes\"}],\"stateMutability\":\"view\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"contracts/Counter.sol\":\"Counter\"},\"evmVersion\":\"cancun\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":false,\"runs\":200},\"remappings\":[\":@luxfi/contracts/=node_modules/@luxfi/contracts/\",\":@openzeppelin/contracts/=node_modules/@openzeppelin/contracts/\",\":eth-gas-reporter/=node_modules/eth-gas-reporter/\",\":hardhat-deploy/=node_modules/hardhat-deploy/\",\":hardhat/=node_modules/hardhat/\"]},\"sources\":{\"contracts/Counter.sol\":{\"keccak256\":\"0xea6b29f9d3cf9ccec3903a191a70bd99f5aa0710be2f7af16d87b512310dd095\",\"license\":\"BSD-3-Clause-Clear\",\"urls\":[\"bzz-raw://38d9df4ce828744a22d126f57484b6de152955bd3fc47939d72213b362e84d9a\",\"dweb:/ipfs/Qmd9cvMkfE2cA8emSeqFWrMDMZE1J7MdgmGNeCktMhGbf6\"]},\"node_modules/@luxfi/contracts/fhe/FHE.sol\":{\"keccak256\":\"0xa23998a8d39f62962df308163685e1efd5120e2204b74e20188e6144123d5424\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://c031db6aa4df5d66a45f07a789eece0675d8c8ecf87f34cdf6f1641cd750a6e9\",\"dweb:/ipfs/QmWJvZjkPAo8VrPpFQGCvvt4yqiX3tRLBFteYHj2qMtTqn\"]},\"node_modules/@luxfi/contracts/fhe/FHECommon.sol\":{\"keccak256\":\"0xb6e8e21a662629948f1b7ed86b847876f2f91059f35747a704a3ef0cd8d29c01\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://d76a878fa2af0597bdd79c85eb13736c6cc31137cb3da5f70d2512dc29b61d37\",\"dweb:/ipfs/QmXaaPiZkcDbZhqoW87mXuHgsvuXZfwxkrx48WMUBjhVFY\"]},\"node_modules/@luxfi/contracts/fhe/FHENetwork.sol\":{\"keccak256\":\"0x942a1bdad358f6e410e9713069e03876ee17434ae262fc725d6ccc978fdff337\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://888d85d302d90b4b0ad8ca529c27b0fec8aabcb46aedc4b314bc506a1b80682f\",\"dweb:/ipfs/QmTMWn1dF96KxZyNrpDUFDjafFqN2x9eDhcSpAWUqJhwbF\"]},\"node_modules/@luxfi/contracts/fhe/FHETypes.sol\":{\"keccak256\":\"0xc011b88033bd7ea040641926afd5a6df60180bb180d5fd46f835f127223cd445\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://838082044b5750417ba392770fd03b22c1709db6da79ce1572fecbab5503e264\",\"dweb:/ipfs/QmZGoP3XFmXxEaB5xh2nbBNst46ZmfuMWfpDVaZTeHZbhn\"]},\"node_modules/@luxfi/contracts/fhe/IFHE.sol\":{\"keccak256\":\"0x399d058a146a945053860ed404ca6b864b97e75ab253e14bd9b43c3a1a73bbb4\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://8a7ae39b1701425c3946d12021818fb6474ad1de01c9af9c36a1b7df021264cc\",\"dweb:/ipfs/Qmc6qnbLTZQuAoxeyy7iWtCGynQVA3bqyEL4qsbtrfqP3y\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.27+commit.40a35a09"},"language":"Solidity","output":{"abi":[{"inputs":[{"internalType":"uint8","name":"got","type":"uint8"},{"internalType":"uint8","name":"expected","type":"uint8"}],"type":"error","name":"InvalidEncryptedInput"},{"inputs":[{"internalType":"int32","name":"value","type":"int32"}],"type":"error","name":"SecurityZoneOutOfBounds"},{"inputs":[{"internalType":"struct Euint32","name":"encryptedValue","type":"tuple","components":[{"internalType":"uint256","name":"ctHash","type":"uint256"},{"internalType":"uint8","name":"securityZone","type":"uint8"},{"internalType":"uint8","name":"utype","type":"uint8"},{"internalType":"bytes","name":"signature","type":"bytes"}]}],"stateMutability":"nonpayable","type":"function","name":"add"},{"inputs":[{"internalType":"bytes32","name":"sealingKey","type":"bytes32"}],"stateMutability":"view","type":"function","name":"getCounter","outputs":[{"internalType":"bytes","name":"","type":"bytes"}]}],"devdoc":{"kind":"dev","methods":{},"version":1},"userdoc":{"kind":"user","methods":{},"version":1}},"settings":{"remappings":["@luxfi/contracts/=node_modules/@luxfi/contracts/","@openzeppelin/contracts/=node_modules/@openzeppelin/contracts/","eth-gas-reporter/=node_modules/eth-gas-reporter/","hardhat-deploy/=node_modules/hardhat-deploy/","hardhat/=node_modules/hardhat/"],"optimizer":{"enabled":false,"runs":200},"metadata":{"bytecodeHash":"ipfs"},"compilationTarget":{"contracts/Counter.sol":"Counter"},"evmVersion":"cancun","libraries":{}},"sources":{"contracts/Counter.sol":{"keccak256":"0xea6b29f9d3cf9ccec3903a191a70bd99f5aa0710be2f7af16d87b512310dd095","urls":["bzz-raw://38d9df4ce828744a22d126f57484b6de152955bd3fc47939d72213b362e84d9a","dweb:/ipfs/Qmd9cvMkfE2cA8emSeqFWrMDMZE1J7MdgmGNeCktMhGbf6"],"license":"BSD-3-Clause-Clear"},"node_modules/@luxfi/contracts/fhe/FHE.sol":{"keccak256":"0xa23998a8d39f62962df308163685e1efd5120e2204b74e20188e6144123d5424","urls":["bzz-raw://c031db6aa4df5d66a45f07a789eece0675d8c8ecf87f34cdf6f1641cd750a6e9","dweb:/ipfs/QmWJvZjkPAo8VrPpFQGCvvt4yqiX3tRLBFteYHj2qMtTqn"],"license":"MIT"},"node_modules/@luxfi/contracts/fhe/FHECommon.sol":{"keccak256":"0xb6e8e21a662629948f1b7ed86b847876f2f91059f35747a704a3ef0cd8d29c01","urls":["bzz-raw://d76a878fa2af0597bdd79c85eb13736c6cc31137cb3da5f70d2512dc29b61d37","dweb:/ipfs/QmXaaPiZkcDbZhqoW87mXuHgsvuXZfwxkrx48WMUBjhVFY"],"license":"MIT"},"node_modules/@luxfi/contracts/fhe/FHENetwork.sol":{"keccak256":"0x942a1bdad358f6e410e9713069e03876ee17434ae262fc725d6ccc978fdff337","urls":["bzz-raw://888d85d302d90b4b0ad8ca529c27b0fec8aabcb46aedc4b314bc506a1b80682f","dweb:/ipfs/QmTMWn1dF96KxZyNrpDUFDjafFqN2x9eDhcSpAWUqJhwbF"],"license":"MIT"},"node_modules/@luxfi/contracts/fhe/FHETypes.sol":{"keccak256":"0xc011b88033bd7ea040641926afd5a6df60180bb180d5fd46f835f127223cd445","urls":["bzz-raw://838082044b5750417ba392770fd03b22c1709db6da79ce1572fecbab5503e264","dweb:/ipfs/QmZGoP3XFmXxEaB5xh2nbBNst46ZmfuMWfpDVaZTeHZbhn"],"license":"MIT"},"node_modules/@luxfi/contracts/fhe/IFHE.sol":{"keccak256":"0x399d058a146a945053860ed404ca6b864b97e75ab253e14bd9b43c3a1a73bbb4","urls":["bzz-raw://8a7ae39b1701425c3946d12021818fb6474ad1de01c9af9c36a1b7df021264cc","dweb:/ipfs/Qmc6qnbLTZQuAoxeyy7iWtCGynQVA3bqyEL4qsbtrfqP3y"],"license":"MIT"}},"version":1},"id":0}