The Solution: By applying a skillfully-designed ZK-friendly trace and zk-EVM structure, Fox is able to compress the redundant and wasted spaces in the circuits, which helps to reduce the size of the polynomial to be committed and ultimately shorten the time…

The small circuits have to prove that the operations and the values they use are consistent with those in the big table, we call this lookup. The overhead of lookup is very significant and it’s so time-consuming.

Zero-knowledge rollup (zkRollup) is a layer 2 scaling solution that increases throughput on Ethereum Mainnet by moving computation and state-storage off-chain. Along with the high gas and the slow problem of Ethereum, zkRollup is recognized as the best scaling.

The basic idea of zkRollup is to aggregate a huge number of transactions into one Rollup block and generate a succinct proof for the block off-chain. The smart contract on Layer 1 only needs to verify the proof and apply the updated state directly.

Besides, data compression also does make an additional contribution to the saving which only keeps a minimum of on-chain data for verification. With our Fox solution, we are able to save another 50% gas fee from Ring’s eternal on-chain data service.

Our architecture provides the following guarantees: The Folder(s) can never corrupt the state or steal funds (unlike side chains). Users can always retrieve the funds from FOX even if the folder(s) stop cooperation because the data is available (unlike Plasma).

Folders use the traces to generate zero-knowledge proofs for every circuit. The folders then send the aggregated proofs as well as the updated states to the L1 Contracts. The Folder is the core of the Fox system.

L1 contract holds the funds and state of all users, verifies zero-knowledge proofs while updating the state, and manages users' deposit and withdrawal requests.

zk-Ringer - the component between the Geth node and Memo layer. It acquires data from the Geth node and stores them in Memo.

Sequencer serves as the interface on Layer 2 to receive requests from users. Sequencer runs a Geth node, receives L2 requests, records the trace, and calculates the state root hash of the FOX network.

Folders use the traces to generate zero-knowledge proofs for every circuit. The folders then send the aggregated proofs as well as the updated states to the L1 Contracts. The Folder is the core of the Fox system.

Our architecture provides the following guarantees: The Folder(s) can never corrupt the state or steal funds (unlike side chains). Users can always retrieve the funds from FOX even if the folder(s) stop cooperation because the data is available (unlike Plasma).

Fox Folder is the proof generator, taking the trace from the sequencer, and processing it inside the zkEVM using a large number of small tables, rather than a surprisingly large table, which will significantly reduce the redundancy and increase the speed…

Sequencer runs a Geth node making FOX network fully EVM-compatible. Every smart contract can be deployed on the FOX network, and it behaves the same on the FOX network as it does on Ethereum, without the need for custom tweaks. Moreover, Sequencer also serves…

At FOX network, transaction data is not stored on L1 but on a decentralized storage layer Memo. With the help of the memo, transaction fees will be drastically reduced while security is still provable, breaking the security cost dilemma.

By applying a skillfully-designed ZK-friendly trace and zk-EVM structure, Fox is able to compress the redundant and wasted spaces in the circuits, which helps to reduce the size of the polynomial to be committed and ultimately shorten the time to generate…