{"id":"https://openalex.org/W4392539265","doi":"https://doi.org/10.70675/0776aaa9zb968z4655z901ez6896e0e751b0","title":"The arithmetic of pairing-based proof systems","display_name":"The arithmetic of pairing-based proof systems","publication_year":2022,"publication_date":"2022-11-18","ids":{"openalex":"https://openalex.org/W4392539265","doi":"https://doi.org/10.70675/0776aaa9zb968z4655z901ez6896e0e751b0"},"language":"fr","primary_location":{"id":"doi:10.70675/0776aaa9zb968z4655z901ez6896e0e751b0","doi":"https://doi.org/10.70675/0776aaa9zb968z4655z901ez6896e0e751b0","is_oa":false,"landing_page_url":"https://doi.org/10.70675/0776aaa9zb968z4655z901ez6896e0e751b0","pdf_url":null,"source":{"id":"https://openalex.org/S4406923047","display_name":"theses.fr (ABES)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Institut polytechnique de Paris","raw_type":"dissertation"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/tel-03922488/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004547486","display_name":"Youssef El Housni","orcid":"https://orcid.org/0000-0003-2873-3479","observed_orcids":["https://orcid.org/0000-0003-2873-3479"]},"institutions":[{"id":"https://openalex.org/I4210145102","display_name":"Institut Polytechnique de Paris","ror":"https://ror.org/042tfbd02","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Youssef El housni","raw_affiliation_strings":["Institut polytechnique de Paris"],"raw_orcid":"https://orcid.org/0000-0003-2873-3479","affiliations":[{"raw_affiliation_string":"Institut polytechnique de Paris","institution_ids":["https://openalex.org/I4210145102"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5004547486"],"corresponding_institution_ids":["https://openalex.org/I4210145102"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"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/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.5957000255584717,"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/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.5957000255584717,"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/T10237","display_name":"Cryptography and Data Security","score":0.37700000405311584,"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/T11130","display_name":"Coding theory and cryptography","score":0.005200000014156103,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/succinct-non-interactive-arguments-of-knowledge","display_name":"succinct non-interactive arguments of knowledge","score":0.8980000019073486},{"id":"https://openalex.org/keywords/snarks","display_name":"snarks","score":0.8730000257492065},{"id":"https://openalex.org/keywords/elliptic-curve-pairings","display_name":"elliptic curve pairings","score":0.7229999899864197},{"id":"https://openalex.org/keywords/bilinear-pairings","display_name":"bilinear pairings","score":0.859000027179718},{"id":"https://openalex.org/keywords/arithmetic-of-elliptic-curves","display_name":"arithmetic of elliptic curves","score":0.7820000052452087},{"id":"https://openalex.org/keywords/multi-scalar-multiplication","display_name":"multi-scalar multiplication","score":0.9629999995231628},{"id":"https://openalex.org/keywords/curve-construction","display_name":"curve construction","score":0.40700000524520874}],"concepts":[{"id":"https://openalex.org/C14103023","wikidata":"https://www.wikidata.org/wiki/Q11681459","display_name":"Pairing","level":3,"score":0.7938582897186279},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.683803141117096},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45496493577957153},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40439993143081665},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3792847990989685},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3375798463821411},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.16954576969146729},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.07228398323059082},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C54101563","wikidata":"https://www.wikidata.org/wiki/Q124131","display_name":"Superconductivity","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.70675/0776aaa9zb968z4655z901ez6896e0e751b0","doi":"https://doi.org/10.70675/0776aaa9zb968z4655z901ez6896e0e751b0","is_oa":false,"landing_page_url":"https://doi.org/10.70675/0776aaa9zb968z4655z901ez6896e0e751b0","pdf_url":null,"source":{"id":"https://openalex.org/S4406923047","display_name":"theses.fr (ABES)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Institut polytechnique de Paris","raw_type":"dissertation"},{"id":"pmh:2022IPPAX104","doi":null,"is_oa":true,"landing_page_url":"http://www.theses.fr/2022IPPAX104/document","pdf_url":"https://hal.science/tel-03922488/document","source":{"id":"https://openalex.org/S4406923047","display_name":"theses.fr (ABES)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"Electronic Thesis or Dissertation"},{"id":"pmh:oai:HAL:tel-03922488v2","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/tel-03922488v2/file/119779_EL_HOUSNI_2022_archivage.pdf","pdf_url":"https://hal.science/tel-03922488v2/file/119779_EL_HOUSNI_2022_archivage.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Other [cs.OH]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAX104⟩","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"pmh:oai:HAL:tel-03922488v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/tel-03922488","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://hal.science/tel-03922488","raw_type":"info:eu-repo/semantics/doctoralThesis"}],"best_oa_location":{"id":"pmh:2022IPPAX104","doi":null,"is_oa":true,"landing_page_url":"http://www.theses.fr/2022IPPAX104/document","pdf_url":"https://hal.science/tel-03922488/document","source":{"id":"https://openalex.org/S4406923047","display_name":"theses.fr (ABES)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"Electronic Thesis or Dissertation"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4392539265.pdf","grobid_xml":"https://content.openalex.org/works/W4392539265.grobid-xml"},"referenced_works_count":118,"referenced_works":["https://openalex.org/W4180724","https://openalex.org/W119120280","https://openalex.org/W600997534","https://openalex.org/W1441821354","https://openalex.org/W1483726862","https://openalex.org/W1487297807","https://openalex.org/W1494641788","https://openalex.org/W1497232275","https://openalex.org/W1518618574","https://openalex.org/W1520251037","https://openalex.org/W1522706628","https://openalex.org/W1534733761","https://openalex.org/W1535347796","https://openalex.org/W1537065876","https://openalex.org/W1538440442","https://openalex.org/W1539740938","https://openalex.org/W1548963432","https://openalex.org/W1553083934","https://openalex.org/W1556920856","https://openalex.org/W1561590459","https://openalex.org/W1563556756","https://openalex.org/W1571104860","https://openalex.org/W1576157668","https://openalex.org/W1577653766","https://openalex.org/W1583599613","https://openalex.org/W1584385726","https://openalex.org/W1584722274","https://openalex.org/W1587753163","https://openalex.org/W1597998262","https://openalex.org/W1606363966","https://openalex.org/W1610688607","https://openalex.org/W1637905077","https://openalex.org/W1758781646","https://openalex.org/W1761314766","https://openalex.org/W1798609567","https://openalex.org/W1846967348","https://openalex.org/W1850106430","https://openalex.org/W1851253658","https://openalex.org/W1856405133","https://openalex.org/W1909324101","https://openalex.org/W1957825227","https://openalex.org/W1970606468","https://openalex.org/W1971605365","https://openalex.org/W1985592521","https://openalex.org/W1992402139","https://openalex.org/W2018746447","https://openalex.org/W2021553056","https://openalex.org/W2028982966","https://openalex.org/W2034710402","https://openalex.org/W2037107113","https://openalex.org/W2043007983","https://openalex.org/W2046569422","https://openalex.org/W2048054397","https://openalex.org/W2065422049","https://openalex.org/W2067047774","https://openalex.org/W2067596507","https://openalex.org/W2067700169","https://openalex.org/W2069448237","https://openalex.org/W2070239372","https://openalex.org/W2097493047","https://openalex.org/W2098377074","https://openalex.org/W2109116994","https://openalex.org/W2109806227","https://openalex.org/W2110698954","https://openalex.org/W2117852003","https://openalex.org/W2122087485","https://openalex.org/W2126664878","https://openalex.org/W2127195783","https://openalex.org/W2145445094","https://openalex.org/W2145593883","https://openalex.org/W2146689848","https://openalex.org/W2162548688","https://openalex.org/W2164960664","https://openalex.org/W2166670067","https://openalex.org/W2171337840","https://openalex.org/W2213265184","https://openalex.org/W2274030408","https://openalex.org/W2285532026","https://openalex.org/W2293021588","https://openalex.org/W2295494829","https://openalex.org/W2296489817","https://openalex.org/W2306397823","https://openalex.org/W2406585997","https://openalex.org/W2470176151","https://openalex.org/W2473389213","https://openalex.org/W2496543269","https://openalex.org/W2517744317","https://openalex.org/W2529173666","https://openalex.org/W2536137494","https://openalex.org/W2741945342","https://openalex.org/W2790485266","https://openalex.org/W2792649521","https://openalex.org/W2883585522","https://openalex.org/W2883748642","https://openalex.org/W2884599530","https://openalex.org/W2902824124","https://openalex.org/W2903115616","https://openalex.org/W2947480871","https://openalex.org/W2954360975","https://openalex.org/W2982474429","https://openalex.org/W2984674716","https://openalex.org/W2990120385","https://openalex.org/W2994293923","https://openalex.org/W3021066046","https://openalex.org/W3035895299","https://openalex.org/W3037250204","https://openalex.org/W3047246586","https://openalex.org/W3113554767","https://openalex.org/W3170337877","https://openalex.org/W3192802957","https://openalex.org/W3202783968","https://openalex.org/W3205312725","https://openalex.org/W4223514846","https://openalex.org/W4243172792","https://openalex.org/W4247266746","https://openalex.org/W4280542304","https://openalex.org/W4292027090","https://openalex.org/W4295971343"],"related_works":["https://openalex.org/W7144127285","https://openalex.org/W7150728939","https://openalex.org/W4392236042","https://openalex.org/W7144137955","https://openalex.org/W3027828520","https://openalex.org/W7220511214","https://openalex.org/W388813563","https://openalex.org/W120112863","https://openalex.org/W7148519692","https://openalex.org/W4392228504"],"abstract_inverted_index":{"L'arithm\u00e9tique":[0],"des":[1,39,89,94,106,133,142,183,193,212],"syst\u00e8mes":[2,40],"de":[3,7,11,23,41,51,73,80,99,116,157,160,166,169,171,226],"preuves":[4],"\u00e0":[5,69,77,109,113,122,149,223],"base":[6],"couplage":[8,110,202,217],"Un":[9],"syst\u00e8me":[10],"preuve":[12,42,64,230],"est":[13,34,53],"un":[14,45,131,137,146],"protocole":[15],"o\u00f9":[16],"une":[17,25,63,120,229],"partie":[18,27],"(appel\u00e9e":[19,28],"le":[20,29,54,216],"prouveur)":[21],"essaie":[22],"convaincre":[24],"autre":[26],"v\u00e9rifieur)":[30],"qu'un":[31],"\u00e9nonc\u00e9":[32,147],"donn\u00e9":[33],"vrai.":[35],"Dans":[36],"la":[37,78,152],"classe":[38],"non":[43],"interactifs,":[44],"concept":[46],"int\u00e9ressant":[47],"pour":[48,97,129,135,144,162,173,186],"prouver":[49],"l'int\u00e9grit\u00e9":[50],"calcul":[52],"\"Succinct":[55],"Non-interactive":[56],"ARgument":[57],"of":[58],"Knowledge\"":[59],"(SNARK).":[60],"Il":[61],"fournit":[62],"calculatoirement":[65],"solide,":[66],"peu":[67],"co\u00fbteuse":[68],"v\u00e9rifier":[70],"et":[71,140,165,179,201,208,215],"petite":[72],"taille":[74,79],"par":[75],"rapport":[76],"l'\u00e9nonc\u00e9":[81],"ou":[82],"du":[83,125],"t\u00e9moin.":[84],"Les":[85],"couplages":[86],"bilin\u00e9aires":[87],"sur":[88,151,189,203],"courbes":[90,107,128,134,143,161,172,213],"elliptiques":[91,108,214],"sont":[92],"devenus":[93],"ingr\u00e9dients":[95],"cl\u00e9s":[96],"instancier":[98,130,136],"tels":[100],"SNARKs.Dans":[101],"cette":[102],"th\u00e8se":[103],"nous":[104],"\u00e9tudions":[105,207],"efficace":[111],"adapt\u00e9es":[112],"ce":[114],"type":[115],"SNARKs.":[117],"Nous":[118,155,177,206],"pr\u00e9sentons":[119],"\u00e9tude":[121],"trois":[123],"\u00e9tapes":[124],"processus:":[126],"Des":[127],"SNARK,":[132],"SNARK":[138,164,222],"r\u00e9cursif,":[139],"\u00e9galement":[141,210],"exprimer":[145],"li\u00e9":[148],"l'arithm\u00e9tique":[150,188,211],"courbe":[153],"elliptique.":[154],"fournissons":[156],"nouvelles":[158,167],"constructions":[159],"les":[163,174,204],"familles":[168],"2-cha\u00eenes":[170],"SNARKs":[175],"r\u00e9cursifs.":[176],"d\u00e9rivons":[178],"impl\u00e9mentons":[180],"en":[181,219],"open-source":[182],"algorithmes":[184],"efficaces":[185],"acc\u00e9l\u00e9rer":[187],"ces":[190],"courbes:":[191],"Effacement":[192],"cofacteurs,":[194],"test":[195],"d'appartenance":[196],"aux":[197],"sous-groupes,":[198],"multiplication":[199],"multi-scalaire":[200],"2-cha\u00eenes.":[205],"optimisons":[209],"bilin\u00e9aire":[218],"tant":[220],"qu'\u00e9nonc\u00e9s":[221],"prouver,":[224],"permettant":[225],"g\u00e9n\u00e9rer":[227],"rapidement":[228],"r\u00e9cursive.":[231]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2024-03-07T00:00:00"}