GKR Protocol (Notes)
- an Interactive Proof (IP)
- can be turned into a zkSNARK with PCS and Fiat-Shamir
- designed to delegate computation for arbitrary computation rather than the specific sum-check computation
Sum-Check Protocol (Notes)
- one of the most important Interactive Proof for verifying the sum of a multi-variate polynomial over the Boolean Hypercube
- Prover’s perspective: allows the Prover to prove to the Verifier that the sum is correct
- Verifier’s perspective: allows the Verifier to reduce its computation when calculating the sum by trustlessly delegating the computation to a Prover
- introduced by LFKN92
A Gentle Introduction to ProgCrypto

When I first heard about ProgCrypto (Programmable Cryptography) during Devconnect 2023, I was drawn to see how this simple term encompasses so many different kinds of cryptography techniques. As I read 0xPARC’s ProgCrypto book, I got a peek at how some of these protocols work at their most fundamental level.
Plonkathon

I finally got a chance to try out the exercises from Plonkathon by 0xPARC, an educational implementation of PLONK. It follows closesly to the paper which is what makes it such a good resource to reinforce one’s learning (or to start learning) on PLONK.
Book Review - Handbook of Applied Cryptography

Handbook of Applied Cryptography
by Alfred J. Menezes, Paul C. van Oorschot and Scott A. Vanstone
5th Edition, Aug 2001
My Homelab State - EOY 2022

ZKP Projects Landscape

Minting NFTs with Zero Knowledge Proof

Minting NFTs with ECDSA Signatures

Claiming My Free OpenVPN clients
