{"id":"https://openalex.org/W4416543927","doi":"https://doi.org/10.1145/3719027.3765032","title":"Accountable Liveness","display_name":"Accountable Liveness","publication_year":2025,"publication_date":"2025-11-19","ids":{"openalex":"https://openalex.org/W4416543927","doi":"https://doi.org/10.1145/3719027.3765032"},"language":"en","primary_location":{"id":"doi:10.1145/3719027.3765032","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3719027.3765032","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3719027.3765032","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},"type":"article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3719027.3765032","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039488006","display_name":"Andrew Lewis-Pye","orcid":"https://orcid.org/0000-0003-0228-2243"},"institutions":[{"id":"https://openalex.org/I909854389","display_name":"London School of Economics and Political Science","ror":"https://ror.org/0090zs177","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I909854389"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Andrew Lewis-Pye","raw_affiliation_strings":["London School of Economics, London, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-0228-2243","affiliations":[{"raw_affiliation_string":"London School of Economics, London, United Kingdom","institution_ids":["https://openalex.org/I909854389"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023778508","display_name":"Joachim Neu","orcid":"https://orcid.org/0000-0002-9777-6168"},"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":"Joachim Neu","raw_affiliation_strings":["a16z Crypto Research, New York, NY, USA"],"raw_orcid":"https://orcid.org/0000-0002-9777-6168","affiliations":[{"raw_affiliation_string":"a16z Crypto Research, New York, NY, USA","institution_ids":["https://openalex.org/I4210132990"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022886322","display_name":"Tim Roughgarden","orcid":"https://orcid.org/0000-0002-7163-8306"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tim Roughgarden","raw_affiliation_strings":["Columbia University, New York, NY, USA and a16z Crypto Research, New York, NY, USA"],"raw_orcid":"https://orcid.org/0000-0002-7163-8306","affiliations":[{"raw_affiliation_string":"Columbia University, New York, NY, USA and a16z Crypto Research, New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024040854","display_name":"Luca Zanolini","orcid":"https://orcid.org/0000-0003-4655-3172"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Luca Zanolini","raw_affiliation_strings":["Ethereum Foundation, London, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-4655-3172","affiliations":[{"raw_affiliation_string":"Ethereum Foundation, London, United Kingdom","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"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.36474742,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"3431","last_page":"3445"},"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.632099986076355,"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.632099986076355,"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/T11424","display_name":"Security and Verification in Computing","score":0.06859999895095825,"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.04919999837875366,"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.9629999995231628},{"id":"https://openalex.org/keywords/fraction","display_name":"Fraction (chemistry)","score":0.6021000146865845},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.5206000208854675},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5196999907493591},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.4830999970436096},{"id":"https://openalex.org/keywords/adversary","display_name":"Adversary","score":0.45590001344680786},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.4377000033855438},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.3873000144958496}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.9629999995231628},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6978999972343445},{"id":"https://openalex.org/C149629883","wikidata":"https://www.wikidata.org/wiki/Q660926","display_name":"Fraction (chemistry)","level":2,"score":0.6021000146865845},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.5206000208854675},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5196999907493591},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.4830999970436096},{"id":"https://openalex.org/C41065033","wikidata":"https://www.wikidata.org/wiki/Q2825412","display_name":"Adversary","level":2,"score":0.45590001344680786},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.4377000033855438},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.3873000144958496},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3871999979019165},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.3817000091075897},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.3799999952316284},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3702999949455261},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.34220001101493835},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.32179999351501465},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.3176000118255615},{"id":"https://openalex.org/C2776711565","wikidata":"https://www.wikidata.org/wiki/Q7445058","display_name":"Security parameter","level":3,"score":0.3012999892234802},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.2903999984264374},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.2897999882698059},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.2770000100135803},{"id":"https://openalex.org/C2779696439","wikidata":"https://www.wikidata.org/wiki/Q7512811","display_name":"Signature (topology)","level":2,"score":0.2711000144481659},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26669999957084656},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.25600001215934753}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3719027.3765032","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3719027.3765032","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3719027.3765032","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.lse.ac.uk:129316","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401593","display_name":"London School of Economics and Political Science Research Online (London School of Economics and Political Science)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I909854389","host_organization_name":"London School of Economics and Political Science","host_organization_lineage":["https://openalex.org/I909854389"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"pmh:oai:arXiv.org:2504.12218","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2504.12218","pdf_url":"https://arxiv.org/pdf/2504.12218","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.4230/lipics.aft.2025.19","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.aft.2025.19","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"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","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""}],"best_oa_location":{"id":"doi:10.1145/3719027.3765032","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3719027.3765032","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3719027.3765032","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8770019113","display_name":null,"funder_award_id":"CNS-2212745","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320329018","display_name":"Ethereum Foundation","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4416543927.pdf","grobid_xml":"https://content.openalex.org/works/W4416543927.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W1963279632","https://openalex.org/W2003214215","https://openalex.org/W2034791526","https://openalex.org/W2035362408","https://openalex.org/W2116021422","https://openalex.org/W2126924915","https://openalex.org/W2739845435","https://openalex.org/W2770149261","https://openalex.org/W2914206182","https://openalex.org/W2916931547","https://openalex.org/W2964159515","https://openalex.org/W3212664445","https://openalex.org/W3212977345","https://openalex.org/W4307838002","https://openalex.org/W4385462779","https://openalex.org/W4405487239","https://openalex.org/W4414550214"],"related_works":[],"abstract_inverted_index":{"Safety":[0],"and":[1,66,131,137,148,164,180,197],"liveness":[2,127,178],"are":[3,46,93,104,190],"the":[4,52,63,72,85,107,121,144,150,161,170,184,209],"two":[5],"classical":[6,64],"security":[7],"properties":[8],"of":[9,27,55,84,109,120,146,152,172,195],"consensus":[10],"protocols.":[11],"Recent":[12],"works":[13],"have":[14],"strengthened":[15],"safety":[16,21],"with":[17,97],"accountability:":[18],"should":[19],"any":[20,89],"violation":[22],"occur,":[23],"a":[24,98,117,177,193],"sizable":[25],"fraction":[26,83],"adversary":[28],"nodes":[29,147,153,174],"can":[30],"be":[31,34],"proven":[32],"to":[33,40],"protocol":[35,189],"violators.":[36],"This":[37],"paper":[38],"studies":[39],"what":[41],"extent":[42],"analogous":[43],"accountability":[44],"guarantees":[45,185],"achievable":[47],"for":[48,204],"liveness.":[49],"To":[50],"reveal":[51],"full":[53],"complexity":[54],"this":[56],"question,":[57],"we":[58,70],"introduce":[59],"an":[60,81,110,156],"interpolation":[61],"between":[62],"synchronous":[65,105],"partially-synchronous":[67,99],"models":[68],"that":[69,183],"call":[71],"x-partially-synchronous":[73],"network":[74],"model":[75],"in":[76,88,124,213],"which,":[77],"intuitively,":[78],"at":[79],"most":[80],"x":[82,134,196],"time":[86,102],"steps":[87,103],"sufficiently":[90],"long":[91],"interval":[92],"asynchronous":[94],"(and,":[95],"as":[96,208],"network,":[100],"all":[101],"following":[106,176],"passage":[108],"unknown":[111],"''global":[112],"stablization":[113],"time'').":[114],"We":[115,158],"prove":[116],"precise":[118],"characterization":[119],"parameter":[122],"regime":[123],"which":[125],"accountable":[126],"is":[128],"achievable:":[129],"if":[130,133],"only":[132],"<":[135,139],"1/2":[136],"\u0192":[138,149],"n/2,":[140],"where":[141],"n":[142],"denotes":[143],"number":[145,151,171],"controlled":[154],"by":[155,167,169,187],"adversary.":[157],"further":[159],"refine":[160],"problem":[162],"statement":[163],"our":[165,188],"analysis":[166],"parameterizing":[168],"violating":[173],"identified":[175],"violation,":[179],"provide":[181,201],"evidence":[182],"achieved":[186],"near-optimal":[191],"(as":[192],"function":[194],"\u0192).":[198],"Our":[199],"results":[200],"rigorous":[202],"foundations":[203],"liveness-accountability":[205],"heuristics":[206],"such":[207],"''inactivity":[210],"leaks''":[211],"employed":[212],"Ethereum.":[214]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}