integrate `mpcs` in ceno into ceno-recursion #54

Open

Open

integrate mpcs in ceno into ceno-recursion#54

Labels

Milestone

Select the optimal proof system for recursion

There are four polynomial evaluation proofs that are needed.

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

Milestone

Select the optimal proof system for recursion

Relationships

None yet

Development

No branches or pull requests