2024-08-11 zk-insights Weekly

Highlights

SBC'24 Live Presentations

A live stream for the Science of Blockchain Conference (SBC) 2024 presentations taking place August 7-9 at Columbia University

• <https://www.youtube.com/@ic3initiativeforcryptocurr114/streams>

  0xPARC: Programmable Cryptography (Part 1)

  Cryptography is undergoing a generational transition, from special-purpose cryptography to programmable cryptography.

• <https://0xparc.org/blog/programmable-cryptography-1>

  SuperSpartan by Hand

  The goal of this article is to dive into the techniques behind the SuperSpartan's polynomial IOP, which uses the sum-check protocol to prove CCS instances, by writing the protocol explicitely for a specific example.

• <https://anoma.net/blog/superspartan-by-hand>

  HyperNova by Hand

  The aim of this article is to unbundle the folding mechanism of the HyperNova protocol by writing it by hand.

• <https://anoma.net/blog/hypernova-by-hand>

  A Survey on the Applications of Zero-Knowledge Proofs

  Applications of ZK from a practitioner/engineer’s perspective.

• <https://arxiv.org/pdf/2408.00243>

How we created a research fast VM for ZKsync

LambdaClass team makes a deep dive into how the EraVM works and how it differs from the EVM.

• <https://blog.lambdaclass.com/how-we-created-a-research-fast-vm-for-zksync/>

Awesome zero knowledge proofs

A curated list of awesome ZKP resources, libraries, tools and more.

• <https://github.com/sCrypt-Inc/awesome-zero-knowledge-proofs>

The exposition of Additive NTT

A detailed theoretical introduction and Python implementation of Additive NTT

• theory: <https://github.com/ingonyama-zk/papers/blob/main/ntt_201_book.pdf>
• code: <https://github.com/ingonyama-zk/open-binius/tree/main/ref/antt>

Updates

Nullifier Counter in RISC Zero for apps on top of Rarimo Protocol

• <https://github.com/distributed-lab/rarimo-issuer-risc0>

ZK Summit 11 Folded

文章由 Jack Gilcrest 撰写，详细介绍了 Cursive 团队在 ZK Summit 11 中集成折叠方案（folding schemes）的实际应用和经验。

• <https://www.cursive.team/blog/zk-summit-folded>

SP1 is live

SP1 is now feature-complete and recommended for production use.

• <https://blog.succinct.xyz/sp1-is-live/>

  SP1 Benchmarks: 8/6/24

  SP1’s new GPU prover achieves state of the art performance, with the cheapest cloud costs vs. alternative zkVMs by up to 10x, across a diverse set of blockchain workloads like light clients and EVM rollups.

• <https://blog.succinct.xyz/sp1-benchmarks-8-6-24/>

A thread about FRI by Paul Gafni

Chatting with peeps at SBC and realized I've made some educational resources about FRI soundness analysis that I never shared widely.

• <https://x.com/Paul_Gafni/status/1821928815150395689>

Papers

Optimizing Big Integer Multiplication on Bitcoin: Introducing w-windowed Approach

• <https://eprint.iacr.org/2024/1236>

  Garuda and Pari: Smaller and Faster SNARKs via Equifficient Polynomial Commitments

• <https://eprint.iacr.org/2024/1245>

  MSMAC: Accelerating Multi-Scalar Multiplication for Zero-Knowledge Proof

• <https://eprint.iacr.org/2024/1246>

  Non-Interactive Zero-Knowledge from LPN and MQ

• <https://eprint.iacr.org/2024/1254>

  Concrete Analysis of Schnorr-type Signatures with Aborts

• <https://eprint.iacr.org/2024/1256>

  Efficient (Non-)Membership Tree from Multicollision-Resistance with Applications to Zero-Knowledge Proofs

• <https://eprint.iacr.org/2024/1259>

  zk-Promises: Making Zero-Knowledge Objects Accept the Call for Banning and Reputation

• <https://eprint.iacr.org/2024/1260>