# EPF Week 7 Update

This week, I focused on my extended research on zkVM candidates and I established a comprehensive evaluation framework. I haven't started integration yet but I will very soon and I have made some progress in the technical assessment phase.

## Evaluation matrix

### Performance metrics

- Theoretical throughput analysis for 100K+ validator proving
- Memory requirements, computational complexities
- Proof generation times

I have also studied the checkpoint mechanisms across different zkVM architectures and state persistence for executing and proving large programs. I have also compared some segmentation approaches for beacon chain STF.

## Ziren (zkMIPS) research progress

I have looked more into the MIPS instruction set compatibility with Grandine's `grandine-zk` codebase. I also analyzed existing cryptography libraries support in MIPS environment. I have also looked into the compilation requirements for rust to MIPS workflow.

## zkWASM

I researched more about WebAssembly compilation targets for rust beacon chain. I also looked into the existing cryptography libraries here as well. I also conducted some research on recursive proof composition in this context. Lastly, I have studied about memory management approaches also. Also, I am waiting for the detailed technical specifications from the team.

## Work for upcoming week

Next week, I will look for optimal balance between proof granularity and verification efficiency, and start with the integration in the grandine codebase.

## Conclusion

I hope this thorough evaluation will help me tackle challenges and be well informed before decision-making during the integration phase.