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:
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
_rootparameter. For a Merkle tree with a desired total height 48 without any leaves (all leaves are zero) the root is a fixed value:
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.
onlyOperatormodifier. 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.