Fox Lab

Fox is an Ethereum zkRollup using ZK-EVM and ZK-FOAKS. TG:

[Fox Lab @foxchain_tech]

Fox at zkSeoul,KBW!

[Fox Lab @foxchain_tech]

Ready to elevate your zk experience? Join us at METASPACE COFFEE and let's embark on a journey of innovation together! 🚀 #TransformativeAdventures #METASPACECOFFEE

@Whaler_DAO

[Fox Lab @foxchain_tech]

One of the highlight of our L3 is that both L1 and L2 can directly interact with L3.
It means that no matter where the user is from - either L1 or L2 - they can access the L3 DApps directly. In other words, a L1 user won't need to go to L2 before going to L3.

[Fox Lab @foxchain_tech]

Fox reduces its FOAKS proof size to one-seventh of the existing schemes of its kind using its recursion technique, which makes it the fastest and cost-lowest zkEVM-based zkRollup. So that the end users can enjoy Ethereum Layer 2 services for just one cent.

[Fox Lab @foxchain_tech]

One of the most important bottlenecks of the existing zkEVMs is that the trace is not zk-friendly. Thus, we decided to create another form of trace, that is zk-friendly, to fundamentally solve this problem.

[Fox Lab @foxchain_tech]

This graph shows an overview of the existing zkEVMs. They put everything, including the selectors for opcodes, the values, and the states, in a huge table or a state machine, and they have some smaller circuits or secondary state machines to prove different properties of the EVM.

[Fox Lab @foxchain_tech]

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 proofs.

[Fox Lab @foxchain_tech]

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.

[Fox Lab @foxchain_tech]

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 as zk-Ringer.

[Fox Lab @foxchain_tech]

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 of generating proofs.

[Fox Lab @foxchain_tech]

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.

[Fox Lab @foxchain_tech]

- 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.

[Fox Lab @foxchain_tech]

- Sequencer gathers transactions, runs the Geth node, leaves the traces of the execution for Folders, and sends the data to ZK-Ringer, which is deployed on other networks, IPFS, or decentralized storage.
- Folders use the traces to generate zero-knowledge proofs.

[Fox Lab @foxchain_tech]

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 Lab @foxchain_tech]

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.

[Fox Lab @foxchain_tech]

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.

[Fox Lab @foxchain_tech]

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

[Fox Lab @foxchain_tech]

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.

[Fox Lab @foxchain_tech]

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.

[Fox Lab @foxchain_tech]

There are 3 main parts in the Fox architecture:
Sequencer gathers transactions, runs the Geth node, leaves the traces of the execution for Folders, and sends the data to ZK-Ringer, which is deployed on other networks, IPFS, or decentralized storage.