# Cryptography * **Zero Knowledge (ZK) proof of equality** by [\[Kilian92\]](https://people.csail.mit.edu/vinodv/6892-Fall2013/efficientargs.pdf) for proving that the value inside two commitments are identical without using generic ZK (that utilizes Karp reduction). This idea is also implicitly used in Schnorr proofs for Discrete Log Equality (known as DLEQ in the literature). In [\[Crepeau et. al. 95\]](https://link.springer.com/content/pdf/10.1007/3-540-44750-4_9.pdf), a generalization of Kilian's protocol is presented for proving any linear relation (in Z\_2) among the values present in multiple commitments. * **Cuckoo hashing**, introduced in [\[Pagh et. al. 04\]](https://www.brics.dk/RS/01/32/BRICS-RS-01-32.pdf), provides a better way of avoiding collisions when maintaining hash tables. [\[Pinkas et. al. 16\]](https://eprint.iacr.org/2016/930.pdf) empirically analyzed the parameters of cuckoo hashing for Private Set Intersection (PSI). [\[Shah et. al. 21 Appendix A.2\]](https://eprint.iacr.org/2021/1448.pdf) contains a summary of the parameters. --- # Agent Instructions: Querying This Documentation If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question. Perform an HTTP GET request on the current page URL with the `ask` query parameter: ``` GET https://amitagarwal.gitbook.io/profile/cryptography.md?ask= ``` The question should be specific, self-contained, and written in natural language. The response will contain a direct answer to the question and relevant excerpts and sources from the documentation. Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.