diff --git a/src/applicationszk.md b/src/applicationszk.md index 6951424..fe525ec 100644 --- a/src/applicationszk.md +++ b/src/applicationszk.md @@ -8,7 +8,7 @@ A compilation of materials that showcase various applications of zk technology. ## General -- [A cambrian explosion of crypto proofs -Ben Sasson](https://nakamoto.com/cambrian-explosion-of-crypto-proofs/) +- [A cambrian explosion of crypto proofs - Ben Sasson](https://nakamoto.com/cambrian-explosion-of-crypto-proofs/) - [Using ZKP to fight disinformation - Boneh, Datta](https://medium.com/@boneh/using-zk-proofs-to-fight-disinformation-17e7d57fe52f) - [talk](https://iacr.org/submit/files/slides/2023/rwc/rwc2023/13/slides.pdf) - [ZKP for voting - Phil Kelly](https://blog.o1labs.org/zero-knowledge-proofs-for-voting-3c6a6d5d89db) @@ -28,21 +28,29 @@ A compilation of materials that showcase various applications of zk technology. - [How ZK rollups work: Simon Brown](https://medium.com/fcats-blockchain-incubator/how-zk-rollups-work-8ac4d7155b0e) - [An overview of Danksharding](https://a16zcrypto.com/content/article/an-overview-of-danksharding-and-a-proposal-for-improvement-of-das/) - [Zk evm comparison guide](https://blog.jarrodwatts.com/the-ultimate-zk-evm-comparison-guide) + - [BrainSTARK](https://aszepieniec.github.io/stark-brainfuck/) - **EVM/VMs** - [Aztec protocol](https://aztec.network) - [Scroll EVM](https://scroll.io) - [Taiko EVM](https://taiko.xyz/) - [zkSync](https://docs.zksync.io/userdocs/) + - [Zk-Stack](https://blog.matter-labs.io/introducing-the-zk-stack-c24240c2532a) + - [Awesome ZK-Sync](https://github.com/0xJuancito/awesome-zksync) + - [Starknet](https://www.starknet.io/en) + - [Awesome Starknet](https://github.com/keep-starknet-strange/awesome-starknet) + - [Cairo Whitepaper](https://eprint.iacr.org/2021/1063.pdf) - [Polygon zkEVM](https://polygon.technology/solutions/polygon-zkevm/) - [How to prove a batch of transactions](https://blog.jarrodwatts.com/how-polygon-zkevm-proves-batches-of-transactions) - [Miden VM](https://wiki.polygon.technology/docs/miden/intro/main) + - [A Sketch for a STARK-Based VM](https://ethresear.ch/t/a-sketch-for-a-stark-based-vm/7048) - [Range Checks in Miden VM](https://hackmd.io/D-vjBYtHQB2BuOB-HMUG5Q) - [Miden VM program decoder](https://hackmd.io/_aaDBzbWRz6EwQQRtK1pzw) - [Memory in MidenVM](https://hackmd.io/@bobbinth/HJr56BKKt) - [u32 in MidenVM](https://hackmd.io/NC-yRmmtRQSvToTHb96e8Q#u32-operations-in-Miden-VM) - [RISC0 ZK VM](https://www.risczero.com) - [RISC0 proof system](https://www.risczero.com/proof-system-in-detail.pdf) + - [RISC0 Code](https://github.com/risc0/risc0) - [OlaVM](https://sin7y.org/) - [zkWasm](http://www.delphinuslab.com/) - [Loopring](https://loopring.org/#/about) @@ -61,6 +69,7 @@ A compilation of materials that showcase various applications of zk technology. ## Client side - [Accelerating client side ZK with webGPU](https://geometry.xyz/notebook/accelerating-client-side-zk-with-webgpu) +- [Whale Song Explained](https://medium.com/alliancedao/whale-songs-explained-28e14ddf7c27) ## ZKML @@ -84,6 +93,7 @@ A compilation of materials that showcase various applications of zk technology. - [The strongest Crypto gaming thesis](https://gubsheep.substack.com/p/the-strongest-crypto-gaming-thesis) - [ZKP for gaming: Mina](https://blog.o1labs.org/zero-knowledge-proofs-for-games-f8b690a2c1ef) - [Zk hunt -0xparc](https://0xparc.org/blog/zk-hunt) +- [ZK Wordle](https://github.com/nalinbhardwaj/zordle) ## Ecosystem with ZK applications @@ -101,8 +111,16 @@ A compilation of materials that showcase various applications of zk technology. - [PoRep circuit blog](https://trapdoortech.medium.com/filecoin-porep-circuit-introduction-43415d97730c) - [Precommit 2](https://trapdoortech.medium.com/filecoin-deep-into-precommit2-logic-710392c6b00c) +- **Aleo** + - [Aleo Documentation](https://developer.aleo.org/getting_started/) + - [Awesome Aleo](https://github.com/howardwu/awesome-aleo#research-papers--resources) + - [Aleo with Howard Wu](https://zeroknowledge.fm/144-2/) + - [LEO Programming Language](https://eprint.iacr.org/2021/651.pdf) + - [Aleo Op-Codes](https://github.com/AleoHQ/ARCs/tree/master/arc-0002) + ## other applications - [Private search engine](https://educatedguesswork.org/posts/tiptoe/) +- [ZK-P2P](https://github.com/zkp2p/zk-p2p) - [proof of email](https://github.com/zkemail) - - [blog](https://blog.aayushg.com/zkemail/) \ No newline at end of file + - [blog](https://blog.aayushg.com/zkemail/) diff --git a/src/hwzk.md b/src/hwzk.md index d431952..c64e81a 100644 --- a/src/hwzk.md +++ b/src/hwzk.md @@ -18,6 +18,7 @@ - [PipeZK](https://www.microsoft.com/en-us/research/publication/pipezk-accelerating-zero-knowledge-proof-with-a-pipelined-architecture/) - [Algorithms for modern Hardware](https://en.algorithmica.org/hpc/) - [Zk Score](https://zkproof.org/2023/10/23/zk-score-blog/) +- [Accelerating Zero-Knowledge Proofs](https://figmentcapital.medium.com/accelerating-zero-knowledge-proofs-cfc806de611b) ## Benchmarks of ZKP primitives @@ -31,4 +32,4 @@ ## TEE and confidential computing - [TEE for CPU and GPU Nvidia](https://github.com/NVIDIA/nvtrust) -- [TEE for blockchain applications](https://www.youtube.com/watch?v=Xq7oWtiwWII) \ No newline at end of file +- [TEE for blockchain applications](https://www.youtube.com/watch?v=Xq7oWtiwWII) diff --git a/src/msm.md b/src/msm.md index da206ce..af2d545 100644 --- a/src/msm.md +++ b/src/msm.md @@ -23,4 +23,4 @@ - [EdMSM](https://ia.cr/2022/1400) - [CycloneMSM](https://eprint.iacr.org/2022/1396) - [Cuzk](https://eprint.iacr.org/2022/1321) -- [Zprize MSM implementations](https://github.com/z-prize/2022-entries/tree/main/open-division/prize1-msm) \ No newline at end of file +- [Zprize MSM implementations](https://github.com/z-prize/2022-entries/tree/main/open-division/prize1-msm) diff --git a/src/provingzk.md b/src/provingzk.md index a4670f9..fabf8be 100644 --- a/src/provingzk.md +++ b/src/provingzk.md @@ -4,12 +4,20 @@ ## Sumcheck Protocol -- [Unreasonable power of sumcheck - Thaler](https://people.cs.georgetown.edu/jthaler/blogpost.pdf) +- [Unreasonable power of Sumcheck - Thaler](https://people.cs.georgetown.edu/jthaler/blogpost.pdf) - [Justin Thaler Lecture](https://youtu.be/uFhppTJfjiY) + - [Sumcheck Overview](https://people.cs.georgetown.edu/jthaler/sumcheck.pdf) - [Intro to Sumcheck protocol -oxsage](https://medium.com/yearofzk/rust-guide-sum-check-protocol-18ceb8affdb2) - [Inuition behind sumcheck - Wong](https://cryptologie.net/article/577/the-intuition-behind-the-sum-check-protocol-in-5-minutes/) - [Sumcheck argument and applications](https://eprint.iacr.org/2021/333.pdf) - [Proving AIR with MultiLinear Sumcheck - Borgeaud](https://solvable.group/posts/air-multivariate-sumcheck/) +- [The Power of Interactive Proofs](https://www.comp.nus.edu.sg/~prashant/teaching/CS6230/files/notes/lecture02.pdf) +- [Sumcheck Tutorial](https://semiotic.ai/articles/sumcheck-tutorial/) +- [Sumcheck Slide-Deck](https://drive.google.com/file/d/1tU50f-IpwPdCEJkZcA7K0vCr7nwwzCLh/view?pli=1) +- [Introduction to the Sumcheck Protocol](https://people.eecs.berkeley.edu/~alexch/docs/CS294-S2017/lecture-01.pdf) +- [A Zero Knowledge Sumcheck and its Applications](https://eprint.iacr.org/2017/305.pdf) +- [Arkworks Sumcheck](https://github.com/arkworks-rs/sumcheck) +- [Formal Verification of the Sumcheck Protocol](https://www.research-collection.ethz.ch/bitstream/handle/20.500.11850/611002/GarviaBosshard_Azucena.pdf?sequence=1&isAllowed=y) ## Low degree Testing/FRI @@ -41,4 +49,4 @@ ## General -- [Succinct Proofs and Linear Algebra](https://angeris.github.io/papers/zk-linalg.pdf) \ No newline at end of file +- [Succinct Proofs and Linear Algebra](https://angeris.github.io/papers/zk-linalg.pdf) diff --git a/src/zkbeginner.md b/src/zkbeginner.md index 8122706..be43c1f 100644 --- a/src/zkbeginner.md +++ b/src/zkbeginner.md @@ -14,6 +14,7 @@ Understanding ZK from beginner to advanced on a surface level. - [What is a ZKP system - Alin Tomescu](https://docs.google.com/presentation/d/1b2FoHN983iA_ZkiISMCKa0JqlE40CeqaqNxWjWiJQjE/edit#slide=id.g22c21d1bffc_0_509) - [A friendly intro to ZKP](https://zkintro.com/articles/friendly-introduction-to-zero-knowledge) - [Life cycle of a ZKP](https://www.zkcamp.xyz/blog/lifecycle-of-zkp) +- [A Succinct Story of Zero Knowledge](https://nibnalin.me/assets/zk.pdf) ## Intermediate