zkPi: Proving Lean Theorems in Zero-Knowledge Article Swipe
Evan Laufer
,
Alex Ozdemir
,
Dan Boneh
·
YOU?
·
· 2024
· Open Access
·
· DOI: https://doi.org/10.1145/3658644.3670322
YOU?
·
· 2024
· Open Access
·
· DOI: https://doi.org/10.1145/3658644.3670322
Related Topics
Concepts
Mathematical proof
Zero-knowledge proof
Proof assistant
Correctness
Computer science
Argument (complex analysis)
Statement (logic)
Alice (programming language)
Construct (python library)
Programming language
Formal proof
Proof theory
Zero (linguistics)
Calculus (dental)
Discrete mathematics
Mathematics
Epistemology
Philosophy
Linguistics
Biochemistry
Dentistry
Medicine
Chemistry
Geometry
Metadata
- Type
- article
- Language
- en
- Landing Page
- https://doi.org/10.1145/3658644.3670322
- https://dl.acm.org/doi/pdf/10.1145/3658644.3670322
- OA Status
- gold
- Cited By
- 3
- References
- 49
- Related Works
- 10
- OpenAlex ID
- https://openalex.org/W4405181095
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W4405181095Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.1145/3658644.3670322Digital Object Identifier
- Title
-
zkPi: Proving Lean Theorems in Zero-KnowledgeWork title
- Type
-
articleOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2024Year of publication
- Publication date
-
2024-12-02Full publication date if available
- Authors
-
Evan Laufer, Alex Ozdemir, Dan BonehList of authors in order
- Landing page
-
https://doi.org/10.1145/3658644.3670322Publisher landing page
- PDF URL
-
https://dl.acm.org/doi/pdf/10.1145/3658644.3670322Direct link to full text PDF
- Open access
-
YesWhether a free full text is available
- OA status
-
goldOpen access status per OpenAlex
- OA URL
-
https://dl.acm.org/doi/pdf/10.1145/3658644.3670322Direct OA link when available
- Concepts
-
Mathematical proof, Zero-knowledge proof, Proof assistant, Correctness, Computer science, Argument (complex analysis), Statement (logic), Alice (programming language), Construct (python library), Programming language, Formal proof, Proof theory, Zero (linguistics), Calculus (dental), Discrete mathematics, Mathematics, Epistemology, Philosophy, Linguistics, Biochemistry, Dentistry, Medicine, Chemistry, GeometryTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
3Total citation count in OpenAlex
- Citations by year (recent)
-
2025: 2, 2024: 1Per-year citation counts (last 5 years)
- References (count)
-
49Number of works referenced by this work
- Related works (count)
-
10Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W4405181095 |
|---|---|
| doi | https://doi.org/10.1145/3658644.3670322 |
| ids.doi | https://doi.org/10.1145/3658644.3670322 |
| ids.openalex | https://openalex.org/W4405181095 |
| fwci | 1.91633565 |
| type | article |
| title | zkPi: Proving Lean Theorems in Zero-Knowledge |
| biblio.issue | |
| biblio.volume | |
| biblio.last_page | 4315 |
| biblio.first_page | 4301 |
| topics[0].id | https://openalex.org/T10237 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.9983000159263611 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/1702 |
| topics[0].subfield.display_name | Artificial Intelligence |
| topics[0].display_name | Cryptography and Data Security |
| topics[1].id | https://openalex.org/T11424 |
| topics[1].field.id | https://openalex.org/fields/17 |
| topics[1].field.display_name | Computer Science |
| topics[1].score | 0.9889000058174133 |
| topics[1].domain.id | https://openalex.org/domains/3 |
| topics[1].domain.display_name | Physical Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/1702 |
| topics[1].subfield.display_name | Artificial Intelligence |
| topics[1].display_name | Security and Verification in Computing |
| topics[2].id | https://openalex.org/T11614 |
| topics[2].field.id | https://openalex.org/fields/17 |
| topics[2].field.display_name | Computer Science |
| topics[2].score | 0.9753000140190125 |
| topics[2].domain.id | https://openalex.org/domains/3 |
| topics[2].domain.display_name | Physical Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/1710 |
| topics[2].subfield.display_name | Information Systems |
| topics[2].display_name | Cloud Data Security Solutions |
| is_xpac | False |
| apc_list | |
| apc_paid | |
| concepts[0].id | https://openalex.org/C108710211 |
| concepts[0].level | 2 |
| concepts[0].score | 0.8563633561134338 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q11538 |
| concepts[0].display_name | Mathematical proof |
| concepts[1].id | https://openalex.org/C176329583 |
| concepts[1].level | 3 |
| concepts[1].score | 0.7178084254264832 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q191943 |
| concepts[1].display_name | Zero-knowledge proof |
| concepts[2].id | https://openalex.org/C203265346 |
| concepts[2].level | 3 |
| concepts[2].score | 0.685377836227417 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q11387554 |
| concepts[2].display_name | Proof assistant |
| concepts[3].id | https://openalex.org/C55439883 |
| concepts[3].level | 2 |
| concepts[3].score | 0.6458402872085571 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q360812 |
| concepts[3].display_name | Correctness |
| concepts[4].id | https://openalex.org/C41008148 |
| concepts[4].level | 0 |
| concepts[4].score | 0.6239238977432251 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[4].display_name | Computer science |
| concepts[5].id | https://openalex.org/C98184364 |
| concepts[5].level | 2 |
| concepts[5].score | 0.6238062381744385 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q1780131 |
| concepts[5].display_name | Argument (complex analysis) |
| concepts[6].id | https://openalex.org/C2777026412 |
| concepts[6].level | 2 |
| concepts[6].score | 0.614957332611084 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q2684591 |
| concepts[6].display_name | Statement (logic) |
| concepts[7].id | https://openalex.org/C2778222013 |
| concepts[7].level | 2 |
| concepts[7].score | 0.5634853839874268 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q1136926 |
| concepts[7].display_name | Alice (programming language) |
| concepts[8].id | https://openalex.org/C2780801425 |
| concepts[8].level | 2 |
| concepts[8].score | 0.5531036257743835 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q5164392 |
| concepts[8].display_name | Construct (python library) |
| concepts[9].id | https://openalex.org/C199360897 |
| concepts[9].level | 1 |
| concepts[9].score | 0.46764513850212097 |
| concepts[9].wikidata | https://www.wikidata.org/wiki/Q9143 |
| concepts[9].display_name | Programming language |
| concepts[10].id | https://openalex.org/C94461902 |
| concepts[10].level | 3 |
| concepts[10].score | 0.44604742527008057 |
| concepts[10].wikidata | https://www.wikidata.org/wiki/Q2762418 |
| concepts[10].display_name | Formal proof |
| concepts[11].id | https://openalex.org/C2318724 |
| concepts[11].level | 3 |
| concepts[11].score | 0.42506468296051025 |
| concepts[11].wikidata | https://www.wikidata.org/wiki/Q852732 |
| concepts[11].display_name | Proof theory |
| concepts[12].id | https://openalex.org/C2780813799 |
| concepts[12].level | 2 |
| concepts[12].score | 0.4150984287261963 |
| concepts[12].wikidata | https://www.wikidata.org/wiki/Q3274237 |
| concepts[12].display_name | Zero (linguistics) |
| concepts[13].id | https://openalex.org/C2777686260 |
| concepts[13].level | 2 |
| concepts[13].score | 0.39070239663124084 |
| concepts[13].wikidata | https://www.wikidata.org/wiki/Q144037 |
| concepts[13].display_name | Calculus (dental) |
| concepts[14].id | https://openalex.org/C118615104 |
| concepts[14].level | 1 |
| concepts[14].score | 0.36869359016418457 |
| concepts[14].wikidata | https://www.wikidata.org/wiki/Q121416 |
| concepts[14].display_name | Discrete mathematics |
| concepts[15].id | https://openalex.org/C33923547 |
| concepts[15].level | 0 |
| concepts[15].score | 0.29239916801452637 |
| concepts[15].wikidata | https://www.wikidata.org/wiki/Q395 |
| concepts[15].display_name | Mathematics |
| concepts[16].id | https://openalex.org/C111472728 |
| concepts[16].level | 1 |
| concepts[16].score | 0.13441422581672668 |
| concepts[16].wikidata | https://www.wikidata.org/wiki/Q9471 |
| concepts[16].display_name | Epistemology |
| concepts[17].id | https://openalex.org/C138885662 |
| concepts[17].level | 0 |
| concepts[17].score | 0.09574669599533081 |
| concepts[17].wikidata | https://www.wikidata.org/wiki/Q5891 |
| concepts[17].display_name | Philosophy |
| concepts[18].id | https://openalex.org/C41895202 |
| concepts[18].level | 1 |
| concepts[18].score | 0.06471166014671326 |
| concepts[18].wikidata | https://www.wikidata.org/wiki/Q8162 |
| concepts[18].display_name | Linguistics |
| concepts[19].id | https://openalex.org/C55493867 |
| concepts[19].level | 1 |
| concepts[19].score | 0.0 |
| concepts[19].wikidata | https://www.wikidata.org/wiki/Q7094 |
| concepts[19].display_name | Biochemistry |
| concepts[20].id | https://openalex.org/C199343813 |
| concepts[20].level | 1 |
| concepts[20].score | 0.0 |
| concepts[20].wikidata | https://www.wikidata.org/wiki/Q12128 |
| concepts[20].display_name | Dentistry |
| concepts[21].id | https://openalex.org/C71924100 |
| concepts[21].level | 0 |
| concepts[21].score | 0.0 |
| concepts[21].wikidata | https://www.wikidata.org/wiki/Q11190 |
| concepts[21].display_name | Medicine |
| concepts[22].id | https://openalex.org/C185592680 |
| concepts[22].level | 0 |
| concepts[22].score | 0.0 |
| concepts[22].wikidata | https://www.wikidata.org/wiki/Q2329 |
| concepts[22].display_name | Chemistry |
| concepts[23].id | https://openalex.org/C2524010 |
| concepts[23].level | 1 |
| concepts[23].score | 0.0 |
| concepts[23].wikidata | https://www.wikidata.org/wiki/Q8087 |
| concepts[23].display_name | Geometry |
| keywords[0].id | https://openalex.org/keywords/mathematical-proof |
| keywords[0].score | 0.8563633561134338 |
| keywords[0].display_name | Mathematical proof |
| keywords[1].id | https://openalex.org/keywords/zero-knowledge-proof |
| keywords[1].score | 0.7178084254264832 |
| keywords[1].display_name | Zero-knowledge proof |
| keywords[2].id | https://openalex.org/keywords/proof-assistant |
| keywords[2].score | 0.685377836227417 |
| keywords[2].display_name | Proof assistant |
| keywords[3].id | https://openalex.org/keywords/correctness |
| keywords[3].score | 0.6458402872085571 |
| keywords[3].display_name | Correctness |
| keywords[4].id | https://openalex.org/keywords/computer-science |
| keywords[4].score | 0.6239238977432251 |
| keywords[4].display_name | Computer science |
| keywords[5].id | https://openalex.org/keywords/argument |
| keywords[5].score | 0.6238062381744385 |
| keywords[5].display_name | Argument (complex analysis) |
| keywords[6].id | https://openalex.org/keywords/statement |
| keywords[6].score | 0.614957332611084 |
| keywords[6].display_name | Statement (logic) |
| keywords[7].id | https://openalex.org/keywords/alice |
| keywords[7].score | 0.5634853839874268 |
| keywords[7].display_name | Alice (programming language) |
| keywords[8].id | https://openalex.org/keywords/construct |
| keywords[8].score | 0.5531036257743835 |
| keywords[8].display_name | Construct (python library) |
| keywords[9].id | https://openalex.org/keywords/programming-language |
| keywords[9].score | 0.46764513850212097 |
| keywords[9].display_name | Programming language |
| keywords[10].id | https://openalex.org/keywords/formal-proof |
| keywords[10].score | 0.44604742527008057 |
| keywords[10].display_name | Formal proof |
| keywords[11].id | https://openalex.org/keywords/proof-theory |
| keywords[11].score | 0.42506468296051025 |
| keywords[11].display_name | Proof theory |
| keywords[12].id | https://openalex.org/keywords/zero |
| keywords[12].score | 0.4150984287261963 |
| keywords[12].display_name | Zero (linguistics) |
| keywords[13].id | https://openalex.org/keywords/calculus |
| keywords[13].score | 0.39070239663124084 |
| keywords[13].display_name | Calculus (dental) |
| keywords[14].id | https://openalex.org/keywords/discrete-mathematics |
| keywords[14].score | 0.36869359016418457 |
| keywords[14].display_name | Discrete mathematics |
| keywords[15].id | https://openalex.org/keywords/mathematics |
| keywords[15].score | 0.29239916801452637 |
| keywords[15].display_name | Mathematics |
| keywords[16].id | https://openalex.org/keywords/epistemology |
| keywords[16].score | 0.13441422581672668 |
| keywords[16].display_name | Epistemology |
| keywords[17].id | https://openalex.org/keywords/philosophy |
| keywords[17].score | 0.09574669599533081 |
| keywords[17].display_name | Philosophy |
| keywords[18].id | https://openalex.org/keywords/linguistics |
| keywords[18].score | 0.06471166014671326 |
| keywords[18].display_name | Linguistics |
| language | en |
| locations[0].id | doi:10.1145/3658644.3670322 |
| locations[0].is_oa | True |
| locations[0].source | |
| locations[0].license | |
| locations[0].pdf_url | https://dl.acm.org/doi/pdf/10.1145/3658644.3670322 |
| locations[0].version | publishedVersion |
| locations[0].raw_type | proceedings-article |
| locations[0].license_id | |
| locations[0].is_accepted | True |
| locations[0].is_published | True |
| locations[0].raw_source_name | Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security |
| locations[0].landing_page_url | https://doi.org/10.1145/3658644.3670322 |
| indexed_in | crossref |
| authorships[0].author.id | https://openalex.org/A5012517754 |
| authorships[0].author.orcid | https://orcid.org/0009-0001-5767-0844 |
| authorships[0].author.display_name | Evan Laufer |
| authorships[0].countries | US |
| authorships[0].affiliations[0].institution_ids | https://openalex.org/I97018004 |
| authorships[0].affiliations[0].raw_affiliation_string | Stanford University, Stanford, CA, USA |
| authorships[0].institutions[0].id | https://openalex.org/I97018004 |
| authorships[0].institutions[0].ror | https://ror.org/00f54p054 |
| authorships[0].institutions[0].type | education |
| authorships[0].institutions[0].lineage | https://openalex.org/I97018004 |
| authorships[0].institutions[0].country_code | US |
| authorships[0].institutions[0].display_name | Stanford University |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Evan Laufer |
| authorships[0].is_corresponding | False |
| authorships[0].raw_affiliation_strings | Stanford University, Stanford, CA, USA |
| authorships[1].author.id | https://openalex.org/A5062208593 |
| authorships[1].author.orcid | https://orcid.org/0000-0002-0181-6752 |
| authorships[1].author.display_name | Alex Ozdemir |
| authorships[1].countries | US |
| authorships[1].affiliations[0].institution_ids | https://openalex.org/I97018004 |
| authorships[1].affiliations[0].raw_affiliation_string | Stanford University, Stanford, CA, USA |
| authorships[1].institutions[0].id | https://openalex.org/I97018004 |
| authorships[1].institutions[0].ror | https://ror.org/00f54p054 |
| authorships[1].institutions[0].type | education |
| authorships[1].institutions[0].lineage | https://openalex.org/I97018004 |
| authorships[1].institutions[0].country_code | US |
| authorships[1].institutions[0].display_name | Stanford University |
| authorships[1].author_position | middle |
| authorships[1].raw_author_name | Alex Ozdemir |
| authorships[1].is_corresponding | False |
| authorships[1].raw_affiliation_strings | Stanford University, Stanford, CA, USA |
| authorships[2].author.id | https://openalex.org/A5027798962 |
| authorships[2].author.orcid | https://orcid.org/0000-0003-0820-0421 |
| authorships[2].author.display_name | Dan Boneh |
| authorships[2].countries | US |
| authorships[2].affiliations[0].institution_ids | https://openalex.org/I97018004 |
| authorships[2].affiliations[0].raw_affiliation_string | Stanford University, Stanford, CA, USA |
| authorships[2].institutions[0].id | https://openalex.org/I97018004 |
| authorships[2].institutions[0].ror | https://ror.org/00f54p054 |
| authorships[2].institutions[0].type | education |
| authorships[2].institutions[0].lineage | https://openalex.org/I97018004 |
| authorships[2].institutions[0].country_code | US |
| authorships[2].institutions[0].display_name | Stanford University |
| authorships[2].author_position | last |
| authorships[2].raw_author_name | Dan Boneh |
| authorships[2].is_corresponding | False |
| authorships[2].raw_affiliation_strings | Stanford University, Stanford, CA, USA |
| has_content.pdf | True |
| has_content.grobid_xml | True |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://dl.acm.org/doi/pdf/10.1145/3658644.3670322 |
| open_access.oa_status | gold |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | zkPi: Proving Lean Theorems in Zero-Knowledge |
| has_fulltext | True |
| is_retracted | False |
| updated_date | 2025-11-06T03:46:38.306776 |
| primary_topic.id | https://openalex.org/T10237 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.9983000159263611 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/1702 |
| primary_topic.subfield.display_name | Artificial Intelligence |
| primary_topic.display_name | Cryptography and Data Security |
| related_works | https://openalex.org/W2491370528, https://openalex.org/W1854197585, https://openalex.org/W2755232768, https://openalex.org/W3163122332, https://openalex.org/W1561664087, https://openalex.org/W1965266911, https://openalex.org/W2138417912, https://openalex.org/W1768814311, https://openalex.org/W2277965188, https://openalex.org/W16001729 |
| cited_by_count | 3 |
| counts_by_year[0].year | 2025 |
| counts_by_year[0].cited_by_count | 2 |
| counts_by_year[1].year | 2024 |
| counts_by_year[1].cited_by_count | 1 |
| locations_count | 1 |
| best_oa_location.id | doi:10.1145/3658644.3670322 |
| best_oa_location.is_oa | True |
| best_oa_location.source | |
| best_oa_location.license | |
| best_oa_location.pdf_url | https://dl.acm.org/doi/pdf/10.1145/3658644.3670322 |
| best_oa_location.version | publishedVersion |
| best_oa_location.raw_type | proceedings-article |
| best_oa_location.license_id | |
| best_oa_location.is_accepted | True |
| best_oa_location.is_published | True |
| best_oa_location.raw_source_name | Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security |
| best_oa_location.landing_page_url | https://doi.org/10.1145/3658644.3670322 |
| primary_location.id | doi:10.1145/3658644.3670322 |
| primary_location.is_oa | True |
| primary_location.source | |
| primary_location.license | |
| primary_location.pdf_url | https://dl.acm.org/doi/pdf/10.1145/3658644.3670322 |
| primary_location.version | publishedVersion |
| primary_location.raw_type | proceedings-article |
| primary_location.license_id | |
| primary_location.is_accepted | True |
| primary_location.is_published | True |
| primary_location.raw_source_name | Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security |
| primary_location.landing_page_url | https://doi.org/10.1145/3658644.3670322 |
| publication_date | 2024-12-02 |
| publication_year | 2024 |
| referenced_works | https://openalex.org/W1464569014, https://openalex.org/W4210966189, https://openalex.org/W2121757479, https://openalex.org/W1539572409, https://openalex.org/W2018746447, https://openalex.org/W2169657197, https://openalex.org/W2496543269, https://openalex.org/W2883748642, https://openalex.org/W2982474429, https://openalex.org/W3214651532, https://openalex.org/W3046380193, https://openalex.org/W2171337840, https://openalex.org/W2041068798, https://openalex.org/W2067700169, https://openalex.org/W2529173666, https://openalex.org/W1563556756, https://openalex.org/W2794536744, https://openalex.org/W2794848620, https://openalex.org/W4288057723, https://openalex.org/W4308430049, https://openalex.org/W4180724, https://openalex.org/W2968027060, https://openalex.org/W4384471497, https://openalex.org/W2096390054, https://openalex.org/W2011849452, https://openalex.org/W2101770573, https://openalex.org/W1971029566, https://openalex.org/W2811026317, https://openalex.org/W2981188613, https://openalex.org/W2989230924, https://openalex.org/W1836725053, https://openalex.org/W2984674716, https://openalex.org/W2954625838, https://openalex.org/W2883585522, https://openalex.org/W2049982182, https://openalex.org/W2969207949, https://openalex.org/W2891060526, https://openalex.org/W3012999251, https://openalex.org/W3096740550, https://openalex.org/W3153302440, https://openalex.org/W2293687462, https://openalex.org/W2082158393, https://openalex.org/W3112847278, https://openalex.org/W3214538287, https://openalex.org/W4405181095, https://openalex.org/W2402869180, https://openalex.org/W2100818808, https://openalex.org/W1508641834, https://openalex.org/W2948043589 |
| referenced_works_count | 49 |
| abstract_inverted_index | |
| cited_by_percentile_year.max | 97 |
| cited_by_percentile_year.min | 90 |
| countries_distinct_count | 1 |
| institutions_distinct_count | 3 |
| citation_normalized_percentile.value | 0.85828763 |
| citation_normalized_percentile.is_in_top_1_percent | False |
| citation_normalized_percentile.is_in_top_10_percent | False |