Yes, I think splitting up the work is a good idea. The authors already thought about how to incentivize verification runs. It's really cool. Check out this inf

Yes, I think splitting up the work is a good idea. The authors already thought about how to incentivize verification runs. It's really cool. Check out this informative podcast with some of the team members: https://youtu.be/QY0OUTaIWIc https://youtu.be/QY0OUTaIWIc