Mercurial Commitments with Applications to Zero-Knowledge Sets.
Saved in:
| Title: | Mercurial Commitments with Applications to Zero-Knowledge Sets. |
|---|---|
| Authors: | Chase, Melissa1 melissac@microsoft.com, Healy, Alexander2 ahealy@post.harvard.edu, Lysyanskaya, Anna3 anna@cs.brown.edu, Malkin, Tal4 tal@cs.columbia.edu, Reyzin, Leonid5 reyzin@cs.bu.edu |
| Source: | Journal of Cryptology. Spring2013, Vol. 26 Issue 2, p251-279. 29p. |
| Subjects: | Cross-platform software development, Zero-knowledge proofs, Application software, Scheme programming language, Databases, Theory of knowledge |
| Abstract: | We introduce a new flavor of commitment schemes, which we call mercurial commitments. Informally, mercurial commitments are standard commitments that have been extended to allow for soft decommitment. Soft decommitments, on the one hand, are not binding but, on the other hand, cannot be in conflict with true decommitments. We then demonstrate that a particular instantiation of mercurial commitments has been implicitly used by Micali, Rabin and Kilian to construct zero-knowledge sets. (A zero-knowledge set scheme allows a Prover to (1) commit to a set S in a way that reveals nothing about S and (2) prove to a Verifier, in zero-knowledge, statements of the form x∈ S and x∉ S.) The rather complicated construction of Micali et al. becomes easy to understand when viewed as a more general construction with mercurial commitments as an underlying building block. By providing mercurial commitments based on various assumptions, we obtain several different new zero-knowledge set constructions. [ABSTRACT FROM AUTHOR] |
| Copyright of Journal of Cryptology is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 85746385 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Mercurial Commitments with Applications to Zero-Knowledge Sets. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Chase%2C+Melissa%22">Chase, Melissa</searchLink><relatesTo>1</relatesTo><i> melissac@microsoft.com</i><br /><searchLink fieldCode="AR" term="%22Healy%2C+Alexander%22">Healy, Alexander</searchLink><relatesTo>2</relatesTo><i> ahealy@post.harvard.edu</i><br /><searchLink fieldCode="AR" term="%22Lysyanskaya%2C+Anna%22">Lysyanskaya, Anna</searchLink><relatesTo>3</relatesTo><i> anna@cs.brown.edu</i><br /><searchLink fieldCode="AR" term="%22Malkin%2C+Tal%22">Malkin, Tal</searchLink><relatesTo>4</relatesTo><i> tal@cs.columbia.edu</i><br /><searchLink fieldCode="AR" term="%22Reyzin%2C+Leonid%22">Reyzin, Leonid</searchLink><relatesTo>5</relatesTo><i> reyzin@cs.bu.edu</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Journal+of+Cryptology%22">Journal of Cryptology</searchLink>. Spring2013, Vol. 26 Issue 2, p251-279. 29p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Cross-platform+software+development%22">Cross-platform software development</searchLink><br /><searchLink fieldCode="DE" term="%22Zero-knowledge+proofs%22">Zero-knowledge proofs</searchLink><br /><searchLink fieldCode="DE" term="%22Application+software%22">Application software</searchLink><br /><searchLink fieldCode="DE" term="%22Scheme+programming+language%22">Scheme programming language</searchLink><br /><searchLink fieldCode="DE" term="%22Databases%22">Databases</searchLink><br /><searchLink fieldCode="DE" term="%22Theory+of+knowledge%22">Theory of knowledge</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: We introduce a new flavor of commitment schemes, which we call mercurial commitments. Informally, mercurial commitments are standard commitments that have been extended to allow for soft decommitment. Soft decommitments, on the one hand, are not binding but, on the other hand, cannot be in conflict with true decommitments. We then demonstrate that a particular instantiation of mercurial commitments has been implicitly used by Micali, Rabin and Kilian to construct zero-knowledge sets. (A zero-knowledge set scheme allows a Prover to (1) commit to a set S in a way that reveals nothing about S and (2) prove to a Verifier, in zero-knowledge, statements of the form x∈ S and x∉ S.) The rather complicated construction of Micali et al. becomes easy to understand when viewed as a more general construction with mercurial commitments as an underlying building block. By providing mercurial commitments based on various assumptions, we obtain several different new zero-knowledge set constructions. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Journal of Cryptology is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=85746385 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1007/s00145-012-9122-9 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 29 StartPage: 251 Subjects: – SubjectFull: Cross-platform software development Type: general – SubjectFull: Zero-knowledge proofs Type: general – SubjectFull: Application software Type: general – SubjectFull: Scheme programming language Type: general – SubjectFull: Databases Type: general – SubjectFull: Theory of knowledge Type: general Titles: – TitleFull: Mercurial Commitments with Applications to Zero-Knowledge Sets. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Chase, Melissa – PersonEntity: Name: NameFull: Healy, Alexander – PersonEntity: Name: NameFull: Lysyanskaya, Anna – PersonEntity: Name: NameFull: Malkin, Tal – PersonEntity: Name: NameFull: Reyzin, Leonid IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 04 Text: Spring2013 Type: published Y: 2013 Identifiers: – Type: issn-print Value: 09332790 Numbering: – Type: volume Value: 26 – Type: issue Value: 2 Titles: – TitleFull: Journal of Cryptology Type: main |
| ResultId | 1 |
