ZK Insights | 13th Oct 2024

Highlights

On Distributed FRI-based Proof Generation

这篇博客讨论了分布式基于 FRI 的 SNARK 证明生成方案。方案将不同子多项式的证明过程分配到不同的证明者上，利用这些子多项式都符合低阶多项式检查的特性来组合它们，减少了计算和通信开销。

• https://hackmd.io/@nil-research/rJ_NVyiRA

zkVM Testing Report: Evaluating Zero-Knowledge Virtual Machines for Nescience

• https://vac.dev/rlog/zkVM-testing/

RISC ZERO: Introducing Steel 1.0

• https://risczero.com/blog/introducing-steel-1.0
• https://github.com/risc0/risc0-ethereum/tree/release-1.1/steel

WHIR: Reed–Solomon Proximity Testing with Super-Fast Verification

WHIR 既是里德-所罗门编码的 IOPP，也是多线性多项式承诺方案（PCS），并在所有此类方案中实现了最快的验证速度，甚至包括具有可信设置的单变量 PCS。它在保持基于哈希方案的最先进参数大小和验证器哈希复杂度的同时，只需要透明设置并保证后量子安全。

• https://gfenzi.io/papers/whir/

Succinct Ships: Optimized bn254 & bls12-381 Precompiles in SP1

• https://blog.succinct.xyz/succinctshipsprecompiles/

WE-KZG: Encrypt to KZG.

• https://www.zksecurity.xyz/blog/posts/kzg-we/

Introducing xOS: The Provable Exchange

The universal ZK settlement layer that makes any exchange Provable. xOS leverages @RiscZero's ZK prover with @CelestiaOrg underneath to prove off-chain transactions on-chain.

• https://x.com/hashflow/status/1843730011875877114
• https://medium.com/@hashflowdex/introducing-xos-the-provable-exchange-e875f4e6b30e

Zero Knowledge Summit 12 - LIVESTREAM

• https://www.youtube.com/watch?v=lVvct93zJz0

The Potential of OP_CAT for BTC - Using CAT20 as an Example

• https://hackmd.io/@GMhPT1-rT6GY8bYBRDh1jA/H1Hr8Hz11x
• https://hackmd.io/@GMhPT1-rT6GY8bYBRDh1jA/HyTbYJiA0

Why You Should Pay Attention to RC-STARKs by Omer@Ingonyama

This article provides a friendly exposition to the new paper: “Really Complex Codes with Application to STARKs” by @Yuval_Domb

• https://x.com/Ingo_zk/status/1844662138645688406
• https://eprint.iacr.org/2024/1620.pdf

Without Permission, With Programmable Cryptography

• https://x.com/oskarth/status/1844733717564309770

Odyssey: A testnet OP Stack rollup aimed at enabling experimentation of bleeding edge Ethereum Research.

• https://github.com/ithacaxyz/odyssey

Barycentric Interpolation

Barycentric interpolation is a variant of Lagrange polynomial interpolation that is fast and stable. It deserves to be known as the standard method of polynomial interpolation.

• https://people.maths.ox.ac.uk/trefethen/barycentric.pdf
• https://www.inf.usi.ch/hormann/papers/Hormann.2014.BI.pdf

Circuitscan: submit/browse verified Circom circuits

• https://circuitscan.org/

The Impact of Quantum Computing on the Security of zk-Proofs: Approaches to Post-Quantum Cryptography

• https://ethresear.ch/t/the-impact-of-quantum-computing-on-the-security-of-zk-proofs-approaches-to-post-quantum-cryptography/20623

Updates

circom 2.2.0 introduces a new feature called signal buses.

• https://github.com/iden3/circom/blob/master/mkdocs/docs/circom-language/buses.md

The MuSig2 module has been merged into libsecp256k1.

• https://x.com/n1ckler/status/1843311745860849940

Minimal Course on PCS in Python

• https://github.com/gy001/pypcs

Aztec: Road to Mainnet

• https://aztec.network/blog/road-to-mainnet

o1js-blobstream

• https://x.com/__geometrydev__/status/1843743002797490619
• https://github.com/geometers/o1js-blobstream
• https://o1js-blobstream.gitbook.io/o1js-blobstream

Ethereum's ZK & Formal Verification Endgame with Alexander Hicks

• https://www.youtube.com/watch?v=pIr1xlydm8k

Nexus: beta release of the Nexus network

the first distributed zkVM prover network openly accessible to anyone – is now live

• https://x.com/NexusLabsHQ/status/1843764801161601169

Papers

The Uber-Knowledge Assumption: A Bridge to the AGM

• https://cic.iacr.org/p/1/3/31

Special Soundness in the Random Oracle Model

• https://cic.iacr.org/p/1/3/26

Special Soundness Revisited

• https://cic.iacr.org/p/1/3/25

Capybara and Tsubaki: Verifiable Random Functions from Group Actions and Isogenies

• https://cic.iacr.org/p/1/3/1

WHIR: Reed–Solomon Proximity Testing with Super-Fast Verification

• https://eprint.iacr.org/2024/1586

Basefold in the List Decoding Regime

"It's a great week for Basefold! First, WHIR combines Basefold and STIR to yield an efficient multilinearPCS with the best of both constructions. Next, this work proves the size of Basefold-FRI is equal to the size of traditional univariate FRI 🎉" [Hadas Zeilberger@idocryptography]

• https://eprint.iacr.org/2024/1571

MPC-in-the-Head Framework without Repetition and its Applications to the Lattice-based Cryptography

• https://eprint.iacr.org/2024/1591

DART: Distributed argument of knowledge for rough terrains

• https://eprint.iacr.org/2024/1592

DeepFold: Efficient Multilinear Polynomial Commitment from Reed-Solomon Code and Its Application to Zero-knowledge Proofs

• https://eprint.iacr.org/2024/1595

Boosting SNARKs and Rate-1 Barrier in Arguments of Knowledge

• https://eprint.iacr.org/2024/1603

Nebula: Efficient read-write memory and switchboard circuits for folding schemes

• https://eprint.iacr.org/2024/1605

NeutronNova: Folding everything that reduces to zero-check

• https://eprint.iacr.org/2024/1606

Blaze: Fast SNARKs from Interleaved RAA Codes

• https://eprint.iacr.org/2024/1609

Structure-Preserving Compressing Primitives: Vector Commitments, Accumulators and Applications

• https://eprint.iacr.org/2024/1619

Really Complex Codes with Application to STARKs

• https://eprint.iacr.org/2024/1620

Faster Proofs and VRFs from Isogenies

• https://eprint.iacr.org/2024/1626

Lollipops of pairing-friendly elliptic curves for composition of proof systems

• https://eprint.iacr.org/2024/1627

If you’d like to receive updates via email, click subscribe. Stay informed and never miss a post!

• https://paragraph.xyz/@zkinsights

And our YouTube channel

• https://www.youtube.com/@ZKPunk-Org