ZK Insights | 1st Dec 2024

Highlights

The Map of ZK

推动 ZK 生态系统进一步发展的项目列表。

A list of categorised projects pushing the ZK ecosystem further.

• https://zkv.xyz/the-map-of-zk/

Latest ZK Research with Dan Boneh

• https://zeroknowledge.fm/345-2/

Poseidon Cryptanalysis Initiative 2024-2026

• https://www.poseidon-initiative.info/

上纽大计算机科学助理教授王明苑：深耕密码学的教研之路

• https://mp.weixin.qq.com/s/DsWaObfNPmV1KPtf-5DaIA

PQMagic

PQMagic（Post-Quantum Magic）是国内首个支持 FIPS 203 204 205标准 的高性能安全后量子密码算法库，并支持性能更高效的国产自研 PQC 算法 Aigis-Enc、Aigis-Sig（PKC 2020）和 SPHINCS-α（CRYPTO 2023）。该项目由郁昱教授团队（上海交通大学 、上海期智研究院 ）开发和维护，旨在提供自主、可控、安全、高性能的 PQC 算法，以及为后量子密码迁移工作提供解决方案。

• https://pqcrypto.dev/

Towards Fast Verification: Polynomial Commitments from Lattices by Ngoc Khanh Nguyen

• https://youtu.be/hkS_iMd16EI?si=WNr1HglIlaN3qsUz

A gentle introduction to functional encryption

• https://www.leku.blog/fe/

A quick history of “precompiles” in zkVMs

• https://x.com/paul_gafni/status/1861062052493869433

Updates

How Fast We Can Go: Proving Million Keccak Function Per Second

• https://hackmd.io/@Cysic/r1LoS0MmJg

3 updates about Jolt

• https://x.com/a16zcrypto/status/1860750919752642946

Papers

On Threshold Signatures from MPC-in-the-Head

• https://eprint.iacr.org/2024/1897

Opening the Blackbox: Collision Attacks on Round-Reduced Tip5, Tip4, Tip4' and Monolith

• https://eprint.iacr.org/2024/1900

ZK-SNARKs for Ballot Validity: A Feasibility Study

• https://eprint.iacr.org/2024/1902

On Efficient Computations of Koblitz Curves over Prime Fields

• https://eprint.iacr.org/2024/1906

On Concrete Security Treatment of Signatures Based on Multiple Discrete Logarithms

• https://eprint.iacr.org/2024/1933

On Witness Encryption and Laconic Zero-Knowledge Arguments

• https://eprint.iacr.org/2024/1932

On White-Box Learning and Public-Key Encryption

• https://eprint.iacr.org/2024/1931

Algebraic Zero Knowledge Contingent Payment

• https://eprint.iacr.org/2024/1930

EndGame: Field-Agnostic Succinct Blockchain with Arc

• https://eprint.iacr.org/2024/1925

An Extended Hierarchy of Security Notions for Threshold Signature Schemes and Automated Analysis of Protocols That Use Them

• https://eprint.iacr.org/2024/1920

Orion's Ascent: Accelerating Hash-Based Zero Knowledge Proof on Hardware Platforms

• https://eprint.iacr.org/2024/1918

Decentralized FHE Computer

• https://eprint.iacr.org/2024/1917

Generic, Fast and Short Proofs for Composite Statements

• https://eprint.iacr.org/2024/1914

Learning

椭圆曲线密码学与 Typescript 实现

• https://blog.wssh.trade/posts/secp256k1-ts/

ZK Whiteboard Sessions - S2M5: Small Fields, Binary Fields with Jim Posen

• https://www.youtube.com/watch?v=821tPE2Ceps