zeko-labs / zeko

Zeko: zk-Rollup for Mina, a succinct blockchain
https://zeko.io
Apache License 2.0
23 stars 3 forks source link

Fix the zkapp command signature bug #171

Closed MartinOndejka closed 5 months ago

MartinOndejka commented 5 months ago

Before the sequencer was checking for valid signature only for signed commands as I thought the zkapp command logic checks to signature automatically. As it turns out zkapp command logic omits the authorization check so this PR fixes it by unifying logic for signed commands and zkapp commands under the User_command.check.

This PR also adds useful CLI commands for manipulation of proving queue.

Closes #131