{"id":"https://openalex.org/W4394595228","doi":"https://doi.org/10.62056/a63zl86bm","title":"How to Make Rational Arguments Practical and Extractable","display_name":"How to Make Rational Arguments Practical and Extractable","publication_year":2024,"publication_date":"2024-04-09","ids":{"openalex":"https://openalex.org/W4394595228","doi":"https://doi.org/10.62056/a63zl86bm"},"language":"en","primary_location":{"id":"doi:10.62056/a63zl86bm","is_oa":true,"landing_page_url":"https://doi.org/10.62056/a63zl86bm","pdf_url":"https://cic.iacr.org/p/1/1/19/pdf","source":{"id":"https://openalex.org/S4394708374","display_name":"IACR Communications in Cryptology","issn_l":"3006-5496","issn":["3006-5496"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320989","host_organization_name":"International Association for Cryptologic Research","host_organization_lineage":["https://openalex.org/P4310320989"],"host_organization_lineage_names":["International Association for Cryptologic Research"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Communications in Cryptology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://cic.iacr.org/p/1/1/19/pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007176053","display_name":"Matteo Campanelli","orcid":"https://orcid.org/0000-0001-8184-4704"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Matteo Campanelli","raw_affiliation_strings":["Protocol Labs"],"raw_orcid":"https://orcid.org/0000-0001-8184-4704","affiliations":[{"raw_affiliation_string":"Protocol Labs","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067115934","display_name":"Chaya Ganesh","orcid":"https://orcid.org/0000-0002-2909-9177"},"institutions":[{"id":"https://openalex.org/I59270414","display_name":"Indian Institute of Science Bangalore","ror":"https://ror.org/04dese585","country_code":"IN","type":"education","lineage":["https://openalex.org/I59270414"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Chaya Ganesh","raw_affiliation_strings":["Indian Institute of Science"],"raw_orcid":"https://orcid.org/0000-0002-2909-9177","affiliations":[{"raw_affiliation_string":"Indian Institute of Science","institution_ids":["https://openalex.org/I59270414"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013831409","display_name":"Rosario Gennaro","orcid":null},"institutions":[{"id":"https://openalex.org/I174216632","display_name":"City University of New York","ror":"https://ror.org/00453a208","country_code":"US","type":"education","lineage":["https://openalex.org/I174216632"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rosario Gennaro","raw_affiliation_strings":["The City University of New York"],"raw_orcid":"https://orcid.org/0000-0002-3297-3750","affiliations":[{"raw_affiliation_string":"The City University of New York","institution_ids":["https://openalex.org/I174216632"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3055,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.6045267,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9972000122070312,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9972000122070312,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9934999942779541,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9908000230789185,"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/epistemology","display_name":"Epistemology","score":0.442993700504303},{"id":"https://openalex.org/keywords/positive-economics","display_name":"Positive economics","score":0.3939844071865082},{"id":"https://openalex.org/keywords/management-science","display_name":"Management science","score":0.3851813077926636},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.3628852367401123},{"id":"https://openalex.org/keywords/law-and-economics","display_name":"Law and economics","score":0.35361194610595703},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3260534405708313},{"id":"https://openalex.org/keywords/economics","display_name":"Economics","score":0.2935122847557068},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.24335449934005737}],"concepts":[{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.442993700504303},{"id":"https://openalex.org/C118084267","wikidata":"https://www.wikidata.org/wiki/Q26110","display_name":"Positive economics","level":1,"score":0.3939844071865082},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.3851813077926636},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.3628852367401123},{"id":"https://openalex.org/C190253527","wikidata":"https://www.wikidata.org/wiki/Q295354","display_name":"Law and economics","level":1,"score":0.35361194610595703},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3260534405708313},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.2935122847557068},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.24335449934005737}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.62056/a63zl86bm","is_oa":true,"landing_page_url":"https://doi.org/10.62056/a63zl86bm","pdf_url":"https://cic.iacr.org/p/1/1/19/pdf","source":{"id":"https://openalex.org/S4394708374","display_name":"IACR Communications in Cryptology","issn_l":"3006-5496","issn":["3006-5496"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320989","host_organization_name":"International Association for Cryptologic Research","host_organization_lineage":["https://openalex.org/P4310320989"],"host_organization_lineage_names":["International Association for Cryptologic Research"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Communications in Cryptology","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.62056/a63zl86bm","is_oa":true,"landing_page_url":"https://doi.org/10.62056/a63zl86bm","pdf_url":"https://cic.iacr.org/p/1/1/19/pdf","source":{"id":"https://openalex.org/S4394708374","display_name":"IACR Communications in Cryptology","issn_l":"3006-5496","issn":["3006-5496"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320989","host_organization_name":"International Association for Cryptologic Research","host_organization_lineage":["https://openalex.org/P4310320989"],"host_organization_lineage_names":["International Association for Cryptologic Research"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Communications in Cryptology","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5699999928474426,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4394595228.pdf"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W4180724","https://openalex.org/W1909324101","https://openalex.org/W2023675273","https://openalex.org/W2064936870","https://openalex.org/W2085983185","https://openalex.org/W2089421253","https://openalex.org/W2135952940","https://openalex.org/W2162041888","https://openalex.org/W2171337840","https://openalex.org/W2237166729","https://openalex.org/W2294220197","https://openalex.org/W2496543269","https://openalex.org/W2535060913","https://openalex.org/W2761017788","https://openalex.org/W2805218201","https://openalex.org/W2883585522","https://openalex.org/W2884510571","https://openalex.org/W2978282230","https://openalex.org/W2982474429","https://openalex.org/W2984674716","https://openalex.org/W2989230924","https://openalex.org/W2990120385","https://openalex.org/W3091322675","https://openalex.org/W3173910356","https://openalex.org/W3177370005","https://openalex.org/W3197025878","https://openalex.org/W3209861417","https://openalex.org/W3213340422","https://openalex.org/W4240150661","https://openalex.org/W4249795904","https://openalex.org/W4308641910","https://openalex.org/W4387016433","https://openalex.org/W4394595228","https://openalex.org/W4395659016","https://openalex.org/W4402355140"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W3013226710","https://openalex.org/W2949263084","https://openalex.org/W2098269760","https://openalex.org/W2743539335","https://openalex.org/W2048944901","https://openalex.org/W594353338","https://openalex.org/W4254774684","https://openalex.org/W2085477348"],"abstract_inverted_index":{"We":[0,97,187],"investigate":[1],"proof":[2],"systems":[3],"where":[4,33,64,175],"security":[5,34],"holds":[6,35],"against":[7,36],"rational":[8,21,26,37,87,103,142,166,201],"parties":[9],"instead":[10],"of":[11,20,25,102,108,151,163,177],"malicious":[12],"ones.":[13],"Our":[14,93],"starting":[15],"point":[16],"is":[17,95,112,180],"the":[18,65,72,82,99,106],"notion":[19,162,170],"arguments,":[22],"a":[23,136,155,160,178],"variant":[24],"proofs":[27,143],"(Azar":[28],"and":[29,58,89,126,141],"Micali,":[30],"STOC":[31],"2012)":[32],"adversaries":[38],"that":[39,111],"are":[40,46],"also":[41,194],"computationally":[42],"bounded.":[43],"Rational":[44],"arguments":[45,104,174,202],"an":[47],"interesting":[48],"primitive":[49],"because":[50],"they":[51],"generally":[52],"allow":[53],"for":[54,105,144,165,203],"very":[55],"efficient":[56,199],"protocols,":[57],"in":[59],"particular":[60],"sublinear":[61],"verification":[62],"(i.e.":[63],"Verifier":[66],"does":[67],"not":[68],"have":[69],"to":[70,119,197],"read":[71],"entire":[73],"input).":[74],"In":[75],"this":[76,133,169],"paper":[77],"we":[78,131,158,171],"aim":[79],"at":[80],"narrowing":[81],"gap":[83],"between":[84],"literature":[85],"on":[86,122],"schemes":[88],"real":[90],"world":[91],"applications.":[92],"contribution":[94],"two-fold.":[96],"provide":[98],"first":[100],"construction":[101],"class":[107],"polynomial":[109,145],"computations":[110,121],"practical":[113],"(i.e.,":[114],"it":[115],"can":[116,172,193],"be":[117,150,195],"applied":[118,196],"real-world":[120],"reasonably":[123],"common":[124],"hardware)":[125],"with":[127],"logarithmic":[128],"communication.":[129],"Techniques-wise,":[130],"obtain":[132,173,198],"result":[134],"through":[135],"compiler":[137,192],"from":[138],"information-theoretic":[139],"protocols":[140],"evaluation.":[146],"The":[147],"latter":[148],"could":[149],"independent":[152],"interest.":[153],"As":[154],"second":[156],"contribution,":[157],"propose":[159],"new":[161],"extractability":[164],"arguments.":[167],"Through":[168],"knowledge":[176],"witness":[179],"incentivized":[181],"(rather":[182],"than":[183],"incentivizing":[184],"mere":[185],"soundness).":[186],"show":[188],"how":[189],"our":[190],"aforementioned":[191],"extractable":[200],"<mml:math":[204],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[205],"<mml:mrow>":[206,207],"<mml:mi":[208,210],"mathvariant=\"sans-serif\">N</mml:mi>":[209],"mathvariant=\"sans-serif\">P</mml:mi>":[211],"</mml:mrow>":[212,213],"</mml:math>.":[214]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}