2024-10-13 zk-insights Weekly

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://medium.com/@ingonyama/why-you-should-pay-attention-to-rc-starks-7e33cad2a743>
• <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>