ZK Insights | 17th Nov 2024

Highlights

How Public Key Cryptography Really Works, Using Only Simple Math

• https://www.quantamagazine.org/how-public-key-cryptography-really-works-20241115/

SNARGs Book Study Group

Alessandro Chiesa, co-author of "Building Cryptographic Proofs from Hash Functions" (aka the SNARGs Book), explained how the book was constructed, and clarified that the pre-requisites to study it are only undergrad class math!

• https://www.youtube.com/playlist?list=PLzdJdAunCamkCulBWMHgwoXuJm7CypPUu

ZNARKs: SNARKs for The Integers

• https://www.zksecurity.xyz/blog/posts/znarks/

10 Must-Read Papers That Shaped Modern Zero-Knowledge Proofs

• https://www.zksecurity.xyz/blog/posts/ten-zk-papers/

Become a Halo2 Hero: Master Zero-Knowledge Proofs with Our New Course

• https://www.zksecurity.xyz/blog/posts/halo2-course/

New Elliptic Curve Breaks 18-Year-Old Record

• https://www.quantamagazine.org/new-elliptic-curve-breaks-18-year-old-record-20241111/

Polygon ZisK

• https://github.com/0xpolygonhermez/zisk
• https://0xpolygonhermez.github.io/zisk/introduction.html

Linea zkEVM

• https://github.com/Consensys/linea-monorepo

The 33-Year Crypto War

• https://substack.com/home/post/p-151492032

Steven Rudich (1961-2024)

• https://blog.computationalcomplexity.org/2024/11/steven-rudich-1961-2024.html
• https://fortnow.com/weblog/media/Rudich-Remembrance-Impagliazzo.pdf

A Zero-Knowledge PCP Theorem

• https://arxiv.org/abs/2411.07972
• https://eprint.iacr.org/2024/1855

Unveiling the Magic Behind Starknet: A Deep Dive into New Specifications

• https://www.zksecurity.xyz/blog/posts/starknet-specs/

Updates

Jolt: An update

• https://a16zcrypto.com/posts/article/jolt-an-update/
• https://www.youtube.com/watch?v=JbPEXUJLyek

STARKs & Friends by Giacomo Fenzi

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

The new NIST IR 8547 "Transition to Post-Quantum Cryptography Standards"

makes RSA, Elliptic Curve crypto disallowed by 2035. Hybrid (trad./pqc) solutions are accommodated by NIST.

• https://nvlpubs.nist.gov/nistpubs/ir/2024/NIST.IR.8547.ipd.pdf

ZK Whiteboard Sessions - S2M4: Risc-V ZKVMs with Uma Roy

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

noname 3.0

Native Hints, Standard Library, Compiler Visualizer

• https://www.zksecurity.xyz/blog/posts/noname-stdlib/

llvm-valida v0.5.0-alpha

• https://github.com/lita-xyz/llvm-valida-releases/releases/tag/v0.5.0-alpha

ZK Hack - Let's Hash it Out - WriteUp

• https://hackmd.io/@0xhashiman/S11HximG1g

Papers

Verifying Jolt zkVM Lookup Semantics

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

Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs

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

Khatam: Reducing the Communication Complexity of Code-Based SNARKs

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

The LaZer Library: Lattice-Based Zero Knowledge and Succinct Proofs for Quantum-Safe Privacy

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

Notions of Quantum Reductions and Impossibility of Statistical NIZK

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

Non-Interactive Zero-Knowledge Proofs with Certified Deletion

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

BatchZK: A Fully Pipelined GPU-Accelerated System for Batch Generation of Zero-Knowledge Proofs

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

Lova: A Novel Framework for Verifying Mathematical Proofs with Incrementally Verifiable Computation

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

Faster algorithms for isogeny computations over extensions of finite fields

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