2024-08-11 zk-insights Weekly

Coset 发布于 2024-08-12 阅读 2891

如果你重视零知识证明技术信息的实效性和信息源质量的意义,不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失,请多支持我们(包括给予赞助支持),让这一汨清流继续流淌~

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>

相关文章

0 条评论