2024-08-25 zk-insights Weekly

Antalpha Labs
更新于 2024-08-27 01:16
阅读 309

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

## Highlights

### <https://cryptography101.ca/>
### Greyhound: Fast Polynomial Commitments from Lattices
A new super fast and compact polynomial commitments from standard lattice assumptions! Greyhound combines the techniques that me and Khanh explored in FMN23 and SLAP with the LaBRADOR proof systems, constructing a super exciting and concretely efficient post quantum PCS, with a blazing fast vectorized AVX-512 implementation included. Just to give some numbers, for degree 2^30 proofs are 53KB and only take 3 minutes to compute!
- 📚: <http://ia.cr/2024/1293>
- 👨‍💻: <http://github.com/lattice-dogs/labrador>

### StarkWare Scholar Summit
- <https://www.youtube.com/playlist?list=PLcIyXLwiPilWbZbZAl0EACeK86Y5SLspF>

## Updates
### Implementation of the Labrador proof system 
This repository contains our implementation of the Labrador proof system together with implementations of the Chihuahua, Dachshund and Greyhound front ends.
- <https://github.com/lattice-dogs/labrador>
### Bitcoin Header Validation using Nova
This repo contains circuits for validating Bitcoin headers using Nova. At each step, it allows validating multiple headers.
- <https://github.com/avras/btc-nova-lc>
### How we implemented the BN254 Ate pairing in lambdaworks
This post is a companion for implementation, explaining the mathematical theory and algorithms needed to understand the BN254 Ate pairing. 
- <https://blog.lambdaclass.com/how-we-implemented-the-bn254-ate-pairing-in-lambdaworks>
### ZK Podcast Episode 335: Groth16, IVC and Formal Verification with Nexus
In this week’s episode, Anna chats with Jens Groth and Daniel Marin from Nexus. They catch up on all things Groth16 with the author himself before diving into a variety topics, such as formal verification in the context of ZKPs, the Nexus architecture, the benefits and challenges of building a system from the ground up, folding and IVC plus the properties these offer in a zkVM context and much more.
- <https://zeroknowledge.fm/335-2/>
### 数学界最重要难题，快要破解了吗？
1859年，数学家黎曼提出了著名的“黎曼猜想”，100多年过去了，还是没有人能证明它，无数数学天才正在一步步向真相推进，现在他们又取得了新进展……
- <https://www.youtube.com/watch?v=xZ5qWfvEMYA>
### Noname Code Playground
- <https://noname-playground.xyz/>
  
## Papers
### 【论文速递】Crypto 2024 （多项式承诺、SNARKs、零知识证明、数据可用性采样、后量子聚合签名）
- <https://mp.weixin.qq.com/s/6MkzrMh7d1WslmeG-Uxcqg>
### Improved Lattice Blind Signatures from Recycled Entropy
- <https://eprint.iacr.org/2024/1289>
### Raccoon: A Masking-Friendly Signature Proven in the Probing Model
- <https://eprint.iacr.org/2024/1291>

### Identity-Based Encryption from Lattices with More Compactness in the Standard Model
- <https://eprint.iacr.org/2024/1295>
### Point (de)compression for elliptic curves over highly 2-adic finite fields
- <https://eprint.iacr.org/2024/1298>
### Permissionless Verifiable Information Dispersal (Data Availability for Bitcoin Rollups)
- <https://eprint.iacr.org/2024/1299>
### Efficient Zero-Knowledge Arguments for Paillier Cryptosystem
- <https://eprint.iacr.org/2024/1303>

## Learnings
### Cryptography 101 : Kyber and Dilithium
Video lectures for Alfred Menezes's introductory course on Kyber-KEM and the Dilithium signature scheme. These lattice-based cryptographic scheme were standardized by NIST on August 13, 2024.
- <https://cryptography101.ca/kyber-dilithium/>

### Cryptography 101: Error-Correcting Codes
This course is an introduction to algebraic methods for devising error-correcting codes. These codes are used, for example, in satellite broadcasts, CD/DVD/Blu-ray players, memory chips, two-dimensional bar codes (including QR codes), and digital video broadcasting. The mathematical ingredients for the course are linear algebra, elementary number theory (integers modulo n and congruences), and abstract algebra (groups, rings, ideals, and finite fields).
- <https://cryptography101.ca/codes/>

### Plonk notes (wave 1) by ret2basic.eth
- <https://web3-security.notion.site/Plonk-notes-wave-1-d46f67abe0554e6ea4cb0eb4e5296bb7>

### 不同的 Interpolation 算法介绍
- <https://web.ntnu.edu.tw/~algo/Interpolation.html>

Highlights

<https://cryptography101.ca/>

Greyhound: Fast Polynomial Commitments from Lattices

A new super fast and compact polynomial commitments from standard lattice assumptions! Greyhound combines the techniques that me and Khanh explored in FMN23 and SLAP with the LaBRADOR proof systems, constructing a super exciting and concretely efficient post quantum PCS, with a blazing fast vectorized AVX-512 implementation included. Just to give some numbers, for degree 2^30 proofs are 53KB and only take 3 minutes to compute!

📚: <http://ia.cr/2024/1293>
👨‍💻: <http://github.com/lattice-dogs/labrador>

StarkWare Scholar Summit

<https://www.youtube.com/playlist?list=PLcIyXLwiPilWbZbZAl0EACeK86Y5SLspF>

Updates

Implementation of the Labrador proof system

This repository contains our implementation of the Labrador proof system together with implementations of the Chihuahua, Dachshund and Greyhound front ends.

<https://github.com/lattice-dogs/labrador>
Bitcoin Header Validation using Nova

This repo contains circuits for validating Bitcoin headers using Nova. At each step, it allows validating multiple headers.
<https://github.com/avras/btc-nova-lc>
How we implemented the BN254 Ate pairing in lambdaworks

This post is a companion for implementation, explaining the mathematical theory and algorithms needed to understand the BN254 Ate pairing.
<https://blog.lambdaclass.com/how-we-implemented-the-bn254-ate-pairing-in-lambdaworks>
ZK Podcast Episode 335: Groth16, IVC and Formal Verification with Nexus

In this week’s episode, Anna chats with Jens Groth and Daniel Marin from Nexus. They catch up on all things Groth16 with the author himself before diving into a variety topics, such as formal verification in the context of ZKPs, the Nexus architecture, the benefits and challenges of building a system from the ground up, folding and IVC plus the properties these offer in a zkVM context and much more.
<https://zeroknowledge.fm/335-2/>
数学界最重要难题，快要破解了吗？

1859年，数学家黎曼提出了著名的“黎曼猜想”，100多年过去了，还是没有人能证明它，无数数学天才正在一步步向真相推进，现在他们又取得了新进展……
<https://www.youtube.com/watch?v=xZ5qWfvEMYA>
Noname Code Playground
<https://noname-playground.xyz/>

Papers

【论文速递】Crypto 2024 （多项式承诺、SNARKs、零知识证明、数据可用性采样、后量子聚合签名）

<https://mp.weixin.qq.com/s/6MkzrMh7d1WslmeG-Uxcqg>
Improved Lattice Blind Signatures from Recycled Entropy
<https://eprint.iacr.org/2024/1289>
Raccoon: A Masking-Friendly Signature Proven in the Probing Model
<https://eprint.iacr.org/2024/1291>

Identity-Based Encryption from Lattices with More Compactness in the Standard Model

<https://eprint.iacr.org/2024/1295>
Point (de)compression for elliptic curves over highly 2-adic finite fields
<https://eprint.iacr.org/2024/1298>
Permissionless Verifiable Information Dispersal (Data Availability for Bitcoin Rollups)
<https://eprint.iacr.org/2024/1299>
Efficient Zero-Knowledge Arguments for Paillier Cryptosystem
<https://eprint.iacr.org/2024/1303>

Learnings

Cryptography 101 : Kyber and Dilithium

Video lectures for Alfred Menezes's introductory course on Kyber-KEM and the Dilithium signature scheme. These lattice-based cryptographic scheme were standardized by NIST on August 13, 2024.

<https://cryptography101.ca/kyber-dilithium/>

Cryptography 101: Error-Correcting Codes

This course is an introduction to algebraic methods for devising error-correcting codes. These codes are used, for example, in satellite broadcasts, CD/DVD/Blu-ray players, memory chips, two-dimensional bar codes (including QR codes), and digital video broadcasting. The mathematical ingredients for the course are linear algebra, elementary number theory (integers modulo n and congruences), and abstract algebra (groups, rings, ideals, and finite fields).