zeko-labs / zeko

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

Implement lower bound on slot precondition #157

Open L-as opened 5 months ago

L-as commented 5 months ago

Minimal version of #63.

Supporting upper bounds puts a hard constraint on when commits can be pushed to L1, which means that we can potentially lose a lot of work. There are possibly ways of reducing this, but the simpler solution for now is to only allow minimum slots. This is much easier since time only goes forward usually.