Comment on page
zkBob Pool Contract
Main transaction processor
The main purpose of the zkBobPool contract is to process user transactions. It receives transactions from operators (relayers) or users directly, checks the proofs, and updates the current contract state.
Each pool serves a single token. To support multi-pool solutions every pool has it's own identifier (
pool_id). Currently the pool_id is an unsigned 24-bit arbitrary integer.All linked contracts (verifiers, operator manager, token, and voucher token) should be provided prior to Pool contract deployment. The Pool contract is initialized by the following constructor method:
constructor(
uint256 __pool_id,
address _token,
ITransferVerifier _transfer_verifier,
ITreeVerifier _tree_verifier)
There are two denominators used in the Pool and applied to the token (
TOKEN_DENOMINATOR) and native coin (NATIVE_DENOMINATOR). They are initially defined as 1 gwei constants.uint256 constant TOKEN_DENOMINATOR = 1 gwei;
uint256 constant NATIVE_DENOMINATOR = 1 gwei;
Example usage: When a user wants to withdraw 5 tokens from the pool, they specify '5' as the value in the corresponding transaction field. The pool will multiply this value by the TOKEN_DENOMINATOR and send the resulting token value to the receiver address (in wei). Denominators are also used to calculate limits.
The initial Merkle tree root value should be provided for the
_root parameter. For a Merkle tree with a desired total height 48 without any leaves (all leaves are zero) the root is a fixed value:11469701942666298368112882412133877458305516134926649826543144744382391691533
function setLimits(
uint256 _tvlCap,
uint256 _dailyDepositCap,
uint256 _dailyWithdrawalCap,
uint256 _dailyUserDepositCap,
uint256 _depositCap
)
The Pool contract processes incoming transactions via the
transact() method. All required data for the transaction passes through the calldata.function transact() external payable onlyOperator;
Before the transaction is processed the proofs are checked by the verifier contracts.
Note the
onlyOperator modifier. It checks the transaction sender address via the Operator Manager and reverts a transaction when the origin sender is not currently allowed to interact with the Pool contract.
Last modified 1yr ago