admin管理员组文章数量:1529452
MIT IAP 2023 Modern Zero Knowledge Cryptography课程笔记
Lecture 5: Commitment 1 (Ying Tong Lai)
-
Overview: Modern SNARK
- IOP: Interactive Oracle Proof
- Commitment Scheme
- IOP “compiled by” the commitment scheme to get a non-interactive proof
- An IOP is “information-theoretic" in that it provides soundness and zero-knowledge guarantees even when the prover and verifier are computationally unbounded. To make this possible, the proof system makes the idealised assumption of “oracle access": in other words, the verifier can only access the prover’s messages through random queries.
- The commitment scheme instantiates this oracle access using cryptographic primitives (e.g. a one-way function): as a consequence, the resulting argument system is only secure with respect to a computationally bounded prover and/or verifier. To realise a succinct argument system, the chosen commitment scheme must provide low communication complexity relative to the computation being proven.
-
Commitment Schemes
-
Formal definition:
- The Open Algorithm can be divided into two part
- Prove(pp, C, m, r) -> π \pi π
- Verify(pp, C, π \pi π) -> {0,1}
- The Open Algorithm can be divided into two part
-
Pederson Commitment
-
-
Vector Commitment
-
Vector Pedersen commitment.
-
Merkle tree: A well-known solution for building vector commitments is a Merkle tree. It is used in distributed systems like Git, Cassandra, and Bitcoin for summarizing sets of data. Merkle trees also have hiding and extractability properties, which make them an ideal candidate for compiling an IOP into a non-interactive proof secure in the random oracle model.
- The Merkle Tree Commitment proved that
- m i m_i mi is an element in the vector m m m
- The root h h h is the commitment of the vector m m m
- The Merkle Tree Commitment proved that
-
本文标签: ZKPcommitment
版权声明:本文标题:ZKP Commitment (1) 内容由热心网友自发贡献,该文观点仅代表作者本人, 转载请联系作者并注明出处:https://m.elefans.com/xitong/1726704109a1081461.html, 本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容,一经查实,本站将立刻删除。
发表评论