From 5bd144224b48e3decf6e39bc64be5541b135fb5d Mon Sep 17 00:00:00 2001 From: nkaskov Date: Thu, 21 Dec 2023 16:47:56 +0000 Subject: [PATCH] Proof producer's temporary files deleted and added to .gitignore. --- .gitignore | 4 + scripts/proof_producer/statements/32292.json | 620 ------------------ scripts/proof_producer/statements/32326.json | 12 - .../proof_producer/statements/79169223.json | 12 - 4 files changed, 4 insertions(+), 644 deletions(-) delete mode 100644 scripts/proof_producer/statements/32292.json delete mode 100644 scripts/proof_producer/statements/32326.json delete mode 100644 scripts/proof_producer/statements/79169223.json diff --git a/.gitignore b/.gitignore index fa8ed095f..26a26197a 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,10 @@ # Created by https://www.toptal.com/developers/gitignore/api/c++,vim,cmake,latex,macos,jetbrains+all,python,visualstudiocode # Edit at https://www.toptal.com/developers/gitignore?templates=c++,vim,cmake,latex,macos,jetbrains+all,python,visualstudiocode +### Proof-producer data ### +scripts/proof_producer/db + + ### C++ ### # Prerequisites *.d diff --git a/scripts/proof_producer/statements/32292.json b/scripts/proof_producer/statements/32292.json deleted file mode 100644 index 6c32742e0..000000000 --- a/scripts/proof_producer/statements/32292.json +++ /dev/null @@ -1,620 +0,0 @@ -{ - "name": "mina-state", - "type": "placeholder-vanilla", - "description": "Proof for the hashed Mina ledger state. It is a part of Mina => Ethereum zkBridge. You can find more information about the bridge here: https://blog.nil.foundation/2021/11/01/mina-ethereum-bridge-design.html", - "url": "https://github.com/NilFoundation/mina-state-proof", - "input_description": "How to get public input: https://docs.nil.foundation/proof-market/guides/mina-proof-pipeline-example/3.-proof-request#ledger-state-proof", - "isPrivate": "False", - "definition": { - "proving_key": { "kimchi_const" : { - "verify_index": { - "domain": { - "log_size_of_group": 15, - "group_gen": "0x130D1D6482B9C33536E280AE674431F85F4A103EF6AF12C7AC4CDF0AD3EDB265" - }, - "zkpm": [ - "0x2C46205451F6C3BBEA4BABACBEE609ECF1039A903C42BFF639EDC5BA33356332", - "0x1764D9CB4C64EBA9A150920807637D458919CB6948821F4D15EB1994EADF9CE3", - "0x0140117C8BBC4CE4644A58F7007148577782213065BB9699BF5C391FBE1B3E6D", - "0x0000000000000000000000000000000000000000000000000000000000000001" - ], - "w": "0x1B1A85952300603BBF8DD3068424B64608658ACBB72CA7D2BB9694ADFA504418", - "endo": "0x2D33357CB532458ED3552A23A8554E5005270D29D19FC7D27B7FD22F0201B547", - "fr_sponge_params": { - "round_constants": [ - [ - "0x212F41BCC627C1C75530FFAEFE8A2DAB6F184251A7E022F2D7224F9B885CD4E9", - "0x38802BE08741DDCA7F74DF5C7E41597448BDC759224AF0F70DBAC75839AAB548", - "0x2433C8AF8EDCCA1F6503DB31B38012E10BDB0BD302C2B34F6EC8AA7DBC354604" - ], - [ - "0x169A605FDDD5C1794DE0D49E1CBCC73D89752A3B85E5F70C391B4ACDBD74DE16", - "0x00D2FE01F52A3D6CF057665FAAB5D64E4112851514957886647338998795F8A8", - "0x2765BA91DD72EBC4441F279E90C741ED08F027ABDB8B4DAD4E4F130494A7DC4A" - ], - [ - "0x0CC0E2371B2A34270C189526E42B4279E0DB3B8884A5E43A69BF6ADC389DD715", - "0x18E83028BF36F4CBE0BC4BB94D608E146E3F1B2FB0B84422E7FA9EBF5E5AB5AD", - "0x39CDC5086462E2C5FCF2C80FBFACCFAA4F01EF6FB99F9FA275D81961DE7DB580" - ], - [ - "0x3DD8CB60B7E7FFE9907793B609E958B54EA05C2EBCC6E912B63D35F4EEDE2BDB", - "0x1AF29BE63EA872A529620541C08EA3C851CAF0FE97701A4E4AF3CEB32DBD2FCA", - "0x0B660EFA8382C08619E3DB544B315893591E2679BC442A05EB6237578E844825" - ], - [ - "0x2F6431E6A9EFA904B6B295C13B4B8469D2E042C933B9C668479E7DC5B7966765", - "0x28795DC3FB79088C0E817503993D3ED01AE0C7F29D6EDB94145859422D6549FF", - "0x03692BADE72DEF0E4C81B28F2D6E0817197A15EFAB1546E7FDB2F2A75560A565" - ], - [ - "0x1A5E42A2281E60EE354DD49E218083013518EC95A82C2BBB78261F0CE12B9CA6", - "0x36511417788A37C3CAEE3AC46C9F7EED81D90C52E77963F0FA29764992673335", - "0x3C27A566D94B7D687537B99EC4B0529A011D5A007AAA2553FF981E12B5AB2174" - ], - [ - "0x2412938B377579DBBB84ACDF40AAB804800302DE15A61452D7A144D486EF7427", - "0x0A09C069876BC1DACF870CAA4EDC35EDF5B86C36D0184C7003A466D596B50141", - "0x3375EFD35228A3A0137A4D087448B13AB8CEBB4F6CE06E4FE61F893FE4644411" - ], - [ - "0x2550EE3FB78CAF9526E9537AF72C816DCB94B073FF362583EC9BD6D140FD702B", - "0x27DAC831D1F7822D7683190E98A8424EAC19697A0D9BDD204B6EFD9CCF09F8F9", - "0x04EF204B4DEBF9D48C36AA7EDE7930AB122C3C1E13BA74672D4225282E866CB9" - ], - [ - "0x109C640A2065A21A0D363FDF5FC09AB413CE9E601CB0EF7E187E74E4B435B82A", - "0x321AE16C5CB83DEC0E54E7CCA326F0159824646AACB71EED1C43704CA154A75B", - "0x2B72F0100B5D544D3AD954BA21355824F50F968C38882E94F5E7B0509E39D104" - ], - [ - "0x29F1EADB1CDD088B4806E82625AE5B759922F1DDA8A9441A329E1A415741B0CF", - "0x154C2E1192279489B77F67D62E142B37A319F866AC92001DB7A684298C629472", - "0x1FE6963EC0C1F82765F2954123A0EE9CDB3C8B6C7EB255645226235E1977ECF8" - ], - [ - "0x2B5C693993D2D4D1650703D7651995EC5955B127B188BD00658857FEA3EFCC56", - "0x0D71AE3F5EA2098B3B6A3FD17B8A071688AC0F5656B1232BAFA39159C5DE7896", - "0x2C49A1D56FF06DE67DB04A176B09B0685A059A92DA0BEA2F999AF600CE765033" - ], - [ - "0x317B2BD7538A611251BDAC7C818721939168BA507448754A5D3937166302F69E", - "0x35FC75F17B1FEC2EF16C2DBE046FC9149C653F6A481934EC5F439EFE5D98A388", - "0x1867AA6B8639BC09E9EDCB17D801BD121BDD9E451F38B5EA83A6CBEC09429717" - ], - [ - "0x02B37E76E49B2F272697902D40DD6C59B241FB038D8D3B4EBA89864996040769", - "0x36EAF55B629D4903D1AE33BB8EB4F96DDCB562069AD165840310EDCF327FE854", - "0x275A433C455F73BA6783EB87A174BE06864637247B8307F825EC6DC62E9EBF40" - ], - [ - "0x0AA0CF04C3756ECA69F3518E3B128B7BC412395D72088F98DA95CB4C768F30E0", - "0x3E9D920A634EBCA6628524F6EE6F43CCDC3C7155B31CC05704287EF01060D631", - "0x2538762E07FC8AD6E7D3014EF7C5A60501C9C74DDEDB0C58F6F7871DD7FBCD00" - ], - [ - "0x2B83C6BF53C5007FEFB483ACC7081D33F71EBC5F7EB4E6AFD66F1F5CD73F7A3D", - "0x12322090123F9F63B12B540936F701643BFCA37CE3FF7992C477BE55F2C3541D", - "0x32E86CED32D6713F0CDCBBE7D7C53AF6FF4297F793268F92E2C4DC42E230FF87" - ], - [ - "0x3958391DBFC37A451D3BAFAC2F18FF76AF43924DD041A185A07A8812602CE562", - "0x11A3A3175B3C88A577E56523367CD3CF26BE4CEAA5D160C0658530CA03040F72", - "0x26E9F8C0273893DFB8A14AEA230BE8D05D21C1229609EF728CF282C4212333BB" - ], - [ - "0x129D8BF5683CC590D87F6FD1216148253D98C00901827FAC17A81633111C07B1", - "0x1A11F516A8670F3403AA3D43BCBD2CA70216E7995A46EA9647D931806039D6A6", - "0x13FFE1963AF76315A84B3038D9F28DDB70D3E4F5900D342EF400C4813EA854A9" - ], - [ - "0x0FA0C8066D6B0E1099140AEC5101D5ECB62E894807A230FBF41E89EAD5A316F3", - "0x311559BB4CBD95FC13C98D3B3FB3FE1169F5CB23205228EF3D739227B3E1FBEF", - "0x05694726EDC78165F50E879364D523657A6246622E57DC090909E8E3264195AF" - ], - [ - "0x274FC52D65F05C8E0ABA62B5AA3468F527956FE4826988D71CE0E383D3A827C2", - "0x30A98D7597FE9D2F3159D0941D38650FA9C2552155F24B677DA1AFCC87D92B2B", - "0x2C382FAEF3908BB19171C568F5179969483597EA5898A540E54AC8E1829E561E" - ], - [ - "0x0BE06B151AC025AA9C1481AD19C800843E441EDA4B84EBF6CB3A1700F2EE25C9", - "0x1C77BC54D9A98456C24E0F6D1EA184F6BEBA2638F12F21ED7889503F42DE544B", - "0x2856DB610A842287FEC5B16C41C2CFE0AF587A0F4C2A3BDDBCA31D6D3B283558" - ], - [ - "0x045A9528AB246B5DB1106396B64940B3D5F3F0EC8688ED689E64F3F3FC39A9F3", - "0x24250FC3268A8E4074D58C1B5409F5541330501C6F3CD1887DE9523452D2CA85", - "0x0DD93102F7588D4CF21E4CE3F3A0A29E030D7A3903E973D45FCABD5482C40CD4" - ], - [ - "0x079584079919CB4369239E93401D3DBDA42646BD537BCAD0F54C52D0D24E22B4", - "0x245AEAAAF8CB48D6A0B6785D21AB391724F07001AF3B744080A7C42876527615", - "0x1397EDE0BB29DE98401DDDC79EE666A4BA34761C6878DE7A4909C984B9943D17" - ], - [ - "0x361697F9732F42D301EAC41D9DF1E985DE3E82AB471561528242A8B8D7051633", - "0x08B6B0B716521051765F290DA092A0FE619D65B28CCA3EA5BB0ACFFE1C00E564", - "0x008B6E3846E6AD5C3ADC6725284C69E34ADD1D73AC56852C52A4D1B7278AA8FA" - ], - [ - "0x00E4CAE0D38765B587786F5E28F10D77C3A4192B0350A216E1DA66320737A727", - "0x019920EB49D805E7FCA32056CC0193D17BA46ADD43BBDCB5005DB96966A647A6", - "0x060E062C96BDF43208780632F1A866B6FBFC3A2821F64010FB82D376D9D7848A" - ], - [ - "0x3A2DE3FF4580DB6ADF10497F97B2B8A2F39D4A3C99A453A79994E15EA25850A9", - "0x1969C76E480D9DFBE3E51D7D088EDCE1E29594038C7C10D62E3CF07DFE11E399", - "0x01497E4ED6E3079CFFF17DD64520D39B8E71903D98E965FDBB363096272C98DB" - ], - [ - "0x1335EFA976BA057BE417ECC383A4D385AFA24CD316DB28F195A6E94983B6FE1C", - "0x02968C794F9FDF13077330943C09C11094FFB7C42EEEA7B888B74D8BD42458C3", - "0x22C9E0C3BD1FF4C926A22748231BCF4B9C43DAA06FA55800A99B1C6349F4E68B" - ], - [ - "0x34839BD6705A679DD010A6F36EEA4A66B921C309295C897D979F0B4D3FE8B9D9", - "0x18999517F676471D3CCF0E64C8060E5BB186BD40AECBAADAF35D5C148D0DFA64", - "0x3D8DE65293045A3A186FEBDB22B632367D50D0CC6A8F1B2003D68B7A359A7C22" - ], - [ - "0x0C9DCF99217C419E01FFBE315B27EE18B14B8EF0D55D158BF12FE7CC6A1E0456", - "0x3DA7D3BF1EC367FD185514C3B16120BDF24F021A5997C5A8F70FB5D132142AD9", - "0x227A5CB0B2BC62CAF10C07E9A272961CBE81C3E343C6ABB911FFD9DEA48EC8DC" - ], - [ - "0x2233B40FFEAD67DBFC9675F5C1CFF43A9D7F8EB7080E187F80DD735FE1125E80", - "0x3FF38446DF40EBCCE9136FDAFC01D9AC9A01C2AD1E6B5EFE8F30E0ADEEACF72C", - "0x2B78C0D109098434F9470B3D5F4449B93590734148B800133FD08162C8AD91EC" - ], - [ - "0x2BBBB642F02FB825A7D91DC1FA2687D6D87F5EB0AD2871E722452BCA13C9BAB6", - "0x2E112F7FE8CBE1B6E15A1BD6A6A22C1F721291F54EDF723356CFCFF943CC7570", - "0x16ABD11C46F8F05E53771AE4FEB5567305C7EE7061BB4F5D9A08155AEB597C17" - ], - [ - "0x19FF30F0421DB32D7723C8A2179031E122A199C6918768932559CB0E4256A51F", - "0x10BA2BA680F31507AD05001EBE6A2A910408927D76F6C64F27ABDB8DEF172FDF", - "0x2ADFF62DC1A1E53CBBD917AB358F9B0D789C8F2ACF1D73E8BDAE03CB2E159737" - ], - [ - "0x1C4B639BDD16F068C16E00817D2126F929CD7FAF21AE6658F79399484DD4EF51", - "0x0B3D0963AF4A6765D456B224F02006B3429BAF09D3AD6C29128F3B8A5B2C0A24", - "0x3662321A1ACE5A92C3D8A3A0CE4516A6A40FFE300579EE7898D32B090CA6D54C" - ], - [ - "0x01F6CC0BFF3CBC23CE6D2E58B6D15928A178F24159C3118A11D764461FDC0DB7", - "0x04464D2B0491A6D4CF8AF251EA59F80515A71C96448A3BC155C2DDFCED5EFDE3", - "0x13D181C4B9431D1F934F2002A855DA67091CFB48231144D9B65C6E6AF7E5BA5F" - ], - [ - "0x2C5068A0667E573D2663AFA251EF02D7A8491E6F1B601A73BB7F548B3E5BE6EB", - "0x1DF43A3774A4B1038A3153E9C3FFE57732F0A736506E1BED6F550122DF111552", - "0x0D67F27D5C88DEB44A484263030C869EE62B8C6D12C2075249DA4E721D735370" - ], - [ - "0x1C2EE21ADA464B3034E79C854D833B7059F0C0A5E93FD42B1AE009DFC730897E", - "0x3BF0A6ED127D8185C52B91690BD1C01B59E22658D9E81C8E2F3A31D16E6ADE20", - "0x2D14E26D3F9956943CC0D72E6B03B4ECBD52D244B510C12975BECD5E6E8DBE9E" - ], - [ - "0x235AC5519EF3662FA974E29B2D9CA483FA8204132D7311C8D50E27B45ECC8CEC", - "0x149B125F74260CB313C83E0057F7AA54BBB2012F5314D851306EC1A907A3E2FD", - "0x28C75D7378CEFDA82D5A49CA5961BE34E574F62D3A46A1F77CAEBAE821737571" - ], - [ - "0x16802BDD6127777998EF447993815CD73FE35C3C2F94E840EC7AC0D48503CBD0", - "0x1E8B3A2934733DB7C1D4D6518FC2CCBD04CCF6360FE387B1199C37A58750CBB0", - "0x3AD0D866D117069ADE3FB82D1BC01FC879625E77ED76ED0405426CBC3B7010C1" - ], - [ - "0x25F48F9F5879E500490C43BF65924697635EE80E82224768D6FB888F20563B99", - "0x2CB3DD7E5C510289A8F7312CBA80DAC51BA8EAFA4D3752A6BB4D42CC63BBDA88", - "0x22135B6D348540B4107DB7B7B2E36C678C79156DA1F88F941BFCC2C9A874E503" - ], - [ - "0x26273290512AC3248D6582BA32FED801F68CBDE456493FDBE0180086C38694AF", - "0x028EB51465F4923E12EE5EAAD4132B19701CBB709095BD19EA8B96300060790B", - "0x030B1CBC7809A62E7A2CAF0158D109ACA8DD2D67C4234B265552718D72ADC440" - ], - [ - "0x299FFDBA3C04E7D813A1CBBC42C0503DB31A8FE27B361ACD99C565F9A7454263", - "0x37B28B42F16C7D96562E3FE642AF3BC07C5D93BC04EEE9583FE27098E2C3F04A", - "0x35BF4CFC128744076AAAC50BC351B9F3E02D9C0AE50A869E54A5504DE282032B" - ], - [ - "0x354CFF98121D7484E3292F0114B7F6D2ECC9F62EB3A94E8F61A3067A7A466C2A", - "0x348628FB95F7213BD6AB91F6A237A1AAC10751CA8785F0806FA4EB942AC1B8AA", - "0x0FDB22CE81AED5FB4604A9B2DE2DD97DF99B3D523405B3BAF8433112B6DF4EE1" - ], - [ - "0x0823B362B22FDED62E11C45A6C4C4EAB1DB4D59A71EBE0CA5BB2D7C6B0698AFE", - "0x28D8620C8ADE40A32100A1E855B2B04B903E5B790B294E573EC1341AB2ACA12A", - "0x23CB5292C4F7F85B2451A070BE1AD48EE8AE8E11C11744C13E058487631F556F" - ], - [ - "0x34FB17092AF22E57FBF56A3666BB74F9E77BB9B33787D91AE6CDA705C0E253FA", - "0x130F19A90368C2F9EB1AF730859B31F9BAE26FCEA813094E355C4AB0C151BC5A", - "0x184E2762FFB6963D7853697CF69A3A29AE71D2F6AD9F52E7EA774244C3F48ED1" - ], - [ - "0x19411BA2C97C6EE036C89ED03709D6C07161DED8FECD8AD8344BE8BE015E56C3", - "0x085ACEB8468F6F4E22201468E9EF2E26F589D67054E94F368138F748684E0B3A", - "0x1B19308A2333224066D1FE6976463DB25AFB80CAAB16581A9860DDC2F278EF5A" - ], - [ - "0x2CB3D9FF53B293105F9E83FBFAD883CB62D20433D613726D6761D4C2D4F5124C", - "0x3AD8380B3010BDE1B05FE6EFAED7A9D8F14C8382592CE1C0318BC22E1D5738EE", - "0x0F9146442B66B61473462439E4F6C422E41A8A761F41F04B6081C0541F89D4CB" - ], - [ - "0x2C3F0D84401EC1A37F3CC22AB0CD0DCD5C163FA01C378AD9C19BD14634D500B9", - "0x189D7B702B0766DBF15D873B7A29E65391770FD40A13EE7BB8174600A4ECFCCC", - "0x2D1009CE7A64C6C369580594F7129F76C0E5B7236687EF79333CA79BA30BD767" - ], - [ - "0x1FDF2EF8727E3816749F2202808767F1E427EAE72576FD857CD1C8704A939224", - "0x1333FED401556CD0B5A84B969A69892751A5C37C0B3C0B87F6B27E3E1BEAFFAD", - "0x3B497620E0ADF1A597E4B5F39CAA3B0F9DC63383C68CCE807FDC3EE4F7257845" - ], - [ - "0x0AC09971D98EA5EE01BD11992845C1571949AA3C32BB9072D1FEC543CA77F207", - "0x02D7B54B11122B1DBA3FC6EE07F4AF39F98D8B8410254BB785BD613CE7D57063", - "0x05D35FC3443262DE57002472EF5BD8D74CC20977DCCF6DA996B457FE4820B177" - ], - [ - "0x09D6CDF753348972892CB6B226EBA63F5F0FA56E02B52BF1E6A1E6B0BF56C39A", - "0x0C3D5E5747F41867C3D129D61F3E2D2EE50253AC0FE22673D971E91C989D7474", - "0x24C679EF24B061DECDEE8CFC27846F4A3F5CEA239EF8C0D7D167F5FB9C5BEEED" - ], - [ - "0x1F3A8367C8AA851789F5EB6243C1B2C3EB233C07600FB897AD85899BC3DB81FD", - "0x3DB8F2E90CCDD8C8ADCCC72BBBBC7A45C1737FF03D1AB3936D36BCA7FCEC3E0E", - "0x07617093F8E503084640F747A52C8046511486052600A48E717B51AF8AAA8E01" - ], - [ - "0x196EB50D611213583141081A3C5C8385AD55E3AF10F07ECC7B7EA2D90C18DDFF", - "0x0913F6DB8FB4666CDA8925E203FCA7B47C3511D0A77F4548CC60E0CFD84379CD", - "0x1D9D7555BA95FD2C4ABA101D58382099EEBF53528158A77FDC9424E57FE5D233" - ], - [ - "0x37A94C909C28A463C926E1A6742D9F28E53C2BD3BB82086C223A1F075F09C126", - "0x271575F3199DE25BAAFF6A3F5E4FCA37CF8127255D41AD5FF686EDF138FAE20D", - "0x1F4AE85148DC4D36492FAD4FFF845FAF949DAD529240515E0E56D4164299C073" - ], - [ - "0x3F1783D329385861819F1FCDE6FE82775409527A4303BDDC88D7BC19B11F7D81", - "0x3723089287B22D50F2028DB3E72EF3F5EFF61AED031A068FA0FC55787106D0E5", - "0x3AF0EB723BCBDF62C115EB42E5C688217501D8BDD86B94FA4B2FA444AB4D0EB0" - ], - [ - "0x21421C939A61C9C109520AC3E754FA7CAF79F26388CC899DBA360AB89C61E415", - "0x0658C8BE312E3365C6FE2D415B79AAAFBEAF8A96E41E11CDE1574F78D928BE85", - "0x097DCEF6C06D9BDB12F33DB44B4DF01418CE430D1AAF175A7C93AFCE4237274C" - ], - [ - "0x2E2ED0C7599FBAF7C247914B9ED7BC21DE548E1C3824E40E828680253FF92F89", - "0x2170102B79C7FF15EFF44BF1C0BDB9776C10C3A79992F7B74AA809D0C384C711", - "0x098E5471C82ACC69883E182AE49DDD5BADD3357FDED8EA40BEB3EF5C6A1A5A3C" - ] - ], - "mds": [ - [ - "0x09676DA44236AEECE5BEB6083A5119126E29DAC6A3C7CDD12325ECD774ED5EF5", - "0x3AAAB5076493084B34D7BCABFD238085D5B60B1769712B4C0D158DC717E2341F", - "0x15CD8C594785DAB79314978726295CCFD5FA286DE1EEE5BB2DB4797D83BBE920" - ], - [ - "0x309FC724FCED8FEA6EE3BB5668A0C9D24E514BD4657B872032D91577CAD91DD4", - "0x37DD7F40C9E278A6192E0F01CBE529AA54BBE6A6DE98BB833924FAB19A332E56", - "0x1920C1DB7E3894897268FDBAB4425D889E03AF8B6798305B90375EECBB700545" - ], - [ - "0x030FC1B2D695FFB71B03C308F53C2809BA5F1AB180BF05C4D3313A8F123A9839", - "0x33F6C27D988F8ED4B6C871DE94E5901A07F4AA2B8FF664E16030E8F639F0053D", - "0x3971BE44CA4BBD365DC94477718966EEA5A7C6EFDBD7F41ECE58B7EE05C5C11D" - ] - ] - }, - "fq_sponge_params": { - "round_constants": [ - [ - "0x1E8CB21EC9A74048314FA3BE23B25E4586597E8D746968EA0F40755D6676FC81", - "0x13E37DFB7562BE45C2E8B1381308E0416E057D3AE804BE983BCE67804D9DA470", - "0x289A63AD6D22C10A4CD44776F7EA2B975292AEDFB3A04D41E1D78553FD2B362E" - ], - [ - "0x044D83E8294D1482961C2E97A7D065C5C55F653A96C22321392F3E77BE7B37E2", - "0x1CAFA7E4A1CC01839D0877844B67E490651ADE85E496E4881C8FD3AD52F03B0A", - "0x3DC16F00005FBEBBFB78ED3C5669A324FA912D4D20876EC9CECB1D3F14859C96" - ], - [ - "0x3C6A1735B0995356E6D801D5ECFC28607216E4CA0BAFE814D216C0AB434FFF59", - "0x0CC1CCC2B81978835BD39DF962137D3B3F5C52E8254C160C7DF88EE16EF5A563", - "0x05791065BA5194EC7614BEA72542C2AD9F8EE3BC1E95149E6FE68DB46EE6FF59" - ], - [ - "0x30CEA518ECF2A260194FD647BA12945B9014A791A2A93D119ECABA56B72AFABE", - "0x1155EEC1EF3DB9356A865F68234EBB87B258DAFDBFA29162698C736A30D9C71B", - "0x268C438B4ACBB44F9F06BD3F37420516EA754D564ECC883C3B781AE3D68E4ABB" - ], - [ - "0x1C9F9F5CA98C4F622FD33BE36790C7B7898A0392E87E0876A1648222C0D554FC", - "0x215549DCF294AE8F702DB884D98FC04E44EB797E10EF21A735273D54C8B6BD6F", - "0x31BE19DA419D99D876DFC5204B949F14C20DCD3E6B47C9B54D4D3BBDFDB10992" - ], - [ - "0x0D908EEAC1C256423DCC4EF3ED7699E6F8046A038470F0AD6E2183946782A82A", - "0x135E703043654CC7543E301C60B3E129D1B76F99EBCDF8F717BD5B3397097C5F", - "0x1B26C65B53DF9775B2CF1AC919B42CC4E431395731398C74AECCE9E5BB923A69" - ], - [ - "0x17D14E36DF6A7E5323D9EA26F82A085A8525D64B65FD9B2F83794EF6FCD4FDBC", - "0x0DB5E0B4B7037B2C60D28404285270F264F7E4A92637B8BE438491DB72F9628B", - "0x2EE985E2160BBC9B9A070580F7556D9C82FF005DCB74C58C46BDF045BC6C56A5" - ], - [ - "0x273E595E819EF9A5DC0F6DC9342242655568FC0A1B1FD987C0707793148B0AA4", - "0x0402467EF3CF9DBD370B7B958E16FBF4F5E0C5A5F3A9A61E4831D789F160C015", - "0x145BF8346C93AEAC0C2EB559F29D223965B3AE78E7AF77EF66A37D2FF619D49F" - ], - [ - "0x2F3A80BF8F3EEA99F462E360F65D2EB73B0B8B4CD852078F866349143649B120", - "0x1A659594B18DDE6E9FD5D440FFA60558C71A318CDA8DC68346F29408B392CFCE", - "0x09D69E8EAAC4EDC229DCF7575C1D837F1C71C2C1CA74F6A9AAE1854D86D32F4F" - ], - [ - "0x0AEF3C3FB39B33A1C38566E7745EF4347A26251C5D83654DF0312CA3B0771B51", - "0x0F89BF188964E272A59A522D25C88A11CFFD0232D6DBF7295224B5B9794D2703", - "0x1F56B1CD8E25D405B56B3A0C15A30B83CE2AEDBBFDA75DA4710AAC65C39B6E3B" - ], - [ - "0x28E48DC53D04B763AE81C0238A730B0BBE9055AC9E3CF2278F47795538A58993", - "0x13AECE9BEE21D2B921264599A4E523C53E85DDE8F99AB4461569E5424AA6731C", - "0x3247B965F9E811111A5058D0C83A1915ADD55CF2BC26EC41EE9E85727758C882" - ], - [ - "0x0A07DF581430C23334F1295E254B7A522422A94B317971E0324A505BEB9D5DF8", - "0x204F9E8DBA35C00BF4821A5C45371ACF47B1D609AF6279D01EB6E73D19F994E7", - "0x2DD1062E141459C339EBAD761203B4FEAEE6C2E754EEC8B02253E5C93A2D4810" - ], - [ - "0x044769500B22D111D4D35F58B0CFF0BAA03547F7A1ACA0BB48E841C2645652AF", - "0x2421309184C47E79523CAAA1E3B9A3958C19D7021687E5DD42FAC8EC2C3CA9CA", - "0x264CA9C5C4BEEF65942322E764061450624A13CC9205A4CE02435EAB99CB2DF5" - ], - [ - "0x04A30DB4F7D68EB7F4A4654D08022CFFD6229BED00DB16F989FEEAE10CC76DA0", - "0x34A5212286DAF6AD73D8E36D36EF9824E68D13D5A9A939BB66184FAA41C7DB4B", - "0x16E3D06EEB59AC12534984247E9FEB9B3011B614D6252E89FC2A8DDB631EE4C0" - ], - [ - "0x105D40E2448FC67C2EADC6884FB8CE1E79AFC08855AA781E1A7F66BC941D5A41", - "0x375D0555F4CB002F70E0B825F8F1E0B6CD5692FEB5033293680808D2ABDAC5E1", - "0x27BC3A0B95850622A569C97B99D576E8957C0D88CC86402AB77BFF4E691ECAF7" - ], - [ - "0x259E2B84C02C74BFBA87E92DF71CCC35A4055A238D4604E859CCAE8E1B265A45", - "0x29DE4EE1C185018E74386B0D34BBC5B7B246703F84113817893DD8840182EF09", - "0x05B975D01AC74E3C0EC16197AF520FEBFEA9366B8A34C88BC341E84222B9F32C" - ], - [ - "0x3855FB4F2440753E231709FFE2C29652A722B15470326AEFDDB78D368561C7E8", - "0x34B8052553AE34C369EDB8813CEDFAB4610EDF532F03DC2C00F3B77F085E8EEE", - "0x3B636C92F62067CAC7A9CF97D589C6FA3FD5942D79FD03BBB8C54162A44410D7" - ], - [ - "0x237FF33D42D740DA689541C8CEB2769AA6ACCD305DEE77BC507028424CC83B33", - "0x18635AFB1E0A021AB2CA5331AA226F29466FA7795235EBD05E8DF18CD5895ADB", - "0x372ABEDB0FFF6A2007475683A457ADBAF9D6A87B1BDE922CA5751DDE9BB91290" - ], - [ - "0x1824F3E167A6412C36917AB41D8E0058B5F3950BA7BF76EC43AE5333DB57E536", - "0x25E169BF422728BD312ED1447AFBD4CA1061F927B5DED4048566D4B330DCB7B7", - "0x2E0ACD9EF1975176B24BE5AD1A208AFEAEBDA82DC5592F043B02579FB840E5C2" - ], - [ - "0xC37B9DF22F1FA8CE88E7A7FB2B0BB10096EF446B0D5929FF866E2A2363EA8E7", - "0x2CF0690E590ECB5E75BC8DC715E7AEC37D2C39C606EE27E722DF39003F664495", - "0x2397423F3B98DEFC971E139046AEB064C17564ADA43932F36CBC1963AD387853" - ], - [ - "0x21B87BA8BE9DCD01ED04C67582AA1744734D8AD4B69362B7421A7DE17D41126A", - "0x001B8EFE7E795E7733EADBBA37E20016894BC342E95722BCAA27DF8EB3916E6A", - "0x35597265E9AF065B58A78256D3CB5707353D5E51622D42994C305AB3CB6121CA" - ], - [ - "0x1C0535B4CD1C06DCEF6E69D736A205AB91A790058FCE9470E27AD1ECDFFCFB57", - "0x06FBECBC8C65F53663AE8DE23BB6AB38AC5D3D156605C07BC445730D87DAA935", - "0x32A8E7710DEA483F87B0B6303C2B59410CD57C5789141363F8BA8D3952142DFD" - ], - [ - "0x391ABB1060679E356016F6BC0D4F2D13EB3A0126EE629469C9595F6611D8056E", - "0x2B62E1A242BE3BECB8A856D5DCB016B7B69AA08A4200773517BC54ED58F542BA", - "0x3797A138405C001A8B7C639EA19409D5AFAFB2B15D339B3C180B09C25F110AF8" - ], - [ - "0x2622F1C684A325D684D6BB835F2E630208B2DAB15EB4D019D182FB0C881E919B", - "0x3A7FF935D063F24BB8ADAD53DEDFF94E89A152994D54DA9402ACD6A528C65A0A", - "0x187F0D949B98DA36FC28CFA102DD27DF8B6F79FBF74A4DAB993604FAFB8A6C54" - ], - [ - "0x1EA6DFE1C4BEEEBF4C2D4889BD1D7ADDF2C7E360EC6D47B29F8D57F4A1F05EEA", - "0x3B98894356D604F8AC8CCB5E95649AB70E489AA35AE2A99FB8BF4CD0C7A087CA", - "0x0A5C95E78F7885D26EBE5F6F1BD0861B025A321FD6846521EBECDC329C3C39AA" - ], - [ - "0x1AC6C365F76199F1CB2C3BA74D6D7C5372A762A8D5DCF089EE65A7B33378BF7B", - "0x2C805727113DE33FF5928282C257E8FB08F56A51D8E2E4382C6C4ED19DDD2487", - "0x379D0DDAED469E992D4488921F882073203D85E781020F1BF2E68287976F23F6" - ], - [ - "0x3E590BECC84D8F438F5D8322137D8939E8B073D879F32BDB22994DDEC2FB45AB", - "0x2CC02B3E2AE8B29629AAC637199A865B4CA1F038EF0D2DABB1C7A3DD86EE2582", - "0x0584FC056669C70D9C5981DD045D799933D6D7A4FBDF0B7B8DDF0B0B0C148EE7" - ], - [ - "0x33228840425032094655692410DA8AA3E83FAB078310BAE1F6CABB2EFF3DCBE8", - "0x15F3BD450884EAD3A5A43BB5BC22921A5023B451B969D8E178241A93AF8AAA60", - "0x086D47C638CF3C06A77E18A6A45D622756EB65948C53FE36E4744FBD63B6BD20" - ], - [ - "0x1FF38DB1FE1FCEEDBD4BAF4BE53C4214294A26CD107B87E61D75C98E90F9BD7D", - "0x0682A9FDC0DD0B51F603EA31F678AE3E0FC00E88D3D8D5C1DFE9D197C6CE743D", - "0x1989118EA9D98E4B10D77E6E38A4F1A4EE820A836CB840DE7DA5A70A849C86DB" - ], - [ - "0x32F0A21DEA54F454B26DC2E795E65FF74391CD034392C042F78C065ACFF0FE30", - "0x043401F8A340BDF0E15171533E974EB4CA4F335AA26913EFB045A291ACE0A35C", - "0x13928F06221F1A1FBF97685BB592888CD58D45F668FAFCBA432D26197F5A576B" - ], - [ - "0x21D860234EEF236895D17180DB2901E56081108CB3FC03720248060B82D2B79A", - "0x0547E7392AF888D60704B373A6731C0F58568352C5988A334F219ACE3C0A8FD5", - "0x0ADAD0F094C06E3EB9C08DD259F9C5CD9796EA1D2A2C78AC1AD7D5E53D00C8BA" - ], - [ - "0x0BC1E7A4BC6C6491FBFEE2296E7EC520ECEFA908DA3DAF3D17B7739C71A16C31", - "0x35077A9C2F05C078FADE850AE169310121B27986DA99B820AC952F465CC990AD", - "0x1E06C6ABA19445D5E703FB958201D0C6B899FA5F893FFDEF7F22CD70C1795021" - ], - [ - "0x1AE964D90A116648440AE3476E4DFF9BECCC85665597F2A00033260B45F3880C", - "0x0F8BBCB84E92756DA57BBFC8B853BEA3A7AC8664E06B95223B0D513ECF1EFBAE", - "0x1C81920383DA843FCCC2EE37223C6B073D45E73EDE14BFE9B572BD1143E27AEA" - ], - [ - "0x2A0584BCD15CA18798C9CDA32C7A0338F53C57AA764C5E612A5617F0E6BB7796", - "0x32F93A0AD663E97066CD4C7EF27FA928A712316F92EF660D3BF8A7DFDA87513E", - "0x17F06A3E52175119324BE0A894E109D153D344CB691649A4F5A887A8BF4142AA" - ], - [ - "0x23798B8181BF33D47D8B2BD97AD4BDA26E177C04C01DE189F99F95E0AE8357C4", - "0x391D25252D92E0E5894D9C5796D359B1B40EA05DF1E1FF8CC5B69A0F80BC8FEF", - "0x2893F012BA710D827A30E65C79F5DC6DB04CDF6A8DAD2AB9CF68DB0AFBF0C747" - ], - [ - "0x31B87CC34BCFD1671387493468C599DF7F803173D74D8650E209F43E1C0ACA26", - "0x2178B092709DA93CB6FE8945A0A023446E77FE2888F56D086B2620CA43482989", - "0x0BD9CA9B9ED4CB99402215319C0C747D19DFD234B51C21052626C55285A14A35" - ], - [ - "0x12C4E4EA37694C3128675ED4ED5178A226A1149DBAFD844BA86D7DFE5683D017", - "0x11FFE766EEC336ADA1F3E48BBFB7068975EBF9C862DBA6A2B6814DE1B17F99CE", - "0x21ED8BCF6FE52F6E9AD232743EFD96558D5981BEB9993D3D9F63E388EA75325B" - ], - [ - "0x3935C6CC732AD96CC4BDE4FADE56C2D8440FB6E06A3CCEDDE957A92535032EC7", - "0x1A0D7707F3F4B56B305CB8573670C6A9624D201F1AD614F99E82D6BE083A324A", - "0x03A58F4136FB2F933CA4C8F3D8C70926DCEA19DF02C620A4B04CAC0DEA59268F" - ], - [ - "0x2F021D9044DA3FD1980E3FCAE079C2BE562B0460B2095CD7FE53BCAC675AE231", - "0x29507BB040F9DF65FBE853BE4808CB5ED6933E0BBC480009166626C2012110B6", - "0x332ABF8204A77F9F60524D7A6B715E4E44D7267C8E2C37ABB319389A838C67B8" - ], - [ - "0x3B606270F77C55DA603BA65F59A7D8AD820FFA6460CD57C4F296BCD5D59DB280", - "0x3A4EC529EF1396B61729FD7D71F9CA978EAAC0F0E46CB7AD74E3EE07A7E41504", - "0x1BEF91F54EF97C75C039C755A3FA075132F7F160EE98A398D7BFAC2C4E46E6BF" - ], - [ - "0x12A5402E3A010C9C724ED83158569BFDB2BF8172EE328167B0B331286848CF62", - "0x099BB40E3EF90873379DB86DAF6854397A3225E6D06E896982888397C9F680AD", - "0x22D4BC72570F851C70A49CD83553F8A540EB1FB151550679AEC983D8435C884F" - ], - [ - "0x00D29F904952A8B8801C42242CFBBE33D855A8DBDC5DE79878816C46DE2CB0D2", - "0x2A2D151D6758B09789AD9C3824A04A278DCE20D88D000E77067C91F72928BD24", - "0x2DE5FBFE052A9F217CF874171F4152F21CBD46B35094C0E45EA87568DD09B9DA" - ], - [ - "0x29E5B6C8B6391855FE801D9EDAB537BB954D253067DC525903C15D0977A9E18C", - "0x093FACB61E672BA7FF8FA29D592D032C3E747A7096A81FBFA0D5F06B63581E0C", - "0x0EB53B5EF89750E63BA41B37A80A6C4257F232666B56DA022B1C03F599D0A60C" - ], - [ - "0x32E4DC080D1C7615E50EF829586D2BF14C5E464F240CABF58E19B08CFABC0A2E", - "0x1DAB6E60705C3C69761D755993AB4847C328A6AF1CAD5933446E0D8DB3DF55E8", - "0x15AD227F42F6F952B61029E08CB2C4C532EC9A337C0E97B75ED156B020F8B844" - ], - [ - "0x3D4EE89F1687996490D7CD1D013FD01A3BD3E56ACC9C7D7CBD4579076C92FB05", - "0x03492668EBC8A2EDC31B87D57BD1B5F4E8387C64CB363BFECFC0B6B51BABF516", - "0x2B4324A6DD3FE6FD5927C5C63415FF16B937895164EC385D735347A31EF01658" - ], - [ - "0x1824A74D01DC0A2AB4894F563856590EA00690C4F91CF35A3DD21503D7E68913", - "0x1554C2B1CB91570743A61CDD9B9CAA80FDBE1999B9AA887DFD8D17901BCEEDE2", - "0x2351B3443D12A2EB2BD750DC768746C6659BDA984CC20C85717780161B40F127" - ], - [ - "0x12E2B47DB7D0C28A6B759B23FD4A98502A6F9EF5CBAAA454B8CD9C8E29EA63E9", - "0x3AF5DE3BE492B9B523826727118126381723665DC275025076A525FC1F4EC55F", - "0x3BC89BF27070B5543AF914816E83EADFF41C99395C1A69464EE4AE92F3D39CCA" - ], - [ - "0x2D0DD51EB9039833E28F3CEFB3C2835EFEA54FC44EA50069077A41E48D9A08F2", - "0x0F9B2BAA461E4517E746407FB9294ABFE812EDC187924A8FEFA3C018C574557D", - "0x13480C27AF2F3D566F425801409CB1A622556479D710C57AC05E91E35C3C157B" - ], - [ - "0x39507C78A3F4B3920F436BB3AD4F2212F4B439F6664B8C9960C2E62A4F23E4F2", - "0x146EAA18B99426EC181D9200D05133FFAFE438461A381100712445A4BCBE8DAD", - "0x3A209B2A72F7FD10761E193EFCC27459CC0FACA295DDB6C111A837715E6FA246" - ], - [ - "0x1EC8F808EDEE6ECB6D9E61757D209080C06DFB45C2931C0C0362340F6577F5BF", - "0x38EF39FE211ACB79AEF324DA4A879081C550106468C5B5C3908207913B15CCB0", - "0x263B21551B02324D080E7CC529191E4D3DFC96BFF43EAD5E9E714CE8CE4BCD53" - ], - [ - "0x0376B63EB3C6B87270B7BDAD69C38222BB92A56BE6321C936DC41512838A1F01", - "0x07E2405013E27AB331FF4A6DDA69F9B664FF6C5ED431ACC4397963D33D711D79", - "0x1D70DA9E06331C7A4F46CF28DCE4751D99CF7C1946FC7EB388078A65CD96E796" - ], - [ - "0x11DCD3F3BD7470BA5866EB6E2A7053E2E84F190082450A8E85460DB620D178E6", - "0x39FE15526C8B6F4C0E94B3FE43A0239C2E9B9C08C72AB36B58F113F0158D5E65", - "0x28326332E4FE4030549D02BE3F2DE5953955FDBDCADDC07350F8BEEC98393AD9" - ], - [ - "0x23DEE0888E3083C838A1121C9A52F02146BF285B919A41E541518EC0F6637538", - "0x13A51253E619940AFD9C60057CCD38BA6ABE6E587D79D555118BCCCF791D3B13", - "0x103740816CFF7D7B3E81F40F399760C017494784CCE480228260438A6373658E" - ], - [ - "0x2AAF94E60D2827F0F12EF8E49D7F17DDDA63FEBD8B78234AA676290010F0A8E9", - "0x067352D72A94532910FA9BF276AD41FE7F358F4049109C773A1E73BEB2751D81", - "0x2775D253154D448D2F559257B6C5FCB48314F206251289D3793BAE8388FF8471" - ], - [ - "0x0D01B466E5690F324A2A8D4E0084F68F3162135225D26FEEED53CD72C0F72DBB", - "0x29C5B6588B3707ED9AFDEEBE526568C048A2FEC01A67F70FC8A114B8B3B61252", - "0x2AC9DBB76E9B6ABD272DBD6604E59E5E5CC64E72D3DC400B9101715E56202CD4" - ] - ], - "mds": [ - [ - "0x07405428899C89D59533BA4B8BD8E0B26545FD51AC9AC1B215C6E7117C528CE8", - "0x16B44E3F5218106F73FE22953626D0FF0981A77CFC1C2BBE38577D03E4E25792", - "0x1B92EAE33B55CBF1BFBDB1CEE512B4E3079E7BA3127EB0831514AA35D31197EB" - ], - [ - "0x09198930A83ED2A6A537B7E5292C836FA995B4DDF120D7DF88A35EA85025E7A4", - "0x1455337B6D02B2275F1F80726DEA2846205AB90B577BD72AB85450717E872DE4", - "0x177D284F4A3636527C3D1D2119E0D75531790A18609CB4C06CB4DCEFC469BDF8" - ], - [ - "0x05AEAD2F744320DFF818101024410FF89FA1DE958067E6E1ECF2934981B1469D", - "0x1EC7CA25EF51B5AFCB0678588EC537BFB36471F15BD736CCD5DA3339E286594E", - "0x20CB4C2CF091A1304538D56D1D905F6DD45B4DDA06E70C333F612EF3CBBB7D37" - ] - ] - } - } - } - }, - "verification_key": "0x0000000000000020f7025c4da988acabe258bbc79cc9e55dc398ce6defd0bb4d46646f0e925528db0000000000000020aaf8f80cedc80a0f08791b1179fafb92ff3b2b79a8458ee121a0f0000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000020e82e9335b83d4ba26416cff79cf9fc3689ebd7de536ee07b48f6a6188166244f11b315fbbdf323f7ac08f678855a1acdec80278594122d67f259e1b9c52e6c16073ad348fe573deb972867315995fbb67181d31cb804d00a83466b4a0eb78366000000000000002080f029f10878265ab67189a0007db82960635f7ce24b5ec06c63ae3e0907ec7a0000000000000043000000000000000111b315fbbdf323f7ac08f678855a1acdec80278594122d67f259e1b9c52e6c160000000000000001187f6deab5bfb3d65c2cd05a9ac286057c3a2c9fdac63a2a2f7a7d7fd9e81c6d00000000000000013a7d25958cbe832fcce011c505cc9e1b4adc46233c4a79f5611d885e41888e2000000000000000012471bbebbfb88fef006058d91cff1687ed32fac00721be54b477fd5347aac69c00000000000000013638ab9abe9acfab01e1bc3d90fb70a75d71b3c8107f65ec6dca1c5e6655e10a00000000000000010f1b5a05b9060e570968ad33d4e933444a1e1ef82c2a5a27f3d6e153ffad652e00000000000000010b88c21c9d1e47b32f0b6203288e0055505001dcd33f19ea36eb7b82fe62f9e5000000000000000139abca8f1197667feb38ea0fcac601aa91900950203b81931299698ef7eee1790000000000000001205af4cb57f5007f981c924ef5de08544eb5caa07ad6e4692be36346d7aa6759000000000000000121c6c7f8b7c9027df88edb8acd5629a544ffc32a53092452c2e31a20365404bb000000000000000128e1e7db96ed0c75daca49b602aed03a14719ddb8c0463e2b5e1ac5f0fa417a500000000000000010c698749f2a13e4d45f3708e0d6a1121ff644a559f57f8d4e8939c784e34763600000000000000013e0fa471bd2637825dc132c6431255a9fcf573ac1cb7dc288ae20e5987064f0e0000000000000001364e3638b1bf158bd4c5fddf4f5bac5167b0de6c6944a954854e9b3ba31f8b4200000000000000010f870f1b78bb6bbb27ddf55c8cca5d967d59f42de804ab30696d5ba62f9db84600000000000000010da34b895ba91aa7c755cacebff3d3f0507b2be97e82af1482dbdf1dee14995d0000000000000001043079aeca4d8546e4acf609bfc323b1702142936ef8c28902047074a666fed000000000000000012d17148a2802f00ba3a43619f6e5902b376e15930f719bee16a7980f12b7db3600000000000000012ba291aa7135192f8e9e2754d42db756b98e0a83531986e3390c0b035f741f3500000000000000012772f47cf73c23813c7791a6403687138631f62a61dfb3559d65e6e553e72f900000000000000001249820617ce02f8b7c4b1a0a18f0d3b7ad36edeeb03cdd7632f9e5eebfd4a90f00000000000000010940733766d8229e6538d5f256eac5d950de9a4ab42a78457c640ef1e4e916c100000000000000011bdddf4e5e96607f364a5da6c6cbe5f1bcd6acac6fd523d4bfd4eed6fe0f10720000000000000001383863b64ab3d20c4aa53b806644edfd0ed57101b0be73e252156a94342b370f00000000000000013e769ed26bf937917945abb2115b82298b01d70afb5ff34ed70c0ab1968a6f2400000000000000010bcf2444ff3af18641446462ba69e283a2cc19d34c47f2a25c4b79a7a61a059b00000000000000011f67149be1b8f3ea1da8d54b40c60152f0dbaa818f21840fdb0bc9bb26ab650300000000000000011979e5e8296a45b407e27e6113bab3499454a293849f5dd8654f9ff0e5671a5d000000000000000130aae02e6b35e56ef1bfc4d52ca4827bf120897b04a5a2b79d97881f7810c5c000000000000000012108e8071c75228acbaaf83434a9cd93635e33b9727e75293deb95975ec71a9c00000000000000011d18ef0cb6bfdb012db9d487348f8f72b3f574c51631553ca56c1212de021eff00000000000000010f870f1b78bb6bbb27ddf55c8cca5d967d59f42de804ab30696d5ba62f9db84600000000000000011665df2a90b5f0a2c3a0e0f9297fa4e406a2fd9e663973a8d38746c48cc3941a0000000000000001190bd44e0f2b6d5c2d247ec1be52d0111d2d7ca606ff1ac10dc858ca82b6b04700000000000000011ec204565df592a4df03d2c275ecacab77a1658293b43495dfed9c3db6e1de890000000000000001262f0d6c5e95036240844384c82d9039bb9035349baeca4be815ccf141ee77b200000000000000011d87815aeb694a9c07249a248d14747b789caf6558c5e164299839b56673622e000000000000000102b9f11853c3de8f67b178cf6232b47f4e5f9c4ef0dfb5653ced70d56407435100000000000000011596d38f1404e0be5890d992a0b6c217402977ed3b9de0e357807cce16b5765100000000000000013663e169bd229ccb925379bda42f03b9ea476d14900712b1d1ff357e025476970000000000000001308aa4bc0c2c71a27552fe55d92e2487c0a584b74a7222f6f5f84f508f0dbc61000000000000000100f5579cb5fa66ab9046e03c30370c6597e3b40d882ee5a8057af0adf5fe8f3100000000000000013fbcd37071ea4258bedba2afcd19a97504c21689ace3b3586e2232ca1cd792d000000000000000013c25c599db91b84db796b6de0eda9459b98d1276294387de14e6f10928d6ce50000000000000000123c7818cfd9e67b5d9b4c79289aa249fe31170cc0f90847612ebf22971ec9d8d000000000000000109c8a0621337ac7fb37e629b7d90d5f19374a3454ebb83c2df6c59e728d95b1c00000000000000011871ee02c264c4d56644064232152cdda6b0f581e55901aebcc2c0af5017b26600000000000000010a9e24df4445bae2b6c047638d759ae9f574635fe02b7258759fd96eb852861c00000000000000012513021e86dca9431ef48454c0c148fc6ed63c691670746d1f030099fcbd33e90000000000000001005318293856761cfde53d5496ae6a77000019b44da1a5203acfd9cef80340d7000000000000000124d651ac743f7889261fd3d6cf57be84ec4cf2df935bd58571ef915e6f40c97500000000000000010e96c5d0fc0c9f00db174f07202ced9d787e4814af3859796e0ed7adf14cee5b0000000000000001073a20d145c7a66b7d8cd02d04f7b53bdea90f8c8e6ab0f2b746c8d08eed0c37000000000000000127706b6abe3d5eacb183cf12cb07c3180861a5e269ee08268bc73d1751334e74000000000000000136691fd2985a379c4652cba1e1243e7caaeaa2306b7b29c8901e838d53d31b2400000000000000011ceda5e731afc77b8f0dcbe842cf3cb8ae9283a15fa41384d1231fa49ca3bdc20000000000000001040a71e78a3733b5e58729074f67be5ea83075aaa00a145401f18b9b60b97f3b0000000000000001170243fff8ecb76874d39ae3e0cd57498ba3cd6c7a99fca34167bc841e253ef8000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000001073ad348fe573deb972867315995fbb67181d31cb804d00a83466b4a0eb7836600000000000000010e3de3d73a89bb7848fc98900b8215abf0a2b56d5794d994a5e9d67fe8eae547000000000000000100000000000000040000000000000588000000000000002080f029f10878265ab67189a0007db82960635f7ce24b5ec06c63ae3e0907ec7a000000000000000b0000000000000001000000000000000100000000000000206ed189490649e540b555566f98a35d360cabb72c0a14a07a7113f182f3e519fe000000000000000100000000000000010000000000000020a585ea703ec0244f9276a9df0cf7bb247153994883d54e609ddf8aefda06b97500000000000000010000000000000001000000000000002039ef9557a2aca13ee196e6faf9890327c2779a2d2fa86f1111fa1f1e4991e6c5000000000000000100000000000000000000000000000020eae94e0c23cd592e25bd28973a8cd2014c4f4e2bbff7146d168e476bfcf8971d000000000000000100000000000000010000000000000020c3375028727c4ed8bf29219846c453cd44afe93ce9f5f5a1e9057e39abacf85100000000000" - } -} diff --git a/scripts/proof_producer/statements/32326.json b/scripts/proof_producer/statements/32326.json deleted file mode 100644 index 54e555e3c..000000000 --- a/scripts/proof_producer/statements/32326.json +++ /dev/null @@ -1,12 +0,0 @@ -{ - "name": "name", - "description": "description", - "url": "url", - "input_description": "input_description", - "type": "placeholder-zkllvm", - "isPrivate": false, - "definition": { - "verification_key": "verification_key", - "proving_key": "; ModuleID = '/root/tmp/zkllvm/examples/arithmetics.cpp'\nsource_filename = \"/root/tmp/zkllvm/examples/arithmetics.cpp\"\ntarget datalayout = \"e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128\"\ntarget triple = \"x86_64-unknown-linux-gnu\"\n\n%\"class.std::ios_base::Init\" = type { i8 }\n\n$_ZN3nil7crypto37algebra6fields17pallas_base_field12modulus_bitsE = comdat any\n\n$_ZN3nil7crypto37algebra6fields17pallas_base_field11number_bitsE = comdat any\n\n$_ZN3nil7crypto37algebra6fields17pallas_base_field10value_bitsE = comdat any\n\n$_ZN3nil7crypto37algebra6fields16vesta_base_field12modulus_bitsE = comdat any\n\n$_ZN3nil7crypto37algebra6fields16vesta_base_field11number_bitsE = comdat any\n\n$_ZN3nil7crypto37algebra6fields16vesta_base_field10value_bitsE = comdat any\n\n@_ZStL8__ioinit = internal global %\"class.std::ios_base::Init\" zeroinitializer, align 1\n@__dso_handle = external hidden global i8\n@_ZZN3nil7crypto314multiprecision8backends11window_bitsEmE5wsize = internal unnamed_addr constant [6 x [2 x i64]] [[2 x i64] [i64 1434, i64 7], [2 x i64] [i64 539, i64 6], [2 x i64] [i64 197, i64 4], [2 x i64] [i64 70, i64 3], [2 x i64] [i64 17, i64 2], [2 x i64] zeroinitializer], align 16\n@_ZN3nil7crypto37algebra6fields17pallas_base_field12modulus_bitsE = weak_odr dso_local local_unnamed_addr constant i64 255, comdat, align 8\n@_ZN3nil7crypto37algebra6fields17pallas_base_field11number_bitsE = weak_odr dso_local local_unnamed_addr constant i64 255, comdat, align 8\n@_ZN3nil7crypto37algebra6fields17pallas_base_field10value_bitsE = weak_odr dso_local local_unnamed_addr constant i64 255, comdat, align 8\n@_ZN3nil7crypto37algebra6fields16vesta_base_field12modulus_bitsE = weak_odr dso_local local_unnamed_addr constant i64 255, comdat, align 8\n@_ZN3nil7crypto37algebra6fields16vesta_base_field11number_bitsE = weak_odr dso_local local_unnamed_addr constant i64 255, comdat, align 8\n@_ZN3nil7crypto37algebra6fields16vesta_base_field10value_bitsE = weak_odr dso_local local_unnamed_addr constant i64 255, comdat, align 8\n@llvm.global_ctors = appending global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 65535, ptr @_GLOBAL__sub_I_arithmetics.cpp, ptr null }]\n\n; Function Attrs: uwtable\ndefine internal fastcc void @__cxx_global_var_init() unnamed_addr #0 section \".text.startup\" {\n tail call void @_ZNSt8ios_base4InitC1Ev(ptr noundef nonnull align 1 dereferenceable(1) @_ZStL8__ioinit)\n %1 = tail call i32 @__cxa_atexit(ptr @_ZNSt8ios_base4InitD1Ev, ptr @_ZStL8__ioinit, ptr @__dso_handle) #6\n ret void\n}\n\ndeclare void @_ZNSt8ios_base4InitC1Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #1\n\n; Function Attrs: nounwind\ndeclare void @_ZNSt8ios_base4InitD1Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #2\n\n; Function Attrs: nofree nounwind\ndeclare i32 @__cxa_atexit(ptr, ptr, ptr) local_unnamed_addr #3\n\n; Function Attrs: mustprogress nounwind uwtable\ndefine dso_local noundef i64 @_ZN3nil7crypto314multiprecision8backends11window_bitsEm(i64 noundef %0) local_unnamed_addr #4 {\n br label %2\n\n2: ; preds = %2, %1\n %3 = phi i64 [ 5, %1 ], [ %8, %2 ]\n %4 = getelementptr inbounds [6 x [2 x i64]], ptr @_ZZN3nil7crypto314multiprecision8backends11window_bitsEmE5wsize, i64 0, i64 %3\n %5 = getelementptr inbounds [2 x i64], ptr %4, i64 0, i64 0\n %6 = load i64, ptr %5, align 16, !tbaa !5\n %7 = icmp ugt i64 %6, %0\n %8 = add i64 %3, -1\n br i1 %7, label %2, label %9, !llvm.loop !9\n\n9: ; preds = %2\n %10 = phi i64 [ %3, %2 ]\n %11 = getelementptr inbounds [6 x [2 x i64]], ptr @_ZZN3nil7crypto314multiprecision8backends11window_bitsEmE5wsize, i64 0, i64 %10\n %12 = getelementptr inbounds [2 x i64], ptr %11, i64 0, i64 1\n %13 = load i64, ptr %12, align 8, !tbaa !5\n %14 = add i64 1, %13\n ret i64 %14\n}\n\n; Function Attrs: mustprogress nounwind uwtable\ndefine dso_local noundef __zkllvm_field_pallas_base @_Z3powu26__zkllvm_field_pallas_basei(__zkllvm_field_pallas_base noundef %0, i32 noundef %1) local_unnamed_addr #4 {\n %3 = icmp eq i32 %1, 0\n br i1 %3, label %4, label %5\n\n4: ; preds = %2\n br label %21\n\n5: ; preds = %2\n %6 = icmp slt i32 0, %1\n br i1 %6, label %7, label %11\n\n7: ; preds = %5\n br label %13\n\n8: ; preds = %17\n %9 = phi __zkllvm_field_pallas_base [ %15, %17 ]\n %10 = mul __zkllvm_field_pallas_base %9, %0\n br label %11\n\n11: ; preds = %8, %5\n %12 = phi __zkllvm_field_pallas_base [ %10, %8 ], [ f0x1, %5 ]\n br label %20\n\n13: ; preds = %7, %17\n %14 = phi i32 [ 0, %7 ], [ %18, %17 ]\n %15 = phi __zkllvm_field_pallas_base [ f0x1, %7 ], [ %16, %17 ]\n %16 = mul __zkllvm_field_pallas_base %15, %0\n br label %17\n\n17: ; preds = %13\n %18 = add nsw i32 %14, 1\n %19 = icmp slt i32 %18, %1\n br i1 %19, label %13, label %8, !llvm.loop !12\n\n20: ; preds = %11\n br label %21\n\n21: ; preds = %20, %4\n %22 = phi __zkllvm_field_pallas_base [ f0x1, %4 ], [ %12, %20 ]\n ret __zkllvm_field_pallas_base %22\n}\n\n; Function Attrs: circuit mustprogress nounwind uwtable\ndefine dso_local noundef __zkllvm_field_pallas_base @_Z24field_arithmetic_exampleu26__zkllvm_field_pallas_baseu26__zkllvm_field_pallas_base(__zkllvm_field_pallas_base noundef %0, __zkllvm_field_pallas_base noundef %1) local_unnamed_addr #5 {\n %3 = add __zkllvm_field_pallas_base %0, %1\n %4 = mul __zkllvm_field_pallas_base %3, %0\n %5 = add __zkllvm_field_pallas_base %0, %1\n %6 = mul __zkllvm_field_pallas_base %1, %5\n %7 = add __zkllvm_field_pallas_base %0, %1\n %8 = mul __zkllvm_field_pallas_base %6, %7\n %9 = add __zkllvm_field_pallas_base %4, %8\n %10 = mul __zkllvm_field_pallas_base %9, %9\n %11 = mul __zkllvm_field_pallas_base %10, %9\n %12 = sub __zkllvm_field_pallas_base %1, %0\n %13 = sdiv __zkllvm_field_pallas_base %11, %12\n %14 = tail call noundef __zkllvm_field_pallas_base @_Z3powu26__zkllvm_field_pallas_basei(__zkllvm_field_pallas_base noundef %0, i32 noundef 2)\n %15 = add __zkllvm_field_pallas_base %13, %14\n %16 = add __zkllvm_field_pallas_base %15, f0x12345678901234567890\n ret __zkllvm_field_pallas_base %16\n}\n\n; Function Attrs: uwtable\ndefine internal void @_GLOBAL__sub_I_arithmetics.cpp() #0 section \".text.startup\" {\n tail call fastcc void @__cxx_global_var_init()\n ret void\n}\n\nattributes #0 = { uwtable \"frame-pointer\"=\"none\" \"min-legal-vector-width\"=\"0\" \"no-trapping-math\"=\"true\" \"stack-protector-buffer-size\"=\"8\" \"target-cpu\"=\"x86-64\" \"target-features\"=\"+cx8,+fxsr,+mmx,+sse,+sse2,+x87\" \"tune-cpu\"=\"generic\" }\nattributes #1 = { \"frame-pointer\"=\"none\" \"no-trapping-math\"=\"true\" \"stack-protector-buffer-size\"=\"8\" \"target-cpu\"=\"x86-64\" \"target-features\"=\"+cx8,+fxsr,+mmx,+sse,+sse2,+x87\" \"tune-cpu\"=\"generic\" }\nattributes #2 = { nounwind \"frame-pointer\"=\"none\" \"no-trapping-math\"=\"true\" \"stack-protector-buffer-size\"=\"8\" \"target-cpu\"=\"x86-64\" \"target-features\"=\"+cx8,+fxsr,+mmx,+sse,+sse2,+x87\" \"tune-cpu\"=\"generic\" }\nattributes #3 = { nofree nounwind }\nattributes #4 = { mustprogress nounwind uwtable \"frame-pointer\"=\"none\" \"min-legal-vector-width\"=\"0\" \"no-trapping-math\"=\"true\" \"stack-protector-buffer-size\"=\"8\" \"target-cpu\"=\"x86-64\" \"target-features\"=\"+cx8,+fxsr,+mmx,+sse,+sse2,+x87\" \"tune-cpu\"=\"generic\" }\nattributes #5 = { circuit mustprogress nounwind uwtable \"frame-pointer\"=\"none\" \"min-legal-vector-width\"=\"0\" \"no-trapping-math\"=\"true\" \"stack-protector-buffer-size\"=\"8\" \"target-cpu\"=\"x86-64\" \"target-features\"=\"+cx8,+fxsr,+mmx,+sse,+sse2,+x87\" \"tune-cpu\"=\"generic\" }\nattributes #6 = { nounwind }\n\n!llvm.module.flags = !{!0, !1, !2, !3}\n!llvm.ident = !{!4}\n\n!0 = !{i32 1, !\"wchar_size\", i32 4}\n!1 = !{i32 8, !\"PIC Level\", i32 2}\n!2 = !{i32 7, !\"PIE Level\", i32 2}\n!3 = !{i32 7, !\"uwtable\", i32 2}\n!4 = !{!\"clang version 16.0.0 (git@github.com:NilFoundation/zkllvm-circifier.git 1af967026adc4c18933fa4e20db3324043912242)\"}\n!5 = !{!6, !6, i64 0}\n!6 = !{!\"long\", !7, i64 0}\n!7 = !{!\"omnipotent char\", !8, i64 0}\n!8 = !{!\"Simple C++ TBAA\"}\n!9 = distinct !{!9, !10, !11}\n!10 = !{!\"llvm.loop.mustprogress\"}\n!11 = !{!\"llvm.loop.unroll.disable\"}\n!12 = distinct !{!12, !10, !11}\n" - } -} \ No newline at end of file diff --git a/scripts/proof_producer/statements/79169223.json b/scripts/proof_producer/statements/79169223.json deleted file mode 100644 index 0e94209ad..000000000 --- a/scripts/proof_producer/statements/79169223.json +++ /dev/null @@ -1,12 +0,0 @@ -{ - "name": "account_mina", - "description": "Account state proof for Mina", - "url": "https://github.com/NilFoundation/mina-state-proof", - "input_description": "see https://github.com/NilFoundation/mina-state-proof/examples", - "type": "placeholder-zkllvm", - "isPrivate": false, - "definition": { - "verification_key": "verification_key", - "proving_key": "; ModuleID = '/mnt/d/gits/zkllvm/examples/merkle_tree_poseidon.cpp'\nsource_filename = \"/mnt/d/gits/zkllvm/examples/merkle_tree_poseidon.cpp\"\ntarget datalayout = \"e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128\"\ntarget triple = \"assigner\"\n\n%\"struct.std::__1::array\" = type { [49 x __zkllvm_field_pallas_base] }\n%\"struct.std::__1::array.0\" = type { [16 x __zkllvm_field_pallas_base] }\n%\"struct.std::__1::array.1\" = type { [8 x __zkllvm_field_pallas_base] }\n%\"struct.std::__1::array.2\" = type { [4 x __zkllvm_field_pallas_base] }\n%\"struct.std::__1::array.3\" = type { [2 x __zkllvm_field_pallas_base] }\n%\"struct.nil::crypto3::hashes::poseidon::process\" = type { i8 }\n\n$_ZN3nil7crypto34hashINS0_6hashes8poseidonEEENT_10block_typeES5_S5_ = comdat any\n\n$_ZN3nil7crypto36hashes8poseidon7processclEu26__zkllvm_field_pallas_baseu26__zkllvm_field_pallas_base = comdat any\n\n$_ZN3nil7crypto37algebra6fields17pallas_base_field12modulus_bitsE = comdat any\n\n$_ZN3nil7crypto37algebra6fields17pallas_base_field11number_bitsE = comdat any\n\n$_ZN3nil7crypto37algebra6fields17pallas_base_field10value_bitsE = comdat any\n\n$_ZN3nil7crypto37algebra6fields16vesta_base_field12modulus_bitsE = comdat any\n\n$_ZN3nil7crypto37algebra6fields16vesta_base_field11number_bitsE = comdat any\n\n$_ZN3nil7crypto37algebra6fields16vesta_base_field10value_bitsE = comdat any\n\n@_ZZN3nil7crypto314multiprecision8backends11window_bitsEmE5wsize = internal unnamed_addr constant [6 x [2 x i64]] [[2 x i64] [i64 1434, i64 7], [2 x i64] [i64 539, i64 6], [2 x i64] [i64 197, i64 4], [2 x i64] [i64 70, i64 3], [2 x i64] [i64 17, i64 2], [2 x i64] zeroinitializer], align 8\n@_ZN3nil7crypto37algebra6fields17pallas_base_field12modulus_bitsE = weak_odr dso_local local_unnamed_addr constant i64 255, comdat, align 8\n@_ZN3nil7crypto37algebra6fields17pallas_base_field11number_bitsE = weak_odr dso_local local_unnamed_addr constant i64 255, comdat, align 8\n@_ZN3nil7crypto37algebra6fields17pallas_base_field10value_bitsE = weak_odr dso_local local_unnamed_addr constant i64 255, comdat, align 8\n@_ZN3nil7crypto37algebra6fields16vesta_base_field12modulus_bitsE = weak_odr dso_local local_unnamed_addr constant i64 255, comdat, align 8\n@_ZN3nil7crypto37algebra6fields16vesta_base_field11number_bitsE = weak_odr dso_local local_unnamed_addr constant i64 255, comdat, align 8\n@_ZN3nil7crypto37algebra6fields16vesta_base_field10value_bitsE = weak_odr dso_local local_unnamed_addr constant i64 255, comdat, align 8\n\n; Function Attrs: mustprogress nounwind\ndefine dso_local void @free(i8* noundef %ptr) local_unnamed_addr #0 {\nentry:\n tail call void @llvm.assigner.free.p0i8(i8* %ptr)\n ret void\n}\n\n; Function Attrs: nounwind\ndeclare void @llvm.assigner.free.p0i8(i8*) #1\n\n; Function Attrs: mustprogress nounwind allocsize(0)\ndefine dso_local i8* @malloc(i64 noundef %size) local_unnamed_addr #2 {\nentry:\n %0 = tail call i8* @llvm.assigner.malloc.p0i8(i64 %size)\n ret i8* %0\n}\n\n; Function Attrs: nounwind\ndeclare i8* @llvm.assigner.malloc.p0i8(i64) #1\n\n; Function Attrs: mustprogress nounwind\ndefine dso_local noundef i64 @_ZN3nil7crypto314multiprecision8backends11window_bitsEm(i64 noundef %exp_bits) local_unnamed_addr #0 {\nentry:\n br label %while.cond\n\nwhile.cond: ; preds = %while.cond, %entry\n %j.0 = phi i64 [ 5, %entry ], [ %dec, %while.cond ]\n %arrayidx = getelementptr inbounds [6 x [2 x i64]], [6 x [2 x i64]]* @_ZZN3nil7crypto314multiprecision8backends11window_bitsEmE5wsize, i64 0, i64 %j.0\n %arrayidx1 = getelementptr inbounds [2 x i64], [2 x i64]* %arrayidx, i64 0, i64 0\n %0 = load i64, i64* %arrayidx1, align 8, !tbaa !3\n %cmp = icmp ugt i64 %0, %exp_bits\n %dec = add i64 %j.0, -1\n br i1 %cmp, label %while.cond, label %while.end, !llvm.loop !7\n\nwhile.end: ; preds = %while.cond\n %arrayidx2 = getelementptr inbounds [6 x [2 x i64]], [6 x [2 x i64]]* @_ZZN3nil7crypto314multiprecision8backends11window_bitsEmE5wsize, i64 0, i64 %j.0\n %arrayidx3 = getelementptr inbounds [2 x i64], [2 x i64]* %arrayidx2, i64 0, i64 1\n %1 = load i64, i64* %arrayidx3, align 8, !tbaa !3\n %add = add i64 1, %1\n ret i64 %add\n}\n\n; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)\ndeclare void @llvm.lifetime.start.p0i8(i64 immarg, i8* nocapture) #3\n\n; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)\ndeclare void @llvm.lifetime.end.p0i8(i64 immarg, i8* nocapture) #3\n\n; Function Attrs: circuit mustprogress\ndefine dso_local noundef __zkllvm_field_pallas_base @_Z20merkle_tree_poseidonNSt3__15arrayIu26__zkllvm_field_pallas_baseLm49EEE(%\"struct.std::__1::array\"* noundef byval(%\"struct.std::__1::array\") align 1 %input) local_unnamed_addr #4 {\nentry:\n %layer_1_leaves = alloca %\"struct.std::__1::array.0\", align 1\n %layer_2_leaves = alloca %\"struct.std::__1::array.1\", align 1\n %layer_3_leaves = alloca %\"struct.std::__1::array.2\", align 1\n %layer_4_leaves = alloca %\"struct.std::__1::array.3\", align 1\n %0 = bitcast %\"struct.std::__1::array.0\"* %layer_1_leaves to i8*\n call void @llvm.lifetime.start.p0i8(i64 64, i8* %0) #1\n %1 = bitcast %\"struct.std::__1::array.1\"* %layer_2_leaves to i8*\n call void @llvm.lifetime.start.p0i8(i64 32, i8* %1) #1\n %2 = bitcast %\"struct.std::__1::array.2\"* %layer_3_leaves to i8*\n call void @llvm.lifetime.start.p0i8(i64 16, i8* %2) #1\n %3 = bitcast %\"struct.std::__1::array.3\"* %layer_4_leaves to i8*\n call void @llvm.lifetime.start.p0i8(i64 8, i8* %3) #1\n br label %for.body\n\nfor.cond.cleanup: ; preds = %for.inc\n br label %for.end\n\nfor.body: ; preds = %entry, %for.inc\n %leaf_index.082 = phi i64 [ 0, %entry ], [ %inc, %for.inc ]\n %mul = mul i64 2, %leaf_index.082\n %add = add i64 14, %mul\n %call = call fastcc noundef nonnull align 1 dereferenceable(4) __zkllvm_field_pallas_base* @_ZNSt3__15arrayIu26__zkllvm_field_pallas_baseLm49EEixEm(%\"struct.std::__1::array\"* noundef nonnull align 1 dereferenceable(196) %input, i64 noundef %add) #1\n %4 = load __zkllvm_field_pallas_base, __zkllvm_field_pallas_base* %call, align 1, !tbaa !10\n %mul1 = mul i64 2, %leaf_index.082\n %add2 = add i64 14, %mul1\n %add3 = add i64 %add2, 1\n %call4 = call fastcc noundef nonnull align 1 dereferenceable(4) __zkllvm_field_pallas_base* @_ZNSt3__15arrayIu26__zkllvm_field_pallas_baseLm49EEixEm(%\"struct.std::__1::array\"* noundef nonnull align 1 dereferenceable(196) %input, i64 noundef %add3) #1\n %5 = load __zkllvm_field_pallas_base, __zkllvm_field_pallas_base* %call4, align 1, !tbaa !10\n %call5 = call noundef __zkllvm_field_pallas_base @_ZN3nil7crypto34hashINS0_6hashes8poseidonEEENT_10block_typeES5_S5_(__zkllvm_field_pallas_base noundef %4, __zkllvm_field_pallas_base noundef %5)\n %call6 = call fastcc noundef nonnull align 1 dereferenceable(4) __zkllvm_field_pallas_base* @_ZNSt3__15arrayIu26__zkllvm_field_pallas_baseLm16EEixEm(%\"struct.std::__1::array.0\"* noundef nonnull align 1 dereferenceable(64) %layer_1_leaves, i64 noundef %leaf_index.082) #1\n store __zkllvm_field_pallas_base %call5, __zkllvm_field_pallas_base* %call6, align 1, !tbaa !10\n br label %for.inc\n\nfor.inc: ; preds = %for.body\n %inc = add i64 %leaf_index.082, 1\n %cmp = icmp ult i64 %inc, 16\n br i1 %cmp, label %for.body, label %for.cond.cleanup, !llvm.loop !12\n\nfor.end: ; preds = %for.cond.cleanup\n br label %for.body11\n\nfor.cond.cleanup10: ; preds = %for.inc19\n br label %for.end21\n\nfor.body11: ; preds = %for.end, %for.inc19\n %leaf_index7.083 = phi i64 [ 0, %for.end ], [ %inc20, %for.inc19 ]\n %mul12 = mul i64 2, %leaf_index7.083\n %call13 = call fastcc noundef nonnull align 1 dereferenceable(4) __zkllvm_field_pallas_base* @_ZNSt3__15arrayIu26__zkllvm_field_pallas_baseLm16EEixEm(%\"struct.std::__1::array.0\"* noundef nonnull align 1 dereferenceable(64) %layer_1_leaves, i64 noundef %mul12) #1\n %6 = load __zkllvm_field_pallas_base, __zkllvm_field_pallas_base* %call13, align 1, !tbaa !10\n %mul14 = mul i64 2, %leaf_index7.083\n %add15 = add i64 %mul14, 1\n %call16 = call fastcc noundef nonnull align 1 dereferenceable(4) __zkllvm_field_pallas_base* @_ZNSt3__15arrayIu26__zkllvm_field_pallas_baseLm16EEixEm(%\"struct.std::__1::array.0\"* noundef nonnull align 1 dereferenceable(64) %layer_1_leaves, i64 noundef %add15) #1\n %7 = load __zkllvm_field_pallas_base, __zkllvm_field_pallas_base* %call16, align 1, !tbaa !10\n %call17 = call noundef __zkllvm_field_pallas_base @_ZN3nil7crypto34hashINS0_6hashes8poseidonEEENT_10block_typeES5_S5_(__zkllvm_field_pallas_base noundef %6, __zkllvm_field_pallas_base noundef %7)\n %call18 = call fastcc noundef nonnull align 1 dereferenceable(4) __zkllvm_field_pallas_base* @_ZNSt3__15arrayIu26__zkllvm_field_pallas_baseLm8EEixEm(%\"struct.std::__1::array.1\"* noundef nonnull align 1 dereferenceable(32) %layer_2_leaves, i64 noundef %leaf_index7.083) #1\n store __zkllvm_field_pallas_base %call17, __zkllvm_field_pallas_base* %call18, align 1, !tbaa !10\n br label %for.inc19\n\nfor.inc19: ; preds = %for.body11\n %inc20 = add i64 %leaf_index7.083, 1\n %cmp9 = icmp ult i64 %inc20, 8\n br i1 %cmp9, label %for.body11, label %for.cond.cleanup10, !llvm.loop !13\n\nfor.end21: ; preds = %for.cond.cleanup10\n br label %for.body26\n\nfor.cond.cleanup25: ; preds = %for.inc34\n br label %for.end36\n\nfor.body26: ; preds = %for.end21, %for.inc34\n %leaf_index22.084 = phi i64 [ 0, %for.end21 ], [ %inc35, %for.inc34 ]\n %mul27 = mul i64 2, %leaf_index22.084\n %call28 = call fastcc noundef nonnull align 1 dereferenceable(4) __zkllvm_field_pallas_base* @_ZNSt3__15arrayIu26__zkllvm_field_pallas_baseLm8EEixEm(%\"struct.std::__1::array.1\"* noundef nonnull align 1 dereferenceable(32) %layer_2_leaves, i64 noundef %mul27) #1\n %8 = load __zkllvm_field_pallas_base, __zkllvm_field_pallas_base* %call28, align 1, !tbaa !10\n %mul29 = mul i64 2, %leaf_index22.084\n %add30 = add i64 %mul29, 1\n %call31 = call fastcc noundef nonnull align 1 dereferenceable(4) __zkllvm_field_pallas_base* @_ZNSt3__15arrayIu26__zkllvm_field_pallas_baseLm8EEixEm(%\"struct.std::__1::array.1\"* noundef nonnull align 1 dereferenceable(32) %layer_2_leaves, i64 noundef %add30) #1\n %9 = load __zkllvm_field_pallas_base, __zkllvm_field_pallas_base* %call31, align 1, !tbaa !10\n %call32 = call noundef __zkllvm_field_pallas_base @_ZN3nil7crypto34hashINS0_6hashes8poseidonEEENT_10block_typeES5_S5_(__zkllvm_field_pallas_base noundef %8, __zkllvm_field_pallas_base noundef %9)\n %call33 = call fastcc noundef nonnull align 1 dereferenceable(4) __zkllvm_field_pallas_base* @_ZNSt3__15arrayIu26__zkllvm_field_pallas_baseLm4EEixEm(%\"struct.std::__1::array.2\"* noundef nonnull align 1 dereferenceable(16) %layer_3_leaves, i64 noundef %leaf_index22.084) #1\n store __zkllvm_field_pallas_base %call32, __zkllvm_field_pallas_base* %call33, align 1, !tbaa !10\n br label %for.inc34\n\nfor.inc34: ; preds = %for.body26\n %inc35 = add i64 %leaf_index22.084, 1\n %cmp24 = icmp ult i64 %inc35, 4\n br i1 %cmp24, label %for.body26, label %for.cond.cleanup25, !llvm.loop !14\n\nfor.end36: ; preds = %for.cond.cleanup25\n br label %for.body41\n\nfor.cond.cleanup40: ; preds = %for.inc49\n br label %for.end51\n\nfor.body41: ; preds = %for.end36, %for.inc49\n %leaf_index37.085 = phi i64 [ 0, %for.end36 ], [ %inc50, %for.inc49 ]\n %mul42 = mul i64 2, %leaf_index37.085\n %call43 = call fastcc noundef nonnull align 1 dereferenceable(4) __zkllvm_field_pallas_base* @_ZNSt3__15arrayIu26__zkllvm_field_pallas_baseLm4EEixEm(%\"struct.std::__1::array.2\"* noundef nonnull align 1 dereferenceable(16) %layer_3_leaves, i64 noundef %mul42) #1\n %10 = load __zkllvm_field_pallas_base, __zkllvm_field_pallas_base* %call43, align 1, !tbaa !10\n %mul44 = mul i64 2, %leaf_index37.085\n %add45 = add i64 %mul44, 1\n %call46 = call fastcc noundef nonnull align 1 dereferenceable(4) __zkllvm_field_pallas_base* @_ZNSt3__15arrayIu26__zkllvm_field_pallas_baseLm4EEixEm(%\"struct.std::__1::array.2\"* noundef nonnull align 1 dereferenceable(16) %layer_3_leaves, i64 noundef %add45) #1\n %11 = load __zkllvm_field_pallas_base, __zkllvm_field_pallas_base* %call46, align 1, !tbaa !10\n %call47 = call noundef __zkllvm_field_pallas_base @_ZN3nil7crypto34hashINS0_6hashes8poseidonEEENT_10block_typeES5_S5_(__zkllvm_field_pallas_base noundef %10, __zkllvm_field_pallas_base noundef %11)\n %call48 = call fastcc noundef nonnull align 1 dereferenceable(4) __zkllvm_field_pallas_base* @_ZNSt3__15arrayIu26__zkllvm_field_pallas_baseLm2EEixEm(%\"struct.std::__1::array.3\"* noundef nonnull align 1 dereferenceable(8) %layer_4_leaves, i64 noundef %leaf_index37.085) #1\n store __zkllvm_field_pallas_base %call47, __zkllvm_field_pallas_base* %call48, align 1, !tbaa !10\n br label %for.inc49\n\nfor.inc49: ; preds = %for.body41\n %inc50 = add i64 %leaf_index37.085, 1\n %cmp39 = icmp ult i64 %inc50, 2\n br i1 %cmp39, label %for.body41, label %for.cond.cleanup40, !llvm.loop !15\n\nfor.end51: ; preds = %for.cond.cleanup40\n %call52 = call fastcc noundef nonnull align 1 dereferenceable(4) __zkllvm_field_pallas_base* @_ZNSt3__15arrayIu26__zkllvm_field_pallas_baseLm2EEixEm(%\"struct.std::__1::array.3\"* noundef nonnull align 1 dereferenceable(8) %layer_4_leaves, i64 noundef 0) #1\n %12 = load __zkllvm_field_pallas_base, __zkllvm_field_pallas_base* %call52, align 1, !tbaa !10\n %call53 = call fastcc noundef nonnull align 1 dereferenceable(4) __zkllvm_field_pallas_base* @_ZNSt3__15arrayIu26__zkllvm_field_pallas_baseLm2EEixEm(%\"struct.std::__1::array.3\"* noundef nonnull align 1 dereferenceable(8) %layer_4_leaves, i64 noundef 1) #1\n %13 = load __zkllvm_field_pallas_base, __zkllvm_field_pallas_base* %call53, align 1, !tbaa !10\n %call54 = call noundef __zkllvm_field_pallas_base @_ZN3nil7crypto34hashINS0_6hashes8poseidonEEENT_10block_typeES5_S5_(__zkllvm_field_pallas_base noundef %12, __zkllvm_field_pallas_base noundef %13)\n %14 = bitcast %\"struct.std::__1::array.3\"* %layer_4_leaves to i8*\n call void @llvm.lifetime.end.p0i8(i64 8, i8* %14) #1\n %15 = bitcast %\"struct.std::__1::array.2\"* %layer_3_leaves to i8*\n call void @llvm.lifetime.end.p0i8(i64 16, i8* %15) #1\n %16 = bitcast %\"struct.std::__1::array.1\"* %layer_2_leaves to i8*\n call void @llvm.lifetime.end.p0i8(i64 32, i8* %16) #1\n %17 = bitcast %\"struct.std::__1::array.0\"* %layer_1_leaves to i8*\n call void @llvm.lifetime.end.p0i8(i64 64, i8* %17) #1\n ret __zkllvm_field_pallas_base %call54\n}\n\n; Function Attrs: mustprogress\ndefine linkonce_odr dso_local noundef __zkllvm_field_pallas_base @_ZN3nil7crypto34hashINS0_6hashes8poseidonEEENT_10block_typeES5_S5_(__zkllvm_field_pallas_base noundef %block0, __zkllvm_field_pallas_base noundef %block1) local_unnamed_addr #5 comdat {\nentry:\n %ref.tmp = alloca %\"struct.nil::crypto3::hashes::poseidon::process\", align 1\n %0 = bitcast %\"struct.nil::crypto3::hashes::poseidon::process\"* %ref.tmp to i8*\n call void @llvm.lifetime.start.p0i8(i64 1, i8* %0) #1\n %call = call noundef __zkllvm_field_pallas_base @_ZN3nil7crypto36hashes8poseidon7processclEu26__zkllvm_field_pallas_baseu26__zkllvm_field_pallas_base(%\"struct.nil::crypto3::hashes::poseidon::process\"* noundef nonnull align 1 dereferenceable(1) %ref.tmp, __zkllvm_field_pallas_base noundef %block0, __zkllvm_field_pallas_base noundef %block1)\n %1 = bitcast %\"struct.nil::crypto3::hashes::poseidon::process\"* %ref.tmp to i8*\n call void @llvm.lifetime.end.p0i8(i64 1, i8* %1) #1\n ret __zkllvm_field_pallas_base %call\n}\n\n; Function Attrs: mustprogress nounwind\ndefine internal fastcc noundef nonnull align 1 dereferenceable(4) __zkllvm_field_pallas_base* @_ZNSt3__15arrayIu26__zkllvm_field_pallas_baseLm49EEixEm(%\"struct.std::__1::array\"* noundef nonnull align 1 dereferenceable(196) %this, i64 noundef %__n) unnamed_addr #0 align 2 {\nentry:\n %__elems_ = getelementptr inbounds %\"struct.std::__1::array\", %\"struct.std::__1::array\"* %this, i32 0, i32 0\n %arrayidx = getelementptr inbounds [49 x __zkllvm_field_pallas_base], [49 x __zkllvm_field_pallas_base]* %__elems_, i64 0, i64 %__n\n ret __zkllvm_field_pallas_base* %arrayidx\n}\n\n; Function Attrs: mustprogress nounwind\ndefine internal fastcc noundef nonnull align 1 dereferenceable(4) __zkllvm_field_pallas_base* @_ZNSt3__15arrayIu26__zkllvm_field_pallas_baseLm16EEixEm(%\"struct.std::__1::array.0\"* noundef nonnull align 1 dereferenceable(64) %this, i64 noundef %__n) unnamed_addr #0 align 2 {\nentry:\n %__elems_ = getelementptr inbounds %\"struct.std::__1::array.0\", %\"struct.std::__1::array.0\"* %this, i32 0, i32 0\n %arrayidx = getelementptr inbounds [16 x __zkllvm_field_pallas_base], [16 x __zkllvm_field_pallas_base]* %__elems_, i64 0, i64 %__n\n ret __zkllvm_field_pallas_base* %arrayidx\n}\n\n; Function Attrs: mustprogress nounwind\ndefine internal fastcc noundef nonnull align 1 dereferenceable(4) __zkllvm_field_pallas_base* @_ZNSt3__15arrayIu26__zkllvm_field_pallas_baseLm8EEixEm(%\"struct.std::__1::array.1\"* noundef nonnull align 1 dereferenceable(32) %this, i64 noundef %__n) unnamed_addr #0 align 2 {\nentry:\n %__elems_ = getelementptr inbounds %\"struct.std::__1::array.1\", %\"struct.std::__1::array.1\"* %this, i32 0, i32 0\n %arrayidx = getelementptr inbounds [8 x __zkllvm_field_pallas_base], [8 x __zkllvm_field_pallas_base]* %__elems_, i64 0, i64 %__n\n ret __zkllvm_field_pallas_base* %arrayidx\n}\n\n; Function Attrs: mustprogress nounwind\ndefine internal fastcc noundef nonnull align 1 dereferenceable(4) __zkllvm_field_pallas_base* @_ZNSt3__15arrayIu26__zkllvm_field_pallas_baseLm4EEixEm(%\"struct.std::__1::array.2\"* noundef nonnull align 1 dereferenceable(16) %this, i64 noundef %__n) unnamed_addr #0 align 2 {\nentry:\n %__elems_ = getelementptr inbounds %\"struct.std::__1::array.2\", %\"struct.std::__1::array.2\"* %this, i32 0, i32 0\n %arrayidx = getelementptr inbounds [4 x __zkllvm_field_pallas_base], [4 x __zkllvm_field_pallas_base]* %__elems_, i64 0, i64 %__n\n ret __zkllvm_field_pallas_base* %arrayidx\n}\n\n; Function Attrs: mustprogress nounwind\ndefine internal fastcc noundef nonnull align 1 dereferenceable(4) __zkllvm_field_pallas_base* @_ZNSt3__15arrayIu26__zkllvm_field_pallas_baseLm2EEixEm(%\"struct.std::__1::array.3\"* noundef nonnull align 1 dereferenceable(8) %this, i64 noundef %__n) unnamed_addr #0 align 2 {\nentry:\n %__elems_ = getelementptr inbounds %\"struct.std::__1::array.3\", %\"struct.std::__1::array.3\"* %this, i32 0, i32 0\n %arrayidx = getelementptr inbounds [2 x __zkllvm_field_pallas_base], [2 x __zkllvm_field_pallas_base]* %__elems_, i64 0, i64 %__n\n ret __zkllvm_field_pallas_base* %arrayidx\n}\n\n; Function Attrs: mustprogress nounwind\ndefine linkonce_odr dso_local noundef __zkllvm_field_pallas_base @_ZN3nil7crypto36hashes8poseidon7processclEu26__zkllvm_field_pallas_baseu26__zkllvm_field_pallas_base(%\"struct.nil::crypto3::hashes::poseidon::process\"* noundef nonnull align 1 dereferenceable(1) %this, __zkllvm_field_pallas_base noundef %first_input_block, __zkllvm_field_pallas_base noundef %second_input_block) local_unnamed_addr #0 comdat align 2 {\nentry:\n %vecinit = insertelement <3 x __zkllvm_field_pallas_base> <__zkllvm_field_pallas_base f0x0, __zkllvm_field_pallas_base undef, __zkllvm_field_pallas_base undef>, __zkllvm_field_pallas_base %first_input_block, i32 1\n %vecinit2 = insertelement <3 x __zkllvm_field_pallas_base> %vecinit, __zkllvm_field_pallas_base %second_input_block, i32 2\n %0 = tail call <3 x __zkllvm_field_pallas_base> @llvm.assigner.poseidon.v3field(<3 x __zkllvm_field_pallas_base> %vecinit2)\n %vecext = extractelement <3 x __zkllvm_field_pallas_base> %0, i32 2\n ret __zkllvm_field_pallas_base %vecext\n}\n\n; Function Attrs: nounwind\ndeclare <3 x __zkllvm_field_pallas_base> @llvm.assigner.poseidon.v3field(<3 x __zkllvm_field_pallas_base>) #1\n\nattributes #0 = { mustprogress nounwind \"frame-pointer\"=\"all\" \"no-trapping-math\"=\"true\" \"stack-protector-buffer-size\"=\"8\" }\nattributes #1 = { nounwind }\nattributes #2 = { mustprogress nounwind allocsize(0) \"frame-pointer\"=\"all\" \"no-trapping-math\"=\"true\" \"stack-protector-buffer-size\"=\"8\" }\nattributes #3 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }\nattributes #4 = { circuit mustprogress \"frame-pointer\"=\"all\" \"no-trapping-math\"=\"true\" \"stack-protector-buffer-size\"=\"8\" }\nattributes #5 = { mustprogress \"frame-pointer\"=\"all\" \"no-trapping-math\"=\"true\" \"stack-protector-buffer-size\"=\"8\" }\n\n!llvm.linker.options = !{}\n!llvm.module.flags = !{!0, !1}\n!llvm.ident = !{!2}\n\n!0 = !{i32 1, !\"wchar_size\", i32 4}\n!1 = !{i32 7, !\"frame-pointer\", i32 2}\n!2 = !{!\"clang version 16.0.0 (https://github.com/NilFoundation/zkllvm-circifier.git 87213731868770cbeb419d77b635eefd2004e0fb)\"}\n!3 = !{!4, !4, i64 0}\n!4 = !{!\"long\", !5, i64 0}\n!5 = !{!\"omnipotent char\", !6, i64 0}\n!6 = !{!\"Simple C++ TBAA\"}\n!7 = distinct !{!7, !8, !9}\n!8 = !{!\"llvm.loop.mustprogress\"}\n!9 = !{!\"llvm.loop.unroll.disable\"}\n!10 = !{!11, !11, i64 0}\n!11 = !{!\"__zkllvm_field_pallas_base\", !5, i64 0}\n!12 = distinct !{!12, !8, !9}\n!13 = distinct !{!13, !8, !9}\n!14 = distinct !{!14, !8, !9}\n!15 = distinct !{!15, !8, !9}\n" - } -} \ No newline at end of file