Archive

2025

• Sep 16$\Sigma$-protocols formal definition
• Sep 15A guide to zkVM memory checking protocols
• Aug 30Solving quadratic equations in $GF(2^n)$ (Part 1)
• Aug 12Inner-product and Bulletproofs
• Jul 18zk-SNARK - Pinocchio protocol
• Jun 14Vortex polynomial commitment
• Jun 13Ligero for multilinear polynomials
• Jun 02Small fields in proving systems
• May 29Just some notes on RSA
• May 28Edwards curves and EdDSA
• May 27Oblivious transfer & Garbled circuits
• May 26Elliptic Curves
• May 26Launching Linea stack
• May 26Singular curves
• Jan 01Block cipher mode of operation