search

zeko-labs / zeko

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

Make it possible to do multiple Inner.steps in one batch #112

Open MartinOndejka opened 7 months ago

MartinOndejka commented 7 months ago

Currently Outer.step checks that there was only one Inner.step by checking nonce. That's an issue if the batch doesn't get included in a block.

MartinOndejka commented 7 months ago

Alternative solution is to allow reuse old Outer.step proof.

L-as commented 4 months ago

Made obsolete by #136 since the primary motivation was to not throw away old work. With #136, if you have an outdated commit transaction, you can reprove Outer.step without changing anything else, and that should be enough.

L-as commented 3 months ago

Actually should be done for separate reasons