more enhancement of sumcheck protocol #934
Description
To support features and enhancement
- Precompile: Frontend and backend for building circuits #799 for precompile more expressive expression-based circuit style
- applied Some Improvements for the PIOP for ZeroCheck
- skip round tricks from GKR for Boolean Circuits with Sub-linear RAM Operations
Task Lists
- applied zerocheck optimisation in sumcheck protocol (duplicate with Sumcheck optimizations #191)
- add skip rounds mechanism