{"id":"https://openalex.org/W7097284161","doi":null,"title":"Non-interactive verifiable computation: Outsourcing computation to untrusted workers","display_name":"Non-interactive verifiable computation: Outsourcing computation to untrusted workers","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W7097284161"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.167.472","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.167.472","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://sparrow.ece.cmu.edu/%7Eparno/pubs/verifcomp.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5013831409","display_name":"Rosario Gennaro","orcid":"https://orcid.org/0000-0002-3297-3750","observed_orcids":["https://orcid.org/0000-0002-3297-3750","https://orcid.org/0000-0003-2874-0564"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rosario Gennaro","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044697595","display_name":"Craig Gentry","orcid":"https://orcid.org/0009-0000-6651-7262","observed_orcids":["https://orcid.org/0009-0000-6651-7262","https://orcid.org/0000-0003-3432-7899"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Craig Gentry","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5048461894","display_name":"Bryan Jeffery Parno","orcid":"https://orcid.org/0000-0002-9113-1684","observed_orcids":["https://orcid.org/0000-0002-9113-1684"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bryan Parno","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"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.6291118,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9970999956130981,"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/T10237","display_name":"Cryptography and Data Security","score":0.9970999956130981,"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/T11614","display_name":"Cloud Data Security Solutions","score":0.002199999988079071,"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/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","score":9.999999747378752e-05,"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/verifiable-computation","display_name":"verifiable computation","score":0.9929999709129333},{"id":"https://openalex.org/keywords/non-interactive-proofs","display_name":"non-interactive proofs","score":0.7870000004768372},{"id":"https://openalex.org/keywords/outsourced-computation","display_name":"outsourced computation","score":0.824999988079071},{"id":"https://openalex.org/keywords/client-privacy","display_name":"client privacy","score":0.37599998712539673},{"id":"https://openalex.org/keywords/input-privacy","display_name":"input privacy","score":0.7080000042915344}],"concepts":[{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.7702999711036682},{"id":"https://openalex.org/C46934059","wikidata":"https://www.wikidata.org/wiki/Q61515","display_name":"Outsourcing","level":2,"score":0.7501999735832214},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6840000152587891},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6776000261306763},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6129000186920166},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5580000281333923},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.554099977016449},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.5303999781608582},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.4936999976634979},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.45249998569488525},{"id":"https://openalex.org/C18396474","wikidata":"https://www.wikidata.org/wiki/Q2465888","display_name":"Secure multi-party computation","level":3,"score":0.44179999828338623},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.40610000491142273},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.3709999918937683},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.3691999912261963},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.3228999972343445},{"id":"https://openalex.org/C105355099","wikidata":"https://www.wikidata.org/wiki/Q720931","display_name":"One-way function","level":3,"score":0.31709998846054077},{"id":"https://openalex.org/C2780876879","wikidata":"https://www.wikidata.org/wiki/Q3054749","display_name":"Meaning (existential)","level":2,"score":0.3000999987125397},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.28209999203681946},{"id":"https://openalex.org/C2776711565","wikidata":"https://www.wikidata.org/wiki/Q7445058","display_name":"Security parameter","level":3,"score":0.2750000059604645},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.2669999897480011},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.26249998807907104},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.25589999556541443},{"id":"https://openalex.org/C184596265","wikidata":"https://www.wikidata.org/wiki/Q2651576","display_name":"Model of computation","level":3,"score":0.2538999915122986},{"id":"https://openalex.org/C123201435","wikidata":"https://www.wikidata.org/wiki/Q456632","display_name":"Information privacy","level":2,"score":0.25369998812675476},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.25369998812675476},{"id":"https://openalex.org/C40305131","wikidata":"https://www.wikidata.org/wiki/Q2616305","display_name":"Obfuscation","level":2,"score":0.25189998745918274}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.167.472","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.167.472","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://sparrow.ece.cmu.edu/%7Eparno/pubs/verifcomp.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.168.3792","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.168.3792","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://sparrow.ece.cmu.edu/group/pub/gennaro_gentry_parno_verifiable.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3194488295","https://openalex.org/W3028832044","https://openalex.org/W2396647122","https://openalex.org/W199266244","https://openalex.org/W2239708745","https://openalex.org/W2979943645","https://openalex.org/W3123912048","https://openalex.org/W7097565208","https://openalex.org/W7095925214","https://openalex.org/W2951083062"],"abstract_inverted_index":{"We":[0,87],"introduce":[1],"and":[2,119,166],"formalize":[3],"the":[4,18,37,40,53,62,71,74,93,112,115,133,144,170,174,182],"notion":[5],"of":[6,20,39,55,73,114,117],"Verifiable":[7],"Computation,":[8],"which":[9,135],"enables":[10],"a":[11,21,50,89,97,122,128],"computationally":[12],"weak":[13],"client":[14,134],"to":[15,29,95],"\u201coutsource":[16],"\u201d":[17],"computation":[19,54],"function":[22,41],"F":[23,56],"on":[24,61],"various":[25],"dynamically-chosen":[26],"inputs":[27],"x1,...,xk":[28],"one":[30],"or":[31,184],"more":[32],"workers.":[33],"The":[34,66,125],"workers":[35,175],"return":[36,96],"result":[38],"evaluation,":[42],"e.g.,":[43],"yi":[44,185],"=":[45],"F(xi),":[46],"as":[47,49],"well":[48],"proof":[51,75,100],"that":[52,70,91,101,173],"was":[57],"carried":[58],"out":[59],"correctly":[60],"given":[63],"value":[64],"xi.":[65],"primary":[67],"constraint":[68],"is":[69,111,121,143],"verification":[72],"should":[76],"require":[77],"substantially":[78],"less":[79],"computational":[80],"effort":[81],"than":[82],"computing":[83,149],"F(xi)":[84],"from":[85],"scratch.":[86],"present":[88],"protocol":[90,126],"allows":[92],"worker":[94],"computationally-sound,":[98],"non-interactive":[99],"can":[102],"be":[103],"verified":[104],"in":[105,154],"O(m":[106],"\u00b7poly(\u03bb))":[107,139],"time,":[108,140],"where":[109,141],"m":[110],"bit-length":[113],"output":[116,167],"F,":[118],"\u03bb":[120],"security":[123],"parameter.":[124],"requires":[127],"one-time":[129],"pre-processing":[130],"stage":[131],"by":[132],"takes":[136],"O(|C":[137],"|":[138],"C":[142],"smallest":[145],"known":[146],"Boolean":[147],"circuit":[148],"F.":[150],"Unlike":[151],"previous":[152],"work":[153],"this":[155],"area,":[156],"our":[157],"scheme":[158],"also":[159],"provides":[160],"(at":[161],"no":[162],"additional":[163],"cost)":[164],"input":[165],"privacy":[168],"for":[169],"client,":[171],"meaning":[172],"do":[176],"not":[177],"learn":[178],"any":[179],"information":[180],"about":[181],"xi":[183],"values.":[186],"1":[187]},"counts_by_year":[],"updated_date":"2026-11-05T12:25:35.769452","created_date":"2025-10-27T00:00:00"}