scroll-tech / ceno

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

Private Input circuit #614

Open naure opened 1 day ago

naure commented 1 day ago

Implement the supporting circuit for private input.

This will enable https://github.com/scroll-tech/ceno/discussions/607

Plan:

hero78119 commented 1 day ago

Related to marked of TODOs here https://github.com/scroll-tech/ceno/blob/6ea3beeceb2b82a51af6d0dfd0bd8e0ef70aabd1/ceno_zkvm/src/tables/ram/ram_impl.rs#L402-L417

In the end it seems to support {Dyn, Fix} x {Volatile, Non Volatile}, in totally 4 combination