updates the playground to use examples from the next branch (we can revert this when we release this version)
updates the existing examples to have a consisting naming scheme with "_" instead of "-"
updates the dropdown to show spaces instead of "_"
fixes an error with verification of proofs that didn't output any overflow_addrs
adds the rest of the examples to the playground, since they seem to be working now
Note: when testing locally, some of the examples will not load, due to the rename from "-" to "_" not yet being on the next branch. I did test all of these examples to make sure that the prove/verify works correctly now
This PR does the following:
overflow_addrsNote: when testing locally, some of the examples will not load, due to the rename from "-" to "_" not yet being on the next branch. I did test all of these examples to make sure that the prove/verify works correctly now