{"id":"https://openalex.org/W4414196921","doi":"https://doi.org/10.1109/lcn65610.2025.11146390","title":"Halpha: Asynchronous Leaderless Probabilistic Consensus with Near-Half Adversaries","display_name":"Halpha: Asynchronous Leaderless Probabilistic Consensus with Near-Half Adversaries","publication_year":2025,"publication_date":"2025-09-15","ids":{"openalex":"https://openalex.org/W4414196921","doi":"https://doi.org/10.1109/lcn65610.2025.11146390"},"language":"en","primary_location":{"id":"doi:10.1109/lcn65610.2025.11146390","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcn65610.2025.11146390","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 50th Conference on Local Computer Networks (LCN)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://eprints.gla.ac.uk/view/author/67828.html>,","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5114122820","display_name":"Huanyu Wu","orcid":null},"institutions":[{"id":"https://openalex.org/I32062511","display_name":"Heriot-Watt University","ror":"https://ror.org/04mghma93","country_code":"GB","type":"education","lineage":["https://openalex.org/I32062511"]},{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Huanyu Wu","raw_affiliation_strings":["University of Glasgow,James Watt School of Engineering,United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Glasgow,James Watt School of Engineering,United Kingdom","institution_ids":["https://openalex.org/I32062511","https://openalex.org/I7882870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066221740","display_name":"Shangyin Weng","orcid":"https://orcid.org/0009-0004-3900-5041"},"institutions":[{"id":"https://openalex.org/I32062511","display_name":"Heriot-Watt University","ror":"https://ror.org/04mghma93","country_code":"GB","type":"education","lineage":["https://openalex.org/I32062511"]},{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Shangyin Weng","raw_affiliation_strings":["University of Glasgow,James Watt School of Engineering,United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Glasgow,James Watt School of Engineering,United Kingdom","institution_ids":["https://openalex.org/I32062511","https://openalex.org/I7882870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046467700","display_name":"Lei Zhang","orcid":"https://orcid.org/0000-0001-5699-1024"},"institutions":[{"id":"https://openalex.org/I32062511","display_name":"Heriot-Watt University","ror":"https://ror.org/04mghma93","country_code":"GB","type":"education","lineage":["https://openalex.org/I32062511"]},{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Lei Zhang","raw_affiliation_strings":["University of Glasgow,James Watt School of Engineering,United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Glasgow,James Watt School of Engineering,United Kingdom","institution_ids":["https://openalex.org/I32062511","https://openalex.org/I7882870"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100331811","display_name":"Muhammad Ali Imran","orcid":"https://orcid.org/0000-0003-4743-9136"},"institutions":[{"id":"https://openalex.org/I32062511","display_name":"Heriot-Watt University","ror":"https://ror.org/04mghma93","country_code":"GB","type":"education","lineage":["https://openalex.org/I32062511"]},{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Muhammad Ali Imran","raw_affiliation_strings":["University of Glasgow,James Watt School of Engineering,United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Glasgow,James Watt School of Engineering,United Kingdom","institution_ids":["https://openalex.org/I32062511","https://openalex.org/I7882870"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.27672535,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9984999895095825,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9984999895095825,"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/T11478","display_name":"Caching and Content Delivery","score":0.9707000255584717,"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/T11896","display_name":"Opportunistic and Delay-Tolerant Networks","score":0.9702000021934509,"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/liveness","display_name":"Liveness","score":0.821399986743927},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7412999868392944},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.727400004863739},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.5884000062942505},{"id":"https://openalex.org/keywords/byzantine-fault-tolerance","display_name":"Byzantine fault tolerance","score":0.5807999968528748},{"id":"https://openalex.org/keywords/quantum-byzantine-agreement","display_name":"Quantum Byzantine agreement","score":0.5795000195503235},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4603999853134155},{"id":"https://openalex.org/keywords/impossibility","display_name":"Impossibility","score":0.4372999966144562}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.821399986743927},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7412999868392944},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.727400004863739},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7260000109672546},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.5884000062942505},{"id":"https://openalex.org/C168021876","wikidata":"https://www.wikidata.org/wiki/Q1353446","display_name":"Byzantine fault tolerance","level":3,"score":0.5807999968528748},{"id":"https://openalex.org/C17532199","wikidata":"https://www.wikidata.org/wiki/Q17083590","display_name":"Quantum Byzantine agreement","level":4,"score":0.5795000195503235},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.46230000257492065},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4603999853134155},{"id":"https://openalex.org/C2776261394","wikidata":"https://www.wikidata.org/wiki/Q315562","display_name":"Impossibility","level":2,"score":0.4372999966144562},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.4226999878883362},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.4115000069141388},{"id":"https://openalex.org/C7923308","wikidata":"https://www.wikidata.org/wiki/Q4812211","display_name":"Asynchronous system","level":5,"score":0.3937000036239624},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3682999908924103},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.3619000017642975},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.3328000009059906},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.31450000405311584},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.28870001435279846},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.27950000762939453},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.26190000772476196},{"id":"https://openalex.org/C34422012","wikidata":"https://www.wikidata.org/wiki/Q6125872","display_name":"Eventual consistency","level":4,"score":0.2531999945640564},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.2531999945640564}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/lcn65610.2025.11146390","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcn65610.2025.11146390","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 50th Conference on Local Computer Networks (LCN)","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.gla.ac.uk:362808","is_oa":true,"landing_page_url":"https://eprints.gla.ac.uk/view/author/67828.html>,","pdf_url":null,"source":{"id":"https://openalex.org/S4210235606","display_name":"ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)","issn_l":"2622-8912","issn":["2622-8912","2622-8920"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Conference Proceedings"}],"best_oa_location":{"id":"pmh:oai:eprints.gla.ac.uk:362808","is_oa":true,"landing_page_url":"https://eprints.gla.ac.uk/view/author/67828.html>,","pdf_url":null,"source":{"id":"https://openalex.org/S4210235606","display_name":"ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)","issn_l":"2622-8912","issn":["2622-8912","2622-8920"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Conference Proceedings"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W2003214215","https://openalex.org/W2035362408","https://openalex.org/W2038562061","https://openalex.org/W2131848219","https://openalex.org/W2223468118","https://openalex.org/W2534313446","https://openalex.org/W2763398287","https://openalex.org/W2964159515","https://openalex.org/W3096691500","https://openalex.org/W4220853208","https://openalex.org/W4312602653","https://openalex.org/W4312724280","https://openalex.org/W4327522787"],"related_works":[],"abstract_inverted_index":{"Recent":[0],"advances":[1],"in":[2,34,213],"Byzantine":[3,110,135,193],"Fault-Tolerant":[4],"State":[5],"Machine":[6],"Replication":[7],"have":[8],"led":[9],"to":[10,64,138,188],"practical":[11],"protocols":[12,39],"for":[13],"partially":[14],"synchronous":[15],"or":[16],"asynchronous":[17,180],"networks":[18],"by":[19,42,92,148],"combining":[20],"classical":[21],"methods":[22],"with":[23,74,112,171,206],"modern":[24],"cryptographic":[25],"tools":[26],"like":[27,82],"verifiable":[28,185],"random":[29,186],"functions.":[30],"Despite":[31],"improved":[32],"performance":[33],"throughput":[35],"and":[36,46,78,117,168,195,209],"latency,":[37],"these":[38],"remain":[40],"limited":[41],"the":[43,47,86,161],"FLP":[44],"impossibility":[45],"Dwork-Lynch-Stockmeyer":[48],"bound,":[49],"tolerating":[50],"at":[51,149],"most":[52],"\u230a(n":[53,65,87],"\u2212":[54,66,88],"1)":[55,67,89],"/3\u230b":[56,90],"adversaries.":[57],"In":[58,96],"contrast,":[59],"Proof-of-Work":[60],"(PoW)":[61],"achieves":[62,196,204],"up":[63],"/2\u230b":[68],"fault":[69],"tolerance":[70],"under":[71,160,192],"asynchrony,":[72],"albeit":[73],"high":[75,207],"energy":[76],"costs":[77],"probabilistic":[79,121,132],"finality.":[80],"Protocols":[81],"Avalanche":[83],"similarly":[84],"exceed":[85],"bound":[91],"relaxing":[93],"deterministic":[94,211],"guarantees.":[95],"this":[97],"paper,":[98],"we":[99],"propose":[100,139],"Halpha,":[101],"a":[102,131,165],"leaderless":[103],"consensus":[104],"protocol":[105],"that":[106],"tolerates":[107],"nearly":[108],"half":[109],"faults":[111],"overwhelming":[113,172],"probability.":[114],"Unlike":[115],"PoW":[116],"Avalanche,":[118],"which":[119],"provide":[120],"finality":[122,197,212],"post-termination,":[123],"Halpha":[124,176,203],"relaxes":[125],"liveness":[126,191],"during":[127],"proposal.":[128],"It":[129],"leverages":[130],"multi-valued":[133],"validated":[134],"agreement":[136,182],"(P-MVBA)":[137],"transaction":[140,145],"sets,":[141],"ensuring":[142],"each":[143],"referenced":[144],"is":[146],"seen":[147],"least":[150],"one":[151],"honest":[152],"node.":[153],"While":[154],"P-MVBA":[155],"may":[156],"halt,":[157],"it":[158],"progresses":[159],"intermittent":[162],"existence":[163],"of":[164],"bounded-delay":[166],"interval,":[167],"ensures":[169],"consistency":[170],"probability":[173,208],"without":[174],"synchrony.":[175],"then":[177],"runs":[178],"multiple":[179],"binary":[181],"instances,":[183],"using":[184],"functions":[187],"support":[189],"randomized":[190],"conditions":[194],"when":[198],"synchrony":[199],"arrives.":[200],"Experiments":[201],"show":[202],"safety":[205],"low-latency":[210],"normal":[214],"cases.":[215]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}