cspr-rad / kairos

Apache License 2.0
2 stars 0 forks source link

Implement the deposit check and withdrawals in the contract #144

Closed Avi-D-coder closed 1 month ago

Avi-D-coder commented 1 month ago

tests are still failing and we now expect failures of the large prop test batches after verification. Making the randomly generated batches correctly deposit to the l1 in the tests is quite difficult, for now that's out of scope for this pr.