## Highlights ### Introducing the ZK Catalog - <https://medium.com/l2beat/introducing-the-zk-catalog-7ac6f22889c0> - <https://l2beat.com/zk-catalog> ### Ariel Gabizon UJ crypto course: the KZG PCS scheme and PlonK SNARK - <https://github.com/arielgabizon/Lectures/blob/master/ujtalksKZG%2BPLONK.pdf> ### Disarming Fiat-Shamir footguns - <https://blog.trailofbits.com/2024/06/24/disarming-fiat-shamir-footguns/> ### Building a Decentralized Privacy Preserving Order Book Exchange on Polygon Miden - <https://alexanderjohnlee.medium.com/building-a-decentralized-privacy-preserving-order-book-exchange-on-polygon-miden-f4502a550cc5> ### FRIDA: Data-Availability Sampling from FRI - <https://www.zksecurity.xyz/blog/posts/frida/> ### Montgomery Multiplication Many algorithms in number theory, like prime testing or integer factorization, and in cryptography, like RSA, require lots of operations modulo a large number. The Montgomery (modular) multiplication is a method that allows computing such multiplications faster. Instead of dividing the product and subtracting n multiple times, it adds multiples of n to cancel out the lower bits and then just discards the lower bits. - <https://cp-algorithms.com/algebra/montgomery_multiplication.html> ### zkPages Zero-knowledge digital content single page store fronts. Enable anyone to create a secure digital content store front page on Starknet. Privacy-focused checkouts. - <https://ethglobal.com/showcase/zkpages-n3aro> ### zKastle zKastle is a solo strategy card game. Manage resources, and upgrade your village to make the maximum points possible. Make tactical decisions to help your village grow and flourish. - <https://ethglobal.com/showcase/zkastle-jeh44> ### Solas An attestation / citation system built on starknet using Cairo and starknet tooling. - <https://ethglobal.com/showcase/solas-pekhm> ### Ingopedia A comprehensive collection of resources and information related to Zero Knowledge Proofs from Ingonyama - <https://www.ingonyama.com/ingopedia/communityguide> ## Updates ### ZK Summit 11 Retrospective Reflections on NFC cards and advanced cryptography at ZK Summit 11 - <https://www.cursive.team/blog/zk-summit> ### zkStudyClub - FRI-Binius: Polylogarithmic Proofs for Multilinears over Binary Towers (Ben Diamond) - <https://www.youtube.com/watch?v=iZlJDT7V8Q4> ### Cloaking Layer - zCloak Network released its universal ZKP verification infrastructure for all blockchains - <https://zcloaknetwork.medium.com/cloaking-layer-a-zk-verification-infra-for-all-chains-1162d3fcc37b> ### HyperNova: Recursive arguments for customizable constraint systems The paper is now updated. The newly added content highlights a new use of folding schemes. Previously, folding schemes were used to construct IVC. We now show that certain folding schemes (e.g., Nova's) unlock a new approach to add ZK in proof systems. - <https://eprint.iacr.org/2023/573.pdf> ## Papers ### 【论文速递】STOC 2024（量子、电路、单向函数、承诺、零知识、证明、不可区分混淆、格基SNARKs） - <https://mp.weixin.qq.com/s/hhyuKvcY-AYE70kjemgjEg> ### On the vector subspaces of $\mathbb{F}_{2^n}$ over which the multiplicative inverse function sums to zero - <https://eprint.iacr.org/2024/1007> ### The Sum-Check Protocol over Fields of Small Characteristic - <https://eprint.iacr.org/2024/1046> ### Constraint-Packing and the Sum-Check Protocol over Binary Tower Fields - <https://eprint.iacr.org/2024/1038> ### A note on adding zero-knowledge to STARKs - <https://eprint.iacr.org/2024/1037> ### A note on the G-FFT - <https://eprint.iacr.org/2024/1036> ### Sparsity-Aware Protocol for ZK-friendly ML Models: Shedding Lights on Practical ZKML Dong Mo博士团队新做的一个ZKML的工作。主要讲的是通过ternary network可以将神经网络模型 （LLM之类）无损压缩和整数化，并且在这种简化的基础上面设计了一个叫SpaGKR的ZK算法，实现高效ZKML inference。目前初步测下来能做到100X以上的速度提升，之后会补实验部分。 - <https://eprint.iacr.org/2024/1018> ### Accelerating pairings on BW10 and BW14 Curves - <https://eprint.iacr.org/2024/1017> ### A Succinct Range Proof for Polynomial-based Vector Commitment - <https://eprint.iacr.org/2024/1016>