- [ ] Intro to KZG and ZK-SNARKS and `point evaluation` precompile - [ ] Implement Python prototype + basic tests - [ ] Apply optimizations - [ ] Move to C++ - [ ] Add coverage tests. - [ ] Benchmark