Fox TechWhat is Algebraic Intermediate Representation (AIR)
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.Algebraic Intermediate RepresentationArithmetization is the simplification of computed statements to a set of algebraic statements involving a set of bounded degree polynomials. In STARK Protocol, the arithmetical output is...
Fox TechFox Hardware Implementation Plan
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. Hardware Implementation is referred to GPU/FPGA/ASIC zkMiners and different ZK proof systems are based on different cryptographic assumptions and target different computational problems. Their implementations are written i...
Fox Tech aims to improve scalability and performance in blockchains using ZK-FOAKS and ZK-EVM technology.
Fox TechWhat is Algebraic Intermediate Representation (AIR)
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.Algebraic Intermediate RepresentationArithmetization is the simplification of computed statements to a set of algebraic statements involving a set of bounded degree polynomials. In STARK Protocol, the arithmetical output is...
Fox TechFox Hardware Implementation Plan
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. Hardware Implementation is referred to GPU/FPGA/ASIC zkMiners and different ZK proof systems are based on different cryptographic assumptions and target different computational problems. Their implementations are written i...
Fox Tech aims to improve scalability and performance in blockchains using ZK-FOAKS and ZK-EVM technology.
Subscribe to Fox Tech
Subscribe to Fox Tech
Share Dialog
Share Dialog
<100 subscribers
<100 subscribers
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
Main contract for executing various operations on Layer 1.
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.
Calls verifier to verify blocks and revert back to Validator if block fails to verify.
Calls governance contract to check the validity of certain token before executing deposit/withdraw/transfer operation.
The FOX contract has the following functionalities:
Commit blocks
Verify blocks
Execute blocks
Deposit/Withdraw to L1 user’s root account
Governance Contract
Serves as the admin of all contracts, has the authority to upgrade contracts or other operations.
Sets and changes the Roller list (further work)
Adds new ERC20 tokens
Only governor can pass the governance to new governor
Verifier Contract
Verify proof that is generated from Layer 2 by applying zk-FOAKS protocol.
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
Main contract for executing various operations on Layer 1.
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.
Calls verifier to verify blocks and revert back to Validator if block fails to verify.
Calls governance contract to check the validity of certain token before executing deposit/withdraw/transfer operation.
The FOX contract has the following functionalities:
Commit blocks
Verify blocks
Execute blocks
Deposit/Withdraw to L1 user’s root account
Governance Contract
Serves as the admin of all contracts, has the authority to upgrade contracts or other operations.
Sets and changes the Roller list (further work)
Adds new ERC20 tokens
Only governor can pass the governance to new governor
Verifier Contract
Verify proof that is generated from Layer 2 by applying zk-FOAKS protocol.
No activity yet