Fox is an Ethereum zkRollup using ZK-EVM and its original ZK-FOAKS technology. ZK-STARKS comes from Zero Knowledge - Fast Objective Argument of Knowledges that is faster than Stark with linear proof time, sublinear verification time, transparent, and proof recursion inside.

We have the following 3 L1 Contracts deployed on L1(Ethereum) :

• FOX (Main) Contract

1. Main contract for executing various operations on Layer 1.
2. Serves as an interface contract(main entry) of Layer 1 which will collect block data(batch of transactions)and proof submitted from Layer 2 validator.
3. Calls verifier to verify blocks and revert back to Validator if block fails to verify.
4. Calls governance contract to check the validity of certain token before executing deposit/withdraw/transfer operation.

The FOX contract has the following functionalities:

1. Commit blocks
2. Verify blocks
3. Execute blocks
4. Deposit/Withdraw to L1 user’s root account

• Governance Contract

1. Serves as the admin of all contracts, has the authority to upgrade contracts or other operations.
2. Sets and changes the Roller list (further work)
3. Adds new ERC20 tokens
4. Only governor can pass the governance to new governor

• Verifier Contract

1. Verify proof that is generated from Layer 2 by applying zk-FOAKS protocol.