Experimentation and implementation of ZK and Complexity Theory in jupyter notebook.
Includes:
- Proof of Cook-Levin Theorem
- Freivalds Algorithm
- Sumcheck Protocol
- Interactive Proof for Matrix Multiplication
- Interactive Proof for Counting Triangles
- Non-interactive GKR Protocol(WIP)