# EPF Cohort 6 Updates – Week 15 & 16

## BeaconState Benchmarking Progress

I have succesfully created a unified ZkVm framework for Ream's Beacon State Transition Function benchmarks, right now I have integrated Zisk, SP1 and RiscZero inside it, basically there's a single host file which orchestrates the whole flow and via CLI flags we can either run RiscZero,Sp1 or Zisk instance or all at the same time
https://github.com/x-senpai-x/Ream-ZKVM-Benchmarks/tree/main/Beacon-Harness

I had also been working on summarizing my work so far for Beacon State Transition Functions done on Sp1,Risc0,Jolt,Zisk and Pico and here's the doc I have prepared
https://hackmd.io/uT5l0xgnQB-bjUI3e8n7_g

## Zisk

I had consulted Zisk's team and my execution seems correct to them also I was able to come up with a way to get the total execution time guest spends, however I am unable to benchmark each of the individual operations being executed, [Abix](https://x.com/0xAbix) from the Zisk team is having a look at my repository and then I think I'll be able to get benchmarks for individual operations as well.
**Repository:** https://github.com/x-senpai-x/consenzisk-bench

## LeanConsensus

I have succesfully integrated RiscZero inside Ream's Lean crate and right now its just a dummy proof and I am working on integrating the actual zk proof of ```handle_produce_block()```.
Here's a doc I have been working on
https://www.notion.so/Lean-ZKVM-DraftPr-28559d24ae32808198e4e815277c6617?source=copy_link
and we'll soon create a draft Pr in Ream's codebase once everything is finalised.
## PQ Workshop

I had gone through the [part 1 of the first day of PQ workshop](https://www.youtube.com/watch?v=7it17ANqdBE) which was held in [Cambridge](https://x.com/corcoranwill/status/1974417509773353230). It was pretty interesting to watch and I was able to understand most of the things being discussed. This first video was basically a rough overview of all the developments going on around Lean consensus.
I'll be watching the next two videos over the span of next week.
## Next Week's Goals

- [ ] Create a draftPR so that the Ream Community can review and provide feedback on our approach of integrating zkVm inside Lean crate.
- [ ] Integrate Pico and Jolt inside Beacon-harness.
- [ ] Publish full benchmarks for RiscZero, SP1 and Zisk