[{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"recipient","type":"address"},{"indexed":false,"internalType":"address","name":"token","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"salt","type":"uint256"}],"name":"LogRegisteredTransfer","type":"event"},{"inputs":[],"name":"hasRegisteredFact","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"identify","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"fact","type":"bytes32"}],"name":"isValid","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address payable","name":"recipient","type":"address"},{"internalType":"uint256","name":"salt","type":"uint256"}],"name":"transfer","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"address","name":"erc20","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"salt","type":"uint256"}],"name":"transferERC20","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b50610850806100206000396000f3fe60806040526004361061005a5760003560e01c8063a9059cbb11610043578063a9059cbb146100e8578063d6354e1514610114578063eeb72866146101295761005a565b806355a2ba681461005f5780636a938567146100aa575b600080fd5b34801561006b57600080fd5b506100a86004803603608081101561008257600080fd5b506001600160a01b038135811691602081013590911690604081013590606001356101b3565b005b3480156100b657600080fd5b506100d4600480360360208110156100cd57600080fd5b50356102df565b604080519115158252519081900360200190f35b6100a8600480360360408110156100fe57600080fd5b506001600160a01b0381351690602001356102f0565b34801561012057600080fd5b506100d461043e565b34801561013557600080fd5b5061013e610447565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610178578181015183820152602001610160565b50505050905090810190601f1680156101a55780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b60008483858460405160200180856001600160a01b031660601b8152601401848152602001836001600160a01b031660601b815260140182815260200194505050505060405160208183030381529060405280519060200120905061021781610467565b15610269576040805162461bcd60e51b815260206004820152601b60248201527f5452414e534645525f414c52454144595f524547495354455245440000000000604482015290519081900360640190fd5b6102728161047c565b604080516001600160a01b038088168252861660208201528082018590526060810184905290517f36c96ccc320eab9b6da1de6cc1e8ebc52a51cb114710b9c7db204cdad3067ce19181900360800190a16102d86001600160a01b0385163387866104b0565b5050505050565b60006102ea82610467565b92915050565b604080517fffffffffffffffffffffffffffffffffffffffff000000000000000000000000606085901b16602080830191909152346034830152600060548301526068808301859052835180840390910181526088909201909252805191012061035981610467565b156103ab576040805162461bcd60e51b815260206004820152601b60248201527f5452414e534645525f414c52454144595f524547495354455245440000000000604482015290519081900360640190fd5b6103b48161047c565b604080516001600160a01b03851681526000602082015234818301526060810184905290517f36c96ccc320eab9b6da1de6cc1e8ebc52a51cb114710b9c7db204cdad3067ce19181900360800190a16040516001600160a01b038416903480156108fc02916000818181858888f19350505050158015610438573d6000803e3d6000fd5b50505050565b60015460ff1690565b60606040518060600160405280602181526020016107d060219139905090565b60009081526020819052604090205460ff1690565b6000818152602081905260409020805460ff191660019081179091555460ff166104ad576001805460ff1916811790555b50565b604080516001600160a01b0380861660248301528416604482015260648082018490528251808303909101815260849091019091526020810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167f23b872dd000000000000000000000000000000000000000000000000000000001790526104389085906060610588826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564815250856001600160a01b03166105e99092919063ffffffff16565b8051909150156105e4578080602001905160208110156105a757600080fd5b50516105e45760405162461bcd60e51b815260040180806020018281038252602a8152602001806107f1602a913960400191505060405180910390fd5b505050565b60606105f88484600085610600565b949350505050565b606061060b856107c9565b61065c576040805162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000604482015290519081900360640190fd5b60006060866001600160a01b031685876040518082805190602001908083835b602083106106b957805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0909201916020918201910161067c565b6001836020036101000a03801982511681845116808217855250505050505090500191505060006040518083038185875af1925050503d806000811461071b576040519150601f19603f3d011682016040523d82523d6000602084013e610720565b606091505b509150915081156107345791506105f89050565b8051156107445780518082602001fd5b8360405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561078e578181015183820152602001610776565b50505050905090810190601f1680156107bb5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b3b15159056fe537461726b576172655f5472616e7366657252656769737472795f323032305f315361666545524332303a204552433230206f7065726174696f6e20646964206e6f742073756363656564a264697066735822122022ef9b8f9e3bb52bb7e2a2bce3be395d92542be9df6273e686b25c815955ada464736f6c634300060c0033

0x60806040526004361061005a5760003560e01c8063a9059cbb11610043578063a9059cbb146100e8578063d6354e1514610114578063eeb72866146101295761005a565b806355a2ba681461005f5780636a938567146100aa575b600080fd5b34801561006b57600080fd5b506100a86004803603608081101561008257600080fd5b506001600160a01b038135811691602081013590911690604081013590606001356101b3565b005b3480156100b657600080fd5b506100d4600480360360208110156100cd57600080fd5b50356102df565b604080519115158252519081900360200190f35b6100a8600480360360408110156100fe57600080fd5b506001600160a01b0381351690602001356102f0565b34801561012057600080fd5b506100d461043e565b34801561013557600080fd5b5061013e610447565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610178578181015183820152602001610160565b50505050905090810190601f1680156101a55780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b60008483858460405160200180856001600160a01b031660601b8152601401848152602001836001600160a01b031660601b815260140182815260200194505050505060405160208183030381529060405280519060200120905061021781610467565b15610269576040805162461bcd60e51b815260206004820152601b60248201527f5452414e534645525f414c52454144595f524547495354455245440000000000604482015290519081900360640190fd5b6102728161047c565b604080516001600160a01b038088168252861660208201528082018590526060810184905290517f36c96ccc320eab9b6da1de6cc1e8ebc52a51cb114710b9c7db204cdad3067ce19181900360800190a16102d86001600160a01b0385163387866104b0565b5050505050565b60006102ea82610467565b92915050565b604080517fffffffffffffffffffffffffffffffffffffffff000000000000000000000000606085901b16602080830191909152346034830152600060548301526068808301859052835180840390910181526088909201909252805191012061035981610467565b156103ab576040805162461bcd60e51b815260206004820152601b60248201527f5452414e534645525f414c52454144595f524547495354455245440000000000604482015290519081900360640190fd5b6103b48161047c565b604080516001600160a01b03851681526000602082015234818301526060810184905290517f36c96ccc320eab9b6da1de6cc1e8ebc52a51cb114710b9c7db204cdad3067ce19181900360800190a16040516001600160a01b038416903480156108fc02916000818181858888f19350505050158015610438573d6000803e3d6000fd5b50505050565b60015460ff1690565b60606040518060600160405280602181526020016107d060219139905090565b60009081526020819052604090205460ff1690565b6000818152602081905260409020805460ff191660019081179091555460ff166104ad576001805460ff1916811790555b50565b604080516001600160a01b0380861660248301528416604482015260648082018490528251808303909101815260849091019091526020810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167f23b872dd000000000000000000000000000000000000000000000000000000001790526104389085906060610588826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564815250856001600160a01b03166105e99092919063ffffffff16565b8051909150156105e4578080602001905160208110156105a757600080fd5b50516105e45760405162461bcd60e51b815260040180806020018281038252602a8152602001806107f1602a913960400191505060405180910390fd5b505050565b60606105f88484600085610600565b949350505050565b606061060b856107c9565b61065c576040805162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000604482015290519081900360640190fd5b60006060866001600160a01b031685876040518082805190602001908083835b602083106106b957805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0909201916020918201910161067c565b6001836020036101000a03801982511681845116808217855250505050505090500191505060006040518083038185875af1925050503d806000811461071b576040519150601f19603f3d011682016040523d82523d6000602084013e610720565b606091505b509150915081156107345791506105f89050565b8051156107445780518082602001fd5b8360405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561078e578181015183820152602001610776565b50505050905090810190601f1680156107bb5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b3b15159056fe537461726b576172655f5472616e7366657252656769737472795f323032305f315361666545524332303a204552433230206f7065726174696f6e20646964206e6f742073756363656564a264697066735822122022ef9b8f9e3bb52bb7e2a2bce3be395d92542be9df6273e686b25c815955ada464736f6c634300060c0033

20548:1967:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22036:474;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;22036:474:0;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;1566:133;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1566:133:0;;:::i;:::-;;;;;;;;;;;;;;;;;;21127:479;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;21127:479:0;;;;;;;;:::i;2540:132::-;;;;;;;;;;;;;:::i;20785:150::-;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22036:474;22152:20;22216:9;22227:6;22235:5;22242:4;22199:48;;;;;;-1:-1:-1;;;;;22199:48:0;;;;;;;;;;;;;-1:-1:-1;;;;;22199:48:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22175:73;;;;;;22152:96;;22268:24;22279:12;22268:10;:24::i;:::-;22267:25;22259:65;;;;;-1:-1:-1;;;22259:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;22335:26;22348:12;22335;:26::i;:::-;22377:53;;;-1:-1:-1;;;;;22377:53:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22441:61;-1:-1:-1;;;;;22441:30:0;;22472:10;22484:9;22495:6;22441:30;:61::i;:::-;22036:474;;;;;:::o;1566:133::-;1646:4;1675:16;1686:4;1675:10;:16::i;:::-;1668:23;1566:133;-1:-1:-1;;1566:133:0:o;21127:479::-;21307:58;;;;;;;;;;;;;;;;;21335:9;21307:58;;;;21260:20;21307:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;21283:83;;;;;21386:24;21283:83;21386:10;:24::i;:::-;21385:25;21377:65;;;;;-1:-1:-1;;;21377:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;21453:26;21466:12;21453;:26::i;:::-;21495:63;;;-1:-1:-1;;;;;21495:63:0;;;;21536:3;21495:63;;;;21542:9;21495:63;;;;;;;;;;;;;;;;;;;;;21569:29;;-1:-1:-1;;;;;21569:18:0;;;21588:9;21569:29;;;;;;;;;21588:9;21569:18;:29;;;;;;;;;;;;;;;;;;;;;21127:479;;;:::o;2540:132::-;2647:17;;;;2540:132;:::o;20785:150::-;20854:13;20885:42;;;;;;;;;;;;;;;;;;;20785:150;:::o;2006:129::-;2080:4;2109:18;;;;;;;;;;;;;;2006:129::o;2143:314::-;2300:12;:22;;;;;;;;;;:29;;-1:-1:-1;;2300:29:0;2325:4;2300:29;;;;;;2380:17;2300:29;2380:17;2375:75;;2434:4;2414:24;;-1:-1:-1;;2414:24:0;;;;;2375:75;2143:314;:::o;17660:205::-;17788:68;;;-1:-1:-1;;;;;17788:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17811:27;17788:68;;;17761:96;;17781:5;;20204:23;20230:69;20258:4;20230:69;;;;;;;;;;;;;;;;;20238:5;-1:-1:-1;;;;;20230:27:0;;;:69;;;;;:::i;:::-;20314:17;;20204:95;;-1:-1:-1;20314:21:0;20310:224;;20456:10;20445:30;;;;;;;;;;;;;;;-1:-1:-1;20445:30:0;20437:85;;;;-1:-1:-1;;;20437:85:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19780:761;;;:::o;14553:196::-;14656:12;14688:53;14711:6;14719:4;14725:1;14728:12;14688:22;:53::i;:::-;14681:60;14553:196;-1:-1:-1;;;;14553:196:0:o;15930:979::-;16060:12;16093:18;16104:6;16093:10;:18::i;:::-;16085:60;;;;;-1:-1:-1;;;16085:60:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;16219:12;16233:23;16260:6;-1:-1:-1;;;;;16260:11:0;16280:8;16291:4;16260:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16218:78;;;;16311:7;16307:595;;;16342:10;-1:-1:-1;16335:17:0;;-1:-1:-1;16335:17:0;16307:595;16456:17;;:21;16452:439;;16719:10;16713:17;16780:15;16767:10;16763:2;16759:19;16752:44;16667:148;16862:12;16855:20;;-1:-1:-1;;;16855:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11635:422;12002:20;12041:8;;;11635:422::o

ipfs://22ef9b8f9e3bb52bb7e2a2bce3be395d92542be9df6273e686b25c815955ada4