Try   HackMD

Highlights

Luca Trevisan (1971-2024)

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.

The ZF FROST Book

SoK: Programmable Privacy in Distributed Systems

Abstract Algebra: Theory and Applications

A nice book with examples and programming exercises.

10 Weeks of Journey into vFHE

Arithmetizing FHE in Circom

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

Updates

Nexus zkVM 1.0

RISC Zero zkVM 1.0: Industry-Leading Performance Benchmarks

Episode 328: ZK on Bitcoin with Alpen Labs

Arkwork v0.5.0-alpha

北京密码学日成功举办

Eurocrypt 2024 Videos

Papers

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

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

Volatile and Persistent Memory for zkSNARKs via Algebraic Interactive Proofs

Hadamard Product Arguments and Their Applications

On Knowledge-Soundness of Plonk in ROM from Falsifiable Assumptions

Cross-chain bridges via backwards-compatible SNARKs

Dishonest Majority Multi-Verifier Zero-Knowledge Proofs

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

Relaxed Vector Commitment for Shorter Signatures

Formal Verification of Zero-Knowledge Circuits

Last changed by 
 
zk-insights
0
48

Read more

ZK weekly-20240630

Highlights Introducing the ZK Catalog https://medium.com/l2beat/introducing-the-zk-catalog-7ac6f22889c0 https://l2beat.com/zk-catalog Ariel Gabizon UJ crypto course: the KZG PCS scheme and PlonK SNARK https://github.com/arielgabizon/Lectures/blob/master/ujtalksKZG%2BPLONK.pdf Disarming Fiat-Shamir footguns https://blog.trailofbits.com/2024/06/24/disarming-fiat-shamir-footguns/

Jul 1, 2024
ZK weekly-20240616

Highlights Ronkathon: Learn Cryptography from First Principles Ronkathon是受Plonkathon启发的一组密码原语的 Rust 实现。旨在展示应用密码学的理论特性以及编程语言中的具体应用的技术内容。Ronkathon是根据第一性原理构建的，因此无需了解外部库或详细依赖项（除rand和itertools之外）。大部分代码并未针对数学透明度和简洁性进行优化。 https://pluto.xyz/blog/ronkathon-learn-cryptography-from-first-principles A Zero Knowledge Paradigm: Part 2- Exploring zk-VM Design Trade-offs In the part 2 of their article series about zkVMs, @ventalitan from @lita_xyz first gave an overview of zkVM design, and then covered the trade-offs of all the different aspects it involves.

Jul 1, 2024
ZK weekly-20240609

Highlights The State of Security Tools for ZKPs https://www.zksecurity.xyz/blog/posts/zksecurity-tools/ Circle STARKs: Part I, Mersenne https://www.zksecurity.xyz/blog/posts/circle-starks-1/ Understanding Jolt: Clarifications and reflections by Justin Thaler Justin Thaler explored four areas in Lasso and Jolt: (1) the relationship between the sum-check protocol and the Binius commitment scheme, (2) the role of sum-check and lookups in Jolt, (3) elliptic curves versus hashing, and (4) precompiles as they relate to zkVMs.

Jul 1, 2024
ZK weekly-20240602

Highlights ZKProof 6 in Berlin (video list) https://www.youtube.com/playlist?list=PLOEty2U8Y69Uzkd6MthUjWbOxQHzBAtCQ https://www.youtube.com/playlist?list=PLOEty2U8Y69XR-KVpuDi4mCIOjBtUA-mQ https://www.youtube.com/playlist?list=PLOEty2U8Y69WTd1ZVXgGCTZim5TCEAB9H Polyhedra Expander Compiler Collection The ExpanderCompilerCollection is a component of the Expander proof system. It transforms circuits written in gnark into an intermediate representation (IR) of a layered circuit. This IR can later be used by the Expander prover to generate proofs. https://github.com/PolyhedraZK/ExpanderCompilerCollection

Jun 3, 2024
Read more from zk-insights
Published on HackMD