From 17f2adf4933f24a49ee77837998341a9e657dd87 Mon Sep 17 00:00:00 2001
From: Kirill Fedoseev <kirill@blockscout.com>
Date: Wed, 18 Oct 2023 20:32:39 +0400
Subject: [PATCH] Disallow invalid forced exit amounts (#89)

---
 src/zkbob/ZkBobPool.sol | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/zkbob/ZkBobPool.sol b/src/zkbob/ZkBobPool.sol
index c0512cc..fb89938 100644
--- a/src/zkbob/ZkBobPool.sol
+++ b/src/zkbob/ZkBobPool.sol
@@ -364,7 +364,9 @@ abstract contract ZkBobPool is IZkBobPool, EIP1967Admin, Ownable, Parameters, Ex
     )
         external
     {
-        require(_amount <= 1 << 63, "ZkBobPool: amount too large");
+        require(
+            _amount > 0 && _amount % TOKEN_NUMERATOR == 0 && _amount <= 1 << 63, "ZkBobPool: incorrect token amount"
+        );
         require(_index < type(uint48).max, "ZkBobPool: index too large");
 
         uint256 root = roots[_index];