search

scroll-tech / ceno

Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
Apache License 2.0
57 stars 7 forks source link

BaseFold: Add and reimplement some utility functions. #559

Open yczhangsjtu opened 2 weeks ago

yczhangsjtu commented 2 weeks ago

Extracting small PRs from #294

There was an implementation of Iterator for iterating through a FieldType. Turns out that it can be replaced with existing tools in iter_tools. This proposes the new implementation.

Also added some other utility functions for type conversion between FieldType and Vec<E>, to avoid match field_type everywhere.

matthiasgoergens commented 2 weeks ago

Thanks for breaking down the big PR into more digestible chunks!