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

*感谢 Kurt、Harry、Even 对本期 ZK Insights 的特别贡献！