Fox Lab

Fox at zkSeoul,KBW!

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

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.

Join us tonight 8pm(SGT)! twitter.com/i/spaces/1ynJO… @EudemoniaCC @SolvProtocol @waterdripfund @StratifiedCap @ACCapital1 @Arnaudttsiwf

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.

Mark your calendar down for tomorrow space! 📍 twitter.com/i/spaces/1yoKM… 10pm(SGT) @tokeninsightcn @EudemoniaCC @Cinder0372 @Mirro1225 @Rogersheng46 @0xblueshark @26x14eth

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.

Mark your calendar down for tomorrow space! 📍 twitter.com/i/spaces/1mnxe… @EudemoniaCC @0xlodar @26x14eth @0xvisioneth @armonio_liang @wzxznl @panews

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.

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.

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.

Mark your calendar for the upcoming space 📍 twitter.com/i/spaces/1jMJg… @EudemoniaCC @sunzheyuan2 @followin_hans @vincentshsh @0xvisioneth @BlueV1007 @Mirro1225 @AresWey @Dacongfred

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

Mark tomorrow on your calendar and be sure to tune in! 📍twitter.com/i/spaces/1OyKA… @EudemoniaCC @panews @foxchain_tech @CynicSong @JesseMaaa @Crypto_Angie

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.

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

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

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.