# ZK Mesh Mini

> 2024.03.08

**Published by:** [ZK Mesh Mini](https://paragraph.com/@zkhack/)
**Published on:** 2024-03-08
**URL:** https://paragraph.com/@zkhack/meshmini20240308

## Content

It's Friday and you know the drill: it's time for ZK Mesh Mini! ZK Mesh Mini is your weekly dose of ZK, where we unpack the top developments in the ZK space from the past 7 days. In this edition we'll cover: @Scroll_ZKP research on parallel zkVM, @reilabs_io on zkFV, formal verification for zero-knowledge, @NovaNet_zkp announcement, @rishotics & @NitanshuL on FflonK, @TACEO_IO on zkML with @nil_foundation. In a recent paper, @Scroll_ZKP research team described an architecture for a performant zkVM targeting at real time proving, by combining GKR parallelization, smaller field arithmetic & pay-what-you-need approach. Scroll 📜 @Scroll_ZKP probably nothing eprint.iacr.org/2024/387 2,000 10:41 • 5 Mar 2024 https://eprint.iacr.orgParallel Zero-knowledge Virtual MachinePaper 2024/387 Wenqing Hu , Missouri University of Science and Technology Tianyi Liu , University of Illinois Urbana-Champaign Ye Zhang , Scroll Foundation Yuncong Zhang , Shanghai Jiao Tong University Zhenfei Zhang , Scroll Foundation Abstract Zero-knowledge virtual machine (zkVM) is a novel applica- tion of succinct and non-interactive zero-knowledge proof protocols that allows for verifiable computation over arbitrary codes.In their article, @reilabs_io covered how they use Formal Verification (FV) as a way to ensure zk-circuits work as they should, and why zkFV is an important technique to improve zk-tooling and zk-security. Reilabs @reilabs_io Formal Verification for ZK Safety ZK circuits provide developers with the ability to offload expensive computations and just check they were done right on chain. Formal Verification is crucial to making sure these often-complex protocols are secure, and Reilabs recently… 103 14:00 • 5 Mar 2024 https://reilabs.ioZero Knowledge Systems You Can TrustThe EVM's ability to run computations on-chain has a major weakness: the cost of running code is often too great. Given a lot of the use-cases for this kind of public computation involve more interesting operations, we've seen a rapid rise in the use of systems that aim to alleviate those costs.At #ETHDenver, @NovaNet_zkp announced their peer-to-peer proving network. Its purpose is to enable decentralized zk-proofs via an incentivized way to run proofs everywhere. It is based on SuperNova NIVC. NovaNet @NovaNet_zkp Introducing NovaNet: NovaNet is a decentralized, peer-to-peer zero knowledge proof network that acts as an incentive and coordination layer for scaling, privacy, and verifiable compute — everywhere. ZKPs should not just be about scaling ETH. novanet.xyz 1/8 30 16:17 • 1 Mar 2024 https://www.novanet.xyzZero knowledge proofs can run everywhere with NovaNet, a peer-to-peer proving network | NovaNetPrivacy, verifiable compute, and scalability are a few of the amazing things you can do with zero-knowledge proofs in NovaNet.@rishotics & @NitanshuL, with some help from @EllipticHector, wrote an article to dive into the weeds of the “Multiple Polynomials” technique in the context of the FflonK framework. Rishabh Gupta @rishotics Wrote some notes on FFlonk (used by @0xPolygon ZK-EVM) and how it leverages efficient polynomial commitment schemes for multiple points and polynomials[BDFG' 21] medium.com Notes on efficient polynomial commitment schemes and fflonk An overview of how fflonk is better than vanilla Plonk 59 9:02 • 7 Mar 2024 https://medium.comNotes on efficient polynomial commitment schemes and fflonkLeveraging batch openings, we can efficiently open a single polynomial at multiple points. Furthermore, with the "Multiple Polynomials" technique, it's possible to amalgamate multiple polynomials...@TACEO_IO published a blog post as a tutorial on their ONNX frontend for zkLLVM, from the setup/build and with examples. It allows building zkML circuits and validating large ML models. TACEO @TACEO_IO Excited to share our progress on zkML for @nil_foundation Proof-Market! Dive into our latest blog post to discover how we're enhancing zkLLVM with an ONNX extension. Full tutorial inside! blog.taceo.io/nil-tutorial/ 8 17:01 • 7 Mar 2024 Hope you liked this week’s #ZkMeshMini! Subscribe to our newsletter for the full 𝗭𝗞 𝗠𝗲𝘀𝗵 capturing all the top research, articles, announcements, and more from this month and the last ones: https://zkmesh.substack.com https://zkmesh.substack.comzkMesh | Zero Knowledge Podcast | SubstackA monthly newsletter sharing the latest in decentralised privacy-preserving technologies, privacy protocol development and Zero Knowledge systems. Click to read zkMesh, a Substack publication with thousands of subscribers.

## Publication Information

- [ZK Mesh Mini](https://paragraph.com/@zkhack/): Publication homepage
- [All Posts](https://paragraph.com/@zkhack/): More posts from this publication
- [RSS Feed](https://api.paragraph.com/blogs/rss/@zkhack): Subscribe to updates
- [Twitter](https://twitter.com/__zkhack__): Follow on Twitter

## Optional

- [Collect as NFT](https://paragraph.com/@zkhack/meshmini20240308): Support the author by collecting this post
- [View Collectors](https://paragraph.com/@zkhack/meshmini20240308/collectors): See who has collected this post