devcon

"Lessons from Integrating LogUp-GKR in the Miden VM"

In this talk, Philippe Laferriere (Polygon Miden) explains how to modify the STARK protocol to prove multiset checks using the GKR protocol. He delves into the approach taken to implement this in the Miden VM, discussing both the benefits and challenges encountered along the way.

"Lessons from Integrating LogUp-GKR in the Miden VM"

In this talk, Philippe Laferriere (Polygon Miden) explains how to modify the STARK protocol to prove multiset checks using the GKR protocol. He delves into the approach taken to implement this in the Miden VM, discussing both the benefits and challenges encountered along the way.

https://www.youtube.com/watch?v=f4Zwn6ItiNs