Physical Zero-Knowledge Proofs of Physical Properties View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2014

AUTHORS

Ben Fisch , Daniel Freund , Moni Naor

ABSTRACT

Is it possible to prove that two DNA-fingerprints match, or that they do not match, without revealing any further information about the fingerprints? Is it possible to prove that two objects have the same design without revealing the design itself? In the digital domain, zero-knowledge is an established concept where a prover convinces a verifier of a statement without revealing any information beyond the statement’s validity. However, zero-knowledge is not as well-developed in the context of problems that are inherently physical. In this paper, we are interested in protocols that prove physical properties of physical objects without revealing further information. The literature lacks a unified formal framework for designing and analyzing such protocols. We suggest the first paradigm for formally defining, modeling, and analyzing physical zero-knowledge (PhysicalZK) protocols, using the Universal Composability framework. We also demonstrate applications of physical zero-knowledge to DNA profiling and neutron radiography. Finally, we explore public observation proofs, an analog of public-coin proofs in the context of PhysicalZK. More... »

PAGES

313-336

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-662-44381-1_18

DOI

http://dx.doi.org/10.1007/978-3-662-44381-1_18

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1015884228


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Columbia University, New York, NY, USA", 
          "id": "http://www.grid.ac/institutes/grid.21729.3f", 
          "name": [
            "Columbia University, New York, NY, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Fisch", 
        "givenName": "Ben", 
        "id": "sg:person.011321400203.19", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011321400203.19"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Cornell University, Ithaca, NY, USA", 
          "id": "http://www.grid.ac/institutes/grid.5386.8", 
          "name": [
            "Cornell University, Ithaca, NY, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Freund", 
        "givenName": "Daniel", 
        "id": "sg:person.010210234715.65", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010210234715.65"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Weizmann Institute of Science, Rehovot, Israel", 
          "id": "http://www.grid.ac/institutes/grid.13992.30", 
          "name": [
            "Weizmann Institute of Science, Rehovot, Israel"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Naor", 
        "givenName": "Moni", 
        "id": "sg:person.07776170271.83", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07776170271.83"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2014", 
    "datePublishedReg": "2014-01-01", 
    "description": "Is it possible to prove that two DNA-fingerprints match, or that they do not match, without revealing any further information about the fingerprints? Is it possible to prove that two objects have the same design without revealing the design itself? In the digital domain, zero-knowledge is an established concept where a prover convinces a verifier of a statement without revealing any information beyond the statement\u2019s validity. However, zero-knowledge is not as well-developed in the context of problems that are inherently physical. In this paper, we are interested in protocols that prove physical properties of physical objects without revealing further information. The literature lacks a unified formal framework for designing and analyzing such protocols. We suggest the first paradigm for formally defining, modeling, and analyzing physical zero-knowledge (PhysicalZK) protocols, using the Universal Composability framework. We also demonstrate applications of physical zero-knowledge to DNA profiling and neutron radiography. Finally, we explore public observation proofs, an analog of public-coin proofs in the context of PhysicalZK.", 
    "editor": [
      {
        "familyName": "Garay", 
        "givenName": "Juan A.", 
        "type": "Person"
      }, 
      {
        "familyName": "Gennaro", 
        "givenName": "Rosario", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-662-44381-1_18", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-662-44380-4", 
        "978-3-662-44381-1"
      ], 
      "name": "Advances in Cryptology \u2013 CRYPTO 2014", 
      "type": "Book"
    }, 
    "keywords": [
      "zero-knowledge", 
      "zero-knowledge proofs", 
      "zero-knowledge protocols", 
      "public-coin proofs", 
      "universal composability framework", 
      "unified formal framework", 
      "formal framework", 
      "physical objects", 
      "such protocols", 
      "digital domain", 
      "context of problems", 
      "objects", 
      "information", 
      "statement validity", 
      "first paradigm", 
      "protocol", 
      "framework", 
      "verifier", 
      "provers", 
      "proof", 
      "design", 
      "paradigm", 
      "context", 
      "applications", 
      "fingerprints", 
      "match", 
      "modeling", 
      "domain", 
      "concept", 
      "same design", 
      "further information", 
      "validity", 
      "statements", 
      "literature", 
      "Physical", 
      "neutron radiography", 
      "properties", 
      "profiling", 
      "radiography", 
      "analogues", 
      "physical properties", 
      "DNA profiling", 
      "paper", 
      "problem", 
      "DNA-fingerprints match", 
      "Composability framework", 
      "public observation proofs", 
      "observation proofs", 
      "context of PhysicalZK", 
      "PhysicalZK"
    ], 
    "name": "Physical Zero-Knowledge Proofs of Physical Properties", 
    "pagination": "313-336", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1015884228"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-662-44381-1_18"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-662-44381-1_18", 
      "https://app.dimensions.ai/details/publication/pub.1015884228"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-01-01T19:14", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/chapter/chapter_244.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-662-44381-1_18"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-662-44381-1_18'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-662-44381-1_18'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-662-44381-1_18'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-662-44381-1_18'


 

This table displays all metadata directly associated to this object as RDF triples.

135 TRIPLES      23 PREDICATES      76 URIs      69 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-662-44381-1_18 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author N4657e1a6d85542a291134a3ac0bb6bfd
4 schema:datePublished 2014
5 schema:datePublishedReg 2014-01-01
6 schema:description Is it possible to prove that two DNA-fingerprints match, or that they do not match, without revealing any further information about the fingerprints? Is it possible to prove that two objects have the same design without revealing the design itself? In the digital domain, zero-knowledge is an established concept where a prover convinces a verifier of a statement without revealing any information beyond the statement’s validity. However, zero-knowledge is not as well-developed in the context of problems that are inherently physical. In this paper, we are interested in protocols that prove physical properties of physical objects without revealing further information. The literature lacks a unified formal framework for designing and analyzing such protocols. We suggest the first paradigm for formally defining, modeling, and analyzing physical zero-knowledge (PhysicalZK) protocols, using the Universal Composability framework. We also demonstrate applications of physical zero-knowledge to DNA profiling and neutron radiography. Finally, we explore public observation proofs, an analog of public-coin proofs in the context of PhysicalZK.
7 schema:editor N2f4c588fd2d74c1187000b7ea033fdb6
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf N54440eb261814427b5769cdb4459b801
12 schema:keywords Composability framework
13 DNA profiling
14 DNA-fingerprints match
15 Physical
16 PhysicalZK
17 analogues
18 applications
19 concept
20 context
21 context of PhysicalZK
22 context of problems
23 design
24 digital domain
25 domain
26 fingerprints
27 first paradigm
28 formal framework
29 framework
30 further information
31 information
32 literature
33 match
34 modeling
35 neutron radiography
36 objects
37 observation proofs
38 paper
39 paradigm
40 physical objects
41 physical properties
42 problem
43 profiling
44 proof
45 properties
46 protocol
47 provers
48 public observation proofs
49 public-coin proofs
50 radiography
51 same design
52 statement validity
53 statements
54 such protocols
55 unified formal framework
56 universal composability framework
57 validity
58 verifier
59 zero-knowledge
60 zero-knowledge proofs
61 zero-knowledge protocols
62 schema:name Physical Zero-Knowledge Proofs of Physical Properties
63 schema:pagination 313-336
64 schema:productId N1b7f055e85d94293b27f54d7abf3b3c3
65 Naf29c39a93e84807822397f94e9b2fb2
66 schema:publisher N3cc8c14f69f84be598fe8abd459cae3e
67 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015884228
68 https://doi.org/10.1007/978-3-662-44381-1_18
69 schema:sdDatePublished 2022-01-01T19:14
70 schema:sdLicense https://scigraph.springernature.com/explorer/license/
71 schema:sdPublisher Nabe3530444b3497ca2a0971a109af9a3
72 schema:url https://doi.org/10.1007/978-3-662-44381-1_18
73 sgo:license sg:explorer/license/
74 sgo:sdDataset chapters
75 rdf:type schema:Chapter
76 N1b7f055e85d94293b27f54d7abf3b3c3 schema:name dimensions_id
77 schema:value pub.1015884228
78 rdf:type schema:PropertyValue
79 N2f4c588fd2d74c1187000b7ea033fdb6 rdf:first N6f83e8734f8840c9a0379bcee30a0615
80 rdf:rest Nab565071f7414438ab4209b182d38e9a
81 N3cc8c14f69f84be598fe8abd459cae3e schema:name Springer Nature
82 rdf:type schema:Organisation
83 N4657e1a6d85542a291134a3ac0bb6bfd rdf:first sg:person.011321400203.19
84 rdf:rest N9520e6dad7324672add12558dea2d5db
85 N54440eb261814427b5769cdb4459b801 schema:isbn 978-3-662-44380-4
86 978-3-662-44381-1
87 schema:name Advances in Cryptology – CRYPTO 2014
88 rdf:type schema:Book
89 N5547a2f312e642808cce0736021a8323 schema:familyName Gennaro
90 schema:givenName Rosario
91 rdf:type schema:Person
92 N6f83e8734f8840c9a0379bcee30a0615 schema:familyName Garay
93 schema:givenName Juan A.
94 rdf:type schema:Person
95 N9520e6dad7324672add12558dea2d5db rdf:first sg:person.010210234715.65
96 rdf:rest Nc47e957efccf4d728ab4ca8005eeec90
97 Nab565071f7414438ab4209b182d38e9a rdf:first N5547a2f312e642808cce0736021a8323
98 rdf:rest rdf:nil
99 Nabe3530444b3497ca2a0971a109af9a3 schema:name Springer Nature - SN SciGraph project
100 rdf:type schema:Organization
101 Naf29c39a93e84807822397f94e9b2fb2 schema:name doi
102 schema:value 10.1007/978-3-662-44381-1_18
103 rdf:type schema:PropertyValue
104 Nc47e957efccf4d728ab4ca8005eeec90 rdf:first sg:person.07776170271.83
105 rdf:rest rdf:nil
106 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
107 schema:name Information and Computing Sciences
108 rdf:type schema:DefinedTerm
109 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
110 schema:name Computation Theory and Mathematics
111 rdf:type schema:DefinedTerm
112 sg:person.010210234715.65 schema:affiliation grid-institutes:grid.5386.8
113 schema:familyName Freund
114 schema:givenName Daniel
115 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010210234715.65
116 rdf:type schema:Person
117 sg:person.011321400203.19 schema:affiliation grid-institutes:grid.21729.3f
118 schema:familyName Fisch
119 schema:givenName Ben
120 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011321400203.19
121 rdf:type schema:Person
122 sg:person.07776170271.83 schema:affiliation grid-institutes:grid.13992.30
123 schema:familyName Naor
124 schema:givenName Moni
125 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07776170271.83
126 rdf:type schema:Person
127 grid-institutes:grid.13992.30 schema:alternateName Weizmann Institute of Science, Rehovot, Israel
128 schema:name Weizmann Institute of Science, Rehovot, Israel
129 rdf:type schema:Organization
130 grid-institutes:grid.21729.3f schema:alternateName Columbia University, New York, NY, USA
131 schema:name Columbia University, New York, NY, USA
132 rdf:type schema:Organization
133 grid-institutes:grid.5386.8 schema:alternateName Cornell University, Ithaca, NY, USA
134 schema:name Cornell University, Ithaca, NY, USA
135 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...