zkMesh: June 2023 recap

Welcome to zkMesh, a monthly newsletter covering the latest in decentralized privacy-enhancing technologies, privacy protocol development, and zero knowledge systems research. 

zkMesh is produced by ZK Hack. 

We include recent research, useful articles, videos, podcasts, tweets, tools, project updates, and events. Expect a new edition at the beginning of every month and be sure to share and subscribe!   

** Do you need more ZK Mesh? We have launched a weekly zkMesh Mini on twitter ** 

Research

• Reed-Solomon Codes over the Circle Group by Ulrich Haböck, Daniel Lubarov, and Jacqueline Nabaglo

• Lattice-Based Polynomial Commitments: Towards Asymptotic and Concrete Efficiency by Giacomo Fenzi and Ngoc Khanh Nguyen

• A Generalized Special-Soundness Notion and its Knowledge Extractors by Thomas Attema, Serge Fehr, and Nicolas Resch

• SoK: Vector OLE-Based Zero-Knowledge Protocols by Carsten Baum, Samuel Dittmer, Peter Scholl, and Xiao Wang

• A flexible Snark via the monomial basis by Steve Thakur

• Circular Multiplicative Modular Exponentiation: A New Public Key Exchange Algorithm by Michele Fabbrini

• SublonK: Sublinear Prover PlonK by Arka Rai Choudhuri, Sanjam Garg, Aarushi Goel, Sruthi Sekar, and Rohit Sinha

• Efficient Zero Knowledge for Regular Language by Michael Raymond, Gillian Evers, Jan Ponti, Diya Krishnan, and Xiang Fu

• zkSaaS: Zero-Knowledge SNARKs as a Service by Sanjam Garg, Aarushi Goel, Abhishek Jain, Guru-Vamsi Policharla, and Sruthi Sekar

• On the Impossibility of Algebraic NIZK In Pairing-Free Groups by Emanuele Giunta

• Zeromorph: Zero-Knowledge Multilinear-Evaluation Proofs from Homomorphic Univariate Commitments by Tohru Kohrita and Patrick Towa

• Revisiting the Nova Proof System on a Cycle of Curves by Wilson Nguyen, Dan Boneh,  and Srinath Setty

• Modular zk-rollup on-demand by Thomas Lavaur, Jonathan Detchart, Jérôme Lacan, and Caroline P.C. Chanel

• MUXProofs: Succinct Arguments for Machine Computation from Tuple Lookups by Zijing Di, Lucas Xia, Wilson Nguyen, and Nirvan Tyagi

• A Note on Non-Interactive Zero-Knowledge from CDH Geoffroy Couteau, Abhishek Jain, Zhengzhong Jin, and Willy Quach

• Design of Blockchain-Based Many-to-Many Anonymous Data Sharing Scheme by Esra Günsay, Burcu E. Karakaş, N. Gamze Orhon Kılıç, and Oğuz Yayla

• Generating Supersingular Elliptic Curves over F_P with Unknown Endomorphism Ring by Youcef Mokrani and David Jao

• Privacy Preserving Records Sharing using Blockchain and Format Preserving Encryption by Sai Sandilya Konduru and Vishal Saraswat

• VSS from Distributed ZK Proofs and Applications by Shahla Atapoor, Karim Baghery, Daniele Cozzo, and Robi Pedersen

• Testudo: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup by Matteo Campanelli, Nicolas Gailly, Rosario Gennaro, Philipp Jovanovic, Mara Mihali, and Justin Thaler

• Private Timestamps and Selective Verification of Notarised Data on a Blockchain by Enrique Larraia and Owen Vaughan

• Publicly Verifiable Zero-Knowledge and Post-Quantum Signatures From VOLE-in-the-Head by Carsten Baum, Lennart Braun, Cyprien Delpech de Saint Guilhem, Michael Klooß, Emmanuela Orsini, Lawrence Roy, and Peter Scholl

• Tiresias: Large Scale, Maliciously Secure Threshold Paillier by Offir Friedman, Avichai Marmor, Dolev Mutzari, Yehonatan C. Scaly, Yuval Spiizer, and Avishay Yanai

Articles And Treads

• Public Vs Private Inputs in Zero Knowledge Setups | Nishant Singh

• Do in secret. Assert in public. Don't under-constrain your prover's witness computation in ZK programs | Brandon Kase | zksecurity

• ZK app developers should be able to see down to the constraints  | David Wong | zksecurity

• KYC on the Blockchain  | Andrew G | zkBob

• Aztec Labs’ Response to the Bank of England’s Consultation for the Digital Pound | Aztec Labs

• Fighting AI-generated Audio with Attested Microphones and ZK-SNARKs: the Attested Audio Experiment | Daniel Kang

• Web3 Privacy through stealth address | web3privacy

• A brief history of zero-knowledge proofs, the buzzy mathematical technique that’s taken crypto by storm | Ben Weiss | Fortune Crypto

• Homomorphic Encryption and Its Commercial Use Cases | Khushi Wadhwa | geometry blog

• The Three Transitions | Vitalik Buterin

• Deeper dive on cross-L2 reading for wallets and other use cases | Vitalik Buterin

• ZK-Snarks Trilogy | Rishabh Gupta

• Apple joins opposition to encrypted message app scanning | BBC News

• Validiums are not L2s | Eric Wall

• Decentralized Proving, Proof Markets, and ZK Infrastructure | Trace | Figment Capital

Videos/Podcast

• zkStudyClub: Goblin PLonK - Zac Williamson, Aztec Protocol

• zkStudyClub: cqlin: Efficient linear operations on KZG commits - Liam Eagen, Blockstream Research

• Research Day: 

  • What Can Privacy Do for Mechanism Design? - Tarun Chitra

  • Decentralized Sequencing & Scaling Responsive Consensus - Brendon Fish

  • Advances in the Efficiency of Succinct Proofs - Ying Tong 

• ETHDam 2023: 

  • Personal Data Aggregation and Selective Disclosure - Hadrien Charlanes, Sismo Connect

  • Privacy and dApps: Balancing User Privacy with Compliance and Security - Panel

  • Painless Zero-Knowledge Circuitry with Noir - Jose Pedro Sousa, Aztec

• ETHPrague 2023: 

  • Using ZK proofs towards privacy credit rating - Pavel Machalek, Microlea

  • Zero Knowledge Proofs 101 - Daniel Lumi

• ZK Podcast: Episode 279 - Intro to zkpod.ai with Anna and Kobi

• ZK Podcast: Episode 280 - ProtoStar with Benedikt Bünz and Binyi Chen

• ZK Podcast: Bonus - zkpod.ai & Attested Audio Experiment with Daniel Kang

• ZK Podcast: Episode 281 - Exploring Lurk: a New Language for Recursive zk-SNARKs

• Privacy & Scaling Explorations: Diving into Plonk accumulation via aPlonk - Ralph Toledo

Guides and Resources

• https://github.com/lurk-lab/awesome-folding | Francois Garillot

• Notes about optimizing emulated pairing (part 2) | Youssef El Housni

• Thread on “projects, articles, or anything that demonstrates the need/use of zero knowledge proofs.” | Patrick McCorry

Tools / implementations 

• snarkjs .ptau deserializer for gnark

• Miden VM v0.6

Project Updates

• Introducing the Sovereign SDK Alpha Release | Sovereign 

• Synaps Issues Polygon ID Verifiable Credentials | Synaps 

• Introducing Orion: A verifiable, extensible framework to superpower web3 & AI | gizatech.eth

• Polygon 2.0: Polygon PoS -> ZK L2 | Polygon Labs

• Polygon 2.0: Protocol Vision and Architecture | Polygon Labs

• Launching Aleo Deploy Incentives | Aleo

• Introducing the ZK Stack | Matter Labs

• Introduction to Hyperchains | Matter Labs

• Moving from Solidity to Cairo | StarkWare

• Cambrian Explosion of Cryptographic Proofs | StarkWare

• What’s New in SnarkyJS: June 2023 | Barrie Byron

• Zecure Announcement | Zecure

• Introducing the Levitation Protocol: SKALE's Solution for Decentralized Zero Knowledge Proofs | Levitation  

• Mina Ecosystem Updates – May 2023 | Mina Protocol]

• Mapping Markets: Evaluating Blockchain’s Mass Adoption Potential | jump_

• [Community] Announcing Index Supply | 0xParc

• 4th progress report for the Nouns Private Voting Research Sprint | Aztec

Events/Hackathons

• Unit Testing | Zero Knowledge Machine Learning (ZKML) | Remote. July 7

• Hybrid: SIAM Conference on Applied Algebraic Geometry (AG23) | Eindhoven, Netherlands. July 10-14

• EthCC | Paris, France. Jul 17-21

• Zcon4 | Barcelona, Spain. July 30-Aug 1

• CLE - Crypto Lounge Experience | Barcelona, Spain. July 29

• ZKProof 5.5 - A day in Barcelona | Barcelona, Spain. Aug 2

• Stanford Blockchain Conference | Stanford, USA. Aug 28-30

• Korea Blockchain Week | Korea. Sept 5-6 

• DappCon | Berlin, Germany. Sept 11-13

• DeCompute 2023 | Singapore, Sept 12-13

• zkSummit10 | London, Sept 20 - Applications open!

• DevCon | Southeast Asia. Spring 2024

————

There you have it! Hope you liked this edition of zkMesh. Be sure to subscribe to get the next edition in your inbox.

Lastly, if you have something you think should be included in the next edition or suggestions for the format - tweet at us @__zkhack__!