Lessons from integrating LogUp-GKR in the Miden VM
Wed, Nov 13, 2024, 04:40 AM · 23:02
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.
I currently work for Polygon in the Miden team, where I focus primarily on the Miden VM.