---
# System prepended metadata

title: ZK weekly-20240623
tags: [ZK]

---

## 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>



