{"id":"https://openalex.org/W4411024638","doi":"https://doi.org/10.1145/3727110","title":"CertainSync: Rateless Set Reconciliation with Certainty","display_name":"CertainSync: Rateless Set Reconciliation with Certainty","publication_year":2025,"publication_date":"2025-05-27","ids":{"openalex":"https://openalex.org/W4411024638","doi":"https://doi.org/10.1145/3727110"},"language":"en","primary_location":{"id":"doi:10.1145/3727110","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3727110","pdf_url":null,"source":{"id":"https://openalex.org/S4210193547","display_name":"Proceedings of the ACM on Measurement and Analysis of Computing Systems","issn_l":"2476-1249","issn":["2476-1249"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Measurement and Analysis of Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3727110","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5117828356","display_name":"Tomer Keniagin","orcid":null},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Tomer Keniagin","raw_affiliation_strings":["Technion - Israel Institute of Technology, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"Technion - Israel Institute of Technology, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021586372","display_name":"Eitan Yaakobi","orcid":"https://orcid.org/0000-0002-9851-5234"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Eitan Yaakobi","raw_affiliation_strings":["Technion - Israel Institute of Technology, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"Technion - Israel Institute of Technology, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010514482","display_name":"Ori Rottenstreich","orcid":"https://orcid.org/0000-0002-4064-1238"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Ori Rottenstreich","raw_affiliation_strings":["Technion - Israel Institute of Technology, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"Technion - Israel Institute of Technology, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5117828356"],"corresponding_institution_ids":["https://openalex.org/I174306211"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.13032109,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"2","first_page":"1","last_page":"33"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11321","display_name":"Error Correcting Code Techniques","score":0.9993000030517578,"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"}},"topics":[{"id":"https://openalex.org/T11321","display_name":"Error Correcting Code Techniques","score":0.9993000030517578,"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"}},{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9955999851226807,"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/T12029","display_name":"DNA and Biological Computing","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/certainty","display_name":"Certainty","score":0.7740656137466431},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6189869046211243},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4917280972003937},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.1201322078704834},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.08228352665901184},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.05953860282897949}],"concepts":[{"id":"https://openalex.org/C7493553","wikidata":"https://www.wikidata.org/wiki/Q1520777","display_name":"Certainty","level":2,"score":0.7740656137466431},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6189869046211243},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4917280972003937},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.1201322078704834},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.08228352665901184},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.05953860282897949}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3727110","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3727110","pdf_url":null,"source":{"id":"https://openalex.org/S4210193547","display_name":"Proceedings of the ACM on Measurement and Analysis of Computing Systems","issn_l":"2476-1249","issn":["2476-1249"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Measurement and Analysis of Computing Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3727110","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3727110","pdf_url":null,"source":{"id":"https://openalex.org/S4210193547","display_name":"Proceedings of the ACM on Measurement and Analysis of Computing Systems","issn_l":"2476-1249","issn":["2476-1249"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Measurement and Analysis of Computing Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1865797552","https://openalex.org/W2011318632","https://openalex.org/W2015548239","https://openalex.org/W2038721103","https://openalex.org/W2086572746","https://openalex.org/W2095882513","https://openalex.org/W2100305297","https://openalex.org/W2123845384","https://openalex.org/W2133225898","https://openalex.org/W2142076837","https://openalex.org/W2142089078","https://openalex.org/W2142423295","https://openalex.org/W2800270416","https://openalex.org/W2964279644","https://openalex.org/W3120126358","https://openalex.org/W3127487854","https://openalex.org/W3131264963","https://openalex.org/W3147182738","https://openalex.org/W3163602210","https://openalex.org/W4226231490","https://openalex.org/W4230793944","https://openalex.org/W4384787052","https://openalex.org/W4391591348","https://openalex.org/W4392745650","https://openalex.org/W4399254205","https://openalex.org/W4400878826","https://openalex.org/W4401175725"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2418227039","https://openalex.org/W2387971622","https://openalex.org/W1559214593","https://openalex.org/W2141935323","https://openalex.org/W2418299857","https://openalex.org/W2466655349","https://openalex.org/W2348150032"],"abstract_inverted_index":{"Set":[0],"reconciliation":[1,30,78,94,116,179,202,272,286],"is":[2,87,104,117,143,165,185,224],"a":[3,39,76,128,169,227,264,281],"fundamental":[4],"task":[5],"in":[6,10,100,176,287],"distributed":[7],"systems,":[8],"particularly":[9],"blockchain":[11,221,252,259],"networks,":[12,222],"where":[13],"it":[14],"enables":[15],"the":[16,42,46,49,58,61,82,88,109,124,133,138,161,174,177,191,239,244,257],"synchronization":[17],"of":[18,41,48,57,60,84,148,163],"transaction":[19,253],"pools":[20],"among":[21],"peers":[22],"and":[23,45,55,106,137,237,270],"facilitates":[24],"block":[25],"dissemination.":[26],"Existing":[27],"traditional":[28],"set":[29,93,115,178,210,285],"schemes":[31,208],"are":[32],"either":[33],"statistical,":[34],"providing":[35],"success":[36],"probability":[37],"as":[38,158,160,220],"function":[40],"communication":[43,125,198,215,233,268],"overhead":[44,126,216],"size":[47,59,136],"symmetric":[50,62,111,134],"difference,":[51,63],"or":[52,98,278],"require":[53],"parametrization":[54,97,277],"estimation":[56],"which":[64],"can":[65],"be":[66,120],"prone":[67],"to":[68,81,90,108,119,172,193,205,231],"error.":[69],"In":[70],"this":[71],"paper,":[72],"we":[73],"present":[74],"CertainSync,":[75],"novel":[77],"framework":[79,103,142,241,247],"that,":[80],"best":[83],"our":[85],"knowledge,":[86],"first":[89],"guarantee":[91],"successful":[92,155],"without":[95,274],"any":[96],"estimators":[99],"use.":[101],"The":[102,114,183,261],"rateless":[105],"adapts":[107],"unknown":[110],"difference":[112,135],"size.":[113,140],"guaranteed":[118],"completed":[121],"successfully":[122],"whenever":[123],"reaches":[127],"lower":[129],"bound":[130],"derived":[131],"from":[132,256],"universe":[139,228],"Our":[141],"based":[144],"on":[145,276],"recent":[146],"constructions":[147],"Invertible":[149],"Bloom":[150],"Lookup":[151],"Tables":[152],"(IBLTs)":[153],"ensuring":[154],"element":[156],"listing":[157],"long":[159],"number":[162],"elements":[164],"bounded.":[166],"We":[167,235],"provide":[168],"theoretical":[170],"analysis":[171],"prove":[173],"certainty":[175],"for":[180,209,217,284],"multiple":[181],"constructions.":[182],"approach":[184],"also":[186],"validated":[187],"by":[188],"simulations,":[189],"showing":[190],"ability":[192],"synchronize":[194],"sets":[195],"with":[196,226],"efficient":[197],"costs":[199,269],"while":[200],"maintaining":[201,271],"guarantees":[203,273],"compared":[204],"other":[206],"baseline":[207],"reconciliation.":[211],"To":[212],"further":[213],"improve":[214],"large":[218],"universes":[219],"CertainSync":[223,246],"extended":[225,240],"reduction":[229],"technique":[230],"minimize":[232],"overhead.":[234],"compare":[236],"validate":[238],"UniverseReduceSync":[242],"against":[243],"basic":[245],"through":[248],"simulations":[249],"using":[250],"real":[251],"hash":[254],"data":[255],"Ethereum":[258],"network.":[260],"results":[262],"illustrate":[263],"trade-off":[265],"between":[266],"improved":[267],"relying":[275],"estimators,":[279],"offering":[280],"comprehensive":[282],"solution":[283],"diverse":[288],"scenarios.":[289]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}