Folding algorithm for large fields sumcheck

[krakhit]

### Tasks
- [ ] https://github.com/ingonyama-zk/super-sumcheck/issues/18
- [ ] Implementation of naive algorithm 1 with folding
- [ ] performance comparison