{"id":"https://openalex.org/W7136585718","doi":"https://doi.org/10.46586/tosc.v2026.i1.345-375","title":"Computer-Aided Proof for Extended Generalized Feistel Networks","display_name":"Computer-Aided Proof for Extended Generalized Feistel Networks","publication_year":2026,"publication_date":"2026-03-16","ids":{"openalex":"https://openalex.org/W7136585718","doi":"https://doi.org/10.46586/tosc.v2026.i1.345-375"},"language":"en","primary_location":{"id":"doi:10.46586/tosc.v2026.i1.345-375","is_oa":true,"landing_page_url":"https://doi.org/10.46586/tosc.v2026.i1.345-375","pdf_url":"https://tosc.iacr.org/index.php/ToSC/article/download/12789/12478","source":{"id":"https://openalex.org/S4210236173","display_name":"IACR Transactions on Symmetric Cryptology","issn_l":"2519-173X","issn":["2519-173X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Transactions on Symmetric Cryptology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://tosc.iacr.org/index.php/ToSC/article/download/12789/12478","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101735962","display_name":"Yuchao Chen","orcid":"https://orcid.org/0000-0002-6896-9788"},"institutions":[{"id":"https://openalex.org/I4210132990","display_name":"State Key Laboratory of Cryptology","ror":"https://ror.org/02pn5rj08","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210132990"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuchao Chen","raw_affiliation_strings":["School of Cyber Science and Technology, Shandong University, Qingdao, China; State Key Laboratory of Cryptography and Digital Economy Security, Shandong University, Qingdao, 266237, China; Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Cyber Science and Technology, Shandong University, Qingdao, China; State Key Laboratory of Cryptography and Digital Economy Security, Shandong University, Qingdao, 266237, China; Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan, China","institution_ids":["https://openalex.org/I4210132990"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062882585","display_name":"Chun Guo","orcid":"https://orcid.org/0000-0002-8520-6301"},"institutions":[{"id":"https://openalex.org/I4210132990","display_name":"State Key Laboratory of Cryptology","ror":"https://ror.org/02pn5rj08","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210132990"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chun Guo","raw_affiliation_strings":["School of Cyber Science and Technology, Shandong University, Qingdao, China; State Key Laboratory of Cryptography and Digital Economy Security, Shandong University, Qingdao, 266237, China; Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Cyber Science and Technology, Shandong University, Qingdao, China; State Key Laboratory of Cryptography and Digital Economy Security, Shandong University, Qingdao, 266237, China; Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan, China","institution_ids":["https://openalex.org/I4210132990"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129620872","display_name":"Muzhou Li","orcid":null},"institutions":[{"id":"https://openalex.org/I4210132990","display_name":"State Key Laboratory of Cryptology","ror":"https://ror.org/02pn5rj08","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210132990"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Muzhou Li","raw_affiliation_strings":["School of Cryptologic Science and Engineering, Shandong University, Jinan, China; State Key Laboratory of Cryptography and Digital Economy Security, Shandong University, Qingdao, 266237, China; Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan, China; Quancheng Laboratory, Jinan, 250103, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Cryptologic Science and Engineering, Shandong University, Jinan, China; State Key Laboratory of Cryptography and Digital Economy Security, Shandong University, Qingdao, 266237, China; Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan, China; Quancheng Laboratory, Jinan, 250103, China","institution_ids":["https://openalex.org/I4210132990"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058938797","display_name":"Shuo Peng","orcid":"https://orcid.org/0000-0002-2560-5837"},"institutions":[{"id":"https://openalex.org/I4210132990","display_name":"State Key Laboratory of Cryptology","ror":"https://ror.org/02pn5rj08","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210132990"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shuo Peng","raw_affiliation_strings":["School of Cyber Science and Technology, Shandong University, Qingdao, China; State Key Laboratory of Cryptography and Digital Economy Security, Shandong University, Qingdao, 266237, China; Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Cyber Science and Technology, Shandong University, Qingdao, China; State Key Laboratory of Cryptography and Digital Economy Security, Shandong University, Qingdao, 266237, China; Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan, China","institution_ids":["https://openalex.org/I4210132990"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129600925","display_name":"Hao Lei","orcid":null},"institutions":[{"id":"https://openalex.org/I4210132990","display_name":"State Key Laboratory of Cryptology","ror":"https://ror.org/02pn5rj08","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210132990"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hao Lei","raw_affiliation_strings":["School of Cyber Science and Technology, Shandong University, Qingdao, China; State Key Laboratory of Cryptography and Digital Economy Security, Shandong University, Qingdao, 266237, China; Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Cyber Science and Technology, Shandong University, Qingdao, China; State Key Laboratory of Cryptography and Digital Economy Security, Shandong University, Qingdao, 266237, China; Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan, China","institution_ids":["https://openalex.org/I4210132990"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051146487","display_name":"Guang Zeng","orcid":"https://orcid.org/0000-0001-5153-1811"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]},{"id":"https://openalex.org/I4210160618","display_name":"Huawei Technologies (United Kingdom)","ror":"https://ror.org/056gzgs71","country_code":"GB","type":"company","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210160618"]}],"countries":["CN","GB"],"is_corresponding":false,"raw_author_name":"Guang Zeng","raw_affiliation_strings":["Huawei technologies, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Huawei technologies, Beijing, China","institution_ids":["https://openalex.org/I2250955327","https://openalex.org/I4210160618"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5129610501","display_name":"Meiqin Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I4210132990","display_name":"State Key Laboratory of Cryptology","ror":"https://ror.org/02pn5rj08","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210132990"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Meiqin Wang","raw_affiliation_strings":["School of Cyber Science and Technology, Shandong University, Qingdao, China; State Key Laboratory of Cryptography and Digital Economy Security, Shandong University, Qingdao, 266237, China; Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan, China;  Quancheng Laboratory, Jinan, 250103, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Cyber Science and Technology, Shandong University, Qingdao, China; State Key Laboratory of Cryptography and Digital Economy Security, Shandong University, Qingdao, 266237, China; Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan, China;  Quancheng Laboratory, Jinan, 250103, China","institution_ids":["https://openalex.org/I4210132990"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.35207549,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2026","issue":"1","first_page":"345","last_page":"375"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.9717000126838684,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.9717000126838684,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.015699999406933784,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.004100000020116568,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.6898999810218811},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.671500027179718},{"id":"https://openalex.org/keywords/block-cipher","display_name":"Block cipher","score":0.5593000054359436},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.48420000076293945},{"id":"https://openalex.org/keywords/permutation","display_name":"Permutation (music)","score":0.454800009727478},{"id":"https://openalex.org/keywords/concrete-security","display_name":"Concrete security","score":0.44690001010894775},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.382999986410141},{"id":"https://openalex.org/keywords/pseudorandom-number-generator","display_name":"Pseudorandom number generator","score":0.3330000042915344}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.6898999810218811},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.671500027179718},{"id":"https://openalex.org/C106544461","wikidata":"https://www.wikidata.org/wiki/Q543151","display_name":"Block cipher","level":3,"score":0.5593000054359436},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.48420000076293945},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.48030000925064087},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4616999924182892},{"id":"https://openalex.org/C21308566","wikidata":"https://www.wikidata.org/wiki/Q7169365","display_name":"Permutation (music)","level":2,"score":0.454800009727478},{"id":"https://openalex.org/C147343967","wikidata":"https://www.wikidata.org/wiki/Q5159078","display_name":"Concrete security","level":3,"score":0.44690001010894775},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40610000491142273},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.382999986410141},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3684999942779541},{"id":"https://openalex.org/C140642157","wikidata":"https://www.wikidata.org/wiki/Q1623338","display_name":"Pseudorandom number generator","level":2,"score":0.3330000042915344},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.31029999256134033},{"id":"https://openalex.org/C38369872","wikidata":"https://www.wikidata.org/wiki/Q7445009","display_name":"Security analysis","level":2,"score":0.303600013256073},{"id":"https://openalex.org/C84140500","wikidata":"https://www.wikidata.org/wiki/Q851512","display_name":"Permutation matrix","level":3,"score":0.30090001225471497},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.27730000019073486},{"id":"https://openalex.org/C2983050975","wikidata":"https://www.wikidata.org/wiki/Q88287214","display_name":"Block structure","level":3,"score":0.2696000039577484},{"id":"https://openalex.org/C25818197","wikidata":"https://www.wikidata.org/wiki/Q7255477","display_name":"Pseudorandom permutation","level":4,"score":0.2662000060081482},{"id":"https://openalex.org/C165435473","wikidata":"https://www.wikidata.org/wiki/Q1509884","display_name":"Padding","level":2,"score":0.2630999982357025},{"id":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","display_name":"Formal proof","level":3,"score":0.2554999887943268},{"id":"https://openalex.org/C182590292","wikidata":"https://www.wikidata.org/wiki/Q989632","display_name":"Network security","level":2,"score":0.25119999051094055}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.46586/tosc.v2026.i1.345-375","is_oa":true,"landing_page_url":"https://doi.org/10.46586/tosc.v2026.i1.345-375","pdf_url":"https://tosc.iacr.org/index.php/ToSC/article/download/12789/12478","source":{"id":"https://openalex.org/S4210236173","display_name":"IACR Transactions on Symmetric Cryptology","issn_l":"2519-173X","issn":["2519-173X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Transactions on Symmetric Cryptology","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:367f338e521e46a09cd23cb454296453","is_oa":true,"landing_page_url":"https://doaj.org/article/367f338e521e46a09cd23cb454296453","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IACR Transactions on Symmetric Cryptology, Vol 2026, Iss 1 (2026)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46586/tosc.v2026.i1.345-375","is_oa":true,"landing_page_url":"https://doi.org/10.46586/tosc.v2026.i1.345-375","pdf_url":"https://tosc.iacr.org/index.php/ToSC/article/download/12789/12478","source":{"id":"https://openalex.org/S4210236173","display_name":"IACR Transactions on Symmetric Cryptology","issn_l":"2519-173X","issn":["2519-173X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Transactions on Symmetric Cryptology","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.63260817527771}],"awards":[{"id":"https://openalex.org/G3608515069","display_name":null,"funder_award_id":"62372274","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6785854632","display_name":null,"funder_award_id":"U2336207","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7735407926","display_name":null,"funder_award_id":"62032014","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321106","display_name":"Ministry of Education of the People's Republic of China","ror":"https://ror.org/01mv9t934"},{"id":"https://openalex.org/F4320324174","display_name":"Natural Science Foundation of Shandong Province","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7136585718.pdf","grobid_xml":"https://content.openalex.org/works/W7136585718.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"(Multi-branch)":[0],"Generalized":[1,33],"Feistel":[2,34],"Network":[3,35],"(GFN)":[4],"enables":[5],"the":[6,31,113,155,240,257,281,293,306,311,330],"construction":[7],"of":[8,82,90,115,126,143,157,239,251,260,332],"block":[9,23],"ciphers":[10],"from":[11],"non-linear":[12],"components":[13],"with":[14,78,271,301],"small":[15],"domains,":[16],"and":[17,39,68,97,120,137,141,179,200,207,219,223,245,266,286,335],"has":[18],"been":[19],"adopted":[20],"in":[21,337],"various":[22,124,338],"ciphers.":[24],"Berger":[25],"et":[26,171,186,193,227],"al.":[27],"(SAC":[28],"2013)":[29],"introduced":[30],"Extended":[32],"(EGFN),":[36],"which":[37,93],"unified":[38],"extended":[40],"existing":[41],"Feistel-like":[42],"structures":[43,77,165,247],"by":[44,131,148],"using":[45],"a":[46,79,87,107,149,232,236],"matrix":[47],"representation.Given":[48],"an":[49],"arbitrary":[50],"matrix,":[51],"it":[52,162],"is":[53,94],"typically":[54],"difficult":[55],"to":[56,85,99,163,263,329],"determine":[57],"how":[58],"many":[59],"EGFN":[60,225,333],"rounds":[61,116,261],"are":[62,145],"sufficient":[63,117],"for":[64,76,118,123,243,248,269,284,299,305],"pseudorandom":[65],"permutation":[66,322],"(PRP)":[67],"strong":[69],"PRP":[70,119,265],"(SPRP)":[71],"security.":[72],"Remarkably,":[73],"security":[74,122,151,242,268,283,315],"proofs":[75,316],"larger":[80],"number":[81,114,259],"branches":[83],"have":[84,160],"analyze":[86],"huge":[88],"amount":[89],"collision":[91],"events,":[92],"overly":[95],"complicated":[96],"prone":[98],"errors.To":[100],"remedy":[101],"this":[102],"situation,":[103],"we":[104,159,234,309],"present":[105],"AutoEGFN,":[106,158],"computer-aided":[108],"proof":[109,294],"tool":[110,129,254,291],"that":[111],"determines":[112,256],"SPRP":[121,267],"variants":[125,300],"EGFN.":[127,289],"The":[128,139],"operates":[130],"calculating":[132],"three":[133],"parameters:":[134],"r1,":[135],"r2,":[136],"r3.":[138],"validity":[140],"soundness":[142],"AutoEGFN":[144,325],"formally":[146],"established":[147],"detailed":[150],"proof.":[152],"To":[153],"demonstrate":[154],"effectiveness":[156],"applied":[161],"multiple":[164],"such":[166],"as":[167],"Type-1/2":[168],"GFN":[169,177,184,191,198,205,212,217],"(Zheng":[170],"al.,":[172,187,194,228],"CRYPTO":[173],"1989),":[174],"YI11\u2019s":[175],"Type-1":[176,244],"(Yanagihara":[178,199,206],"Iwata,":[180,201,208],"CANS":[181,209],"2011),":[182,210],"DFLM19\u2019s":[183],"(Derbez":[185],"FSE":[188,221],"2019),":[189],"DDGP22\u2019s":[190],"(Delaune":[192],"INDOCRYPT":[195],"2022),":[196],"Type-1.x":[197],"IEICE":[202],"2014),":[203],"SH/TH":[204],"Nyberg\u2019s":[211],"(Nyberg,":[213],"ASIACRYPT":[214],"1996),":[215],"SM\u2019s":[216],"(Suzaki":[218],"Minematsu,":[220],"2010),":[222],"BMT\u2019s":[224,288],"(Berger":[226],"SAC":[229],"2013).":[230],"As":[231],"result,":[233],"provide":[235,310],"systematic":[237],"analysis":[238],"(S)PRP":[241,282,314],"Type-2":[246],"different":[249,272],"numbers":[250],"branches.":[252,303],"Our":[253,290],"efficiently":[255],"concrete":[258,313],"required":[262],"ensure":[264],"EGFNs":[270],"branch":[273],"numbers.":[274],"For":[275],"comparison,":[276],"previous":[277],"work":[278],"only":[279],"proved":[280],"8-":[285],"16-branch":[287],"completes":[292],"within":[295],"several":[296],"minutes,":[297],"even":[298],"32":[302],"Meanwhile,":[304],"other":[307],"structures,":[308],"first":[312],"without":[317],"any":[318],"restrictions":[319],"on":[320],"their":[321],"layers.":[323],"Furthermore,":[324],"will":[326],"significantly":[327],"contribute":[328],"enhancement":[331],"designs":[334],"implementations":[336],"cryptographic":[339],"applications.":[340]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-03-17T00:00:00"}