{"id":13631435,"url":"https://github.com/primus-labs/awesome-izk","last_synced_at":"2026-02-03T04:45:15.283Z","repository":{"id":101637402,"uuid":"604507451","full_name":"primus-labs/awesome-izk","owner":"primus-labs","description":"Created for Web3 builders","archived":false,"fork":false,"pushed_at":"2023-03-20T02:53:10.000Z","size":17,"stargazers_count":32,"open_issues_count":0,"forks_count":13,"subscribers_count":13,"default_branch":"main","last_synced_at":"2025-04-10T18:17:28.000Z","etag":null,"topics":["cryptography"],"latest_commit_sha":null,"homepage":"","language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/primus-labs.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null}},"created_at":"2023-02-21T07:52:00.000Z","updated_at":"2024-12-09T07:53:59.000Z","dependencies_parsed_at":"2023-06-07T02:00:06.926Z","dependency_job_id":null,"html_url":"https://github.com/primus-labs/awesome-izk","commit_stats":null,"previous_names":["primus-labs/awesome-izk"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/primus-labs%2Fawesome-izk","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/primus-labs%2Fawesome-izk/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/primus-labs%2Fawesome-izk/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/primus-labs%2Fawesome-izk/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/primus-labs","download_url":"https://codeload.github.com/primus-labs/awesome-izk/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":249300470,"owners_count":21247044,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["cryptography"],"created_at":"2024-08-01T22:02:25.260Z","updated_at":"2026-02-03T04:45:15.206Z","avatar_url":"https://github.com/primus-labs.png","language":null,"funding_links":[],"categories":["Others"],"sub_categories":[],"readme":"# Awesome-IZK\nCreated for Web3 builders. (Keep updating...)\n\n- Interactive Zero-Knowledge (IZK) proofs are another type of zero-knowledge proof system, in which the proof consists of a multi-round protocol between the prover and verifier. They are also called as designed verifier zero-knowledge protocols. They are complements of zk-SNARKs/zk-STARKs.\n\n- IZK enjoys the following benefits, and we believe it will become a key building block for Web3 applications.\n\n  1. Scalable for large statements.\n  2. Cheap computation and memory cost.\n  3. No trusted setup.\n\n- With the requirement of \"more interactions\" -- the prover and the verifier execute in multiple rounds of communications. The interactions are quite like the ones in MPC (Secure Multi-Party Computation), for which in fact the cutting-edge IZK algorithms are built from MPC.\n\n```\n              xxx\n            xxxxxxx                                         +---xxx\n             |   | +----------+                             |   |  xx\n             |   | | statement|  ---------------------\u003e     |   |   xxx\n             +-+-+ +-+--------+                             +-+-+\n               |     |          \u003c----------------------       |\n+---------+----+-----+                                  ------+---+------+\n| secret  |    |                 ---------------------\u003e       |   |  Y/N |\n+---------+    |                                           +--+   +------+\n             +-+-+              \u003c---------------------        |  |\n             |   |                                         |  +---++\n             |   |              ----------------------\u003e    |      ++\n             |   |\n```\n\n## Post\nHere is a series of posts about IZK proofs presented by Chainlink.\n* [Introduction to Interactive Zero-Knowledge Proofs](https://blog.chain.link/interactive-zero-knowledge-proofs/).\n* [Background on Computation Complexity Metrics](https://blog.chain.link/computation-complexity-metrics/).\n* [Commit-and-Prove ZKs](https://blog.chain.link/commit-and-prove-zks/).\n* [VOLE-Based ZK](https://blog.chain.link/vole-based-zk/).\n* [VOLE-Based Interactive Commitments](https://blog.chain.link/vole-based-interactive-commitments/).\n* [Realizing VOLE](https://blog.chain.link/realizing-vole/).\n* [Realizing SPVOLE](https://blog.chain.link/realizing-spvole/)\n\n## Paper \n### Private-Coin IZK Proofs\n* DILO22 (CCS'22): https://eprint.iacr.org/2022/552\n* BBMS22 (CRYPTO'22): https://eprint.iacr.org/2022/819\n* Wolverine (IEEE S\u0026P' 21): https://eprint.iacr.org/2020/925  \n* Quicksilver (CCS' 21): https://eprint.iacr.org/2021/076  \n* Mystique (USENIX' 21): https://www.usenix.org/system/files/sec21-weng.pdf\n* Mac'n'Cheese (CRYPTO' 21): https://eprint.iacr.org/2020/1410\n* Limbo (CCS' 21): https://eprint.iacr.org/2021/215\n* Appenzeller to Brie (CCS' 21): https://eprint.iacr.org/2021/750\n* DIO21 (ITC'21): https://eprint.iacr.org/2020/1446\n* FKL+21 (CCS'21):https://eprint.iacr.org/2021/979\n* HYDK21 (IEEE S\u0026P'21): https://eprint.iacr.org/2022/810\n* HK20b (CCS'20): https://eprint.iacr.org/2022/809\n* HK20a (EUROCRYPT'20): https://eprint.iacr.org/2020/136\n* FNO15 (EUROCRYPT'15): https://eprint.iacr.org/2014/598\n* JKO13 (CCS'13): https://eprint.iacr.org/2013/073\n\n### Related Protocols\nVector Oblivious Linear-function Evaluation (VOLE):\n* BCGI18(CCS'18): https://eprint.iacr.org/2019/273\n\nInformation-Theoretic Message Authentication Codes (IT-MACs):\n* NNOB12 (CRYPTO'12): https://eprint.iacr.org/2011/091\n* BDOZ11（EUROCRYPT'11）: https://eprint.iacr.org/2010/514.pdf\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fprimus-labs%2Fawesome-izk","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fprimus-labs%2Fawesome-izk","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fprimus-labs%2Fawesome-izk/lists"}