ZKPunk's ZK Insights

Highlights

Luca Trevisan (1971-2024)

• https://windowsontheory.org/2024/06/19/luca-trevisan-1971-2024/
• https://scottaaronson.blog/?p=8057
• https://blog.computationalcomplexity.org/2024/06/luca-trevisan-1971-2024.html

Luca Trevisan's Cryptography Lecture Notes from CS276, Spring 2009

One of the best learning resources about the Goldreich-Levin theorem, recommended by Prof. Deng Yi.

• https://lucatrevisan.github.io/books/crypto.pdf

The ZF FROST Book

• https://frost.zfnd.org/index.html

SoK: Programmable Privacy in Distributed Systems

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

Abstract Algebra: Theory and Applications

A nice book with examples and programming exercises.

• http://abstract.ups.edu/aata/aata.html

10 Weeks of Journey into vFHE

• https://paragraph.xyz/@moyed/10-weeks-of-journey-into-vfhe
• https://drive.google.com/file/d/1IKhckgus2WkyVtGqaeA8fJOe5THNzv-V/view

Arithmetizing FHE in Circom

• https://pps-lab.com/blog/fhe_arithmetization/

Juvix: a language for intent-centric and declarative decentralized applications

• https://docs.juvix.org/0.6.1/README.html

Updates

Nexus zkVM 1.0

• https://nexus.xyz/

RISC Zero zkVM 1.0: Industry-Leading Performance Benchmarks

• https://www.risczero.com/blog/beating-moores-law-with-zkvm-1-0

Episode 328: ZK on Bitcoin with Alpen Labs

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

Arkwork v0.5.0-alpha

• https://github.com/arkworks-rs/

北京密码学日成功举办

• https://mp.weixin.qq.com/s/c21alfYq9j3fbkTyfUADQg

Eurocrypt 2024 Videos

• SNARKs: https://www.youtube.com/watch?v=_WsCQc9Elcg
• Proof Systems: https://www.youtube.com/watch?v=e0b3oKSrYt8

Papers

Fast SNARK-based Non-Interactive Distributed Verifiable Random Function with Ethereum Compatibility

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

ICICLE v2: Polynomial API for Coding ZK Provers to Run on Specialized Hardware

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

Volatile and Persistent Memory for zkSNARKs via Algebraic Interactive Proofs

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

Hadamard Product Arguments and Their Applications

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

On Knowledge-Soundness of Plonk in ROM from Falsifiable Assumptions

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

Cross-chain bridges via backwards-compatible SNARKs

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

Dishonest Majority Multi-Verifier Zero-Knowledge Proofs

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

zkVoting : Zero-knowledge proof based coercion-resistant and E2E verifiable e-voting system

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

Relaxed Vector Commitment for Shorter Signatures

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

Formal Verification of Zero-Knowledge Circuits

• https://arxiv.org/pdf/2311.08858