discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Clean, a formal verification DSL for ZK circuits in Lean4
https://blog.zksecurity.xyz/posts/clean/
5 comments
27/3/2025
Reddit
Optimizing Barrett Reduction: Tighter Bounds Eliminate Redundant Subtractions
https://blog.zksecurity.xyz/posts/barrett-tighter-bound/
7 comments
1/5/2025
crypto
Variants of KZG: Part I, Univariate
https://blog.zksecurity.xyz/posts/kzg-1/
0 comments
29/4/2025
crypto