# Lessons from integrating LogUp-GKR in the Miden VM

- Speakers: [Philippe Laferriere](https://streameth.org/speakers/philippe-laferriere)
- Channel: [Devcon 7 SEA](https://streameth.org/devcon_7_sea)
- Date: 2024-11-13
- Duration: 23:13
- Watch: https://streameth.org/watch/67342ddd9dbb7a90e1c34f54

## Description

In this talk we will describe how to modify the STARK protocol to prove multiset checks using the GKR protocol. We will take a deep dive of the approach we’ve taken to implement it in the Miden VM, covering the benefits and challenges we've experienced.

## About the speakers

### Philippe Laferriere

I currently work for Polygon in the Miden team, where I focus primarily on the Miden VM.