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 transfer claim #214

Open MartinOndejka opened 2 months ago

MartinOndejka commented 2 months ago

Fixes 2 issues:

  1. When user tries to prove claim, it needs to provide as witness all the previously claimed transfers. Before there was no way of fetching that since it wasn't exposed in a statement.
  2. The action extension of transfers was calculated incorrectly.

This PR requires the change to the inner account VK, and forced state root update in outer account.

L-as commented 2 months ago

I'm not really sure this PR is worth reviewing for issues or bugs, or mistakes, or merging, because the design is outdated.

L-as commented 2 months ago

can't you mock it without the changes if you set the permissions to Either?