rokoko

fix safe more sumcheck borrow issue

more helpers to the lib core

Switched sumcheck variable order from MS-first to LS-first (#27)

refactor sumcheck

lean params