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
3 min read

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
5 min read

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.

4 min read

ZKP Projects Landscape

There has been a lot of developments in the Zero Knowledge space recently. As someone who’s new in this field, I find all the different projects and the proof systems that are used to be overwhelming. Let alone diving deep into any of the proving system and understand how they work.

~1 min read

Claiming My Free OpenVPN clients

My NordVPN subscription allows up to 6 devices connected simultaneously. This isn’t enough and has caused some of my devices to drop their VPN connections when new devices come online.

5 min read