{"id":"https://openalex.org/W4391335019","doi":"https://doi.org/10.48550/arxiv.2401.14527","title":"Unsealing the secrets of blockchain consensus: A systematic comparison\n of the formal security of proof-of-work and proof-of-stake","display_name":"Unsealing the secrets of blockchain consensus: A systematic comparison\n of the formal security of proof-of-work and proof-of-stake","publication_year":2024,"publication_date":"2024-01-25","ids":{"openalex":"https://openalex.org/W4391335019","doi":"https://doi.org/10.48550/arxiv.2401.14527"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2401.14527","pdf_url":"http://arxiv.org/pdf/2401.14527","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"type":"preprint","type_crossref":"posted-content","indexed_in":["arxiv"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://arxiv.org/pdf/2401.14527","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076032307","display_name":"Iv\u00e1n Abell\u00e1n \u00c1lvarez","orcid":"https://orcid.org/0000-0003-4670-433X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"\u00c1lvarez, Iv\u00e1n Abell\u00e1n","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063694989","display_name":"Vincent Gramlich","orcid":"https://orcid.org/0000-0003-3070-1433"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gramlich, Vincent","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5028636384","display_name":"Johannes Sedlmeir","orcid":"https://orcid.org/0000-0003-2631-8749"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sedlmeir, Johannes","raw_affiliation_strings":[],"affiliations":[]}],"institution_assertions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":84},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9996,"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"}},"topics":[{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9996,"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/T11614","display_name":"Cloud Data Security Solutions","score":0.9367,"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/proof-of-work-system","display_name":"Proof-of-work system","score":0.65209603},{"id":"https://openalex.org/keywords/consensus-algorithm","display_name":"Consensus algorithm","score":0.54864633},{"id":"https://openalex.org/keywords/formal-proof","display_name":"Formal proof","score":0.53691286},{"id":"https://openalex.org/keywords/proof-of-concept","display_name":"Proof of concept","score":0.5226757}],"concepts":[{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.733416},{"id":"https://openalex.org/C123436394","wikidata":"https://www.wikidata.org/wiki/Q7249984","display_name":"Proof-of-work system","level":3,"score":0.65209603},{"id":"https://openalex.org/C2983222225","wikidata":"https://www.wikidata.org/wiki/Q2994424","display_name":"Consensus algorithm","level":2,"score":0.54864633},{"id":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","display_name":"Formal proof","level":3,"score":0.53691286},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.5226757},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49292684},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.32653397},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.21850926},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18447596},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.16848746},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2401.14527","pdf_url":"http://arxiv.org/pdf/2401.14527","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2401.14527","pdf_url":"http://arxiv.org/pdf/2401.14527","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[{"display_name":"Affordable and clean energy","score":0.91,"id":"https://metadata.un.org/sdg/7"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4312475206","https://openalex.org/W3213431194","https://openalex.org/W3202579655","https://openalex.org/W3155932073","https://openalex.org/W3103085478","https://openalex.org/W3098545956","https://openalex.org/W3093983424","https://openalex.org/W2919005336","https://openalex.org/W2899359367","https://openalex.org/W2293624543"],"abstract_inverted_index":{"With":[0],"the":[1,16,23,41,50,63,73,89,92,126,131,157,162],"increasing":[2],"adoption":[3],"of":[4,12,18,25,52,57,77,95,106,117,135],"decentralized":[5],"information":[6],"systems":[7],"based":[8],"on":[9,43,72,103],"a":[10,114,142],"variety":[11],"permissionless":[13],"blockchain":[14],"networks,":[15],"choice":[17],"consensus":[19,37,118,155],"mechanism":[20,45],"is":[21,46],"at":[22],"core":[24],"many":[26],"controversial":[27],"discussions.":[28],"Ethereum's":[29],"recent":[30],"transition":[31],"from":[32],"(PoW)":[33],"to":[34],"proof-of-stake":[35],"(PoS)-based":[36],"has":[38,68,84,101],"further":[39],"fueled":[40],"debate":[42],"which":[44],"more":[47,176],"favorable.":[48],"While":[49],"aspects":[51,76],"energy":[53],"consumption":[54],"and":[55,97,124,128,137,181],"degree":[56],"(de-)centralization":[58],"are":[59],"often":[60],"emphasized":[61],"in":[62],"public":[64],"discourse,":[65],"seminal":[66],"research":[67,148],"also":[69],"shed":[70],"light":[71],"formal":[74,132,164],"security":[75,93,133,165],"both":[78],"approaches":[79],"individually.":[80],"However,":[81],"related":[82],"work":[83],"not":[85],"yet":[86],"comprehensively":[87],"structured":[88],"knowledge":[90],"about":[91],"properties":[94,134],"PoW":[96],"PoS.":[98],"Rather,":[99],"it":[100],"focused":[102],"in-depth":[104],"analyses":[105],"specific":[107],"protocols":[108],"or":[109],"high-level":[110],"comparative":[111],"reviews":[112],"covering":[113],"broad":[115],"range":[116],"mechanisms.":[119],"To":[120],"fill":[121],"this":[122],"gap":[123],"unravel":[125],"commonalities":[127],"discrepancies":[129],"between":[130,179],"PoW-":[136],"PoS-based":[138],"consensus,":[139],"we":[140],"conduct":[141],"systematic":[143],"literature":[144],"review":[145],"over":[146],"26":[147],"articles.":[149],"Our":[150],"findings":[151],"indicate":[152],"that":[153],"PoW-based":[154],"with":[156],"longest":[158],"chain":[159],"rule":[160],"provides":[161],"strongest":[163],"guarantees.":[166],"Nonetheless,":[167],"PoS":[168],"can":[169],"achieve":[170],"similar":[171],"guarantees":[172],"when":[173],"addressing":[174],"its":[175],"pronounced":[177],"tradeoff":[178],"safety":[180],"liveness":[182],"through":[183],"hybrid":[184],"approaches.":[185]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4391335019","counts_by_year":[],"updated_date":"2025-01-01T22:17:31.901948","created_date":"2024-01-30"}