- attest to the program being run (5c42531f) (#206)
- fix soundness bugs in `skiz` (a697f3f8) (#212)
- add benchmarks for proof size (b4517f85, 618d9443)
- add debugging function consuming considerably less RAM (e556535c)
- various smaller refactors