Adapt the WHIR code to match traits required in Ceno.#26

Closed

yczhangsjtu wants to merge 5 commits intoWizardOfMenlo:mainfrom scroll-tech:feat/ceno-binding

+869-18

Commits on Nov 28, 2024

Merge pull request #1 from WizardOfMenlo/main
yczhangsjtu
authored

Commits on Dec 2, 2024

Merge pull request #4 from WizardOfMenlo/main
yczhangsjtu
authored

Commits on Dec 5, 2024

add ceno pcs trait (#3 )
chaosma
authored

Commits on Dec 11, 2024

Implement Serialize and Deserialize for ceno
yczhangsjtu
committed

Commits on Dec 12, 2024

Fix compilation errors (except tests)
yczhangsjtu
committed