{"id":"https://openalex.org/W3159444596","doi":"https://doi.org/10.1007/978-3-030-84245-1_19","title":"A Compressed \u03a3-Protocol Theory for Lattices.","display_name":"A Compressed \u03a3-Protocol Theory for Lattices.","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3159444596","doi":"https://doi.org/10.1007/978-3-030-84245-1_19","mag":"3159444596"},"language":"en","primary_location":{"id":"pmh:cwi:oai:cwi.nl:31120","is_oa":false,"landing_page_url":"https://ir.cwi.nl/pub/31120","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencepaper"},"type":"preprint","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/A5003863612","display_name":"Thomas Attema","orcid":"https://orcid.org/0000-0002-8289-6853"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Thomas Attema","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-8289-6853","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009880731","display_name":"Ronald L. Cramer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ronald L. Cramer","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5016870965","display_name":"Lisa Kohl","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lisa Kohl","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5003863612"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"2021","issue":null,"first_page":"307","last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11567","display_name":"semigroups and automata theory","score":0.9847999811172485,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9815000295639038,"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/computer-science","display_name":"Computer science","score":0.6841232776641846},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.6066170334815979},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.13458895683288574}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6841232776641846},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6066170334815979},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.13458895683288574},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:cwi:oai:cwi.nl:31120","is_oa":false,"landing_page_url":"https://ir.cwi.nl/pub/31120","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencepaper"},{"id":"pmh:oai:oai-pmh.tno.nl:53462","is_oa":false,"landing_page_url":"https://resolver.tno.nl/uuid:7dae7963-5ee3-47ac-8599-5b35372d3d4c","pdf_url":null,"source":{"id":"https://openalex.org/S7407055233","display_name":"TNO Repository","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":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferencePaper"},{"id":"mag:3159444596","is_oa":false,"landing_page_url":"https://eprint.iacr.org/2021/307.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S2764847869","display_name":"IACR Cryptology ePrint Archive","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":["https://openalex.org/P4322614454"],"host_organization_lineage_names":["Cryptology ePrint Archive"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"IACR Cryptology ePrint Archive","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3203382839","https://openalex.org/W2600878811","https://openalex.org/W229098784","https://openalex.org/W2042095248","https://openalex.org/W2732733974","https://openalex.org/W1542058218","https://openalex.org/W2565279394","https://openalex.org/W994819836","https://openalex.org/W2830846491","https://openalex.org/W2885836764","https://openalex.org/W2496188311","https://openalex.org/W3047560096","https://openalex.org/W3123213326","https://openalex.org/W2039851959","https://openalex.org/W2281874727","https://openalex.org/W2054304819","https://openalex.org/W2032956526","https://openalex.org/W2970323723","https://openalex.org/W796807792","https://openalex.org/W2479528523"],"abstract_inverted_index":{"We":[0,19,230,323],"show":[1],"a":[2,42,57,77,83,148,165,167,238,255,298,304,307],"lattice-based":[3],"solution":[4],"for":[5,35,210],"commit-and-prove":[6],"transparent":[7],"circuit":[8,84],"zero-knowledge":[9],"(ZK)":[10],"with":[11,268],"polylog-communication,":[12],"the":[13,64,73,92,110,156,183,185,199,208,222,232,273,318,342],"first":[14,54,253],"not":[15,295],"depending":[16],"on":[17,41],"PCPs.":[18],"start":[20],"from":[21,61,100,133],"compressed":[22,55],"\u03a3":[23,33,187],"-protocol":[24,188],"theory":[25,138],"(CRYPTO":[26],"2020),":[27],"which":[28,202,244],"is":[29,47,86,103,177,216,294,332],"built":[30],"around":[31],"basic":[32,186],"-protocols":[34],"opening":[36],"an":[37,226,328],"arbitrary":[38,346],"linear":[39,93],"form":[40],"long":[43],"secret":[44,74,111,292],"vector":[45,75,112],"that":[46,72,141,221,276,331],"compactly":[48],"committed":[49],"to.":[50],"These":[51],"protocols":[52,176,326],"are":[53,113,245,321],"using":[56],"recursive":[58],"\u201cfolding-technique\u201d":[59],"adapted":[60,99],"Bulletproofs,":[62],"at":[63],"expense":[65],"of":[66,116,174,234,240,249,258,264,283,306,316],"logarithmic":[67,128],"rounds.":[68],"Proving":[69],"in":[70,171,189,262,287,327],"ZK":[71],"satisfies":[76],"given":[78],"constraint":[79],"\u2013":[80,85,201,206],"captured":[81],"by":[82,88,147,237],"then":[87],"(blackbox)":[89],"reduction":[90],"to":[91,109,127,160,182,212,345],"case,":[94],"via":[95],"arithmetic":[96,291],"secret-sharing":[97],"techniques":[98,320],"MPC.":[101],"Commit-and-prove":[102],"also":[104],"facilitated,":[105],"i.e.,":[106],"when":[107,153],"commitment(s)":[108],"created":[114],"ahead":[115],"any":[117],"circuit-ZK":[118],"proof.":[119],"On":[120],"several":[121],"platforms":[122],"(incl.":[123],"DL)":[124],"this":[125,311],"leads":[126],"communication.":[129],"Non-interactive":[130],"versions":[131],"follow":[132],"Fiat-Shamir.":[134],"This":[135],"abstract":[136,329],"modular":[137],"strongly":[139],"suggests":[140],"it":[142],"should":[143],"somehow":[144],"be":[145,337],"supported":[146],"lattice-platform":[149],"as":[150,180],"well.":[151],"However,":[152],"going":[154],"through":[155],"motions":[157],"and":[158,207,248,310,335,348],"trying":[159],"establish":[161],"low":[162],"communication":[163],"(on":[164],"SIS-platform),":[166],"certain":[168],"significant":[169],"lack":[170],"current":[172],"understanding":[173],"multi-round":[175],"exposed.":[178],"Namely,":[179],"opposed":[181],"DL-case,":[184],"question":[190],"typically":[191],"has":[192],"poly-small":[193,269],"challenge":[194,270],"space.":[195],"Taking":[196],"into":[197],"account":[198],"compression-step":[200],"yields":[203],"non-constant":[204,265],"rounds":[205,266],"necessity":[209],"parallelization":[211],"reduce":[213],"error,":[214],"there":[215],"no":[217],"known":[218],"tight":[219,256],"result":[220],"compound":[223],"protocol":[224],"admits":[225],"efficient":[227,259],"knowledge":[228,260,284],"extractor.":[229],"resolve":[231],"state":[233],"affairs":[235],"here":[236],"combination":[239],"two":[241],"novel":[242],"results":[243],"fully":[246],"general":[247],"independent":[250],"interest.":[251],"The":[252],"gives":[254],"analysis":[257],"extraction":[261],"case":[263],"combined":[267],"space,":[271],"whereas":[272],"second":[274],"shows":[275],"parallel":[277],"repetition":[278],"indeed":[279],"forces":[280,312],"rapid":[281],"decrease":[282],"error.":[285],"Moreover,":[286],"our":[288,313,325],"present":[289],"context,":[290],"sharing":[293],"defined":[296],"over":[297,303],"large":[299],"finite":[300],"field":[301],"but":[302],"quotient":[305],"number":[308],"ring":[309],"careful":[314],"adaptation":[315],"how":[317],"linearization":[319],"deployed.":[322],"develop":[324],"framework":[330,343],"conceptually":[333],"simple":[334],"can":[336],"flexibly":[338],"instantiated.":[339],"In":[340],"particular,":[341],"applies":[344],"rings":[347],"norms.":[349]},"counts_by_year":[],"updated_date":"2026-04-28T14:05:53.105641","created_date":"2025-10-10T00:00:00"}