wasteful proofs

This release has the entire basic feature set implemented, including end-to-end ZKPs. The main issue is that there is still no proof aggregation, so each transaction in an L2 block (batch) requires its own Groth16 proof, which is rather wasteful.

dumb state

v0.0.1

new locks