ZK Insights

Edited by ZKPunk

Highlights

Understanding Binius

• https://hackmd.io/@l2iterative/binius
• https://hackmd.io/@l2iterative/binius2

Terence Tao: Machine-Assisted Proof

• https://www.ams.org/notices/202501/rnoti-p6.pdf

Nethermind: Introducing LatticeFold Rust implementation

• https://x.com/NethermindEth/status/1872494705839374681
• https://github.com/NethermindEth/latticefold

MyZKP: Building Zero Knowledge Proof from Scratch in Rust

MyZKP is a Rust implementation of zero-knowledge protocols built entirely from scratch! This project serves as an educational resource for understanding and working with zero-knowledge proofs.

• https://koukyosyumei.github.io/MyZKP/index.html

Episode 346: ZK in Review: Decoding 2024 & Predicting 2025

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

Hackathon: MHEGA - Make Homomorphic Encryption Great Again

Explored using HE for coSNARKs by adapting HElib. Despite getting optimizations to work, FFTs in HE are still 10,000 times slower than plain or MPC and need huge memory.

• https://blog.taceo.io/mhega/

Papers

(Deep) Learning about Elliptic Curve Cryptography

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

Bypassing the characteristic bound in logUp

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

Zero Knowledge Memory-Checking Techniques for Stacks and Queues

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

How To Think About End-To-End Encryption and AI: Training, Processing, Disclosure, and Consent

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

**If you’d like to receive updates via email, subscribe us!

• https://paragraph.xyz/@zkinsights