Stephen

[StarkContext](https://github.com/0xEigenLabs/eigen-zkvm/blob/main/starky/src/stark_gen.rs#L23) takes huge memory space since we define the elements are from FieldExtension, but this is not a must. - [ ] Using base field as more as we can,...

When we evaluate some point x on a polynomial p(a_0, ..., a_d), we usually have such a function: ``` a_0 + x * ( a_1 + x * ( ......

paper: https://github.com/ingonyama-zk/papers/blob/main/goldilocks_ntt_trick.pdf reference implements: https://github.com/0xPolygonHermez/goldilocks/blob/abfa726d0a0426058decc9c3f3671988069712c9/src/ntt_goldilocks.cpp

Abstract the storage interface to support shared storage/filesystem

2

Two storage media are enough for this phase: 1. NFS 2. AWS S3(object storage)

Change the powdr to branch `binary-mux2`

Parallelize the convesion from trace data to table.

1

From the timing message, the conversion from trace data to table takes [code](https://github.com/zkMIPS/zkm/blob/main/src/witness/traces.rs#L148) about half of the total time of `generate_traces`, and all the conversions can be performed parallelly. The...

Since each memory integrity check involves some Keccak computing, it adds lots of rows to the Memory and Logic table, which may increase the constraints degree of CPU Stark.