Lessons from integrating LogUp-GKR in the Miden VM
Duration: 00:23:12
Speaker: Philippe Laferriere
Type: Talk
Expertise: Expert
Event: Devcon
Date: Nov 2024
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.