11-13, 11:00–11:30 (Asia/Bangkok), Stage 3
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.