QuickSilver: Zero-Knowledge via VOLE and boolean circuits
How to build fast ZK proofs from MPC-friendly VOLE
Exploring cryptography, algebra, and the fascinating world of zero-knowledge proofs.
If you enjoy the content of my blog, please don't be selfish!
😁How to build fast ZK proofs from MPC-friendly VOLE
From Oblivious Transfer to arithmetic correlations for secure computation
From basics to extension
Verifying Computations Layer by Layer
Compressing Computation One Bit at a Time
Folding and Merkle trees, understand the magic behind STARKs
From QR codes to ZK, discover how Reed-Solomon codes correct errors and secure digital communication
Using Sagemath's docker image
𝔽₂ and Beyond: A Gentle Guide to Field Extensions
From theory to practice: implementing privacy
Contributing to Ethereum's development toolkit
Solve CTFs with low-level code
How I contributed to Ethereum's development toolkit
Mastering low-level EVM programming