{"id":"https://openalex.org/W2984176086","doi":"https://doi.org/10.23919/fmcad.2019.8894248","title":"Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity","display_name":"Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity","publication_year":2019,"publication_date":"2019-10-01","ids":{"openalex":"https://openalex.org/W2984176086","doi":"https://doi.org/10.23919/fmcad.2019.8894248","mag":"2984176086"},"language":"en","primary_location":{"id":"doi:10.23919/fmcad.2019.8894248","is_oa":false,"landing_page_url":"https://doi.org/10.23919/fmcad.2019.8894248","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 Formal Methods in Computer Aided Design (FMCAD)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084011267","display_name":"Faria Kalim","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Faria Kalim","raw_affiliation_strings":["University of Illinois at Urbana-Champaign"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015320417","display_name":"Karl Palmskog","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Karl Palmskog","raw_affiliation_strings":["The University of Texas at Austin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050385545","display_name":"Jayasi Mehar","orcid":null},"institutions":[{"id":"https://openalex.org/I2252078561","display_name":"Meta (Israel)","ror":"https://ror.org/02388em19","country_code":"IL","type":"company","lineage":["https://openalex.org/I2252078561","https://openalex.org/I4210114444"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Jayasi Mehar","raw_affiliation_strings":["Facebook"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Facebook","institution_ids":["https://openalex.org/I2252078561"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005922328","display_name":"Adithya Murali","orcid":"https://orcid.org/0000-0002-6311-1467"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Adithya Murali","raw_affiliation_strings":["University of Illinois at Urbana-Champaign"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027240302","display_name":"Indranil Gupta","orcid":"https://orcid.org/0000-0002-9372-5937"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Indranil Gupta","raw_affiliation_strings":["University of Illinois at Urbana-Champaign"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112870293","display_name":"P. Madhusudan","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"P. Madhusudan","raw_affiliation_strings":["University of Illinois at Urbana-Champaign"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.058,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.84239055,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"2","issue":null,"first_page":"96","last_page":"104"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9998000264167786,"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.9998000264167786,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9975000023841858,"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.9962999820709229,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/blockchain","display_name":"Blockchain","score":0.9215853810310364},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7085056900978088},{"id":"https://openalex.org/keywords/cryptocurrency","display_name":"Cryptocurrency","score":0.6323794722557068},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.43765756487846375},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.25527602434158325},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.20965734124183655}],"concepts":[{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.9215853810310364},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7085056900978088},{"id":"https://openalex.org/C180706569","wikidata":"https://www.wikidata.org/wiki/Q13479982","display_name":"Cryptocurrency","level":2,"score":0.6323794722557068},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.43765756487846375},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.25527602434158325},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.20965734124183655}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.23919/fmcad.2019.8894248","is_oa":false,"landing_page_url":"https://doi.org/10.23919/fmcad.2019.8894248","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 Formal Methods in Computer Aided Design (FMCAD)","raw_type":"proceedings-article"},{"id":"mag:3088797305","is_oa":false,"landing_page_url":"https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=201902242332884628","pdf_url":null,"source":{"id":"https://openalex.org/S4306512817","display_name":"IEEE Conference Proceedings","issn_l":null,"issn":null,"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":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"IEEE Conference Proceedings","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.4099999964237213,"id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W851575271","https://openalex.org/W1434079718","https://openalex.org/W1464569014","https://openalex.org/W1488927778","https://openalex.org/W1496288774","https://openalex.org/W1553511155","https://openalex.org/W1970705443","https://openalex.org/W1972433423","https://openalex.org/W2023035194","https://openalex.org/W2067081213","https://openalex.org/W2071964540","https://openalex.org/W2072062729","https://openalex.org/W2072794470","https://openalex.org/W2080143965","https://openalex.org/W2091776255","https://openalex.org/W2112088099","https://openalex.org/W2130427425","https://openalex.org/W2136310957","https://openalex.org/W2167814583","https://openalex.org/W2175270166","https://openalex.org/W2213989452","https://openalex.org/W2267469130","https://openalex.org/W2278013047","https://openalex.org/W2296772897","https://openalex.org/W2410019603","https://openalex.org/W2563871999","https://openalex.org/W2578476968","https://openalex.org/W2604664164","https://openalex.org/W2605157201","https://openalex.org/W2610968094","https://openalex.org/W2613387059","https://openalex.org/W2739845435","https://openalex.org/W2751246305","https://openalex.org/W2759600173","https://openalex.org/W2760605238","https://openalex.org/W2763398287","https://openalex.org/W2774513577","https://openalex.org/W2776248742","https://openalex.org/W2790340769","https://openalex.org/W2945978829","https://openalex.org/W4211068006","https://openalex.org/W4246404160","https://openalex.org/W4248175462","https://openalex.org/W4256363426","https://openalex.org/W6623621951","https://openalex.org/W6628322413","https://openalex.org/W6629680781","https://openalex.org/W6686083362","https://openalex.org/W6694381787","https://openalex.org/W6732005782","https://openalex.org/W6737088400","https://openalex.org/W6737373056","https://openalex.org/W6741928516","https://openalex.org/W6746966288"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W4210406818","https://openalex.org/W4306779889","https://openalex.org/W3211706803","https://openalex.org/W4382775358","https://openalex.org/W4246942721","https://openalex.org/W3209862047","https://openalex.org/W4386732777","https://openalex.org/W4303984095"],"abstract_inverted_index":{"We":[0,29,61],"report":[1],"on":[2,23],"the":[3,16,36,41,67],"development":[4,21],"of":[5,26,38],"a":[6,24,51,55],"blockchain":[7,43],"system":[8,20],"that":[9,45],"is":[10,46],"significantly":[11],"verified":[12,49],"and":[13,19,48,54],"performant,":[14],"detailing":[15],"design,":[17],"proof,":[18],"based":[22],"process":[25],"continuous":[27],"refinement.":[28],"instantiate":[30],"this":[31],"framework":[32],"to":[33,35,50],"build,":[34],"best":[37],"our":[39],"knowledge,":[40],"first":[42],"(Kaizen)":[44],"performant":[47],"large":[52],"degree,":[53],"cryptocurrency":[56],"protocol":[57],"(KznCoin)":[58],"over":[59],"it.":[60],"experimentally":[62],"compare":[63],"its":[64],"performance":[65],"against":[66],"stock":[68],"Bitcoin":[69],"implementation.":[70]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}