{"id":"https://openalex.org/W7119530459","doi":"https://doi.org/10.62056/a60ljb0kr","title":"Data Matching in Unequal Worlds and Applications to Smart Contracts","display_name":"Data Matching in Unequal Worlds and Applications to Smart Contracts","publication_year":2026,"publication_date":"2026-01-08","ids":{"openalex":"https://openalex.org/W7119530459","doi":"https://doi.org/10.62056/a60ljb0kr"},"language":"en","primary_location":{"id":"doi:10.62056/a60ljb0kr","is_oa":true,"landing_page_url":"https://doi.org/10.62056/a60ljb0kr","pdf_url":"https://cic.iacr.org/p/2/4/33/pdf","source":{"id":"https://openalex.org/S4394708374","display_name":"IACR Communications in Cryptology","issn_l":"3006-5496","issn":["3006-5496"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320989","host_organization_name":"International Association for Cryptologic Research","host_organization_lineage":["https://openalex.org/P4310320989"],"host_organization_lineage_names":["International Association for Cryptologic Research"],"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 Communications in Cryptology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://cic.iacr.org/p/2/4/33/pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059822476","display_name":"Dmitry Khovratovich","orcid":null},"institutions":[{"id":"https://openalex.org/I4405269892","display_name":"Ethereum Foundation","ror":"https://ror.org/05j1x9f71","country_code":"CH","type":"nonprofit","lineage":["https://openalex.org/I4405269892"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Dmitry Khovratovich","raw_affiliation_strings":["Ethereum Foundation"],"raw_orcid":"https://orcid.org/0009-0001-0347-3378","affiliations":[{"raw_affiliation_string":"Ethereum Foundation","institution_ids":["https://openalex.org/I4405269892"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Mikhail Vladimirov","orcid":"https://orcid.org/0009-0003-4406-2991"},"institutions":[{"id":"https://openalex.org/I4210134499","display_name":"LEK Consulting (United States)","ror":"https://ror.org/03mjnxj17","country_code":"US","type":"company","lineage":["https://openalex.org/I4210134499"]},{"id":"https://openalex.org/I4210147944","display_name":"ABS Consulting (United States)","ror":"https://ror.org/03yxyad36","country_code":"US","type":"company","lineage":["https://openalex.org/I4210147944"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mikhail Vladimirov","raw_affiliation_strings":["ABDK Consulting"],"raw_orcid":"https://orcid.org/0009-0003-4406-2991","affiliations":[{"raw_affiliation_string":"ABDK Consulting","institution_ids":["https://openalex.org/I4210134499","https://openalex.org/I4210147944"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5122373763","display_name":"Benedikt Wagner","orcid":null},"institutions":[{"id":"https://openalex.org/I4405269892","display_name":"Ethereum Foundation","ror":"https://ror.org/05j1x9f71","country_code":"CH","type":"nonprofit","lineage":["https://openalex.org/I4405269892"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Benedikt Wagner","raw_affiliation_strings":["Ethereum Foundation"],"raw_orcid":"https://orcid.org/0000-0002-4620-7264","affiliations":[{"raw_affiliation_string":"Ethereum Foundation","institution_ids":["https://openalex.org/I4405269892"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"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.04665891,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2","issue":"4","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.6692000031471252,"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/T10237","display_name":"Cryptography and Data Security","score":0.6692000031471252,"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.13920000195503235,"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"}},{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.056699998676776886,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/gas-meter-prover","display_name":"Gas meter prover","score":0.8981000185012817},{"id":"https://openalex.org/keywords/random-oracle","display_name":"Random oracle","score":0.791700005531311},{"id":"https://openalex.org/keywords/hash-function","display_name":"Hash function","score":0.7027000188827515},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5888000130653381},{"id":"https://openalex.org/keywords/smart-card","display_name":"Smart card","score":0.46160000562667847},{"id":"https://openalex.org/keywords/dynamic-perfect-hashing","display_name":"Dynamic perfect hashing","score":0.4575999975204468},{"id":"https://openalex.org/keywords/merkle-tree","display_name":"Merkle tree","score":0.4410000145435333},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.4099000096321106},{"id":"https://openalex.org/keywords/workaround","display_name":"Workaround","score":0.4025000035762787}],"concepts":[{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.8981000185012817},{"id":"https://openalex.org/C94284585","wikidata":"https://www.wikidata.org/wiki/Q228184","display_name":"Random oracle","level":4,"score":0.791700005531311},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.7027000188827515},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.683899998664856},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5888000130653381},{"id":"https://openalex.org/C110406131","wikidata":"https://www.wikidata.org/wiki/Q41349","display_name":"Smart card","level":2,"score":0.46160000562667847},{"id":"https://openalex.org/C122907437","wikidata":"https://www.wikidata.org/wiki/Q5318999","display_name":"Dynamic perfect hashing","level":5,"score":0.4575999975204468},{"id":"https://openalex.org/C205383636","wikidata":"https://www.wikidata.org/wiki/Q14746","display_name":"Merkle tree","level":4,"score":0.4410000145435333},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43549999594688416},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.4099000096321106},{"id":"https://openalex.org/C194541083","wikidata":"https://www.wikidata.org/wiki/Q457174","display_name":"Workaround","level":2,"score":0.4025000035762787},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.40049999952316284},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.3961000144481659},{"id":"https://openalex.org/C135783594","wikidata":"https://www.wikidata.org/wiki/Q5678864","display_name":"Hash chain","level":3,"score":0.37209999561309814},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.3702000081539154},{"id":"https://openalex.org/C138111711","wikidata":"https://www.wikidata.org/wiki/Q478351","display_name":"Double hashing","level":4,"score":0.3522000014781952},{"id":"https://openalex.org/C67388219","wikidata":"https://www.wikidata.org/wiki/Q207440","display_name":"Hash table","level":3,"score":0.3402000069618225},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3190000057220459},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.3172000050544739},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3028999865055084},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.30000001192092896},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.2935999929904938},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.290800005197525},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28200000524520874},{"id":"https://openalex.org/C116058348","wikidata":"https://www.wikidata.org/wiki/Q846912","display_name":"Universal hashing","level":5,"score":0.2750999927520752},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.2581000030040741},{"id":"https://openalex.org/C7608002","wikidata":"https://www.wikidata.org/wiki/Q477202","display_name":"Cryptographic hash function","level":3,"score":0.25699999928474426},{"id":"https://openalex.org/C131672422","wikidata":"https://www.wikidata.org/wiki/Q852594","display_name":"Provable security","level":3,"score":0.2565999925136566},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.25450000166893005},{"id":"https://openalex.org/C97399411","wikidata":"https://www.wikidata.org/wiki/Q825367","display_name":"Coin flipping","level":2,"score":0.2538999915122986}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.62056/a60ljb0kr","is_oa":true,"landing_page_url":"https://doi.org/10.62056/a60ljb0kr","pdf_url":"https://cic.iacr.org/p/2/4/33/pdf","source":{"id":"https://openalex.org/S4394708374","display_name":"IACR Communications in Cryptology","issn_l":"3006-5496","issn":["3006-5496"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320989","host_organization_name":"International Association for Cryptologic Research","host_organization_lineage":["https://openalex.org/P4310320989"],"host_organization_lineage_names":["International Association for Cryptologic Research"],"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 Communications in Cryptology","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.62056/a60ljb0kr","is_oa":true,"landing_page_url":"https://doi.org/10.62056/a60ljb0kr","pdf_url":"https://cic.iacr.org/p/2/4/33/pdf","source":{"id":"https://openalex.org/S4394708374","display_name":"IACR Communications in Cryptology","issn_l":"3006-5496","issn":["3006-5496"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320989","host_organization_name":"International Association for Cryptologic Research","host_organization_lineage":["https://openalex.org/P4310320989"],"host_organization_lineage_names":["International Association for Cryptologic Research"],"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 Communications in Cryptology","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7119530459.pdf","grobid_xml":"https://content.openalex.org/works/W7119530459.grobid-xml"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W1487412055","https://openalex.org/W1538440442","https://openalex.org/W2002501531","https://openalex.org/W2052267638","https://openalex.org/W2130369971","https://openalex.org/W2496543269","https://openalex.org/W2958581977","https://openalex.org/W4298227433","https://openalex.org/W4312988620","https://openalex.org/W4385654030","https://openalex.org/W4411337405"],"related_works":[],"abstract_inverted_index":{"SNARKs":[0],"enable":[1],"compact":[2],"proofs":[3],"that":[4,11,77,199],"an":[5,212,215,276],"NP":[6],"statement":[7,62,72,218],"is":[8,50,78,94],"true":[9],"and":[10,32,59,74,86,145,161,208,228],"the":[12,36,53,57,61,64,71,75,84,87,109,142,152,166,176,186,192,236,263,285,291],"prover":[13,115,209,226],"knows":[14],"a":[15,21,100,119,159,224,229,241,252,267],"valid":[16],"witness.":[17,65],"They":[18],"have":[19],"become":[20],"key":[22],"building":[23],"block":[24],"in":[25,99,108,175,191,204,223,273],"modern":[26],"smart":[27,67,101,230],"contract":[28,68,102,231,256],"applications,":[29],"including":[30],"rollups":[31],"privacy-focused":[33],"cryptocurrencies.":[34],"In":[35],"widely":[37],"used":[38],"Groth16":[39],"framework,":[40],"however,":[41],"long":[42],"statements":[43],"incur":[44],"high":[45],"costs.":[46],"A":[47],"common":[48],"workaround":[49],"to":[51,56,96,122,134,170],"pass":[52],"statement\u2019s":[54],"hash":[55,85,92,138,168,293],"SNARK":[58],"move":[60],"into":[63],"The":[66],"then":[69,184],"hashes":[70],"first,":[73],"circuit":[76,111],"proven":[79,110],"additionally":[80],"checks":[81],"consistency":[82],"of":[83,105,114,155,165,188,270],"statement.":[88],"Unfortunately,":[89],"virtually":[90],"any":[91],"function":[93],"expensive":[95,255],"call":[97,127],"either":[98,239],"(in":[103,112],"terms":[104,113],"gas)":[106],"or":[107,251],"time).":[116],"We":[117,157,183],"demonstrate":[118],"novel":[120],"solution":[121],"this":[123,189],"dilemma,":[124],"which":[125,171],"we":[126,265],"hybrid":[128],"compression.":[129],"Our":[130,196],"method":[131,279],"allows":[132],"us":[133],"use":[135],"two":[136,167,286],"different":[137],"functions\u2014one":[139],"optimized":[140,147],"for":[141,148,248,259,280],"proof":[143,244],"circuit,":[144],"another":[146],"on-chain":[149],"verification\u2014thereby":[150],"combining":[151],"efficiency":[153],"advantages":[154],"both.":[156],"define":[158],"clean":[160],"simple":[162],"security":[163,173],"property":[164],"functions":[169],"our":[172,220],"reduces":[174],"standard":[177],"model,":[178],"namely,":[179],"joint":[180],"UHF":[181],"hardness.":[182],"show":[185,198],"plausibility":[187],"assumption":[190],"random":[193],"oracle":[194],"model.":[195],"benchmarks":[197],"it":[200],"achieves":[201],"near-optimal":[202],"performance":[203],"both":[205],"gas":[206,258],"usage":[207],"time.":[210],"As":[211],"example,":[213],"compressing":[214],"8":[216],"KB":[217],"with":[219],"approach":[221],"results":[222],"10-second":[225],"time":[227],"spending":[232],"270K":[233],"gas,":[234],"whereas":[235],"existing":[237],"approaches":[238],"need":[240],"much":[242,253],"longer":[243],"generation":[245],"(290":[246],"seconds":[247],"SHA-256":[249],"hashing)":[250],"more":[254],"(5M":[257],"Poseidon":[260],"hashing).":[261],"Along":[262],"way,":[264],"develop":[266],"two-party":[268],"protocol":[269],"independent":[271],"interest":[272],"communication":[274],"complexity:":[275],"efficient":[277],"deterministic":[278],"checking":[281],"input":[282],"equality":[283],"when":[284],"parties":[287],"do":[288],"not":[289],"share":[290],"same":[292],"function.":[294]},"counts_by_year":[],"updated_date":"2026-07-25T15:57:00.446498","created_date":"2026-01-09T00:00:00"}