scroll-tech / ceno

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

cleanup/platform-range #621

Closed naure closed 3 days ago

naure commented 4 days ago

Follow-up to #620

Simplify the Platform type by exposing the Range type.