{ "contractName": "RSASHA256Algorithm", "abi": [ { "constant": true, "inputs": [ { "name": "key", "type": "bytes" }, { "name": "data", "type": "bytes" }, { "name": "sig", "type": "bytes" } ], "name": "verify", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "view", "type": "function" } ], "bytecode": "0x608060405234801561001057600080fd5b506109fd806100206000396000f3fe608060405260043610610041576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff168063de8f50a114610046575b600080fd5b34801561005257600080fd5b506101746004803603606081101561006957600080fd5b810190808035906020019064010000000081111561008657600080fd5b82018360208201111561009857600080fd5b803590602001918460018302840111640100000000831117156100ba57600080fd5b9091929391929390803590602001906401000000008111156100db57600080fd5b8201836020820111156100ed57600080fd5b8035906020019184600183028401116401000000008311171561010f57600080fd5b90919293919293908035906020019064010000000081111561013057600080fd5b82018360208201111561014257600080fd5b8035906020019184600183028401116401000000008311171561016457600080fd5b909192939192939050505061018e565b604051808215151515815260200191505060405180910390f35b600060608060006101ed60048b8b8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050506104e590919063ffffffff16565b60ff16905060008161ffff161415156102d35761025e60058261ffff168c8c8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505061056b9092919063ffffffff16565b92506102cc6005820161ffff1660058361ffff168d8d905003038c8c8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505061056b9092919063ffffffff16565b91506103fc565b61032b60058b8b8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050506105e090919063ffffffff16565b905061038b60078261ffff168c8c8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505061056b9092919063ffffffff16565b92506103f96007820161ffff1660078361ffff168d8d905003038c8c8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505061056b9092919063ffffffff16565b91505b6000606061044f84868a8a8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050610608565b80925081935050508180156104d4575061047660208251038261062390919063ffffffff16565b60028b8b604051808383808284378083019250505092505050602060405180830381855afa1580156104ac573d6000803e3d6000fd5b5050506040513d60208110156104c157600080fd5b8101908080519060200190929190505050145b955050505050509695505050505050565b600082828151811015156104f557fe5b9060200101517f010000000000000000000000000000000000000000000000000000000000000090047f0100000000000000000000000000000000000000000000000000000000000000027f01000000000000000000000000000000000000000000000000000000000000009004905092915050565b606083518284011115151561057f57600080fd5b6060826040519080825280601f01601f1916602001820160405280156105b45781602001600182028038833980820191505090505b50905060008060208301915085602088010190506105d3828287610647565b8293505050509392505050565b6000825160028301111515156105f557600080fd5b61ffff8260028501015116905092915050565b60006060610617838587610692565b91509150935093915050565b60008251602083011115151561063857600080fd5b81602084010151905092915050565b5b60208110151561066d5781518352602083019250602082019150602081039050610648565b60006001826020036101000a0390508019835116818551168181178652505050505050565b600060606000835185518751606001010190506106ad6109b7565b6106c0828261079890919063ffffffff16565b506106d88751600102826107ef90919063ffffffff16565b506106f08651600102826107ef90919063ffffffff16565b506107088551600102826107ef90919063ffffffff16565b5061071c878261081190919063ffffffff16565b50610730868261081190919063ffffffff16565b50610744858261081190919063ffffffff16565b5084516040519080825280601f01601f1916602001820160405280156107795781602001600182028038833980820191505090505b50925084516020840183602084510160055afa93505050935093915050565b6107a06109b7565b60006020838115156107ae57fe5b061415156107cb576020828115156107c257fe5b06602003820191505b81836020018181525050604051808452600081528281016040525082905092915050565b6107f76109b7565b61080983846000015151846020610833565b905092915050565b6108196109b7565b61082b838460000151518485516108b3565b905092915050565b61083b6109b7565b846020015184830111156108645761086385600261085d886020015186610977565b02610993565b5b60006001836101000a0390508260200360080284908060020a8204915050935085518386820101858319825116178152815185880111156108a55784870182525b505085915050949350505050565b6108bb6109b7565b825182111515156108cb57600080fd5b84602001518560000151518386010111156108fd576108fc8560026108f68860200151888701610977565b02610993565b5b60008086518051876020830101935080888701111561091c5787860182525b60208701925050505b60208410151561094a5780518252602082019150602081019050602084039350610925565b60006001856020036101000a03905080198251168184511681811785525050879350505050949350505050565b6000818311156109895782905061098d565b8190505b92915050565b6060826000015190506109a68383610798565b506109b18382610811565b50505050565b60408051908101604052806060815260200160008152509056fea165627a7a723058206dc76edb1cffd463fa9608946e5dfbd74234c745b25ec5cb36e693bc035c43290029", "deployedBytecode": "0x608060405260043610610041576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff168063de8f50a114610046575b600080fd5b34801561005257600080fd5b506101746004803603606081101561006957600080fd5b810190808035906020019064010000000081111561008657600080fd5b82018360208201111561009857600080fd5b803590602001918460018302840111640100000000831117156100ba57600080fd5b9091929391929390803590602001906401000000008111156100db57600080fd5b8201836020820111156100ed57600080fd5b8035906020019184600183028401116401000000008311171561010f57600080fd5b90919293919293908035906020019064010000000081111561013057600080fd5b82018360208201111561014257600080fd5b8035906020019184600183028401116401000000008311171561016457600080fd5b909192939192939050505061018e565b604051808215151515815260200191505060405180910390f35b600060608060006101ed60048b8b8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050506104e590919063ffffffff16565b60ff16905060008161ffff161415156102d35761025e60058261ffff168c8c8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505061056b9092919063ffffffff16565b92506102cc6005820161ffff1660058361ffff168d8d905003038c8c8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505061056b9092919063ffffffff16565b91506103fc565b61032b60058b8b8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050506105e090919063ffffffff16565b905061038b60078261ffff168c8c8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505061056b9092919063ffffffff16565b92506103f96007820161ffff1660078361ffff168d8d905003038c8c8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505061056b9092919063ffffffff16565b91505b6000606061044f84868a8a8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050610608565b80925081935050508180156104d4575061047660208251038261062390919063ffffffff16565b60028b8b604051808383808284378083019250505092505050602060405180830381855afa1580156104ac573d6000803e3d6000fd5b5050506040513d60208110156104c157600080fd5b8101908080519060200190929190505050145b955050505050509695505050505050565b600082828151811015156104f557fe5b9060200101517f010000000000000000000000000000000000000000000000000000000000000090047f0100000000000000000000000000000000000000000000000000000000000000027f01000000000000000000000000000000000000000000000000000000000000009004905092915050565b606083518284011115151561057f57600080fd5b6060826040519080825280601f01601f1916602001820160405280156105b45781602001600182028038833980820191505090505b50905060008060208301915085602088010190506105d3828287610647565b8293505050509392505050565b6000825160028301111515156105f557600080fd5b61ffff8260028501015116905092915050565b60006060610617838587610692565b91509150935093915050565b60008251602083011115151561063857600080fd5b81602084010151905092915050565b5b60208110151561066d5781518352602083019250602082019150602081039050610648565b60006001826020036101000a0390508019835116818551168181178652505050505050565b600060606000835185518751606001010190506106ad6109b7565b6106c0828261079890919063ffffffff16565b506106d88751600102826107ef90919063ffffffff16565b506106f08651600102826107ef90919063ffffffff16565b506107088551600102826107ef90919063ffffffff16565b5061071c878261081190919063ffffffff16565b50610730868261081190919063ffffffff16565b50610744858261081190919063ffffffff16565b5084516040519080825280601f01601f1916602001820160405280156107795781602001600182028038833980820191505090505b50925084516020840183602084510160055afa93505050935093915050565b6107a06109b7565b60006020838115156107ae57fe5b061415156107cb576020828115156107c257fe5b06602003820191505b81836020018181525050604051808452600081528281016040525082905092915050565b6107f76109b7565b61080983846000015151846020610833565b905092915050565b6108196109b7565b61082b838460000151518485516108b3565b905092915050565b61083b6109b7565b846020015184830111156108645761086385600261085d886020015186610977565b02610993565b5b60006001836101000a0390508260200360080284908060020a8204915050935085518386820101858319825116178152815185880111156108a55784870182525b505085915050949350505050565b6108bb6109b7565b825182111515156108cb57600080fd5b84602001518560000151518386010111156108fd576108fc8560026108f68860200151888701610977565b02610993565b5b60008086518051876020830101935080888701111561091c5787860182525b60208701925050505b60208410151561094a5780518252602082019150602081019050602084039350610925565b60006001856020036101000a03905080198251168184511681811785525050879350505050949350505050565b6000818311156109895782905061098d565b8190505b92915050565b6060826000015190506109a68383610798565b506109b18382610811565b50505050565b60408051908101604052806060815260200160008152509056fea165627a7a723058206dc76edb1cffd463fa9608946e5dfbd74234c745b25ec5cb36e693bc035c43290029", "sourceMap": "164:984:10:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;164:984:10;;;;;;;", "deployedSourceMap": "164:984:10:-;;;;;;;;;;;;;;;;;;;;;;;;240:906;;8:9:-1;5:2;;;30:1;27;20:12;5:2;240:906:10;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;240:906:10;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;240:906:10;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;240:906:10;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;240:906:10;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;240:906:10;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;240:906:10;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;240:906:10;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;240:906:10;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;240:906:10;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;240:906:10;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;340:4;356:21;387:20;418:18;446:16;460:1;446:3;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;446:13:10;;;;;;;;:16;;;;:::i;:::-;439:24;;418:45;;492:1;477:11;:16;;;;473:371;;;520:29;534:1;537:11;520:29;;:3;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;520:13:10;;;;;;;;:29;;;;;:::i;:::-;509:40;;573:60;601:1;587:11;:15;573:60;;631:1;617:11;604:24;;:3;;:10;;:24;:28;573:3;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;573:13:10;;;;;;;;:60;;;;;:::i;:::-;563:70;;473:371;;;678:17;693:1;678:3;;:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;678:14:10;;;;;;;;:17;;;;:::i;:::-;664:31;;720:29;734:1;737:11;720:29;;:3;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;720:13:10;;;;;;;;:29;;;;;:::i;:::-;709:40;;773:60;801:1;787:11;:15;773:60;;831:1;817:11;804:24;;:3;;:10;;:24;:28;773:3;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;773:13:10;;;;;;;;:60;;;;;:::i;:::-;763:70;;473:371;904:7;921:19;965:44;986:7;995:8;1005:3;;965:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;965:44:10;;;;;;:20;:44::i;:::-;950:59;;;;;;;;1079:2;:60;;;;;1101:38;1136:2;1120:6;:13;:18;1101:6;:18;;:38;;;;:::i;:::-;1085:12;1092:4;;1085:12;;;;;30:3:-1;22:6;14;1:33;57:3;49:6;45:16;35:26;;1085:12:10;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;1085:12:10;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1085:12:10;;;;;;;;;;;;;;;;:54;1079:60;1072:67;;;;;;;240:906;;;;;;;;:::o;5331:122:0:-;5402:9;5436:4;5441:3;5436:9;;;;;;;;;;;;;;;;;;;;5430:16;;;5423:23;;5331:122;;;;:::o;8683:393::-;8766:12;8814:4;:11;8807:3;8798:6;:12;:27;;8790:36;;;;;;;;8837:16;8866:3;8856:14;;;;;;;;;;;;;;;;;;;;;;;;;29:1:-1;21:6;17:14;116:4;104:10;96:6;87:34;147:4;139:6;135:17;125:27;;0:156;8856:14:0;;;;8837:33;;8880:9;8899:8;8958:2;8953:3;8949:12;8941:20;;9000:6;8995:2;8989:4;8985:13;8981:26;8974:33;;9026:22;9033:4;9039:3;9044;9026:6;:22::i;:::-;9066:3;9059:10;;;;;8683:393;;;;;:::o;5697:223::-;5769:10;5810:4;:11;5805:1;5799:3;:7;:22;;5791:31;;;;;;;;5897:6;5890:3;5886:1;5880:4;5876:12;5872:22;5866:29;5862:42;5855:49;;5841:73;;;;:::o;378:167:11:-;469:4;475:12;506:32;530:1;533;536;506:23;:32::i;:::-;499:39;;;;378:167;;;;;;:::o;6609:214:0:-;6682:11;6725:4;:11;6719:2;6713:3;:8;:23;;6705:32;;;;;;;;6802:3;6797:2;6791:4;6787:13;6783:23;6777:30;6770:37;;6756:61;;;;:::o;7914:549::-;8034:165;8048:2;8041:3;:9;;8034:165;;;8123:3;8117:10;8111:4;8104:24;8163:2;8155:10;;;;8186:2;8179:9;;;;8059:2;8052:9;;;;8034:165;;;8241:9;8273:1;8266:3;8261:2;:8;8253:3;:17;:21;8241:33;;8342:4;8338:9;8332:3;8326:10;8322:26;8394:4;8387;8381:11;8377:22;8438:7;8428:8;8425:21;8419:4;8412:35;8293:164;;;;;;:::o;214:720:8:-;317:12;331:19;362:9;417:7;:14;399:8;:15;385:4;:11;375:6;374:22;:40;:57;362:69;;442:26;;:::i;:::-;478:16;489:4;478:5;:10;;:16;;;;:::i;:::-;;505:41;533:4;:11;525:20;;505:5;:19;;:41;;;;:::i;:::-;;556:45;584:8;:15;576:24;;556:5;:19;;:45;;;;:::i;:::-;;611:44;639:7;:14;631:23;;611:5;:19;;:44;;;;:::i;:::-;;665:18;678:4;665:5;:12;;:18;;;;:::i;:::-;;693:22;706:8;693:5;:12;;:22;;;;:::i;:::-;;725:21;738:7;725:5;:12;;:21;;;;:::i;:::-;;776:7;:14;766:25;;;;;;;;;;;;;;;;;;;;;;;;;29:1:-1;21:6;17:14;116:4;104:10;96:6;87:34;147:4;139:6;135:17;125:27;;0:156;766:25:8;;;;757:34;;909:7;903:14;898:2;890:6;886:15;880:4;875:2;867:5;861:12;857:21;854:1;847:5;836:82;825:93;;811:117;;;;;;;;:::o;978:446:18:-;1048:13;;:::i;:::-;1094:1;1088:2;1077:8;:13;;;;;;;;:18;;1073:81;;;1140:2;1129:8;:13;;;;;;;;1123:2;:20;1111:32;;;;1073:81;1224:8;1209:3;:12;;:23;;;;;1282:4;1276:11;1312:3;1307;1300:16;1341:1;1336:3;1329:14;1378:8;1373:3;1369:18;1363:4;1356:32;1251:147;1414:3;1407:10;;978:446;;;;:::o;8900:154::-;8979:13;;:::i;:::-;9011:36;9017:3;9022;:7;;;:14;9038:4;9044:2;9011:5;:36::i;:::-;9004:43;;8900:154;;;;:::o;4954:161::-;5031:13;;:::i;:::-;5063:45;5069:3;5074;:7;;;:14;5090:4;5096;:11;5063:5;:45::i;:::-;5056:52;;4954:161;;;;:::o;6927:810::-;7016:13;;:::i;:::-;7057:3;:12;;;7051:3;7045;:9;:24;7041:94;;;7085:39;7092:3;7122:1;7097:22;7101:3;:12;;;7115:3;7097;:22::i;:::-;:26;7085:6;:39::i;:::-;7041:94;7145:9;7170:1;7164:3;7157;:10;:14;7145:26;;7235:3;7230:2;:8;7225:1;:14;7216:4;:24;52:12:-1;49:1;45:20;29:14;25:41;7:59;;7216:24:18;7209:31;;7342:3;7336:10;7469:3;7463;7455:6;7451:16;7447:26;7531:4;7523;7519:9;7512:4;7506:11;7502:27;7499:37;7493:4;7486:51;7631:6;7625:13;7619:3;7614;7610:13;7607:32;7604:2;;;7682:3;7677;7673:13;7665:6;7658:29;7604:2;7259:452;;7727:3;7720:10;;;6927:810;;;;;;:::o;2866:1343::-;2961:13;;:::i;:::-;3001:4;:11;2994:3;:18;;2986:27;;;;;;;;3057:3;:12;;;3040:3;:7;;;:14;3034:3;3028;:9;:26;:41;3024:117;;;3085:45;3092:3;3128:1;3097:28;3101:3;:12;;;3121:3;3115;:9;3097:3;:28::i;:::-;:32;3085:6;:45::i;:::-;3024:117;3151:9;3170:8;3280:3;3274:10;3363:6;3357:13;3491:3;3486:2;3478:6;3474:15;3470:25;3462:33;;3587:6;3581:3;3576;3572:13;3569:25;3566:2;;;3637:3;3632;3628:13;3620:6;3613:29;3566:2;3686;3680:4;3676:13;3669:20;;3197:502;;3759:165;3773:2;3766:3;:9;;3759:165;;;3848:3;3842:10;3836:4;3829:24;3888:2;3880:10;;;;3911:2;3904:9;;;;3784:2;3777:9;;;;3759:165;;;3966:9;3998:1;3991:3;3986:2;:8;3978:3;:17;:21;3966:33;;4067:4;4063:9;4057:3;4051:10;4047:26;4119:4;4112;4106:11;4102:22;4163:7;4153:8;4150:21;4144:4;4137:35;4018:164;;4199:3;4192:10;;;;;2866:1343;;;;;;:::o;2026:134::-;2076:4;2100:1;2096;:5;2092:44;;;2124:1;2117:8;;;;2092:44;2152:1;2145:8;;2026:134;;;;;:::o;1853:167::-;1926:19;1948:3;:7;;;1926:29;;1965:19;1970:3;1975:8;1965:4;:19::i;:::-;;1994;2001:3;2006:6;1994;:19::i;:::-;;1853:167;;;:::o;164:984:10:-;;;;;;;;;;;;;;;;;;;;:::o", "source": "pragma solidity >0.4.23;\n\nimport \"./Algorithm.sol\";\nimport \"../BytesUtils.sol\";\nimport \"./RSAVerify.sol\";\n\n/**\n* @dev Implements the DNSSEC RSASHA256 algorithm.\n*/\ncontract RSASHA256Algorithm is Algorithm {\n using BytesUtils for *;\n\n function verify(bytes calldata key, bytes calldata data, bytes calldata sig) external view returns (bool) {\n bytes memory exponent;\n bytes memory modulus;\n\n uint16 exponentLen = uint16(key.readUint8(4));\n if (exponentLen != 0) {\n exponent = key.substring(5, exponentLen);\n modulus = key.substring(exponentLen + 5, key.length - exponentLen - 5);\n } else {\n exponentLen = key.readUint16(5);\n exponent = key.substring(7, exponentLen);\n modulus = key.substring(exponentLen + 7, key.length - exponentLen - 7);\n }\n\n // Recover the message from the signature\n bool ok;\n bytes memory result;\n (ok, result) = RSAVerify.rsarecover(modulus, exponent, sig);\n\n // Verify it ends with the hash of our data\n return ok && sha256(data) == result.readBytes32(result.length - 32);\n }\n}\n", "sourcePath": "/home/user/Dropbox/projects/enssec/contracts/algorithms/RSASHA256Algorithm.sol", "ast": { "absolutePath": "/home/user/Dropbox/projects/enssec/contracts/algorithms/RSASHA256Algorithm.sol", "exportedSymbols": { "RSASHA256Algorithm": [ 3501 ] }, "id": 3502, "nodeType": "SourceUnit", "nodes": [ { "id": 3376, "literals": [ "solidity", ">", "0.4", ".23" ], "nodeType": "PragmaDirective", "src": "0:24:10" }, { "absolutePath": "/home/user/Dropbox/projects/enssec/contracts/algorithms/Algorithm.sol", "file": "./Algorithm.sol", "id": 3377, "nodeType": "ImportDirective", "scope": 3502, "sourceUnit": 3125, "src": "26:25:10", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "/home/user/Dropbox/projects/enssec/contracts/BytesUtils.sol", "file": "../BytesUtils.sol", "id": 3378, "nodeType": "ImportDirective", "scope": 3502, "sourceUnit": 721, "src": "52:27:10", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "/home/user/Dropbox/projects/enssec/contracts/algorithms/RSAVerify.sol", "file": "./RSAVerify.sol", "id": 3379, "nodeType": "ImportDirective", "scope": 3502, "sourceUnit": 3528, "src": "80:25:10", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 3380, "name": "Algorithm", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 3124, "src": "195:9:10", "typeDescriptions": { "typeIdentifier": "t_contract$_Algorithm_$3124", "typeString": "contract Algorithm" } }, "id": 3381, "nodeType": "InheritanceSpecifier", "src": "195:9:10" } ], "contractDependencies": [ 3124 ], "contractKind": "contract", "documentation": "@dev Implements the DNSSEC RSASHA256 algorithm.", "fullyImplemented": true, "id": 3501, "linearizedBaseContracts": [ 3501, 3124 ], "name": "RSASHA256Algorithm", "nodeType": "ContractDefinition", "nodes": [ { "id": 3383, "libraryName": { "contractScope": null, "id": 3382, "name": "BytesUtils", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 720, "src": "217:10:10", "typeDescriptions": { "typeIdentifier": "t_contract$_BytesUtils_$720", "typeString": "library BytesUtils" } }, "nodeType": "UsingForDirective", "src": "211:23:10", "typeName": null }, { "body": { "id": 3499, "nodeType": "Block", "src": "346:800:10", "statements": [ { "assignments": [ 3395 ], "declarations": [ { "constant": false, "id": 3395, "name": "exponent", "nodeType": "VariableDeclaration", "scope": 3499, "src": "356:21:10", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 3394, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "356:5:10", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" } ], "id": 3396, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "356:21:10" }, { "assignments": [ 3398 ], "declarations": [ { "constant": false, "id": 3398, "name": "modulus", "nodeType": "VariableDeclaration", "scope": 3499, "src": "387:20:10", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 3397, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "387:5:10", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" } ], "id": 3399, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "387:20:10" }, { "assignments": [ 3401 ], "declarations": [ { "constant": false, "id": 3401, "name": "exponentLen", "nodeType": "VariableDeclaration", "scope": 3499, "src": "418:18:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" }, "typeName": { "id": 3400, "name": "uint16", "nodeType": "ElementaryTypeName", "src": "418:6:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, "value": null, "visibility": "internal" } ], "id": 3408, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "34", "id": 3405, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "460:1:10", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" }, "value": "4" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" } ], "expression": { "argumentTypes": null, "id": 3403, "name": "key", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3385, "src": "446:3:10", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } }, "id": 3404, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "readUint8", "nodeType": "MemberAccess", "referencedDeclaration": 306, "src": "446:13:10", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes_memory_ptr_$_t_uint256_$returns$_t_uint8_$bound_to$_t_bytes_memory_ptr_$", "typeString": "function (bytes memory,uint256) pure returns (uint8)" } }, "id": 3406, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "446:16:10", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint8", "typeString": "uint8" } ], "id": 3402, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "439:6:10", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint16_$", "typeString": "type(uint16)" }, "typeName": "uint16" }, "id": 3407, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "439:24:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, "nodeType": "VariableDeclarationStatement", "src": "418:45:10" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint16", "typeString": "uint16" }, "id": 3411, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3409, "name": "exponentLen", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3401, "src": "477:11:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 3410, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "492:1:10", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "477:16:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 3466, "nodeType": "Block", "src": "650:194:10", "statements": [ { "expression": { "argumentTypes": null, "id": 3441, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 3436, "name": "exponentLen", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3401, "src": "664:11:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "35", "id": 3439, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "693:1:10", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_5_by_1", "typeString": "int_const 5" }, "value": "5" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_5_by_1", "typeString": "int_const 5" } ], "expression": { "argumentTypes": null, "id": 3437, "name": "key", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3385, "src": "678:3:10", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } }, "id": 3438, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "readUint16", "nodeType": "MemberAccess", "referencedDeclaration": 326, "src": "678:14:10", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes_memory_ptr_$_t_uint256_$returns$_t_uint16_$bound_to$_t_bytes_memory_ptr_$", "typeString": "function (bytes memory,uint256) pure returns (uint16)" } }, "id": 3440, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "678:17:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, "src": "664:31:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, "id": 3442, "nodeType": "ExpressionStatement", "src": "664:31:10" }, { "expression": { "argumentTypes": null, "id": 3449, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 3443, "name": "exponent", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3395, "src": "709:8:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "37", "id": 3446, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "734:1:10", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_7_by_1", "typeString": "int_const 7" }, "value": "7" }, { "argumentTypes": null, "id": 3447, "name": "exponentLen", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3401, "src": "737:11:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_7_by_1", "typeString": "int_const 7" }, { "typeIdentifier": "t_uint16", "typeString": "uint16" } ], "expression": { "argumentTypes": null, "id": 3444, "name": "key", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3385, "src": "720:3:10", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } }, "id": 3445, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "substring", "nodeType": "MemberAccess", "referencedDeclaration": 497, "src": "720:13:10", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes_memory_ptr_$_t_uint256_$_t_uint256_$returns$_t_bytes_memory_ptr_$bound_to$_t_bytes_memory_ptr_$", "typeString": "function (bytes memory,uint256,uint256) pure returns (bytes memory)" } }, "id": 3448, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "720:29:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "src": "709:40:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3450, "nodeType": "ExpressionStatement", "src": "709:40:10" }, { "expression": { "argumentTypes": null, "id": 3464, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 3451, "name": "modulus", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3398, "src": "763:7:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint16", "typeString": "uint16" }, "id": 3456, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3454, "name": "exponentLen", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3401, "src": "787:11:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "hexValue": "37", "id": 3455, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "801:1:10", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_7_by_1", "typeString": "int_const 7" }, "value": "7" }, "src": "787:15:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3462, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3460, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3457, "name": "key", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3385, "src": "804:3:10", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } }, "id": 3458, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "804:10:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 3459, "name": "exponentLen", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3401, "src": "817:11:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, "src": "804:24:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "37", "id": 3461, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "831:1:10", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_7_by_1", "typeString": "int_const 7" }, "value": "7" }, "src": "804:28:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint16", "typeString": "uint16" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 3452, "name": "key", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3385, "src": "773:3:10", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } }, "id": 3453, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "substring", "nodeType": "MemberAccess", "referencedDeclaration": 497, "src": "773:13:10", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes_memory_ptr_$_t_uint256_$_t_uint256_$returns$_t_bytes_memory_ptr_$bound_to$_t_bytes_memory_ptr_$", "typeString": "function (bytes memory,uint256,uint256) pure returns (bytes memory)" } }, "id": 3463, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "773:60:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "src": "763:70:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3465, "nodeType": "ExpressionStatement", "src": "763:70:10" } ] }, "id": 3467, "nodeType": "IfStatement", "src": "473:371:10", "trueBody": { "id": 3435, "nodeType": "Block", "src": "495:149:10", "statements": [ { "expression": { "argumentTypes": null, "id": 3418, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 3412, "name": "exponent", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3395, "src": "509:8:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "35", "id": 3415, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "534:1:10", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_5_by_1", "typeString": "int_const 5" }, "value": "5" }, { "argumentTypes": null, "id": 3416, "name": "exponentLen", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3401, "src": "537:11:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_5_by_1", "typeString": "int_const 5" }, { "typeIdentifier": "t_uint16", "typeString": "uint16" } ], "expression": { "argumentTypes": null, "id": 3413, "name": "key", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3385, "src": "520:3:10", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } }, "id": 3414, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "substring", "nodeType": "MemberAccess", "referencedDeclaration": 497, "src": "520:13:10", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes_memory_ptr_$_t_uint256_$_t_uint256_$returns$_t_bytes_memory_ptr_$bound_to$_t_bytes_memory_ptr_$", "typeString": "function (bytes memory,uint256,uint256) pure returns (bytes memory)" } }, "id": 3417, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "520:29:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "src": "509:40:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3419, "nodeType": "ExpressionStatement", "src": "509:40:10" }, { "expression": { "argumentTypes": null, "id": 3433, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 3420, "name": "modulus", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3398, "src": "563:7:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint16", "typeString": "uint16" }, "id": 3425, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3423, "name": "exponentLen", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3401, "src": "587:11:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "hexValue": "35", "id": 3424, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "601:1:10", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_5_by_1", "typeString": "int_const 5" }, "value": "5" }, "src": "587:15:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3431, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3429, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3426, "name": "key", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3385, "src": "604:3:10", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } }, "id": 3427, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "604:10:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 3428, "name": "exponentLen", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3401, "src": "617:11:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, "src": "604:24:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "35", "id": 3430, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "631:1:10", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_5_by_1", "typeString": "int_const 5" }, "value": "5" }, "src": "604:28:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint16", "typeString": "uint16" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 3421, "name": "key", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3385, "src": "573:3:10", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } }, "id": 3422, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "substring", "nodeType": "MemberAccess", "referencedDeclaration": 497, "src": "573:13:10", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes_memory_ptr_$_t_uint256_$_t_uint256_$returns$_t_bytes_memory_ptr_$bound_to$_t_bytes_memory_ptr_$", "typeString": "function (bytes memory,uint256,uint256) pure returns (bytes memory)" } }, "id": 3432, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "573:60:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "src": "563:70:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3434, "nodeType": "ExpressionStatement", "src": "563:70:10" } ] } }, { "assignments": [ 3469 ], "declarations": [ { "constant": false, "id": 3469, "name": "ok", "nodeType": "VariableDeclaration", "scope": 3499, "src": "904:7:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 3468, "name": "bool", "nodeType": "ElementaryTypeName", "src": "904:4:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "id": 3470, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "904:7:10" }, { "assignments": [ 3472 ], "declarations": [ { "constant": false, "id": 3472, "name": "result", "nodeType": "VariableDeclaration", "scope": 3499, "src": "921:19:10", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 3471, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "921:5:10", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" } ], "id": 3473, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "921:19:10" }, { "expression": { "argumentTypes": null, "id": 3483, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "components": [ { "argumentTypes": null, "id": 3474, "name": "ok", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3469, "src": "951:2:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 3475, "name": "result", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3472, "src": "955:6:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "id": 3476, "isConstant": false, "isInlineArray": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "TupleExpression", "src": "950:12:10", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_bytes_memory_ptr_$", "typeString": "tuple(bool,bytes memory)" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3479, "name": "modulus", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3398, "src": "986:7:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, { "argumentTypes": null, "id": 3480, "name": "exponent", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3395, "src": "995:8:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, { "argumentTypes": null, "id": 3481, "name": "sig", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3389, "src": "1005:3:10", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" }, { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" }, { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } ], "expression": { "argumentTypes": null, "id": 3477, "name": "RSAVerify", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3527, "src": "965:9:10", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_RSAVerify_$3527_$", "typeString": "type(library RSAVerify)" } }, "id": 3478, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "rsarecover", "nodeType": "MemberAccess", "referencedDeclaration": 3526, "src": "965:20:10", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_bytes_memory_ptr_$_t_bytes_memory_ptr_$_t_bytes_memory_ptr_$returns$_t_bool_$_t_bytes_memory_ptr_$", "typeString": "function (bytes memory,bytes memory,bytes memory) view returns (bool,bytes memory)" } }, "id": 3482, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "965:44:10", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_bytes_memory_ptr_$", "typeString": "tuple(bool,bytes memory)" } }, "src": "950:59:10", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3484, "nodeType": "ExpressionStatement", "src": "950:59:10" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 3497, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3485, "name": "ok", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3469, "src": "1079:2:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 3496, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3487, "name": "data", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3387, "src": "1092:4:10", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } ], "id": 3486, "name": "sha256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4248, "src": "1085:6:10", "typeDescriptions": { "typeIdentifier": "t_function_sha256_pure$_t_bytes_memory_ptr_$returns$_t_bytes32_$", "typeString": "function (bytes memory) pure returns (bytes32)" } }, "id": 3488, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1085:12:10", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3494, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3491, "name": "result", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3472, "src": "1120:6:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3492, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1120:13:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "3332", "id": 3493, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1136:2:10", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_32_by_1", "typeString": "int_const 32" }, "value": "32" }, "src": "1120:18:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 3489, "name": "result", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3472, "src": "1101:6:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3490, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "readBytes32", "nodeType": "MemberAccess", "referencedDeclaration": 366, "src": "1101:18:10", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes_memory_ptr_$_t_uint256_$returns$_t_bytes32_$bound_to$_t_bytes_memory_ptr_$", "typeString": "function (bytes memory,uint256) pure returns (bytes32)" } }, "id": 3495, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1101:38:10", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1085:54:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1079:60:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "functionReturnParameters": 3393, "id": 3498, "nodeType": "Return", "src": "1072:67:10" } ] }, "documentation": null, "id": 3500, "implemented": true, "kind": "function", "modifiers": [], "name": "verify", "nodeType": "FunctionDefinition", "parameters": { "id": 3390, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3385, "name": "key", "nodeType": "VariableDeclaration", "scope": 3500, "src": "256:18:10", "stateVariable": false, "storageLocation": "calldata", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes" }, "typeName": { "id": 3384, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "256:5:10", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3387, "name": "data", "nodeType": "VariableDeclaration", "scope": 3500, "src": "276:19:10", "stateVariable": false, "storageLocation": "calldata", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes" }, "typeName": { "id": 3386, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "276:5:10", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3389, "name": "sig", "nodeType": "VariableDeclaration", "scope": 3500, "src": "297:18:10", "stateVariable": false, "storageLocation": "calldata", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes" }, "typeName": { "id": 3388, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "297:5:10", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" } ], "src": "255:61:10" }, "returnParameters": { "id": 3393, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3392, "name": "", "nodeType": "VariableDeclaration", "scope": 3500, "src": "340:4:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 3391, "name": "bool", "nodeType": "ElementaryTypeName", "src": "340:4:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "339:6:10" }, "scope": 3501, "src": "240:906:10", "stateMutability": "view", "superFunction": 3123, "visibility": "external" } ], "scope": 3502, "src": "164:984:10" } ], "src": "0:1149:10" }, "legacyAST": { "absolutePath": "/home/user/Dropbox/projects/enssec/contracts/algorithms/RSASHA256Algorithm.sol", "exportedSymbols": { "RSASHA256Algorithm": [ 3501 ] }, "id": 3502, "nodeType": "SourceUnit", "nodes": [ { "id": 3376, "literals": [ "solidity", ">", "0.4", ".23" ], "nodeType": "PragmaDirective", "src": "0:24:10" }, { "absolutePath": "/home/user/Dropbox/projects/enssec/contracts/algorithms/Algorithm.sol", "file": "./Algorithm.sol", "id": 3377, "nodeType": "ImportDirective", "scope": 3502, "sourceUnit": 3125, "src": "26:25:10", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "/home/user/Dropbox/projects/enssec/contracts/BytesUtils.sol", "file": "../BytesUtils.sol", "id": 3378, "nodeType": "ImportDirective", "scope": 3502, "sourceUnit": 721, "src": "52:27:10", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "/home/user/Dropbox/projects/enssec/contracts/algorithms/RSAVerify.sol", "file": "./RSAVerify.sol", "id": 3379, "nodeType": "ImportDirective", "scope": 3502, "sourceUnit": 3528, "src": "80:25:10", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 3380, "name": "Algorithm", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 3124, "src": "195:9:10", "typeDescriptions": { "typeIdentifier": "t_contract$_Algorithm_$3124", "typeString": "contract Algorithm" } }, "id": 3381, "nodeType": "InheritanceSpecifier", "src": "195:9:10" } ], "contractDependencies": [ 3124 ], "contractKind": "contract", "documentation": "@dev Implements the DNSSEC RSASHA256 algorithm.", "fullyImplemented": true, "id": 3501, "linearizedBaseContracts": [ 3501, 3124 ], "name": "RSASHA256Algorithm", "nodeType": "ContractDefinition", "nodes": [ { "id": 3383, "libraryName": { "contractScope": null, "id": 3382, "name": "BytesUtils", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 720, "src": "217:10:10", "typeDescriptions": { "typeIdentifier": "t_contract$_BytesUtils_$720", "typeString": "library BytesUtils" } }, "nodeType": "UsingForDirective", "src": "211:23:10", "typeName": null }, { "body": { "id": 3499, "nodeType": "Block", "src": "346:800:10", "statements": [ { "assignments": [ 3395 ], "declarations": [ { "constant": false, "id": 3395, "name": "exponent", "nodeType": "VariableDeclaration", "scope": 3499, "src": "356:21:10", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 3394, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "356:5:10", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" } ], "id": 3396, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "356:21:10" }, { "assignments": [ 3398 ], "declarations": [ { "constant": false, "id": 3398, "name": "modulus", "nodeType": "VariableDeclaration", "scope": 3499, "src": "387:20:10", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 3397, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "387:5:10", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" } ], "id": 3399, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "387:20:10" }, { "assignments": [ 3401 ], "declarations": [ { "constant": false, "id": 3401, "name": "exponentLen", "nodeType": "VariableDeclaration", "scope": 3499, "src": "418:18:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" }, "typeName": { "id": 3400, "name": "uint16", "nodeType": "ElementaryTypeName", "src": "418:6:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, "value": null, "visibility": "internal" } ], "id": 3408, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "34", "id": 3405, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "460:1:10", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" }, "value": "4" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" } ], "expression": { "argumentTypes": null, "id": 3403, "name": "key", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3385, "src": "446:3:10", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } }, "id": 3404, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "readUint8", "nodeType": "MemberAccess", "referencedDeclaration": 306, "src": "446:13:10", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes_memory_ptr_$_t_uint256_$returns$_t_uint8_$bound_to$_t_bytes_memory_ptr_$", "typeString": "function (bytes memory,uint256) pure returns (uint8)" } }, "id": 3406, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "446:16:10", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint8", "typeString": "uint8" } ], "id": 3402, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "439:6:10", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint16_$", "typeString": "type(uint16)" }, "typeName": "uint16" }, "id": 3407, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "439:24:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, "nodeType": "VariableDeclarationStatement", "src": "418:45:10" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint16", "typeString": "uint16" }, "id": 3411, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3409, "name": "exponentLen", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3401, "src": "477:11:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 3410, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "492:1:10", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "477:16:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 3466, "nodeType": "Block", "src": "650:194:10", "statements": [ { "expression": { "argumentTypes": null, "id": 3441, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 3436, "name": "exponentLen", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3401, "src": "664:11:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "35", "id": 3439, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "693:1:10", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_5_by_1", "typeString": "int_const 5" }, "value": "5" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_5_by_1", "typeString": "int_const 5" } ], "expression": { "argumentTypes": null, "id": 3437, "name": "key", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3385, "src": "678:3:10", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } }, "id": 3438, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "readUint16", "nodeType": "MemberAccess", "referencedDeclaration": 326, "src": "678:14:10", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes_memory_ptr_$_t_uint256_$returns$_t_uint16_$bound_to$_t_bytes_memory_ptr_$", "typeString": "function (bytes memory,uint256) pure returns (uint16)" } }, "id": 3440, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "678:17:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, "src": "664:31:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, "id": 3442, "nodeType": "ExpressionStatement", "src": "664:31:10" }, { "expression": { "argumentTypes": null, "id": 3449, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 3443, "name": "exponent", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3395, "src": "709:8:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "37", "id": 3446, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "734:1:10", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_7_by_1", "typeString": "int_const 7" }, "value": "7" }, { "argumentTypes": null, "id": 3447, "name": "exponentLen", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3401, "src": "737:11:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_7_by_1", "typeString": "int_const 7" }, { "typeIdentifier": "t_uint16", "typeString": "uint16" } ], "expression": { "argumentTypes": null, "id": 3444, "name": "key", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3385, "src": "720:3:10", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } }, "id": 3445, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "substring", "nodeType": "MemberAccess", "referencedDeclaration": 497, "src": "720:13:10", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes_memory_ptr_$_t_uint256_$_t_uint256_$returns$_t_bytes_memory_ptr_$bound_to$_t_bytes_memory_ptr_$", "typeString": "function (bytes memory,uint256,uint256) pure returns (bytes memory)" } }, "id": 3448, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "720:29:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "src": "709:40:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3450, "nodeType": "ExpressionStatement", "src": "709:40:10" }, { "expression": { "argumentTypes": null, "id": 3464, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 3451, "name": "modulus", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3398, "src": "763:7:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint16", "typeString": "uint16" }, "id": 3456, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3454, "name": "exponentLen", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3401, "src": "787:11:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "hexValue": "37", "id": 3455, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "801:1:10", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_7_by_1", "typeString": "int_const 7" }, "value": "7" }, "src": "787:15:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3462, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3460, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3457, "name": "key", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3385, "src": "804:3:10", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } }, "id": 3458, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "804:10:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 3459, "name": "exponentLen", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3401, "src": "817:11:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, "src": "804:24:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "37", "id": 3461, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "831:1:10", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_7_by_1", "typeString": "int_const 7" }, "value": "7" }, "src": "804:28:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint16", "typeString": "uint16" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 3452, "name": "key", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3385, "src": "773:3:10", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } }, "id": 3453, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "substring", "nodeType": "MemberAccess", "referencedDeclaration": 497, "src": "773:13:10", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes_memory_ptr_$_t_uint256_$_t_uint256_$returns$_t_bytes_memory_ptr_$bound_to$_t_bytes_memory_ptr_$", "typeString": "function (bytes memory,uint256,uint256) pure returns (bytes memory)" } }, "id": 3463, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "773:60:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "src": "763:70:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3465, "nodeType": "ExpressionStatement", "src": "763:70:10" } ] }, "id": 3467, "nodeType": "IfStatement", "src": "473:371:10", "trueBody": { "id": 3435, "nodeType": "Block", "src": "495:149:10", "statements": [ { "expression": { "argumentTypes": null, "id": 3418, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 3412, "name": "exponent", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3395, "src": "509:8:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "35", "id": 3415, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "534:1:10", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_5_by_1", "typeString": "int_const 5" }, "value": "5" }, { "argumentTypes": null, "id": 3416, "name": "exponentLen", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3401, "src": "537:11:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_5_by_1", "typeString": "int_const 5" }, { "typeIdentifier": "t_uint16", "typeString": "uint16" } ], "expression": { "argumentTypes": null, "id": 3413, "name": "key", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3385, "src": "520:3:10", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } }, "id": 3414, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "substring", "nodeType": "MemberAccess", "referencedDeclaration": 497, "src": "520:13:10", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes_memory_ptr_$_t_uint256_$_t_uint256_$returns$_t_bytes_memory_ptr_$bound_to$_t_bytes_memory_ptr_$", "typeString": "function (bytes memory,uint256,uint256) pure returns (bytes memory)" } }, "id": 3417, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "520:29:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "src": "509:40:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3419, "nodeType": "ExpressionStatement", "src": "509:40:10" }, { "expression": { "argumentTypes": null, "id": 3433, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 3420, "name": "modulus", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3398, "src": "563:7:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint16", "typeString": "uint16" }, "id": 3425, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3423, "name": "exponentLen", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3401, "src": "587:11:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "hexValue": "35", "id": 3424, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "601:1:10", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_5_by_1", "typeString": "int_const 5" }, "value": "5" }, "src": "587:15:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3431, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3429, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3426, "name": "key", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3385, "src": "604:3:10", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } }, "id": 3427, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "604:10:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 3428, "name": "exponentLen", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3401, "src": "617:11:10", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, "src": "604:24:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "35", "id": 3430, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "631:1:10", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_5_by_1", "typeString": "int_const 5" }, "value": "5" }, "src": "604:28:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint16", "typeString": "uint16" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 3421, "name": "key", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3385, "src": "573:3:10", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } }, "id": 3422, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "substring", "nodeType": "MemberAccess", "referencedDeclaration": 497, "src": "573:13:10", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes_memory_ptr_$_t_uint256_$_t_uint256_$returns$_t_bytes_memory_ptr_$bound_to$_t_bytes_memory_ptr_$", "typeString": "function (bytes memory,uint256,uint256) pure returns (bytes memory)" } }, "id": 3432, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "573:60:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "src": "563:70:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3434, "nodeType": "ExpressionStatement", "src": "563:70:10" } ] } }, { "assignments": [ 3469 ], "declarations": [ { "constant": false, "id": 3469, "name": "ok", "nodeType": "VariableDeclaration", "scope": 3499, "src": "904:7:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 3468, "name": "bool", "nodeType": "ElementaryTypeName", "src": "904:4:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "id": 3470, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "904:7:10" }, { "assignments": [ 3472 ], "declarations": [ { "constant": false, "id": 3472, "name": "result", "nodeType": "VariableDeclaration", "scope": 3499, "src": "921:19:10", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 3471, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "921:5:10", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" } ], "id": 3473, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "921:19:10" }, { "expression": { "argumentTypes": null, "id": 3483, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "components": [ { "argumentTypes": null, "id": 3474, "name": "ok", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3469, "src": "951:2:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 3475, "name": "result", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3472, "src": "955:6:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "id": 3476, "isConstant": false, "isInlineArray": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "TupleExpression", "src": "950:12:10", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_bytes_memory_ptr_$", "typeString": "tuple(bool,bytes memory)" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3479, "name": "modulus", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3398, "src": "986:7:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, { "argumentTypes": null, "id": 3480, "name": "exponent", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3395, "src": "995:8:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, { "argumentTypes": null, "id": 3481, "name": "sig", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3389, "src": "1005:3:10", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" }, { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" }, { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } ], "expression": { "argumentTypes": null, "id": 3477, "name": "RSAVerify", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3527, "src": "965:9:10", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_RSAVerify_$3527_$", "typeString": "type(library RSAVerify)" } }, "id": 3478, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "rsarecover", "nodeType": "MemberAccess", "referencedDeclaration": 3526, "src": "965:20:10", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_bytes_memory_ptr_$_t_bytes_memory_ptr_$_t_bytes_memory_ptr_$returns$_t_bool_$_t_bytes_memory_ptr_$", "typeString": "function (bytes memory,bytes memory,bytes memory) view returns (bool,bytes memory)" } }, "id": 3482, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "965:44:10", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_bytes_memory_ptr_$", "typeString": "tuple(bool,bytes memory)" } }, "src": "950:59:10", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3484, "nodeType": "ExpressionStatement", "src": "950:59:10" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 3497, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3485, "name": "ok", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3469, "src": "1079:2:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 3496, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3487, "name": "data", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3387, "src": "1092:4:10", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes calldata" } ], "id": 3486, "name": "sha256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4248, "src": "1085:6:10", "typeDescriptions": { "typeIdentifier": "t_function_sha256_pure$_t_bytes_memory_ptr_$returns$_t_bytes32_$", "typeString": "function (bytes memory) pure returns (bytes32)" } }, "id": 3488, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1085:12:10", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3494, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3491, "name": "result", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3472, "src": "1120:6:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3492, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1120:13:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "3332", "id": 3493, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1136:2:10", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_32_by_1", "typeString": "int_const 32" }, "value": "32" }, "src": "1120:18:10", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 3489, "name": "result", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3472, "src": "1101:6:10", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3490, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "readBytes32", "nodeType": "MemberAccess", "referencedDeclaration": 366, "src": "1101:18:10", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_bytes_memory_ptr_$_t_uint256_$returns$_t_bytes32_$bound_to$_t_bytes_memory_ptr_$", "typeString": "function (bytes memory,uint256) pure returns (bytes32)" } }, "id": 3495, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1101:38:10", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1085:54:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1079:60:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "functionReturnParameters": 3393, "id": 3498, "nodeType": "Return", "src": "1072:67:10" } ] }, "documentation": null, "id": 3500, "implemented": true, "kind": "function", "modifiers": [], "name": "verify", "nodeType": "FunctionDefinition", "parameters": { "id": 3390, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3385, "name": "key", "nodeType": "VariableDeclaration", "scope": 3500, "src": "256:18:10", "stateVariable": false, "storageLocation": "calldata", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes" }, "typeName": { "id": 3384, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "256:5:10", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3387, "name": "data", "nodeType": "VariableDeclaration", "scope": 3500, "src": "276:19:10", "stateVariable": false, "storageLocation": "calldata", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes" }, "typeName": { "id": 3386, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "276:5:10", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3389, "name": "sig", "nodeType": "VariableDeclaration", "scope": 3500, "src": "297:18:10", "stateVariable": false, "storageLocation": "calldata", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes" }, "typeName": { "id": 3388, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "297:5:10", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" } ], "src": "255:61:10" }, "returnParameters": { "id": 3393, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3392, "name": "", "nodeType": "VariableDeclaration", "scope": 3500, "src": "340:4:10", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 3391, "name": "bool", "nodeType": "ElementaryTypeName", "src": "340:4:10", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "339:6:10" }, "scope": 3501, "src": "240:906:10", "stateMutability": "view", "superFunction": 3123, "visibility": "external" } ], "scope": 3502, "src": "164:984:10" } ], "src": "0:1149:10" }, "compiler": { "name": "solc", "version": "0.5.0+commit.1d4f565a.Emscripten.clang" }, "networks": { "3": { "events": {}, "links": {}, "address": "0x59736f0ed6c206b54f8280a0f900c55e82842e5f", "transactionHash": "0x94628d8764139e4e37c3e5101b1c541a3e31268c9504b254072b3e02e63084c1" } }, "schemaVersion": "3.0.1", "updatedAt": "2019-03-12T23:08:21.410Z", "devdoc": { "details": "Implements the DNSSEC RSASHA256 algorithm.", "methods": {} }, "userdoc": { "methods": {} } }